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

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

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

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

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

اعتماد و شهرت، مفاهیمی شناخته‌شده در علوم اجتماعی هستند که امروزه در قالب سامانه‌های اعتماد، کاربردهای روزافزونی در علوم رایانه و ارتباطات پیدا کرده‌‌اند. این سامانه‌ها با ارائۀ مدلی محاسباتی و بر پایه مجموعه‌ای از تجربیات و توصیه‌ها، مقادیر اعتماد (یا شهرت که نوع خاصی از اعتماد است) را محاسبه می‌‌کنند. این مقادیر به موجودیت‌ها در شناسایی و سپس منزوی ساختن موجودیت‌های غیردرست‌کار جامعه یاری می‌...

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

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