چکیده ندارد.

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

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

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

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

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

چکیده ندارد.

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