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

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

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

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

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

گراف g را در نظر بگیرید که به هر یال آن مقدار مثبتی به عنوان ظرفیت نسبت داده شده است. برای دو رأس s و t از گراف ، s-t-برش s ، زیرمجموعه ای از رأس های g است که شامل s باشد اما شامل t نباشد و ظرفیت آن برابر با مجموع ظرفیت تمام یال های خروجی از s است. s-t- برشی با کمترین ظرفیت در میان تمام s-t- برش ها را یک s-t- برش کمینه می نامند. در این پایان نامه، الگوریتم های چندجمله ای برای شمارش تعداد s-t- ...

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

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

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

به منظور بررسی و مطالعه زیست چینه نگاری سازند میشان در زون پس خشکی بندرعباس، برش چینه نگاری ناحیه ای شامل برش های هندون، انگورو، باویون و نخ در شمال غرب و غرب بندرعباس انتخاب شدند. در مجموع 668 نمونه از سازند میشان مورد بررسی قرار گرفت که در این میان 515 نمونه سخت و 153 نمونه نرم بودند. سازند میشان در این برش ها عمدتاً از آهک های توده ای، سنگ آهک نازک لایه، سنگ آهک رسی و مارن های سبز تا خاکستری ...