شکل ۱۲ تکنیک برنامه‌نویسی خود بررسی با آزمون پذیرش
در شکل برنامه‌نویسی خود بررسی به کمک فرایند مقایسه نشان داده شده است. مزیت این روش در این است که یک برنامه مستقل از الگوریتم تصمیم گیری (فرایند مقایسه) برای آشکارسازی نقص به کار میرود.

( اینجا فقط تکه ای از متن پایان نامه درج شده است. برای خرید متن کامل فایل پایان نامه با فرمت ورد می توانید به سایت feko.ir مراجعه نمایید و کلمه کلیدی مورد نظرتان را جستجو نمایید. )

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

شکل ۲۱ساختار و عملکرد بلو کهای بازیابی اجماعی
اگر رأی گیرنده نتیجه درستی تعیین نکند )توسط یک الگوریتم تصمیم گیری اکثریت(، آنگاه نتایج بالاترین گونه برای آزمون های پذیرش ارائه می گردد. اگر نتایح گونه مورد نظر درست نباشد، نتایج یک گونه دیگر برای آزمون پذیرش ارسال می گردد و این روند تا تولید یک نتیجه قابل قبول ادامه دارد. ساختار و عملکرد این تاکتیک در شکل بالانمایش داد شده است.
رأی‌گیری پذیرش
تاکتیک رأی‌گیری پذیرش^[۱۰۸] از یک آزمون پذیرش و یک ماشین تصمیم گیرنده بر اساس رأی‌گیری استفاده می کند و دارای یک سازوکار بازیابی رو به جلو برای انجام تحمل‌پذیری خطا می باشد . در این تاکتیک تمامی نسخه ها می توانند به صورت موازی اجرا شوند. نتایج این نسخه ها توسط یک آزمون پذیرش ارزیابی می شود و تنها نتایج پذیرفته شده به رأی گیرنده ارسال می شود. در این تاکتیک یک الگوریتم رأی‌گیری پویا وجود دارد.
در شکل ذیل ساختار و عملکرد تاکتیک رأی‌گیری پذیرش نشان داده شده است.
شکل ۲۲ساختار و عملکرد تکنیک رأی‌گیری پذیرش
شاخصهای عملکردی^[۱۰۹]
شاخص‌ های عملکردی، معیارها و شاخصهای اندازه‌گیری درون سازمانی هستند که به منظور اندازه گیری کیفیت اهداف و عملکرد های عملیاتی و همراستایی با استراتژی های سازمانی در یک سازمان بکار برده می شوند . این شاخص ها جهت ارزیابی وضعیت فعلی سازمان و تعیین راه کارهای مناسب برای هوشمند کردن کسب و کار استفاده می‌شوند. شاخص‌های عملکرد کلیدی معمولا با بهره گرفتن از تکنیکهایی مانند کارتهای متوازن^[۱۱۰] به استراتژی سازمان متصل میشوند.
شاخصهای عملکردی را میتوان به سه گروه تقسیم کرد:
۱-شاخصهای کلیدی نتیجه^[۱۱۱]:که نشان دهنده عملکرد سازمان شما در یک منظر خاص می‌باشد.
۲-شاخصهای عملکرد^[۱۱۲]: که کارهایی که ما میبایست انجام دهیم نشان می‌دهد.
۳-شاخصهای عملکرد کلیدی^[۱۱۳]: که به ما میگویند چگونه عملکرد سازمان را بصورت چشمگیری ارتقاء دهیم.
روش‌های رایج برای ارزیابی قابلیت اطمینان سیستم ها
قابلیت اطمینان یک مقیاس مهم از کارایی یک سیستم است و برای محاسبه احتمال اینکه دستگاه دستورات مورد نظر خود را بصورت رضایت بخش در فاصله زمانی خاص تحت شرایط عملیاتی خاص اجرا نماید ایجاد شده است. برای دستگاه های ساده و ارزان اغلب تست های آزمایشگاهی منجر به بدست آوردن میزان پایایی دستگاه می شود. این دستگاه ها اغلب بخشی از سیستم های پیچیده تر و گرانتر هستند. بصورت معمول تست توقف سیستم های پیچیده اقتصادی نیست. به جای آن، داشتن دانش از ساختار سیستم بعنوان دستورالعمل از بخش‌های آن جهت محاسبه قابلیت اطمینان سیستم از قابلیت اطمینان بخش‌های آن معمولا استفاده شده است. در این بخش ما الگوریتم ها و متدهایی جهت ارزیابی قابلیت اطمینان سیستم بوسیله قابلیت اطمینان بخش‌های آن ارائه می کنیم.
فاکتور های زیادی قابلیت اطمینان سیستم را بعنوان تابعی از قابلیت اطمینان عناصر تحت تاثیر قرار می دهند. در این بخش ما مفروضات زیر را بدون هیچ چیز دیگری قبول می کنیم:
سیستم هایی مورد بحث قرار می گیرند که محدود هستند به سیستم های منسجم و همسان. به عبارت دیگر، همه اجزا وابسته اند.
سیستم و بخش‌های آن تنها دو حالت ممکن دارند: کار^[۱۱۴] و توقف^[۱۱۵]
براساس این ، ما با قابلیت اطمینان سیستم ها و بخش‌های آن نسبت به توابع قابلیت اطمینان آن‌ها از زمان t سر و کار داریم.
مدت زمان متدها و الگوریتم ها مورد بحث قرار می گیرد تا مشخص شود که قابلیت اطمینان سیستم ها وابسته به تعداد بخش‌های سیستم و ساختار سیستم است. الگوریتم های متفاوتی جهت ارزیابی قابلیت اطمینان سیستم روی یک سیستم با ساختار یکسان ارائه خواهد شد. کارایی این الگوریتم ها ممکن است متفاوت باشد.
بسیاری از سیستم ها می تواند بوسیله نمودار بلوک دیاگرام قابل اطمینان^[۱۱۶] ارائه شوند. کارایی مورد نظر یک سیستم می تواند توسط نمودار بلوک دیاگرام قابل اطمینان ارائه شود که اغلب بوسیله جریان سیگنال هایی از انتهای سمت چپ تا انتهای سمت راست نمودار تفسیر می شوند.
اینجا سیستم هایی وجود دارند که می توانند بوسیله نمودارهای شبکه‌ای ارائه شوند. برای مثال: شبکه های کامپیوتری، شبکه های مخابراتی و شبکه های عمودی. یک شبکه از گره ها و لینک ها تشکیل شده است و معمولا هر دو بخش در معرض خرابی هستند.
در این جا، ما فرض می کنیم که یا گره ها و یا لینک ها و نه هر دو مورد خراب می شوند.
با این فرض، یک نمودار شبکه‌ای می تواند شبیه به نمودار بلوک دیاگرام قابل اطمینان رفتار کند با فرض اینکه یک منبع و مقصد ساده در شبکه وجود دارد.
عملیات موفق یک شبکه ممکن است برای اهداف مختلف بصورت متفاوتی تعریف شود. کارکرد شبکه ممکن است به این صورت تعریف شود که گره منبع قادر به ارتباط با گره مقصد باشد. در این مورد می گوییم ما با مسئله قابلیت اطمینان شبکه دو ترمیناله^[۱۱۷] مواجه ایم. اگر کار به این صورت تعریف شود که K گره می توانند با یکی دیگر ارتباط داشته باشند با مسئله قابلیت اطمینان شبکه ( (K-Terminal مواجه ایم. الگوریتم های ارائه شده در این جا جهت ارزیابی قابلیت اطمینان تجهیزات و شبکه دو ترمیناله قابل‌استفاده اند. در ادامه، متدهای جهت ارزیابی قابلیت اطمینان سیستم ارائه خواهد شد.
ساده‌سازی سری و موازی^[۱۱۸]
ساختار سری و موازی یکی از ساختار های پایه ای قابلیت اطمینان سیستم می باشد. آن‌ها بطور گسترده ای در سیستم های قابل اطمینان استفاده می شوند. قابلیت اطمینان چنین سیستم هایی می تواند به آسانی ارزیابی شود. قبل از بکار گیری روش دیگری جهت ارزیابی پایایی سیستم باید زیر سیستم های موازی و سری ای که در ساختار یک سیستم پیچیده وجود دارد را استخراج کند و ساده‌سازی سری و موازی را به کار گیرد.
یک زیر سیستم سری n بخشی با یک بخش مافوق که قابلیت اطمینان آن برابر حاصل ضرب قابلیت اطمینان بخش‌های زیر سیستم است جایگزین می شود.
بعنوان مثال برای یک سیستم که نمودار بلوک دیاگرام قابل اطمینان آن بصورت ذیل می‌باشد و پایایی و ناپایایی هر بخش i بوسیله p_i و q_i نمایش داده می شود قابلیت آن بصورت ذیل محاسبه می‌شود.
جدول ۱ ساده‌سازی سری