در این مقاله، به بررسی اثر طرح­های حمایتی در ترویج منابع انرژی تجدیدپذیر در قالب برنامه­ریزی توسعه تولید، ضمن در نظر داشتن محدودیّت­های زیست محیطی پرداخته می­شود. بدین منظور ابتدا یک مدل جامع، توأم با یکی از مرسوم­ترین طرح­های حمایتی تحت عنوان fit (feed-in-tariff) که مبتنی بر تشویق­های مالی است، ارائه می­شود؛ سپس با درنظر گرفتن یک محیط تجدید ساختاریافته، برنامه­ریزی بهینه با حل مدل پیشنهادی از د...

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

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

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

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

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

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

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

با افزایش قیمت سوخت های فسیلی و نگرانی های زیست محیطی، استفاده از انرژی های تجدید‏پذیر مانند باد و خورشید افزایش یافته است. همچنین، استفاده از خودروهای الکتریکی (ev) و خودروهای هیبریدی قابل اتصال به شبکه (phev) که با عنوان v2g شناخته‏ می‏شوند توسعه یافته است. با توجه به فراگیر شدن استفاده از این خودروها در آینده ای نزدیک، پارکینگ خودروهای الکتریکی (evp) به عنوان منابع تولید تولید پراکنده (dg) و...