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

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

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

در این پایان نامه ما چند هدف عوده را دنبال می کنیم در بخش 1 مطالبی از جبر جا به جایی بیان می کنیم. در بخش 2 به تعریف پایه گرونبر می پردازیم و بعضی از کاربردهای پایه گرونبر را بیان می کنیم. در بخش 3 گروه پیکار د را تعریف می کنیم و در بخش 4 مختصری از رمزنگاری را بیان می کنیم و به کاربرد خم های بیضوی در رمزنگاری اشاره می کنیم. در بخش 5 خم های c3,4 را تعریف می کنیم و به بان محاسبات روی این خم ها می...

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

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

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

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

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

در این مقاله به‌کمک استنباط بیزی رفتار گذرای یک سامانه‌ی صف‌بندی با یک سرویس‌دهنده را بررسی می‌کنیم که در آن توزیع‌های مدت زمان بین دو ورود متوالی و زمان سرویس‌دهی نامعلوم است. این توزیع‌ها به‌وسیله‌ی یکی از اعضای خانواده ارلنگ تعمیم‌یافته‌ی آمیخته1 (MGE) تقریب زده می‌شوند. با بازنویسی پارامترهای مدل و امکان استفاده از یک توزیع پیشین نااگاهی‌بخش، به کارگیری روش‌های مونت کارلوی زنجیره مارکوفی فر...