وارسی مدل ، یک روش کاملا خودکار و راهکاری مناسب به منظور بررسی و درستی یابی سیستم های نرم افزاری ایمنی-بحرانی پیش از تولید آنهاست. در اینگونه از سیستم ها نمی توان ریسک بروز خطا را حتی برای یک بار پذیرفت. سیستمهای تبدیل گراف ، نمونه ای از پرکاربردترین سیستم های مدلسازی رسمی و نیز راهکاری مناسب به منظور مدلسازی و وارسی سیستم های پیچیده هستند که با بهره گیری از ویژگی گرافیکی بودن، به نحو شایسته ای...

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

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

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

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

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

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

پژوهش حاضر به روش ارزیابانه انجام گرفته و هدف آن، ارزیابی ساختار و محتوای پایگاه‌های اطلاعاتی الکترونیکی «سید»، «مگ ایران» و «نمامتن» است. اطلاعات در بخش ساختار از طریق سیاهه وارسی و در بخش محتوا از طریق مشاهده و مصاحبه سازمان یافته با مدیران سه پایگاه گردآوری شد. میزان مطابقت سه پایگاه سید، مگ‌ایران و نمامتن با معیارهای ساختار به ترتیب 43/50%، 70/54% و 88/41% برآورد شد. نتایج حاصل از ا...