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

ناپایداری های تک رخدادی (sets) به علت افزایش فزاینده ی کوچک سازی قطعات، کاهش منبع تغذیه و افزایش فرکانس عملیاتی، برای سیستم های سیگنال مختلط مسئله ی بسیار مهمی شده است. برای مقابله با setها، اغلب سخت کنندگی تابشی برای افزایش اتکاء پذیری سیستم های سیگنال مختلط استفاده می شود. در کاربردهای فضایی، کارایی حلقه قفل فاز (pll) بدلیل تأثیر تابش کاهش می یابد. با افزایش تعداد مدارهای سیگنال مختلط، استفاد...

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

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

افزایش کاربرد سیستم های کامپیوتری تعبیه شده در حوزه های مختلف، وابستگی زندگی بشر را به این گونه سیستم ها بیش از پیش افزوده است تا جایی که بروز اشکال (fault) و در نتیج? آن خطا (error)، در اغلب این سیستم ها صدمات جبران ناپذیری را به دنبال خواهد داشت. این گزارش، روشی در سطح معماری برای تصحیح اشکال های رخداد? یک بیتی و چندبیتی در خط لول? ریزپردازند? سیستم های تعبیه شده و مدارات داخلی آن ها ارائه م...

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

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