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

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

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

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

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

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

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

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

در این تحقیق به بررسی موج چاکنایی واکه‌های فارسی با استفاده از الکتروگلوتوگرافی می‌پردازیم. در مرحلۀ اول ویژگی‌های موج چاکنایی واکه‌های مختلف زبان فارسی را مقایسه می‌کنیم. در مرحلۀ دوم به مقایسۀ موج چاکنایی گویشوران مرد و زن می‌پردازیم. در این تحقیق برای مقایسۀ ویژگی‌های موج چاکنایی از پارامتر نسبت تماس استفاده می‌شود. داده‌های مورد بررسی شامل شش واکۀ زبان فارسی هستند که با استفاده از دستگاه حن...

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