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

مقدمه: از بیشترین ظرفیت هوازی (vo2-max) می توان به منظور سنجش وضعیت قلبی- تنفسی افراد و به دنبال آن ایجاد تناسب فیزیولوژیک بین کار و کارگر استفاده نمود. این مطالعه با هدف تعیین همبستگی بین دو روش آستراند و acsm در برآورد بیشترین ظرفیت هوازی و تعیین عوامل مؤثر بر آن در دانشجویان دانشگاه علوم پزشکی شیراز، صورت پذیرفت. مواد و روش ها: در این مطالعه مقطعی، 104 نفر (54 مرد و 50 زن) از دانشجویان به صو...

ارزیابی شاخص­های انرژی در گاوداری­های گوشتی استان قزوین با استفاده از تحلیل پوششی داده­ها سروش اصفهانی1* چکیده: هدف از انجام این تحقیق بررسی و محاسبه شاخص­های انرژی در گاوداری­های گوشتی استان قزوین و تعیین میزان کارایی این واحدها در استان قزوین بود. برای انجام این تحقیق پرسشنامه‌هایی تنظیم شد و به صورت حضوری مصاحبه از دام­داران به عمل آمد. در مجموع از 20 واحد پرورش گاو گوشتی داده­ برداری انجام ...

در این مقاله خواص الکترونی، فونونی و مکانیکی بلور GaN در حالت انبوهه، برای دو فاز مکعبی بلندروی و شش گوشی ورتسایت با استفاده از نظریه‌ی تابعی چگالی، تقریب شیب تعمیم یافته و استفاده از شبه‌پتانسیل مورد بررسی قرار گرفته است. نتایج بررسی خواص الکترونی نشان داد که این بلور در فازهای بلندروی و ورتسایت نیم‌رسانا، با گاف انرژی 2 و 2/2 الکترون-ولت است. با منطبق نمودن نمودار انرژی بر حسب پارامترهای شبکه...

با توجه به اینکه براساس آزمایش‌ها و شواهد موجود تنها 4 درصد جهان قابل رویت است و 96 درصد باقیمانده از ماده و انرژی تاریک تشکیل یافته بنابراین فیزیکدانان برای پی بردن به حقیقت جهان به استفاده از شتابدهنده‌ها روی آوردند. یکی از قدرتمندترین شتابدهنده‌های پیشنهاد شده برای این امرکه به عنوان جایگزین شتابدهنده LHC مورد توجه است، شتابدهنده ILC می‌باشد که در ابتدا قادر خواهد بود ذرات را تا انرژی برخورد...

منطق اِحراز هویت باروز ابدی و نیدهام (ban) گام های مهمی در جهت تحلیل پروتکل های امنیت بر می دارد‏‏، و دارای چندین بازبینی پی در پی پیشرفته است. در این پایان نامه منطق های vo و svo را مطالعه می کنیم. vo یک گسترش از منطق های خانواده ban می باشد که برای اولین بار‏، بررسی کلید عمومی مبتنی بر پروتکل های ایجاد کلید اِحراز هویتی که هر دو عامل در اشتقاق کلید (یعنی‏، پروتکل های توافق-کلید) همکاری دارند را...

در فاصله ی 8/4 کیلو پارسک از خورشید و در مرکز کهکشان راه شیری، منبع رادیویی متراکمی وجود دارد که قوس a* نامیده می شود. تابش رادیویی منبع، غیر حرارتی و از نوع سینکروترون می باشد. با استفاده از پارامتر های مداری ستارگان در حال چرخش به دور قوس a* که توسط vlt اندازه گیری شده، و نیز با استفاده از قانون سوم کپلر، جرم منبع در حدود 6^10*4 برابر جرم خورشید محاسبه شد، که با توجه به متراکم بودن آن، قوس a*...

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

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

 شکست‌های تک‌رشته‌ای و دورشته‌ای ایجاد شده به وسیله‌ی اثرهای مستقیم الکترون‌های‌ تک‌انرژی در گستره‌ی انرژی 1 تا 20 کیلوالکترون ولت، نسبت آن دو و آمار برخورد در قسمت‌های مختلف صورت‌بندی B مولکول DNA با استفاده از کد مونت‌کارلوی Geant4، مورد مطالعه قرار گرفته و با نتایج یکی از شاخص‌ترین مطالعه‌ی توسعه‌دهنده‌ی مدل ساختاری ماده‌ی وراثتی، مقایسه شد. قطعه‌های DNA با طول 34 جفت باز و به تعداد 160000 ق...