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

در این مقاله یک مدل بهینه زمانبندی نگهداری و تعمیرات (نت) پیشگیرانه غیر ادواری برای سیستم‌های چند جزیی (سری - موازی) ، بر مبنای حداکثر قابلیت دسترسی اجزای سیستم (که تعیین بازه بازرسی بهینه را به همراه دارد) ارایه شده است. همچنین در این مقاله علاوه بر تامین سطح قابلیت اطمینان مورد نیاز سیستم و ارضای سایر محدودیت‌های سیستمی (فعالیت‌های نت و منابع در دسترس)، کل هزینه‌های (مستقیم و غیر مستقیم) مرتب...

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

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

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

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

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

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