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

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

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

هدف از این پژوهش تعیین اثر شدت اجرای یک نوبت نیم­اسکوات پویا بر عملکرد و فعالیت الکتریکی عضلانی در جریان پرش عمودی نوجوانان ورزشکار بود. آزمودنی­های این پژوهش 12 پسر نوجوان ورزشکار بودند که در سه روز متفاوت به طور تصادفی یکی از سه پروتکل گرم­ کردن (کنترل)، گرم­ کردن و اجرای یک نوبت 2 تکراری نیم­اسکوات پویای با شدت کم (40 درصد 1rm)، گرم ­کردن و اجرای یک نوبت 1 تکراری نیم­اسکوات پویای با شدت زیاد...

پرفشاری خون یک بیماری همه¬گیر می¬باشد؛ کاهش فشارخون پس از فعالیت ورزشی (peh) راهبردی مناسب در برابر پرفشاری خون است. اگرچه مطالعات peh را ناشی از فعالیت ورزشی مقاومتی نشان داده¬اند، ولی هنوز یک پروتکل ایده¬آل برای ارتقاء این اثر وجود ندارد. هدف از مطالعه حاضر ارزیابی اثر فعالیت ورزشی مقاومتی تا خستگی بیشینه (ref) و پیش از خستگی (nref) بر پاسخ¬های همودینامیکی، لاکتات خون و peh در مردان تمرین¬ک...

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

هدف از پژوهش حاضر بررسی تأثیر شش هفته تمرینات مقاومتی بر شاخص‌های ریخت‌شناسی سلامت قلب زنان تمرین‌نکرده است. به همین منظور 20 زن کم‌تحرک با میانگین سنی 8/1±6/22 سال، قد 5/6±3/162سانتی‌متر، وزن 1/5±58 کیلوگرم، درصد چربی2/5±3/18درصد و سطح رویۀ بدن 15/0±62/1 متر مربع برای شرکت در پژوهش انتخاب شدند. سپس آزمودنی‌ها به‌صورت تصادفی به دو گروه تجربی (10 نفر) و کنترل (10 نفر) تقسیم شدند. قبل از شروع پرو...

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

هدف پژوهش حاضر تعیین اثربخشی درمان مبتنی بر پذیرش و تعهد کودکان مبتلا به درد مزمن (CHACT) بر نشانه‌های درونی‌سازی شده‌ی کودکان 7 تا 12 ساله است. در این پژوهش شبه تجربی، ابتدا با توجه به معیارهای درد مزمن، تعدادی از کودکان مبتلا به درد مزمن، از بیمارستان‌های تخصصی و فوق تخصصی کودکان تهران (از قبیل کودکان مفید، مرکز طبی کودکان، حضرت علی‌اصغر و بهرامی) در سال 1392،  به روش نمونه‌گیری در دسترس، انت...