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

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

سخن سردبیر Editorial مجله دانشگاه علوم پزشکی رفسنجان دوره شانزدهم، تیر 1396، 292-291 انتشار پروتکل کارآزمایی‌ها توسط نشریه دانشگاه علوم پزشکی رفسنجان Publication of Trials’ Protocol by JRUMS محسن رضائیان[1]،[2] کارآزمایی‌ها، بهترین و کامل‌ترین نوع مطالعات اپیدمیولوژیک هستند که می‌توانند منجر به تأیید یا رد یک رابطه علیتی شوند [1]. از همین‌رو، در طر...

هدف این پژوهش مقایسه اثر دو شیوه تمرین بدنی و تصویر سازی ذهنی بر fev1 بیماران آسمی جوان بوده است . بدین منظور 20 بیمار مبتلا به آسم در دسترس به عنوان حجم نمونه انتخاب و به صورت تصادفی به دو گروه تقسیم شدند . متوسط مقادیر سن ، قد ، وزن ، ضربان قلب بیشینه و fev1 گروه اول به ترتیب 2/01 + 15/2 سال ، 8/3 + 157/3 سانتی متر ، 9/2 + 50/6 کیلوگرم ، 2/1+ 205/7 تواتر قلبی و 0/62+ 2/53 میلی لیتر و متوسط ای...

هدف از پژوهش حاضر مقایسة سه پروتکل تمرینی زیربیشینة کم خطر بر آورد کنندة عامل آمادگی قلبی – عروقی نسبی در مردان کم تحرک و توسعة معادلات جدید برای این سه پروتکل است. به همین منظور, 150 نفر از مردان کم تحرک به صورت داوطلبانه و به ترتیب با میانگین و انحراف معیار سن, قد, وزن و شاخص تودة بدن 15/10 ± 19/45 سال, 62/7 ± 33/172 سانتیمتر, 27/11 ± 86/70 کیلوگرم و 15/3 ± 86/23 کیلوگرم بر مترمربع در این پژو...

در این پایان نامه طراحی و پیاده سازی یک کنترل کننده صنعتی هوشمند با قابلیت ارتباط توسط پروتکل های صنعتی استاندارد با نرم افزار scada ارائه شده است . در این پروژه از نرم افزار scada به عنوان نرم افزار سیتم مانیتورینگ و کاربری استفاده شده است و نحوه ارتباط نرم افزار scada در بستر tcp/ip انجام می گیرد .به گونه ای که در بستر tcp/ip برای حفظ فاکتورهای امنیتی و کاهش ضریب خطا از دو پروتکل mod bus و p...

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

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

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

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