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

فهرست مطالب

۱- مقدمه
۲٫ SA چیست؟
۳- مقایسه SA با تپه‌نوردی
۴- معیار پذیرش (یک حرکت)
۵- رابطه‌ی بین SA و حرارت فیزیکی
۶- اجرای SA
۷- برنامه سرد کردن
۱-۷٫ درجه حرارت آغازین
۲-۷٫ درجه حرارت پایانی
۳-۷٫ کاهش درجه حرارت در هر مرحله
۴-۷٫ تکرار در هر دما
۸- تابع هزینه
۹- همسایگی
۱۰- روش حل TSP  با SA
۱۱- نتیجهگیری
منابع

منابع

Aarts, E.H.L., Korst, J.H.M. 1989. Simulated Annealing and Boltzmann Machines. Wiley, Chichester.

K. Burke and G. Kendall, “Evaluation of Two Dimensional Bin Packing Problem using the No Fit Polygon“, Proceedings of the 26th International Conference on Computers and Industrial Engineering, Melbourne, Australia, 15-17 December 1999, pp 286-291

Cěrny, V. 1985. A Thermodynamical Approach to the Travelling Salesman Problem; An Efficient Simulation Algorithm. of Optimization Theory and Applic. 45, 41-55

Connolly, D.T. 1990. An Improved Annealing Scheme for the QAP. EJOR, 46, 93-100

Dowsland, K.A. 1995. Simulated Annealing. In Modern Heuristic Techniques for Combinatorial Problems (ed. Reeves, C.R.), McGraw-Hill, 1995

Hajek, B. 1988. Cooling Schedules for Optimal Annealing. Mathematics of Operations Research, vol 13, No. 2, pp311-329

Johnson, D.S., Aragon, C.R., McGeoch, L.A.M. and Schevon, C. 1991. Optimization by Simulated Annealing: An Experimental Evaluation; Part II, Graph Coloring and Number Partitioning. Operations Research, 39, 378-406

Kirkpatrick, S , Gelatt, C.D., Vecchi, M.P. 1983. Optimization by Simulated Annealing. Science, vol 220, No. 4598, pp671-680

Lundy, M., Mees, A. 1986. Convergence of an Annealing Algorithm. Math. Prog., 34, 111-124

Metropolis, N., Rosenbluth, A.W., Rosenbluth, M.N., Teller, A.H., Teller, E. 1953. Equation of State Calculation by Fast Computing Machines. of Chem. Phys., 21, 1087-1091.

Mitra, D., Romeo, F., Sangiovanni-Vincentelli, A. 1986. Convergence and Finite Time Behavior of Simulated Annealing. Advances in Applied Probability, vol 18, pp 747-771

Rana, A.E. Howe, L.D. Whitley and K. Mathias. 1996. Comparing Heuristic, Evolutionary and Local Search Approaches to Scheduling. Third Artificial Intelligence Plannings Systems Conference (AIPS-96)

Rayward-Smith, V.J., Osman, I.H., Reeves, C.R., Smith, G.D. 1996. Modern Heuristic Search Methods. John Wiley & Sons.

Ross, D. Corne and F. Hsiao-Lan. 1994. Improving Evolutionary Timetabling with Delta Evaluation and Directed Mutation. In Y. Davidor, H-P Schwefel and R. Manner (eds) Parallel Problem Solving in Nature, Vol 3, Springer-Verlag, Berlin

Russell, S., Norvig, P. 1995. Artificial Intelligence A Modern Approach. Prentice-Hall

Rutenbar, R.A. 1989. Simulated Annealing Algorithms : An Overview. IEEE Circuits and Devices Magazine, Vol 5, No. 1, pp 19-26

Van Laarhoven, P.J.M, Aarts, E.H.L. 1987. Simulated Annealing: Theory and Applications. D. Reidel Publishing

White, S.R. 1984. Concepts of Scale in Simulated Annealing. Proceedings International Conference on Computers in Design, pp 646-665

۱۹٫ Andrew W. Moore _ Professor_ School of Computer ScienCarnegiemellon University

۱- مقدمه

سیستم‌های پیچیده اجتماعی تعداد زیادی از مسائل دارای طبیعت ترکیباتی[۱] را پیش روی ما قرار می‌دهند. مسیر کامیون‌های حمل و نقل باید تعیین شود، انبارها یا نقاط فروش محصولات باید جایابی شوند، شبکه‌های ارتباطی باید طراحی شوند، کانتینرها باید بارگیری شوند، رابط‌های رادیویی می‌بایست دارای فرکانس مناسب باشند، مواد اولیه چوب، فلز، شیشه و چرم باید به اندازه‌های لازم بریده شوند؛ از این دست مسائل بی‌شمارند. تئوری پیچیدگی به ما می‌گوید که مسائل ترکیباتی اغلب پلی‌نومیال[۲] نیستند. این مسائل در اندازه‌های کاربردی و عملی خود به قدری بزرگ هستند که نمی‌توان جواب بهینه آنها را در مدت زمان قابل پذیرش به دست آورد. با این وجود، این مسائل باید حل شوند و بنابراین چاره‌ای نیست که به جواب‌های زیر بهینه[۳] بسنده نمود به گونه‌ای که دارای کیفیت قابل پذیرش بوده و در مدت زمان قابل پذیرش به دست آیند.

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

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

بازپخت شبیه‌سازی شده[۴]

جستجوی ممنوع[۵]

الگوریتم‌های ژنتیک[۶]

شبکه‌های عصبی مصنوعی[۷]

بهینه‌سازی مورچه‌ای یا الگوریتم‌های مورچه[۸]

در این تحقیق ما به بررسی بازپخت شبیه‌سازی شده (شبیه‌سازی حرارتی) می‌پردازیم.

 SA چیست؟

SA مخفف Simulated Annealing به معنای شبیه‌سازی گداخت یا شبیه‌سازی حرارتی می‌باشد که برای آن از عبارات شبیه‌سازی بازپخت فلزات، شبیه‌سازی آب دادن فولاد و الگوریتم تبرید نیز استفاده شده است. برخی مسائل بهینه‌سازی صنعتی در ابعاد واقعی غالباً پیچیده و بزرگ می‌باشند. بنابراین روش‌های حل سنتی و استاندارد، کارایی لازم را نداشته و عموماً مستلزم صرف زمان‌های محاسباتی طولانی هستند. خوشبختانه، با پیشرفت فن‌آوری کامپیوتر و ارتقا قابلیت‌های محاسباتی، امروزه استفاده از روش‌های ابتکاری و جستجوگرهای هوشمند کاملاً متداول گردیده است. یکی از این روش‌ها SA است. SA شباهت دارد با حرارت دادن جامدات. این ایده ابتدا توسط شخصی که در صنعت نشر فعالیت داشت به نام متروپلیس[۹] در سال ۱۹۵۳ بیان شد.[۱۰] وی تشبیه کرد کاغذ را به ماده‌ای که از سرد کردن مواد بعد از حرارت دادن آنها بدست می‌آید. اگر یک جامد را حرارت دهیم و دمای آن را به نقطه ذوب برسانیم سپس آن را سرد کنیم جزئیات ساختمانی آن به روش و نحوه سرد کردن آن وابسته می‌شود. اگر آن جامد را به آرامی سرد کنیم کریستال‌های بزرگی خواهیم داشت که می‌توانند آن طور که ما می‌خواهیم فرم بگیرند ولی اگر سریع سرد کنیم آنچه که می‌خواهیم بدست نمی‌آید.

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

P:احتمال پذیرش نقطه بعدی

C: یک پارامتر کنترلی

تغییر هزینه

پارامتر کنترل در شبیه‌سازی آب دادن فولاد، همان نقش دما را در پدیده فیزیکی ایفا می‌کند. ابتدا ذره (که نمایش دهنده نقطه فعلی در فضای جستجو است) با مقدار انرژی بسیار زیادی (که نشان دهنده مقدار بالای پارامتر کنترلی C است) نشان داده شده است. این انرژی زیاد به ذره اجازه فرار از یک کمینه محلی را می‌دهد. همچنانکه جستجو ادامه می‌یابد، انرژی ذره کاهش می‌یابد (C کم می‌شود) و در نهایت جستجو به کمینه کلی میل خواهد نمود. البته باید توجه داشت که در دمای پایین امکان فرار الگوریتم از کمینه محلی کاهش می‌یابد، به همین دلیل هر چه انرژی آغازین بالاتر، امکان رسیدن به کمینه کلی هم بیشتر است .[۱۰]

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

۱٫ نقطه شروع:

نقطه‌ای در فضای جستجو است که جستجو را از آنجا آغاز می‌کنیم. این نقطه معمولاً به صورت تصادفی انتخاب می شود .

۲٫ مولد حرکت:

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

۳٫ برنامه سرد کردن[۱۰]:

پارامترهایی که نحوه سرد کردن الگوریتم را مشخص می‌کنند. بدین ترتیب که دما چند وقت به چند وقت و به چه میزان کاهش یابد و دماهای شروع و پایان چقدر باشند. در سال ۱۹۸۲ کرک پاتریک[۱۱] ایده متروپلیس را برای حل مسائل به کار برد. در سال ۱۹۸۳ کرک پاتریک و تعدادی از همکارانش از SA برای حل مسئله فروشنده دوره‌گرد یا TSP استفاده کردند.

TSP یکی از مسائل پایه در روشهای بهینه‌سازی است و عبارت است از کمینه‌سازی مسافتی که یک فروشنده دوره‌گرد ، ضمن مسافرت به تعداد معینی شهر باید طی کند. دیدار از هر شهر باید دقیقاً یک بار صورت پذیرد و او باید به شهری که مبداء حرکتش است باز گردد. نتایج شبیه سازی حاکی از موفقیت روش ارائه شده توسط کرک پاتریک در حل TSP بود. از آن پس، شبیه سازی حرارتی در مسائل بهینه‌سازی گوناگونی به کار رفت و نتایج بسیار موفقیت آمیزی کسب کرد.[۸]

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

SA در خیلی از کتاب‌ها (انگلیسی) شرح داده شده است. اگر شما می‌خواهید به دنبال راحت‌ترین تعریف باشید، به شما توصیه می‌کنیم کتاب (Dowsland, 1995)‌ این کتاب نه تنها بسیار خوب SA را شرح داده بلکه حاوی مراجع معتبر بسیاری برای علاقه‌مندان می‌باشد.[۵]

۳- مقایسه SA با تپه‌نوردی[۱۲]:

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

برخلاف تپه‌نوردی، SA بصورت Random حرکت به همسایگی را انتخاب می‌کند. (به یاد آورید که نپه‌نوردی بهترین حرکت را که در دسترس است، وقتی در یک سراشیبی نزول یا صعود می‌کند، انتخاب می‌کند.) در واقع SA ، تپه نوردی بهبود یافته است. اگر بهترین حرکت را نسبت به موقعیت جاری انجام دهید، SA همواره مورد قبول خواهد بود. اگر اشتباه حرکت کنید (حرکت بد) احتمالاً آن حرکت می‌تواند مورد قبول واقع شود. راجع به این مبحث بیشتر توضیح خواهیم داد.

۴- معیار پذیرش[۱۳] (یک حرکت)

[۱] combinatorial

[۲] polynomial

[۳] Sub optimal

[۴] Simulated annealing (sa)

[۵] Tabu search (ts)

[۶] Genetic algorithms (ga)

[۷] Neural networks

[۸] Ant colony optimization (aco)

[۹] metropolis

[۱۰] Cooling schedule

[۱۱] Kirk patrick

[۱۲] Hill climbing

[۱۳] Acceptance criteria

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

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