0

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

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

مقدمه و اهداف نسبت معناداری از افرادی که گرفتار به اختلال وسواس– اجبار هستند به درمان های دارویی و روان شناختی معمول پاسخ نمی دهند. خلأ درمانی موجود باعث مزمن شدن بیماری و افزایش میزان ناتوانی بیماران در انجام اعمال اجتماعی، شغلی و افزایش هزینه های تحمیل شده به جامعه می گردد. هدف از مطا لعه حاضر، ارزیابی نقش مدل فراشناختی ولز در کاهش نشانه ها و توان بخشی بیماران گرفتار به اختلال وسواس– اجبار اس...

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

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

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

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

هدف: پژوهش حاضر با هدف مقایسۀ علائم اختلالات اضطرابی در سطوح متفاوت کلسترول به انجام رسیده است.  روش: این پژوهش از نوع مطالعات علی –  مقایسه­ای بود. مبتنی بر اهداف ترسیم شده، از میان افراد مبتلا به کلسترول (tc) بالا و پایین مراجعه­کننده به آزمایشگاه مرکزی استان آذربایجان شرقی، تعداد 100 نفر (50 نفر در هر گروه با میانگین سنی 55- 35 ساله) به شیوه در دسترس انتخاب شدند. برای جمع­آوری داده­ها از پرس...

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