نظریه فازی در سال 1965 بوسیله یک دانشمند ایرانی بنام پروفسور لطفی زاده معرفی گردید.
گرچه این نظریه در ابتدا با مخالفتهایی مواجه گشت ولی به مرور ارزش آن مشخص شد.
مهمترین کاربردهای آن :
1- کنترل فر آیندهای صنعتی
2- کنترل ترافیک
3 – کنترل سرعت قطار
4 کنترل دور موتور ها
5- و غیره ... .
برای دانلود کل پاورپوینت از لینک زیر استفاده کنید:
فرمت فایل : power point (قابل ویرایش) تعداد اسلاید : 58 اسلاید
فهرست مطالب :
تاریخچه
مقدمه
ساختار کنترل کننده فازی
کنترل موقعیت ربات سیار با استفاده از منطق فازی
استراتژی اجتناب از برخورد با موانع با استفاده از منطق فازی
ناوبری واکنشی فازی
ردیابی مسیر حرکت
کاربرد الگوریتم ژنتیک در کنترل کننده های فازی
کاربرد کنترل کننده فازی ژنتیک در ربات سیار
منابع
مقدمه :
مسئله کنترل عبارت است از طراحی کنترل کننده فازی به طوری که اهداف کنترل به صورت مطلوب برقرار باشد. این اهداف عبارت است از:
1- خوب بودن تعقیب
2- کم بودن اثر نویز و اغتشاش در خروجی
3- کم بودن حساسیت خروجی به تغییرات فرایند تحت کنترل
4- پایدار بودن سیستم تحت شرایط مختلف
فهرست مطالب
تعداد اسلاید:37 صفحه
با قابلیت ویرایش
مناسب جهت ارائه سمینار
این محصول در قالب پاورپوینت و قابل ویرایش در 506 اسلاید می باشد.
اسلاید 4
هدف های رفتاری
آشنایی با زندگی عطار، کتاب منطق الطیر و تمثیل شرح ابیات مشکل فصل های دوم تا هشتم آشنایی با عذرهای پرندگانی که هر کدام ممثل طبقه یی از مردم هستند. آشنایی با بی پایه بودن عذرها در راه شناخت حقیقت آشنایی با داستان شیخ صنعان آشنایی با هفت وادی سیر و سلوک یا شناخت حق آشنا شدن با تفکر و اصطلاحات عرفانی
اسلاید 5
آشنایی با زندگی عطار، کتاب منطق الطیر و تمثیل
عطّار نیشابوری حدود سال 540 ولادت یافت و در سال 618 در قتل عام مغولان در نیشابور کشته شد. آرامگاه او در نیشابور است. شغل او - که از پدر به ارث برده بود – عطاری یعنی داروفروشی و طبابت بوده است. عطار با مجد الدین بغدادی صوفی معروف از شاگردان نجم الدین کبری رابطه داشت و به قولی مرید او بوده است.
اسلاید 6
آشنایی با زندگی عطار، کتاب منطق الطیر و تمثیل
آثار معروف عطار عبارتند از مثنوی های مصیبت نامه، الهی نامه، منطق الطیر، خسرو نامه، مختار نامه (مجموعۀ رباعی)، دیوان غزلیات و کتاب منثور تذکره الاولیا. منطق الطیر: منطق الطیر را خود عطار مقامات طیور هم گفته است و بعید نیست که نام کامل آن منطق الطیر و مقامات طیور باشد چنان که عطار در اواخر منطق الطیر گفته است. منطق الطیر در بحر رمل مسدس محذوف و در حدود 4600 بیت است.
لینک پرداخت و دانلود *پایین صفحه*
فرمت فایل : Word(قابل ویرایش و آماده پرینت)
تعداد صفحه : 39
فهرست مطالب:
خلاصه
مقدمه
پایه‌های منطق محاسباتی
پایه‌ی ریاضی
کاربردهای منطق محاسباتی
STRIPS
آینده منطق محاسباتی
مراجع
خلاصه
این مقاله به بررسی جنبه‌های مختلف و رو به رشد منطق محاسباتی میپردازد. تکنیکها و کاربردهای فعلی آن را مطالعه میکند و در نهایت به یک نتیجه‌گیری و ارایه پیشنهادهایی در مورد منطق محاسباتی میپردازد.
1- مقدمه
منطق محاسباتی[1] بخشی از منطق است که به بررسی راهکارهای محتلف بررسی درستی احکام در دستگاه‌های مختلف منطقی میپردازد. این رشته به طور عمیقی با علوم کامپیوتر پیوند یافته است و به صورت کلی رشد واقعی آن از وقتی شروع شد که توان محاسباتی کامپیوترها پیشرفت کرد و انجام محاسبات پیچیده بوسیله کامپیوترها با هزینه کم امکان پذیر شد. منطق محاسباتی به صورت کلی به منطق از دید محاسباتی آن مینگرد. این که در یک دستگاه منطقی انجام یک محاسبه (به طور مثال چک کردن درستی یک گزاره) امکان پذیر هست یا نه و اگر امکان پذیر است این کار چه هزینه ای دارد. از آنجا که حقایق علمی ما با منطق پیوند عمیقی دارند، برای بررسی این حقایق استفاده از زبان منطقی، یکی از بهترین راه های ممکن است.
امروزه بشر علاقه زیادی دارد که تمام کارها از جمله فکر کردن را به ماشین واگذار کند. اما واگذار کردن فکر کردن به یک ماشین کار ساده ای نیست. ما دید عمیقی درباره اینکه فکر کردن چیست و چگونه انجام میشود نداریم. ازینرو تلاشهای اولیه برای این کار با شکست مواجه شدند یا با سختی زیادی همراه بودند. اما اگر بخواهیم تنها قسمت منطقی فکر کردن را به ماشین واگذار کنیم کار ساده تر است چون برای این کار از منطق ریاضی استفاده میکنیم و منطق یک زیر شاخه قوی از ریاضی است که به سوالات زیادی در مورد آن جواب داده شده است. گرچه ما هنوز واقعا نمیدانیم که چه مقدار از روند تفکر ما منطقی است. به این مطلب در قسمت نتیجه گیری بیشتر خواهیم پرداخت.
امروزه منطق محاسباتی کاربرد گسترده ای در تکنولوژی پیدا کرده است. بدین ترتیب حجم کارهای انجام شده بر روی آن در حال افزایش است. این کارها نه تنها در زمینه ریاضی بلکه بر روی دیگر ابعاد مربوط به این قضیه نیز انجام میشود. عموما این کارها به سه دسته تقسیم میشوند. دسته اول کارهای مرتبط با پایه ریاضی منطق محاسباتی هستند. دسته دوم کارهای مرتبط با تکنیکهای هوش مصنوعی جهت ارتقای کارایی روشهای ریاضی ابداع شده و دسته سوم کارهای انجام شده جهت استفاده از منطق محاسباتی در مسایل واقعی مهندسی.
تمام موارد مرتبط با منطق محاسباتی احتیاج به پایه‌ای برای بنا کردن ساختارهایی معنا دار برای توصیف داده های مربوطه دارند. باید بتوانیم درباره درستی یک گزاره با توجه به دیگر گزاره ها اظهار نظر کنیم. بدین منظور میتوان از مراتب مختلف منطق استفاده کرد. سیستمهای بسیار ساده معمولا از منطق مرتبه صفر برای توصیف جهان خود استفاده میکنند. اما اکثر سیستمهای پیشنهادی از منطق مرتبه اول برای توصیف جهان خود استفاده میکنند. بعضی سیستمها هم از مراتب بالاتر منطق برای اهداف خود استفاده میکنند. هنوز نمیدانیم که ذهن انسان تحت چه مرتبه‌ای از منطق کار میکند، و حتی به درستی نمیدانیم آیا تمام جنبه های تفکر در ذهن انسان از اصول منطق تبعیت میکنند یا نه. به هر حال علم منطق روشی سمبولیک برای مدل کردن جهان در اختیار ما قرار میدهد.
چرچ در 1936 ثابت کرد که منطق مرتبه اول برای زبانی که فقط یک نماد رابطه‌ای دو موضعی داشته باشد تصمیم ناپذیر است. بنا بر قضیه چرچ روشی متناهی برای پاسخ به این سوال که آیا جمله A در منطق مرتبه اول معتبر است، به صورت "آری" یا "نه" نداریم، اما نیمه ای از پاسخ را میتوان مهیا کرد. به عبارت بهتر روشی متناهی وجود دارد که اگر A معتبر باشد، پاسخ روش "آری" است. به عبارت دیگر مجموعه جملات معتبر در منطق مرتبه اول لیست پذیر هستند. از طرف دیگر با توجه به قضیه تمامیت (در صورتی که در مورد دستگاه استنتاجی ما درست باشد) با استفاده از فرضها و اصول استنتاج میتوان جملات درست را لیست کرد. این قسمت در حقیقت قلب تپنده‌ی منطق محاسباتی است. در صورت پیدا شدن روشهای جدید و سریعتر برای چک کردن درستی یک جمله تحت چند فرض، شاهد تحول بزرگی در دیگر شاخه های مرتبط با این موضوع خواهیم بود.