در این پایان نامه، ابتدا ثابت میکنیم تحت(zfc) در زبانی که برای هر رابطه روی rشامل یک نمادرابطه ای ا ست، یک توسیع شمارای آکنده تعریف پذیر *rازrوجود دارد. بدین منظور ابتدا مجموعهa شامل فرافیلترهای غیر اصلی n را مرتب میکنیم. سپس یک فرافیلتر d میسازیم که از آن برای ساخت یک فراتوان از r استفاده میشود. همچنین برای ساختن یک زنجیره استقرایی از توسیع های مقدماتی بکار میرود که، ساختارگام های اردینال...

در این پایان نامه که مطالب آن با استفاده از دو مرجع اصلی ‏‎[6]‎‏ و ‏‎[7]‎‏ توصیف شده است، خاصیت حذف سور را برای میدان نمایی حقیقی با توابع تحلیلی تحدید یافته ‏‎(r )‎‏ در زبان بسط یافته توسط ‏‎log‎‏ ثابت کرده و از آن، ت - کمینه بودن ‏‎(r )‎‏ را نتیجه می گیریم. سپس مدلی نااستاندارد برای ‏‎th(r )‎‏ ارائه می دهیم و با استفاده از خواص این مدل، به سوالی از هاردی پاسخ می دهیم؛ مبنی بر این که وارون ترک...

در این پایان نامه به خواص مدل های تعریف پذیر حساب پئانو در مدل های دیگر پئانو پرداخته می شود.

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

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

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

الگوریتم fft قلب محاسباتی سیستمهای مخابراتی ofdm است. لذا هر نوع بهینه سازی روی این واحد تاثیر مستقیم بر عملکرد این سیستمها خواهد داشت. ساختار خط لوله بعلت داشتن میزان گذردهی بالا برای سیستمهای مخابرات سیار بسیار مناسب است. از طرفی ساختار خط لوله انواع مختلفی دارد که انتخاب دقیق یک ساختار با توجه به نوع کاربرد بر عملکرد سیستم تاثیر خواهد داشت. لذا در این رساله پردازنده های خط لوله fft از ابعاد ...