‏منطق ban‏ ‎‏که‎ یک منطق شناختی برای تحلیل پروتکل های امنیت است‏، شامل یک قانون استنتاج ناموجه است. این قانون با h نمایش داده می شود. منطق ban‏ یک خاصیت سوال برانگیز را به عنوان نتیجه ای از این قانون‏، به نمایش می گذارد. این خاصیت به عدم صحت شبیه است اما به طور صریح هم ارز آن نیست. ما این خاصیت را با "عدم صحت" نشان می دهیم و آن را با استفاده از پروتکل دوطوطی اثبات می کنیم. خاصیت "عدم صحت" با اس...

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

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

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

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

در نتیجه آلام و فجایع ناشی از دو جنگ سترگ در سده اخیر بود که جامعه بین‌المللی دریافت که «در جنگ حقوق ساکت است» و بر آن شد که در کنار تدوین، به تضمین هم بیاندیشد. درست به همین دلیل است که       می‌توان ماده 1 مشترک کنوانسیون‌های ژنو 1949 و تکرار مضمون آن در پروتکل اول 1977 را برآیند فرایندی تکاملی دانست که به اجرای مقررات کنوانسیون بسنده نکرده و تضمین اجرای آن را هم مدنظر قرار می‌‌دهد. می‌توان ه...

در دهه‌های اخیر بویژه، بخشی از همت شاهنامه‌پژوهان به پیرایش و منقّح کردن شاهنامه از ابیات ِمنسوب به فردوسی اختصاص یافته است. آنگونه که مشهور است به این دست از ابیات، الحاقی می‌گویند. از جمله‌ی آنها، ابیاتی است(حدود 15بیت) در مورد مرگِ مادر سیاوش، که در شاهنامه‌های چاپ مسکو، شاهنامه‌ی تصحیح دکتر کزازی و تصحیح خالقی‌مطلق الحاقی شمرده شده‌اند. در باب الحاقی بودن این داستان نظر خاصی ارائه نشده است. از...