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

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

مسأله حداقل سازی دامنه عملیات روی ماشین های موازی یکسان، جزء مسایل کلاسیک حوزه مسایل زمانبندی است. این مسأله از نظر پیچیدگی، در دسته مسایل شدیداً پیچیده طبقه بندی می شود. بنابراین روش های دقیق نمی توانند جواب های بهینه مسأله را در زمان چندجمله ای محاسبه کنند و تنها برای مسائل کوچک کارایی دارند. بنابراین با توجه به کاربرد های عملی فراوان این مسأله، الگوریتم های ابتکاری فراوانی برای این مسأله ارای...

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

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

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

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

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

چکیده ندارد.

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