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

در این پژوهش محقق برآن است تا ساختار اطلاعاتی گروه های اسمی محذوف در زبان فارسی را بررسی نماید. برای دست یابی بدین مهم، پیکره زبانی شامل 200 جمله از چندین رمان معاصر بصورت تصادفی انتخاب شده اند. این پیکره بر مبنای مدل های اطلاعاتی ارائه شده توسط کونو(1980)، شیگکو(1985) و چیف(1994) مورد تجزیه و تحلیل قرار گرفته اند تا مکانیزم های حاکم بر حذف کل گروه اسمی و حذف بخشی از آن مشخص شود. تحقیق انجام ...

یک تکنیک نوین برای ریزماشین کاری ارائه می شود که در آن زدایش ناهمسانگرد بسترهای ‏‎pet‎‏ در حلال ‏‎dmf‎‏ در جهت نور تابشی صورت می گیرد. وجود نور ‏‎uv‎‏ باعث فعالسازی واکنش در جهت فوتونها می گردد. ‏‎pet‎‏ یک ماده سخت می باشد و بسادگی در ‏‎dmf‎‏ حل نمی گردد. شاید برخورد فوتونهای پر انرژی ‏‎uv‎‏ به منومرهای واقع بر سطح ‏‎pet‎‏، آنها را تحریک نموده وادار به شرکت در واکنش با ‏‎dmf‎‏ می نماید. سیستم ب...

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

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

در این تحقیق نانوذرات پلی تیوفن و نانوکامپوزیت هایش تهیه و جداسازی یون نیکل به عنوان یک آلاینده سمی با استفاده از این نانوذرات صورت گرفت. پلی وینیل پیرولیدون و هیدروکسی پروپیل سلولز به عنوان پایدارکننده استفاده شدند. پلی تیوفن و نانوکامپوزیت هایش با اکسایش کلرید آهن در محیط آبی تهیه شده اند. آزمون هایمیکروسکوپ الکترونی روبشیsem) )، پراش پرتو ایکس(xrd) و طیف سنجی مادون قرمز فوریر(ftir) برای تعیی...

در این پایان نامه از توابع b- اسپلاین درجه 3 برای حل عددی رده ای از مسائل مقدار مرزی تکین خطی و غیرخطی، دستگاه مسائل مقدار مرزی مرتبه دوم خطی و مسائل مقدار اولیه تکین خطی و غیرخطی استفاده شده است. در نقطه تکین ابتدا معادلات را تغییر داده وسپس با استفاده از روش b-اسپلاین حل می کنیم. در مسائل غیرخطی با استفاده از روش شبه خطی سازی ابتدا مساله را خطی کرده ومساله بدست آمده را با روش b-اسپلاین حل م...

به منظور ارزیابی اثرات کشندگی سم حشره کش آندوسولفان در ماهیان، آزمایش تعیین سمیت حاد آن به روش ساکن و براساس روش استاندارد organisation economic cooperation and development (oecd) بر روی ماهی کپور معمولی (cyprinus carpio) با وزن 5-20 گرم و 21-40 گرم درجه حرارت متوسط 21 درجه سانتی گراد انجام گرفت . محدوده کشندگی برای گروه وزنی 5-20 گرم 0/0002-0/002 میلی گرم در لیتر و برای گروه وزنی 21-40 گرمی 0/...

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

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