هدف این مطالعه بررسی میزان حافظه و نیز اطمینان به حافظه در گروه­هایی از افراد دارای اختلال وسواسی ـ اجباری (از نوع وارسی) و افراد مبتلا به اختلال شخصیت وسواسی ـ اجباری در مقایسه با گروه کنترل وسواسی ـ اجباری از نوع شستشو و نیز گروه بهنجار است. برای این منظور 4 گروه از آزمودنی­ها (یک گروه وسواسی از نوع وارسی؛ یک گروه شخصیت وسواسی ـ اجباری، یک گروه وسواسی از نوع شستشو و یک گروه سالم) هر کدام به ت...

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

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

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

0

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

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