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

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

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

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

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

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

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

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

مقدمه: امروزه شیوه های نوین آموزش و تربیت نیروی متخصص در حرف پزشکی مورد توجه قرار گرفته است. در این نوشته، وب کوئست (webquest) به عنوان شیوه ای جدید از آموزش مبتنی بر پویش (inquiry based learning) برای یافتن پاسخ سؤالات با دسترسی منابع عمدتاً اینترنتی، معرفی شده و کاربرد آن در آموزش علوم پزشکی، و به ویژه آموزش پرستاری تشریح می گردد. روش ها: جهت دستیابی به مقالات مرتبط با موضوع وب کوئست، از جستجو...