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

مدیریت توان راکتیو، امری ضروری برای انتقال توان حقیقی و تأمین امنیت شبکۀ قدرت است؛ ازاین‌رو، در بازار برق ارائۀ روش صحیح و ممکن برای قیمت‌‌دهی توان راکتیو اهمیت دارد. توان راکتیو در شبکه‌های انتقال، بیشتر با تلفات انتقال، ظرفیت انتقال و پایداری ولتاژ مرتبط است که اساسی‌ترین مسائل‌ند. بهینه‌سازی و پخش توان راکتیو در سیستم‌های قدرت، با حل مسئلۀ متغیرهای پیوسته مانند ولتاژ شین‌های ژنراتور و متغیره...

هدف:ارائه الگوی خلاصه‌سازی استاندارد متون فارسی با رویکرد تبدیل مسئله خلاصه‌سازی به مسئله بهینه‌سازی توسط الگوریتم‌های فرااکتشافی سازگار. روش‌شناسی: در این پژوهش از اسناد استاندارد پیکره چندسندی «پاسخ» که شامل 50 موضوع مختلف از انواع گونه‌های خبری از خبرگزاری‌های پرببینده ایران، برای ارزیابی استفاده شده است. هر موضوع حاوی 20 سند و همچنین 5 خلاصه چکیده‌ای ...

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

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

سازه‌های هایپربولیک نوعی از سازه‌های فضاکار شبکه‌ای می‌باشند. شکل این سازه‌ها مانند یک شکل مربعی می‌باشد که گوشه‌های آن خم شده است. وقتی وسط اضلاع مربع را در جهات x و y بهم وصل می‌کنیم، این اضلاع وسطی (که مانند علامت جمع + می‌باشد) با خم شدن گوشه‌ها ثابت در جای خود باقی می‌مانند و z آنها تغییر نمی‌کند. ولی بقیه نقاط، مختصات z آنها تغییر می‌کند و سازه‌ی هایپربولیک را تشکیل می‌دهد. از این نوع ساز...

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

در این مقاله، یک مدل چندهدفه برای مسأله تشکیل سلول تولیدی با در نظر گرفتن مسیرهای عملیاتی چندگانه و حداکثر بهره­گیری از ماشین­ها، ارائه می شود. سه هدف متعارض شامل: 1)  حداقل نمودن کل هزینه­های حرکات بین سلولی، خرید ماشین ها، عملیات و نگهداری و تعمیرات، 2) حداکثر نمودن سطح بهره گیری از ماشین ها در سیستم تولیدی و 3) حداقل نمودن انحراف میان سطوح بهره گیری از سلول ها (یعنی بالانس نمودن بارکاری بین ...

در این مطالعه پارامترهای بهینه میراگر جرمی تنظیم شونده (tmd) تحت تحریکات زلزله به دست آمده است. سیستم جستجوی ذرات باردار) (cssیک روش بهینه سازی فراکاوشی است که به صورت موفقی در این مطالعه به کار گرفته شده است. الگوریتم بهینه سازی css براساس اصول فیزیک و مکانیک است. در این روش از قوانین کولمب درالکترواستاتیک و قانون نیوتن از مکانیک استفاده می شود. از نرم افزار matlab برای بهینه سازی عددی استفاده...

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