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

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

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

در این نوشته با توجه به مزیت های سیستم های الهام گرفته شده از طبیعت و با مشاهده والهام گیری از نحوه کنترل رفتار در موجودات طبیعی یک معماری کنترلی جدید به نام evolvable decentralize control معرفی گردیده است. معماری edc از دو بخش عمده تشکیل شده است. در یک بخش لایه های تک رفتار ها وجود دارند که بیانگر قابلیت ها و ظرفیت های ذاتی موجود میباشند و بخش دیگر شامل لایه تلفیق کننده میباشد که با توجه به نح...

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

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

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

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

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