در این پایان‏ نامه، ابتدا چند حمله به برخی پروتکل های اِحراز هویت بیان می شود. سپس، چند پروتکل با استفاده از منطق ban‎ تحلیل و نقد نِست بر این منطق بیان می شود. در ادامه، منطق autlogکه یک نسخه ی اصلاح شده از منطق ban‎ می باشد و درprolog پیاده سازی شده است ، معرفی می شود. انگیزه ی اصلاحات، تحلیل تعداد زیادی از پروتکل ها بوده است. یک پروتکل چالش-واکنش و نسخه ی دوگان آن، برای نشان دادن مزیت های منطق...

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

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

اهداف: فرآیند ارزش‌یابی اساتید توسط دانشجویان به‌عنوان رایج‌ترین روش ارزیابی اساتید دارای نقاط قوت و ضعف فراوان در نحوه اجراست. هدف این مطالعه، بررسی همسانی نتایج ارزش‌یابی اساتید توسط دانشجویان براساس دو پروتکل مختلف بود. ابزار و روش‌ها: در این پژوهش مداخله‌ای در دانشکده علوم پزشکی اسدآباد در سال تحصیلی 93-1392، تعداد 174 دانشجو در در دو نیم‌سال تحصیلی متفاوت در مجموع 26 مدرس را براساس دو روش ...

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

مقدمه: تمرین مقاومتی، در جهت بهتر شدن آمادگی بدنی و افزایش سلامت جسمانی در افراد بزرگ سال پیشنهاد شده است. هدف از پژوهش حاضر مقایسه پاسخ فشارخون و ضربان قلب به پروتکل ها و حرکات مختلف فعالیت مقاومتی بود. روش بررسی: 12 مرد سالم (با میانگین سن 2/22/25 سال) سه پروتکل فعالیت مقاومتی شامل قدرتی (3 نوبت 4 الی 5 تکراری با 85% 1rm)، هایپرتروفی (3 نوبت 10 تکراری با 70% 1rm) و قدرتی- استقامتی (3 نوبت 15 ...

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