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

این پژوهش با هدف مقایسه حافظه آینده نگر و فراحافظه افراد بهنجار و مبتلا به اختلال وسواس فکری- عملی انجام شد. از جمعیّت کل که شامل دانشجویان دانشگاه بین المللی امام خمینی (ره) و دانشگاه آزاد اسلامی واحد کرج است، 600 نفر نمونه گیری شد که نهایتاً 100 نفر پس از پاسخ به پرسش نامه وسواس فکری- عملی مادزلی غربال گردید. برای سنجش شدّت علایم اختلال وسواس فکری- عملی از پرسش نامه وسواس فکری- عملی مادزلی (هاجس...

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

پژوهش حاضر با هدف بررسی نقش توانمندی‌های شخصیتی در پیش‌بینی عملکرد شغلی کارکنان انجام شد. بدین منظور 165 نفر به صورت تصادفی ساده از کارکنان شرکت مدیریت تولید برق شهید محمد منتظری به عنوان نمونه انتخاب شدند. ابزارهای پژوهش آزمون توانمندی ها و ارزش‌ها در عمل (پیترسون و سلیگمن،2003)، فهرست وارسی عملکرد وظیفه‌ای (بیرنه و همکاران،2005) و فهرست وارسی عملکرد زمینه‌ای (کونوی،1999) بودند. نتایج تحلیل رگ...

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

چکیده: وارسی مدل، یک روش خودکار و راهکاری مناسب به­منظور درستی یابی سیستم های نرم افزاری مطمئن است. در این سیستم ها، نمی توان ریسک بروز خطا را حتی در فرآیند تست پذیرفت و لذا لازم است فرآیند درستی یابی، قبل از پیاده سازی و در سطح مدل انجام شود. سیستم های تبدیل گراف، از پرکاربردترین سیستم های مدل­سازی رسمی  و راهکاری مناسب به­منظور مدل­سازی و وارسی سیستم های پیچیده هستند. اما این سیستم ها در فرآی...

روش:.پژوهش حاضر در چارچوب طرح تجربی تک موردی با استفاده از خطوط پایه ی چندگانه به انجام رسید و در راستای آن 15 جلسه درمان با یک پیگیری یک ماههروی2فرد مبتلا به اختلال پراشتهایی روانی با 30<bmiدر شهر تبریز اجرا شد و برای ارزیابی تغییرات درمانی از مقیاس های edds، edi-2، bcq، biaq، bdi-ii، rses ، mps و scid-i استفاده شد. یافته ها: یافته های پژوهش نشان می دهد که درمان شناختی رفتاری مبتنی بر ذهن آگا...

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