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

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

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

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

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

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

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

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