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

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

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

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

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

امروزه از پردازنده ها و میکروکنترولرها در سیستم های تعبیه شده به شکل وسیعی استفاده می شود. تحقیقات نشان می دهند که نرخ رخداد اشکال در هر نسل از تراشه ها به دلیل کاهش اندازه قطعه و ولتاژ و همچنین بالا رفتن فرکانس کاری، تقریباً 8% افزایش می یابد و این مطلب ضرورت استفاده از روش های بهینه ی کشف و تصحیح خطا را برای بهبود قابلیت اطمینان و ایمنی سیستم های تعبیه شده، روزبه روز بیشتر می کند. مکانیزم های ...

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

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

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

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