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

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

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

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

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

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

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

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