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

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

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

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

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

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

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

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

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

ایجاد سرویس های مرکب با امکانات و ویژگی هایی ارتقاء یافته، یک مفهوم کلیدی در معماری سرویس گرا (soa) به حساب می آید که با ترکیب و سازماندهی چند سرویس ساده و یا مرکب محقق میشود. در یک سرویس مرکب با خواص تراکنشی، شکست هر سرویس مستقل، ممکن است هزینه هایی جهت انصراف، جبران و یا بازگشت به عقب را بر دیگر سرویس های وابسته به سرویس شکست خورده تحمیل نماید. کاهش میانگین این هزینه ها در یک ترکیب می تواند ب...