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

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

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

الگوریتم جمعیت ذراتِ اطلاع‌دهنده‌ی محلی، یک روش ساده و مؤثر است که اخیراً برای حل مسائل بهینه‌سازی چندمُدی ارائه شده است. این الگوریتم دارای یک ضعف اساسی است: برای محاسبه سرعت یک ذره، "شایستگی" و " فاصله‌ی" ذرات همسایه‌ی آن ذره را در نظر نمی‌گیرد، درصورتیکه در نظر گرفتن این دو پارامتر در محاسبه سرعت می‌تواند به الگوریتم برای ایجاد یک تعادل مناسب بین همگرایی و تنوع راه‌حل‌ها کمک زیادی کند. در این م...

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

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

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

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

وارسی مدل ، یک روش کاملا خودکار و راهکاری مناسب به منظور بررسی و درستی یابی سیستم های نرم افزاری ایمنی-بحرانی پیش از تولید آنهاست. در اینگونه از سیستم ها نمی توان ریسک بروز خطا را حتی برای یک بار پذیرفت. سیستمهای تبدیل گراف ، نمونه ای از پرکاربردترین سیستم های مدلسازی رسمی و نیز راهکاری مناسب به منظور مدلسازی و وارسی سیستم های پیچیده هستند که با بهره گیری از ویژگی گرافیکی بودن، به نحو شایسته ای...