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

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

هدف: هدف پژوهش حاضر آن بود تا با بررسی سطح خوانایی کتاب‎های داستانی برگزیدۀ شورای کتاب کودک، مشخص شود که آیا این کتاب‎ها به درستی به عنوان کتاب‎های گروه «ب»، «ج» و «د» معین شده‎اند یا خیر. همچنین، قصد بر آن بود تا نتایج حاصل از بررسی سطح خوانایی با دو فرمول فلش/دیانی و گانینگ/دیانی در سطوح مختلف (بسیار ساده، ساده، معمولی و ...) بررسی شود و با یکدیگر مورد مقایسه قرار گیرد. روش: پژوهش حاضر به روش...

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

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