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

چکیده: امروزه استفاده از الگوریتم­های مبتنی بر هوش جمعی به­ همراه استراتژی آزمون T-ستونی[i] در حوزه تولید خودکار دنباله آزمون کمینه، افزایش یافته است. در این میان الگوریتم­های جستجوی ژنتیک، الگوریتم مورچگان، شبیه­سازی تبرید، ازدحام توده ذرات و الگوریتم جستجوی ممنوعه سهم به ­سزایی را دارند. اکثر این الگوریتم­ها به ­دلیل داشتن ساختار پیچیده و استفاده از محاسبات دشوار قادر به تولید دنباله آزمون بر...

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

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

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

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

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

یک الگوریتم جستجوی خطی بدون مشتق غیریکنوا و کاربردهای آن در روش باقیمانده طیفی ارائه شده است که مسائل مقیاس بزرگ رابه راحتی حل می کند

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

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