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

اشکال زدایی نرم افزار به صورت دستی فرایندی بسیار دشوار و پرهزینه است. مکان یابی و رفع خطاهای پنهان نرم افزار پرهزینه ترین عمل در فرایند اشکال زدایی برنامه است. تاکنون راهکارهای متعددی برای خودکارسازی مکان یابی خطا ارائه شده است. بسیاری ازاین راهکارها مکانیابی خطا را با فرض وجود یک خطا در هر بار اجرای برنامه انجام می دهند و پس از رفع یک خطا در برنامه، عملیات مکانیابی را مجدداً تکرار می کنند. فرض ...

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

ویتگنشتاین در رسالة منطقی-فلسفی در شمار‌ه‌های ۳.۰۳۱-۳.۰۲ می‌گوید که جهانی غیرمنطقی تصورناپذیر است و درباره‌اش نمی‌توان سخن گفت. رایل (1946) مدعی شده است که اصولاً چیزی به نام معمای تصورناپذیری جهان غیرمنطقی و ناممکنی سخن در مورد چنین جهانی وجود ندارد. به زعم وی چنین معمایی وجود ندارد و بحث بر سر معناداری سخن در باب جهانی غیرمنطقی محصول خطای مقولهای است. رایل با نظر به معانی مختلف مفهوم «کاربست م...

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

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