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

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

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

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

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

تحقیق حاضر شامل مطالعات تئوریک به منظور بهره گیری از الگوریتم بهینه سازی اجتماع مورچگان (aco) در طرح هندسه بهین? کانال های خروجی نیروگاه است. این الگوریتم به زبان visual basic نوشته و اجرا گردید. الگوریتم aco یکی از روش های نوین بهینه سازی می باشد که اخیراً مورد توجه بسیاری از پژوهشگران قرار گرفته است. پروسه طراحیaco با متغیر های طراحی گسسته، شامل یک ساختار باز برای تعیین قیود و قابلیت پذیرش حال...

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

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

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

یکی از مباحث مهم که در چند دهه اخیر کاربرد زیادی برای افزایش کارایی و بهره وری در سیستم های حمل و نقل داشته است، مسأله مسیریابی وسایل نقلیه (vrp) می باشد. از آن جا که vrp، جزء مسائل np-hard است روش های دقیق تنها پاسخگوی مسائلی با مقیاس کوچک می باشند، ولیکن برای مسائل با مقیاس بزرگ زمان حل روش های دقیق ارائه شده خیلی طولانی است. بنابراین از الگوریتم های فراابتکاری جهت یافتن جواب بهینه در زمان مح...