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

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

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

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

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

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

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

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

در این تحقیق به بررسی انتقال حرارت میکروکانال در رژیم جریان لغزشی و انتقال حرارت نانوسیال در میکروکانال پرداخته شده است. معادلات حرکت سیال بعنوان فاز پیوسته و ذرات بعنوان فاز گسسته به روش اویلری-لاگرانژی بررسی می گردند. معادلات فاز پیوسته با استفاده از یک کد عددی به روش simple حل شده و میدان های سرعت، فشار و دما بدست می آیند. سپس ذرات در کانال ترزیق شده و در حین عبور از کانال با سیال مبادله ا...