منطق عملی تکلیف، جبرهای بول اتمیک و تحمل پذیری خطا
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان
- نویسنده فاطمه احمدی
- استاد راهنما مجتبی آقایی
- تعداد صفحات: ۱۵ صفحه ی اول
- سال انتشار 1390
چکیده
هدف از این پایان نامه، معرفی یک چهارچوب ریاضی جهت استدلال در مورد خواص سیستم های تحمل پذیر خطا می باشد. در همین راستا یک منطق عملی تکلیف (dpl ) و یک اصل گذاری برای آن معرفی می گردد. این منطق خواص مفیدی مثل سلامت، تمامیت، فشردگی و تصمیم پذیری دارد. اگر چه منطق معرفی شده، ارزشمند و مهم است ولی از آنجا که منطق های زمانی در مشخص کردن سیستم های محاسبه نقش مهمی دارند، این منطق توسط عملگر های زمانی (ctl) توسیع داده می شود. در سیستم های تحمل پذیر خطا، بعد از یک نقض باید اعمالی اجرا شود تا آن نقض را جبران کند که در منطق تکلیف استدلال ctd نامیده می شود. رویکرد ما در این پایان نامه برای مواجهه با چنین جملاتی، استفاده از چندین نسخه ی مجوز می باشد که به این ترتیب توسیع سودمند دیگری از dpl حاصل می شود. در این پایان نامه همچنین با طرح سناریوهایی از ساختارهای ارائه شده مانند شام فیلسوفان و سیستم قطار، چگونگی کاربرد آنها را برای مشخص کردن سیستم های محاسبه در عمل نیز نشان می دهیم.
منابع مشابه
ارائه رویکردی به منظور افزایش تحمل پذیری خطا در رایانش ابری با استفاده از منطق فازی
با نیاز روزافزون کاربران به منابع مختلف، رایانش ابری به عنوان یکی از تکنولوژیهای جدید مطرح گردیده و امروزه به سرعت در حال پیشرفت است. رایانش ابری دستهای از راهحلهای رایانشی است که در آن فناوری و یا سرویسهای مورد نیاز، به کاربران امکان دسترسی به منابع رایانشی را بر حسب تقاضا میدهد. تحملپذیری خطا یکی از نگرانیهای عمده برای تضمین در دسترس بودن و قابلیت اطمینان خدمات و همچنین اجرای وظایف اس...
متن کاملمنطق ساختشکنی و سیاستِ عملی
چکیده ساختشکنی یا واسازی به‌‌مثابة رویکردی معارض با عقل‌‌گراییِ سنت فلسفی غرب، در پی افشای پیش‌‌فرض‌‌هایی در نظم گفتاریِ رایج است که بنا به ادعا مبتنی‌‌بر تقابل‌‌های درون‌‌زبانی و لذا قراردادی‌‌اند. بنابراین، با تخریب بنیان‌‌های هرگونه مرجعیت فکری، عرصه را به روی ورود امکان‌‌های دیگر گشوده است و بدین‌‌سبب به لحاظ نظری با منطق دموکراتیک پیوند می‌‌یابد. اما در عمل با ضربه‌زدن به هرگونه معیار،...
متن کاملبررسی قابلیت تحمل پذیری خطا در شبکه های حسگر بی سیم
To increase reliability and fault tolerance in wireless sensor network, using spare nodes is a useful method. In this article, we survey the influence of using single-type and multi-type spare nodes on the fault tolerance in the low density. To achieve this, we use single-type and multi-type spare nodes and construct the network reliability graph for one, two and three-node densities. Then, we ...
متن کاملافزودن قابلیت تحمل پذیری خطا به متدولوژی MaSE برای سیستم های چند عامله
برنامه های کاربردی زیادی امروزه بر مبنای مفهوم سیستمهای چند عامله شکل گرفته اند و نیازمند این هستند که به طور پیوسته و بی وقفه کار کنند. سیستمهای چند عامله نیز از بروز خطا مصون نیستند. به همین دلیل لازم است که تحمل پذیری خطا به عنوان یک نیاز غیر وظیفه مندی تا حد امکان برای آنها تامین گردد. روش های ارائه شده برای تحمل پذیری خطا تا به حال، بیشتر مبتنی بر تکثیر عامل ها بوده اند که خود باعث پیچیدگی...
متن کاملطراحی یک ضرب کننده ترتیبی با قابلیت تحمل پذیری خطا
در فرایند توسعه هر سیستم، قابلیت اطمینان آن، از جمله مهم ترین موضوعات به شمار رفته و نگرانی در زمینه اعتمادپذیری، از اجزای جدایی ناپذیر در طراحی های مهندسی محسوب می گردد. یک سیستم تحمل پذیر خطا در سطوح مقدماتی، توانایی تشخیص وقوع خطا و در مراحل بالاتر، توانایی تصحیح خطا و بازگرداندن سیستم به عملکرد عادی خود را خواهد داشت. استفاده از واحدهای محاسباتی تحمل پذیر خطا در پیاده سازی سیستم های ریزپر...
منطق ساخت شکنی و سیاستِ عملی
چکیده ساخت شکنی یا واسازی به مثابة رویکردی معارض با عقل گراییِ سنت فلسفی غرب، در پی افشای پیش فرض هایی در نظم گفتاریِ رایج است که بنا به ادعا مبتنی بر تقابل های درون زبانی و لذا قراردادی اند. بنابراین، با تخریب بنیان های هرگونه مرجعیت فکری، عرصه را به روی ورود امکان های دیگر گشوده است و بدین سبب به لحاظ نظری با منطق دموکراتیک پیوند می یابد. اما در عمل با ضربه زدن به هرگونه معیار، با سیاست فاصلة ز...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان
کلمات کلیدی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023