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

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

در حل پارادوکس معدوم مطلق (معدوم در ذهن و خارج) راه حل های گوناگونی مطرح شده است؛ راه حل هایی چون: اختلاف در مفهوم و مصداق و معادل های آن که رایج ترین پاسخ است؛ اختلاف در بتّی و غیر بتّی و معادل های آن و غیره. این نوشتار با اشاره به نقدپذیری این راه حل ها مدعی است راه حل درست همان شناخت پذیری عدم مطلق است. این راه حل گرچه مورد توجه شمار اندکی از اندیشمندان نیز بوده است نشان خواهیم داد راه حل این ...

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

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

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

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

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

حساب هتینگ ha صورت شهودگرایانه حساب پئانو pa است که با حذف اصل طرد شق ثالث pem از آن حاصل می شود. در این پایان نامه توصیفی از نتایج wehmeier درباره ارضاء (زیرنظریه های) pa در جهانهای مدلهای کریپکی ha آورده می شود. برای مثال، هر قضیه ii2 از pa (که در ha نیز برهان پذیر خواهد بود) در هر مدل کریپکی ha موضعا صادق است . به علاوه، مدلهای کریپکی توسیع انتهایی برای ha قالب - 1 گردایه را نیز (که در ha بر...