یکی از مهم ترین مسائلی که طراحان نرم افزار با آن روبرو هستند، تست نرم افزار است. تست نرم افزار با استفاده از ابزارهای پیش از کد نظیر مدل و مشخصات به توسعه دهندگان نرم افزار این امکان را می دهد که دنباله های تست را پیش از تولید کد و به موازات آن تولید کنند. به این روش، تست مبتنی بر مدل می گویند. روش های زیادی برای این منظور ارائه شده اند که از مدل هایی نظیر ماشین های حالت متناهی یا مدل های فرم...

با توجه به افزایش روزافزون رقابت جهانی، برنامه ریزی تولید و زمان بندی به عنوان یکی از زیرمجموعه های آن، نقش مهمی در عرصه تولید دارند. زمان بندی منجر به کاهش چرخه تولید محصولات و به تبع آن کاهش چشمگیر هزینه های تولید گشته و به عنوان یک مزیت رقابتی در جهت افزایش سطح خدمت به مشتریان مطرح است. محیط تولید جریان کارگاهی یکی از پرکاربردترین و پرمطالعه ترین انواع محیط های تولید است که در حالت کلاسیک آن...

از جمله مسایل مهم جریان در شبکه برای تحلیل ساختار و عملکرد آن، مساله کوتاهترین درخت گسترش است. بررسی پیوستگی شبکه در شرایط بحران و اولویت¬بندی کمان¬های شبکه از جمله کاربردهای این مساله است. معیار محاسبه و تعیین کوتاه¬ترین درخت گسترش مفهوم هزینه کمان است که تا به حال در اکثر مطالعات مربوطه از مفهوم زمان سفر آزاد استفاده شده است. در مقاله جاری این مفهوم به حالت عام زمان سفر تحت بار تقاضا و محدودی...

سن گندمeurygaster integriceps put. مهمترین آفت گندم و جو در اغلب نواحی تولید گندم و جو کشور از جمله استان لرستان است. در طول سال های 1383 و 1384 پراکنش فضایی سن مادر و مدل های نمونه گیری دنباله ای با دقت ثابت برای دو کادر مربع 25/0 و 5/0 متر مربعی در مزارع گندم دیم شهرستان بروجرد مورد مطالعه قرار گرفت. بر اساس مقادیر ضریب تبیین به دست آمده از محاسبات رگرسیونی، برای کادر 25/0 متر مربع، شاخص تیلو...

با وجود تحقیقات گسترده پیرامون الگوی جریان حول استوانه با سطوح مقاطع گوناگون، تحقیقات اندکی به مقایسه اثر شکل سطح مقطع استوانه بر چگونگی تشکیل گردابه¬های دنباله پرداخته¬اند. در این پژوهش به مطالعه اثر شکل سطح مقطع استوانه بر الگوی جریان دنباله پرداخته شده است. در تحقیق حاضر یک روش مرز مستغرق برای حل جریان حول استوانه هایی با پنج شکل سطح مقطع مختلف توسعه داده شده و مورد استفاده قرار گرفته است. ر...

استفاده ی روزافزون از تصاویر دیجیتال در کاربردهای مختلف بر کسی پوشیده نیست. تقریباً در تمامی کاربردها تصاویر با تفکیک پذیری بالا از کارایی و کیفیت بالاتری برخوردار هستند. یک راه برای دستیابی به تصاویری با تفکیک پذیری بالا، افزایش کیفیت سخت افزار سیستم تصویربرداری است که منجر به افزایش هزینه می شود. همچنین محدودیت های فیزیکی سیستم سخت افزاری افزایش تفکیک پذیری تصویر را محدود می کند. در مقابل ابَرت...

مساله ی حقوق حیوانات و گیاهان در محیط زیست از مسائلی است که در حوز ه ی حقوق اخلاقی مطرح میشود. سابقه طرح این دو مساله در مباحث اسلامی به صدر اسلام برمیگردد. رو ایات فراوانی از پیشوایان دینی (ع) مبنی بر لزوم رعایت حقوق حیوانات وگیاهان وارد شده است. د رمقابل، پیشینه ی طرح این دو مساله در جهان غرب به عنوان حق اخلاقی کمتر از نیم قرن است. این نوشتار از سه بخش تشکیل شده است. در بخش نخست درباره حقوق ا...

زمان بندی در واقع به تخصیص منابع در طول زمان برای اجرای مجموعه ای از کارها در وضعیت های مختلف می‏پردازد. از آن جا که محیط کارگاه باز در بسیاری از محیط های دنیای واقعی رخ می دهد، ارایه مدل مناسب و دقیق کمک بزرگی به مدیران و صنعتگران خواهد نمود. بیان داده های دقیق در مسایل زمان بندی عموماً دور از تصور است. رخدادهای پیش بینی نشده و خطاهای اندازه گیری موجب عدم قطعیت اطلاعات می شود. از آن جا که در مس...

از آنجایی که گشتاور یک ماشین القایی توسط جریان ماشین و شار فاصله هوایی تعیین می گردد، کنترل مستقیم جریان به جای ولتاژ بسیار مناسب به نظر می رسد. همچنین مدولاسیون بردار فضایی (svm) روش برتری برای اینورترها ی منبع جریان از نظر کاهش هارمونیک های مرتبه پایین، فرکانس کلیدزنی پایین تر و پیاده سازی آسان تر می باشد. این مقاله به معرفی مدولاسیون  بردار فضایی برای اینورتر منبع جریان می پردازد. سپس با کنت...

در این مقاله مساله وجود بهترین نقاط تقریب برای رده­ای از غیر خودنگاشت­ها که در شرایط غیرانبساطی خاصی صدق می­کنند مورد مطالعه قرار می­گیرد. بر این اساس یک نتیجه اصلی مربوط به مرجع [1] که بیان­گر وجود بهترین نقطه تقریب برای غیر خود نگاشت­های غیرانبساطی در فضاهای باناخ به­طور یکنواخت محدب می­باشد، بهبود و توسیع داده خواهد شد. همچنین مفهوم جدیدی تحت عنوان مرکز مجانبی نسبی برای یک زوج غیرتهی از مجمو...