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

امروزه از پردازنده ها و میکروکنترولرها در سیستم های تعبیه شده به شکل وسیعی استفاده می شود. تحقیقات نشان می دهند که نرخ رخداد اشکال در هر نسل از تراشه ها به دلیل کاهش اندازه قطعه و ولتاژ و همچنین بالا رفتن فرکانس کاری، تقریباً 8% افزایش می یابد و این مطلب ضرورت استفاده از روش های بهینه ی کشف و تصحیح خطا را برای بهبود قابلیت اطمینان و ایمنی سیستم های تعبیه شده، روزبه روز بیشتر می کند. مکانیزم های ...

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

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

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

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

سیستم‌های هوموس بزرگ‌ترین بخش ذخیرۀ کربن آلی خاک به حساب می‌آیند و تأثیر بسیار مهمی در فرایندهای اکولوژیکی جنگل دارند. در این زمینه، ارتفاع از سطح دریا با تأثیر بر ویژگی‌های زیستی و غیرزیستی اکوسیستم جنگل، برای ارزیابی تغییرات پوشش و توزیع سیستم‌های هوموس عامل مهمی به شمار می‌آید. در این پژوهش مشخصه‌های ریختی اشکال هوموس در سه طبقۀ ارتفاعی 500، 1000 و 1500 متر از سطح دریا در سه ترانسکت ارتفاعی ...