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

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

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

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

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

پرندگان ماهی‌خوار در بوم‌سازگان‌های آبی در رأس زنجیره غذایی قرار دارند و عنوان شاخص‌های زیست به شمار می‌روند. به همین دلیل شناسایی و تعیین ساختار جامعه پرندگان ماهی‌خوار خور موسی از مهر تا اسفندماه 1393 با دوربین چشمی و تلسکوپ به روش مشاهده مستقیم و شمارش کل Total Count انجام شد. خور موسی در جوار بندر امام خمینی قرارداد. در این بررسی 26 گونه از 5 تیره پرنده ماهی‌خوار با جمعیت 11924 قطعه درخور م...

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

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

هدف این تحقیق «بهینه‌سازی الگوریتم کنترلی خودروی هیبرید موازی مجهز به سیستم انتقال قدرت پیوسته )C‌V‌T( تمام‌چنبره» در چرخه‌ی رانندگی ۰۳S‌C است. برای این منظور، ابتدا اثرات کیفی استفاده از C‌V‌T به‌جای گیربکس معمولی در مصرف سوخت خودرو بیان می‌شود. سپس الگوریتم محاسبه‌ی مصرف سوخت خودروی مجهز به این سیستم ارائه می‌شود. در ادامه، یک الگوریتم کنترلی ویرایش‌شده برای خودروی هیبریدموازی ارائه می‌شود. د...