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

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

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

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

سینتیک آزاد سازی فلزات سنگین (روی، سرب، نیکل، مس و کادمیوم) از دو نمونه رسوب رسی گرفته شده از عمق 0 تا 10 سانتی متری پائین دست رودخانه قره چای واقع در استان همدان که با نمک نیتراته این فلزات آلوده شده بودند، با روش ستون آبشویی مطالعه شد. سرعت آزادسازی فلزات سنگین از نمونه های آلوده در ابتداء سریع و با گذشت زمان از سرعت آزادسازی آن ها کاسته شد. سرب رفتار متفاوتی نسبت به سایر فلزات از خود نشان دا...

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

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

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