اهداف: هدف پژوهش حاضر مقایسه عملکرد شناختی افراد مبتلا به اختلال وسواس شستشو، وسواس وارسی و اختلال اضطراب فراگیر در حوزه حافظه شرح حال است. روش‏: در یک مطالعه علی- مقایسه ای با استفاده از روش نمونه گیری در دسترس 14 نفر بیمار مبتلا به اختلال وسواس وارسی، 14 نفر بیمار مبتلاء به اختلال وسواس شستشو و 17 نفر بیمار مبتلا به اختلال اضطراب فراگیر و نیز 15 نفر افراد سالم و عادی که در متغیرهای سن، جنس و ...

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

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

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

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

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

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

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

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

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