چکیده: وارسی مدل، یک روش خودکار و راهکاری مناسب به­منظور درستی‌یابی سیستم‌های نرم‌افزاری مطمئن است. در این سیستم‌ها، نمی‌توان ریسک بروز خطا را حتی در فرآیند تست پذیرفت و لذا لازم است فرآیند درستی‌یابی، قبل از پیاده‌سازی و در سطح مدل انجام شود. سیستم‌های تبدیل گراف، از پرکاربردترین سیستم‌های مدل­سازی رسمی  و راهکاری مناسب به­منظور مدل­سازی و وارسی سیستم‌های پیچیده هستند. اما این سیستم‌ها در فرآی...

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

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

دقت روش بدون شبکه چندربعی کاملاً به انتخاب پارامتر شکل بهینه آن وابسته است. هدف از پژوهش حاضر، پیشنهاد یک الگوریتم نوین برای تعیین پارامتر شکل بهینه است، به‌طوری‌که برخی از مشکلات پیشین اعم از؛ وابسته بودن به تعداد نقاط محاسباتی و یک حل دقیق از مسئله، هزینه بالا و دقت پایین محاسبات، تجربی بودن، همگرا شدن روش‌های بهینه‌سازی کلاسیک به نقاط بهینه محلی و ... را برطرف نماید. به این منظور از الگوریتم ...

این پژوهش در زمینه زمان بندی تولید دسته ای در محیط جریان کارگاهی انجام شده است. ابتدا در مورد ضرورت انجام پژوهش و اهداف آن صحبت می‎کنیم. سپس با ارجاع به پژوهش های پیشین انجام شده در زمینه زمان‎بندی تولید دسته‎ای به مرور ادبیات موضوع می‎پردازیم. در ادامه، مدلی برای حالت n کار و m ماشین با در نظر گرفتن زمان آماده بودن کارها و داشتن اندازه کار برای هر یک با تابع هدف مینیم کردن زمان تکمیل آخرین کار...

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