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

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

چکیده ندارد.

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

nsltp (nonspecific lipid transfer protein) ها پروتئین هایی گیاهی هستند که بر اساس وزن مولکولی به دو گروه nsltp1 و nsltp2 تقسیم بندی می شوند. این پروتئین ها بسیار مقاوم هستند و علاوه بر پتانسیل حمل داروها می توانند آن ها را در برابر اکسیداسیون یا تجزیه شدن محافظت کنند. مولکول nsltp2 گیاه برنج ، پروتئینی است که به دلیل توانایی ذاتی عبور از غشا و اتصال به ترکیبات استروئیدی (از جمله برخی ترکیبات دا...

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

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

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

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