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

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

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

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

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

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

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

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

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