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

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

بدلیل مشکل بودن حل مسائل بهینه سازی با متغیرهای صحیح معمولاً فُرم ساده شده (آزادسازی شده) این مسائل حل می شود. این فُرم ساده شده یک کران پایین (برای مسأله مینیمم سازی یا یک کران بالا برای مسأله ماکزیمم سازی) بدست می دهد. بدیهی است، بدست آوردن یک کران خوب برای این مسائل از اهمیت زیادی برخوردار است. ‎ روشهای متداول برای بدست آوردن این کرانها "آزادسازی خطی" و "آزادسازی لاگرانژ" هستند. در سالهای اخی...

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

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

هدف از این پایان نامه تعیین کران های جدیدی برای (a(n,d,بزرگترین اندازه کدهای دودویی ازطولnوحداقل فاصلهd است.این کران های جدید برپایه قطری سازی بلوکی جبرترویلیگرمکعب همینگ حاصل می شود.این کران,کران دلسارت وتعدادی ازکران های(a(n,dرابرای مقادیرمشخص nوd بهبودمی بخشد.

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

مسئله پهنای باند گراف یک مسئله np-کامل است.اگر g را گرافی ساده وبدون جهت با مجموعه رئوس v شامل n عضو در نظر بگیریم.یک برچسب گذاری از گراف gاختصاص اعداد صحیح{‎1,...,n}به رأس های گراف g است.هدف از مسئله پهنای باند گراف یافتن برچسبی است که در آن بیشترین فاصله ی بین دو رأس مجاور مینیمم شود.هر چند برای خانواده خاصی از گراف هاالگوریتم های شناخته شده ای وجود دارد که می تواند مقدار دقیق این مسئله را در...

مساله افراز­بندی گراف اولین بار توسط فرانسیس گوتری در سال 1852 بیان شد..کاربردهای مختلف این مساله را می­توان در طراحی مدارهای الکتریکی­[2]، قطعه قطعه­سازی تصویر­[3]، محاسبات موازی­[4]، تخصیص کار­[5] و غیره پیدا کرد. در این جا مساله افراز­بندی را برروی یک گراف بدون جهت و وزن دار در نظر می گیریم. مساله افرازبندی تقسیم راس­ها به k افراز با اندازه های معلوم است به قسمی که وزن یال هایی که گره ها...

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