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

روش اولین مرتبه قابلیت اعتماد استفاده وسیعی در تخمین احتمال خرابی سازه‌ها دارد. برآورد مناسب شاخص قابلیت اعتماد در تخمین احتمال خرابی به کمک رویه اولین مرتبه قابلیت اعتماد حائز اهمیت است. عمدت‍اً، الگوریتم های تکرار ریاضی مانند هاسفر و لیند-رکویتز-فسلر (HL-RF) در تخمین شاخص قابلیت اعتماد مسائل غیرخطی همگرایی ناپایداری نشان داده است. الگوریتم جستجوی هارمونی بدون در نظر گرفتن تقعر یا تحدب مسائل قا...

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

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

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

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

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

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

چکیده ندارد.

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