هانگ نگیون و ولادیک کرینویچ – قسمتی از علوم وابسته به ریاضیات و دانشگاه واحد مکزیک
email hunguyen @nmsu .edu has Cruces
قسمت علوم کامپیوتر ، دانشگاه تکزاس :
email valadik @ cs .vtep.edu EI Paso
خلاصه :
در خیلی از طراحی موقعیت های حقیقی چندین ضابطه مختلف وجود دارد که ما می خواهیم آنها را بهینه سازی کنیم و این ضوابط اغلب در تضاد با یکدیگر هستند .
به طور رایج ، چندین موقعیت بهینه سازی چند ضابطه ای دستی وجود دارند در یک راهی که بدین منظور است موقعی که برخوردهای ضابطه ای مختلف به طور هنرمندانه ای در یک واحد ترکیبی هدف دار یعنی که در آن هنگام بهینه سازی شده است ترکیب شده اند .
استفاده غیر طبیعی که به منظور این ابزارهای است به طور واضح بهترین راه برای توصیف یک جنبه طبیعی از استدلال انسان نیست .
منطق پیشرفته یک مقدار زیادی از روش طبیعی مسائل بهینه سازی چند ضابطه ای دستی را توصیف می کند .
موقعی که ما نمی توانیم همه تضادهای ضابطه ای را به طور %100 بیشینه کنیم ، هر کدام را به یک اندازه مشخص که امکان دارد بهینه می کنیم .
چندین روش در رابطه با منطق پیشرفته برای بهینه سازی چند ضابطه ای پیشنهاد شده است . اگر چه ، هنوز از بعضی ایده هایی بدین منظور استفاده ی شود .
در این صفحه ما نشان می دهیم که بعضی از معابر برای بهینه سازی چند منظوره می تواند تنها براساس منطق پیشرفته توجیه شده باشد . و نیازی به ابزارهای خارجی که بدین منظور است نیست .
کلمه های کلیدی :
بهینه سازی چند ضابطه ای ، طراحی سیستم های پیشرفته ، مجموعه پیشرفت ، استدلال پیشرفته .
1-دستورات :
در بعضی از وضعیت های دوره حقیقی موقعی که ما یک سیستم کامل شده ای را طراحی می کنیم . ما می دانیم به درستی که چه چیزی برای بهینه سازی کردن می خواهیم .
برای مثال ، موقعی که ما یک مسیر ماشین را طراحی می کنیم ، هدف ما برای پیشینه کردن سرعتش است .
مساله پیدا کردن بهترین طراحی به طور واضح یک مساله که وابسته به ریاضیات تعریف شده می شود . اجازه دهید x مجموعه ای از همه طراح های ممکن را مشخص کند . پس مساله می تواند مانند دنباله زیر فرموله بشود.
: داده ها
و f:x→R. تابع عینی ( حلقه ) یک -
( از همه طرح هایی که یک ضابطه برتر مشخص را رضایند می کند ) -C X مجموعه ( حلقه ) یک –
فرمول برای پیدا کردن هر xX
چندین روش از فرموله کردن و حل کردن مساله بیشینه برای موارد تحقق گرا وجود دارد .در شرایطی روی x که فرموله شده در یک واژه نامشخص و وجود دارند ، سپس به وسیله یک مجموعه پیشرفته C توصیف داده شده است . ( مشاهده کنید و مراجعه کنید به آنجا [3] ) در اکثر حالات واقعی هر چند هدف هایی از یک سیستم طراحی شده برای فرموله کردن در یک واژه مختصر و دقیقی آسان نیستند ، معمولاً تعداد زیادی از ضوابط مختلف f1(x),…..,fn(x) وجود دارد که ما می خواهیم بهینه سازی کنیم و این ضوابط اغلب در تضاد با یکدیگر هستند .
برای مثال طراحی موقعیت مرکزی باید هم برترینی مناسبی داشته باشد و هم برترینی پس انداز اگر ما به طور ساده ای این دو برترینی را در یک واژه هایی بازگشتی ، فرمول بندی کنیم . ما یک ضابطه متناقظی راب دست خواهیم آورد .
زیرا طراحی که به طور 100% متناسب باشد یک مکانی موقعیت را خواهد ساخت که صدها بار گران تر است . و طرح ارزان هم به طور صریح مناسب نیست .