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

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

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

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

هدف کلی این پژوهش« شناسایی میزان تاکید کتابهای ادبیات فارسی بر شاخص های هویت ملی- مذهبی از دیدگاه دبیران درس ادبیات دوره متوسطه» می باشد. روش پژوهش ترکیبی(کیفی و کمی) مبتنی بر تحلیل محتوا و پیمایشی است. جامعه آماری پژوهش را نه جلد کتاب درسی ادبیات فارسی دوره متوسطه و دبیران ادبیات دوره متوسطه شهر همدان تشکیل می دهد. حجم نمونه پژوهش در بخش کتابهای درسی ادبیات فارسی، برابر با جامعه و در بخش دبیرا...

هدف از تهیه این پژوهش، بررسی و ارزشیابی "رابط کاربر وب سایت ناشران دانشگاهی کشور" بر اساس سه شاخص اصلی در مدل b2c تجارت الکترونیکی، یعنی: جاذبه ظاهری، تقویت ساختار و تداوم (نتیجه وفاداری و اعتماد مشتری) می باشد. در پژوهش حاضر از روش پیمایشی و بر مبنای شاخص های تجارت الکترونیکی در رابطه b2c و با الهام از مدل و مولفه های نیلسن که در قالب سیاهه وارسی، در سه بخش "معیارها و مولفه های جاذبه ظاهری، ...

هدف از این پژوهش بررسی نمودهای تربیت دینی در کتاب درسی فرهنگ اسلامی و تعلیمات دینی سال سوم راهنمایی در سال تحصیلی(89-88) است. با توجه به ماهیت موضوع روش پژوهش "توصیفی" از نوع "تحلیل محتوا" استفاده گردید. جامعه آماری این پژوهش کتاب فرهنگ اسلامی و تعلیمات دینی کتاب سال سوم راهنمایی تحصیلی (89-88) می باشد که کلیه محتوای آن (یعنی بیست درس این کتاب) با توجه به طبقه بندی بلوم درباره هدفهای رفتاری در ...

در پژوهش حاضر با روش تحلیل محتوا، میزان انطباق محتوای سه کتاب درسی حرفه وفن جدید التألیف دوره راهنمایی تحصیلی (82-81) با اهداف مصوب جزئی آن ها برای هر یک از واحدهای درسی مورد بررسی قرارگرفته است. جامعه آماری، سه کتاب درسی مذکور بوده که همه آن ها نیز مورد بررسی واقع شده اند. ابزارهای پژوهش، سه فرم فهرست وارسی کتاب های سال اول، دوم و سوم بوده که روایی صوری و محتوایی آن ها به وسیله صاحبنظران تایید...

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