قضایا و قواعد منطق موجهات، در جهان های ممکن، معتبرند اما قضایای منطق ربط، در جهان های منطقی، و قواعد آن، در وضعیت ها اعتبار دارند. روبرت مایر، در سال 1974، به کمک ادات های صدق و کذب ویلهم آکرمان، نظامی در منطق ربط طراحی کرد که قضایا و قواعد آن، هر دو، در وضعیت ها معتبر بودند و به این وسیله، عدم تقارن موجود در منطق ربط میان قضایا و قواعد را از میان برد. در این مقاله، با معرفی نوع جدیدی از ادات ه...

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

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

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

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

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

در این پایان نامه، روی مجموعه ای از گزاره ها (که با ‏‎f‎‏ نمایش داده می شود.) و ارزش درستی شان را در یک مشبکه کامل می گیرند اصل استقرار منطقی را با استفاده از خانواده ای از زیر مجموعه های معمولی (فازی) ‏‎f‎‏ معرفی نموده و روابط استلزامی مختلفی را روی ‏‎f‎‏ تعریف می کنیم و ثابت می کنیم که این روابط پیش ترتیب هستند و در حالت کلی تر این روابط را با استفاده از t- نرم ها تعمیم داده و روابط ‏‎*‎‏- پی...

معمولا پایدار سازهای سیستم قدرت برای حل مسائل ناپایداری سیستم های قدرت مورد استفاده قرار می-گیرند. بدین منظور معمولاً برای طراحی pss، آنالیز مقادیر ویژه بر اساس متغیرهای فضای حالت مورد استفاده قرار می گیرد. به هر حال، روشهای سنتی همچنان بر اساس حالت های قطعی سیستم هستند. برای در نظر گرفتن محدوده گسترده تغییرات شرایط بهره برداری، گزارش ارائه شده روش احتمالاتی مدونی را برای آنالیز مقادیر ویژه و طر...

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

امروزه در رویارویی با کثرت منطقها، بحثهائی دربارة "چندگانه انگاری"، "یگانه انگاری"، "نسبی انگاری"، و "مطلق انگاری" در منطق از یک سو، و "ترکیب منطقها" و "ترجمة منطقها به یکدیگر" از سوی دیگر مطرح شده‌اند. در واکنشی جهانی به چندگانگی منطقها، پژوهشهای مهمی در چارچوب طرحی گسترده به نام «منطق کلی»، با دو روایت صورت گرفته است: 1) "منطق کلی چونان نظریة عمومیِ منطقها" یا "منطق کلی چونان نظریه‌ای عمومی در...