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

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

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

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

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

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

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

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

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

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