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

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

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

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

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

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

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

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