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

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

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

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

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

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

پارامترهای ورودی در طراحی و ارزیابی عملکرد هیدرولیکی شبکه های توزیع آب دقیق نیستند و در معرض عدم قطعیت فراوان قرار دارند. از این رو باید عدم قطعیت در زمان طراحی یک شبکه جدید، توسعه و بهبود آن در نظر گرفته شود. در این تحقیق، 4 مدل بر مبنای رویکرد شبیه سازی-بهینه سازی شبکه های توزیع آب از تلفیق الگوریتم ژنتیک با نرم افزار epanet، با استفاده از کدنویسی در محیط matlab توسعه داده شده است و بر این اس...

شبکه های خودرویی موردی (vehicular ad hoc network) نوعی از شبکه های موردی اند که برای ارتباط بی سیم میان خودروها طراحی شده اند. این شبکه ها زیر مجموعه ای شبکه های موردی متحرک (mobile ad hoc network) محسوب می شوند، اما به دلیل وجود مشخصات منحصر به فرد در شبکه های خودرویی مانند تغییر سریع همبندی، تحرک و سرعت بالای خودروها احتمال ایجاد انفصال در آن بسیار بالا است، بنابراین نیاز به طراحی پروتکل های ...

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