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

هدف این نوشتار ارائه‌ی روشی است برای طراحی مفهومی حامل فضایی برمبنای قابلیت اطمینان R‌L‌V‌C‌D، که در آن با در نظر گرفتن قابلیت اطمینان الزام‌شده از طرف کارفرما و نیز بهره‌گیری از روش طراحی مفهومی مدولار، قابلیت اطمینان حامل فضایی براساس معیارهای اصلی، تکنولوژی، پیچیدگی، زمان عملکرد و هزینه به زیرسامانه‌ها تخصیص داده می‌شود. قابلیت اطمینان زیرسامانه‌های حامل به‌صورت بانک اطلاعاتی برای طراحی مدول...

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

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

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

بهره گیری از هندسه در پیمایش همساز میان فرم، ایستایی و تناسبات، ب هعنوان اصلی جاری در تعاملِ سازه و معماری سنتی ایران همواره برقرار بوده است. شناخت رفتار هندسیِ اجزا در مسیر ایجاد اتحاد ارگانیک میانِ سامانه های کالبد، فضا و زمینه، موجب شک لگیری بازخوردی یکپارچه به عوامل مؤثر در پایایی مجموعه م یگردد. گره های ایرانی بر مبنای ،y و x قیود هندسی موجود در ساختار و تناسبات خویش، به عنوان واحدهای مدولار،...

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

در این پایان نامه ابتدا تعدادی از تعاریف و قضایای مقدماتی نقطه ثابت را بیان می کنیم. در ادامه فضای مدولار و تعدادی از ویژگی های این فضا را معرفی و سپس قضایای نقطه ثابت را برای نگاشت های شبه انقباضی و انقباضی ضعیف در این فضا بیان و ثابت می کنیم و کاربردی از این قضایای را در معادلات انتگرال ارائه می دهیم. هم چنین ضمن معرفی فضای متریک مدولار، قضایای نقطه ثابت را برای نگاشت های انقباضی و انقباضی ضع...

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

چکیده در پایان نامه حاضر، ابتدا به شرح خواص پریودیکی و تبدیلات مدولار توابع اتا و تتا پرداخته و در ادامه شود در ?? ایم. همان طور که دیده می ?? ی بالاتر را ارئه کرده ?? استخراج خواص پریودیکی باز توابع اپل مرتبه باشند. سپسبه ?? روابط مربوط به خواصشبه پریودیکی باز توابع اپل، جملات تصحیحی از نوع توابع تتا می روی این توابع مستقیماً s ایم که تبدیل ?? ایم و نشان داده ?? توابع اپل پرداخته s و t ی تب...