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

این پایان نامه به طور کلی به مطالعه طرح های مختلف سانسور روی توزیع نمایی یک و دو پارامتری پرداخته است. طرح سانسور اولین بار توسط اپستین در مورد یک آزمایش طول عمر مطرح شد و در چند دهه ی اخیر رشد اصلی خود را پیدا کرده است.موضوع طرح سانسور اولین بار توسط اپستین (1954) در مورد یک آزمایش طول عمر مطرح شد و در چند دهه ی اخیر رشد اصلی خود را پیدا کرده است.در فصل اول تعاریف و مفاهیم مورد نیاز بیان شده...

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

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

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

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

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

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

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

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