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

در این مقاله یک روش جدید یادگیری تقویتی پیوسته برای مسائل کنترل ارائه می‌شود. روش ارائه شده از ترکیب روش "تکرار سیاست کمترین مربعات " با یک سیستم فازی سوگنوی مرتبه صفر حاصل شده و "تکرار سیاست کمترین مربعات فازی" نامیده شده است. در اینجا برای هر قاعده فازی تعدادی عمل نامزد در نظر گرفته می‌شود. هدف، یافتن مناسب‌ترین عمل نامزد (تالی) برای هر قاعده می‌باشد. با استفاده از بردار شدت آتش قواعد فازی و ...

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

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

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

برهان «معقولیت اعتقاد» از براهین اثبات وجود خداست. این برهان در غرب به شرطی پاسکال شهرت دارد اما بنیاد آن را می‌توان در سخنان گهربار امام علی(ع) در نهج‌البلاغه یافت و با توجه به متأثر بودن پاسکال از غزالی، عنوان «معقولیت اعتقاد» برای این برهان شایسته‌تر است. برهان «درجات کمال» نیز برهانی است که متألّهان مغرب زمین آن را در اثبات خدا به کار می‌برند؛ این برهان بر قاعده امکان اشرف قابل انطباق است و ...

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

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

در این پایان نامه، یک روش جدید شناسایی خطا در فرآیندهای پتروشیمیایی بر پایه ی روش گراف جهت دار با گره های علامت گذاری شده (sdg) معرفی شده است. رویکرد ارائه شده یک روش ترکیبی است که منطق فازی را جهت استخراج اطلاعات کمّی از نحوه ی انحراف پارامترهای فرآیند به خدمت گرفته و باعث بهبود عمل شناسایی خطا توسط روش کیفی sdg می گردد. برای این منظور، دو نوع مختلف سیستم استنتاج فازی (نوع1 و نوع2) طراحی شده و ...

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