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

مقدمه: هدف از اجرای این پژوهش بررسی اثر بخشی کنترل وارسی و اطمینان بخشی در کاهش اضطراب بیماری بود. روش: پژوهش حاضر از  نوع تجربی با طرح  پیش آزمون – پس آزمون و پیگیری بود که بدین منظور از جامعه آماری که شامل افراد مبتلا به اضطرب بیماری بود و جهت درمان طی ماههای اسفند 92 تا اردیبهشت 93 به مراکز  درمانی یا مشاوره ی شهر ارومیه مراجعه کرده بودند تعداد 30 نفر به صورت در دسترس انتخاب و به صورت تصادفی...

مقدمه: هدف این پژوهش بررسی مشکلات حافظه ای افراد مبتلا به نوع وارسی و شستشو کننده اختلال وسواسی – جبری از نظر فراحافظه ، حافظه،سوگیری به حافظه و میزان اطمینان به حافظه است. مواد و روش کار: 30 فرد مبتلا به اختلال وسواسی ـ جبری (15 وارسی کننده، 15 شستشو کننده) و 30 نفر به عنوان گروه گواه (15 نفر به عنوان اضطراب منتشر،15 نفر بهنجار ) انتخاب شدند. گروه گواه از نظر متغیرهای جمعیت شناختی با گروه ه...

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

هدف این پژوهش بررسی رابطه نگرانی با زیرمجموعه های وارسی و شستشوی اختلال وسواسی ـ اجباری و نقش آن در بازداری فعال شدن شاخص های پردازش هیجانی در بیماران وارسی‏ کننده بود. 60 آزمودنی مبتلا به اختلال وسواسی ـ اجباری (30 شستشو کننده و 30 وارسی‏ کننده) و 60 نفر به عنوان کنترل (30 بیمار مضطرب و 30 فرد بهنجار) برای این هدف انتخاب شدند. گروه ها از نظر متغیرهای جمعیت شناختی با گروه وارسی‏ کننده همتا شدند...

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

چکیدهمقدمه: هدف این پژوهش بررسی مشکلات حافظه‏ای افراد مبتلا به نوع وارسی اختلال وسواسی- اجباری از نظر حافظه ی رویدادی، سویمندی در حافظه و میزان اطمینان به حافظه است. روش: 60 فرد مبتلا به اختلال وسواسی- اجباری (30 وارسی کننده و 30 شستشو کننده) و 60 نفر به عنوان گروه گواه (30 نفر مبتلا به اختلال اضطراب منتشر و 30 نفر بهنجار) انتخاب شدند. گروه ها از نظر متغیرهای جمعیت شناختی با گروه وارسی کننده هم...

0

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

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