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

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

با وجود افزایش نفوذ توربین های بادی، این نوع سیستم های تبدیل انرژی، نقشی در کنترل فرکانس ندارند و این وظیفه عمدتاً بر عهده واحدهای تولید سنتی است. توانایی توربین های بادی مجهز به ژنراتورهای القایی تغذیه دوبل مبتنی بر ارائه توان در سرعت های مکانیکی مختلف و نیز امکان کاهش لحظه ای سرعت و در نتیجه آزاد نمودن انرژی مکانیکی ذخیره شده، امکان حمایت از واحدهای سنتی در تنظیم فرکانس سیستم را فراهم می کند. ...

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

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

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

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