حامی فایل

مرجع دانلود فایل ,تحقیق , پروژه , پایان نامه , فایل فلش گوشی

حامی فایل

مرجع دانلود فایل ,تحقیق , پروژه , پایان نامه , فایل فلش گوشی

سمینار ارشد برق برنامه ریزی ورود و خروج واحدها به شبکه با در نظر گرفتن نیروگاه های CAES و تولیدات بادی

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

سمینار ارشد برق برنامه ریزی ورود و خروج واحدها به شبکه با در نظر گرفتن نیروگاه های CAES و تولیدات بادی


سمینار ارشد برق برنامه ریزی ورود و خروج واحدها به شبکه با در نظر گرفتن نیروگاه های CAES و تولیدات بادی

 

 

 

 

 

چکیده

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

 

 

فهرست مطالب:

چکیده
مقدمه ١
فصل اول : تاریخچه و هماهنگی برنامه ریزی در مدار قرار گرفتن واحدها ٤
-1-1 برنامه ریزی در سیستم های قدرت ٥
٦ -2 مقدمه ای بر مسئله در مدار قرار گرفتن واحدها -1
٨ -3 مسئله ورود و خروج اقتصادی واحدها -1
٩ 4 برنامه ریزی و هماهنگی در مدار قرار گرفتن واحدها -1
١٥ -5 معرفی روش های حل مسئله در مدار قرار گرفتن واحدها -1
١٥ -1 روشهای کلاسیک -5 -1
-1-1 روش یکایک شماری ١٥ -5 -1
-2-1 روش برنامه ریزی دینامیکی ١٥ -5 -1
-3-1 روش برنامه ریزی اعداد صحیح و ترکیب اعداد صحیح و پیوسته ١٧ -5 -1
-4-1 روش شاخه و کران ١٨ -5 -1
-5-1 روش آزاد سازی لاگرانژ ١٩ -5 -1
٢٠ -2 روش های تجربی -5 -1
-1-2 روش لیست حق تفدم ٢١ -5 -1
-2-2 روش سیستم های خبره ٢١ -5 -1
٢٢ -3-5 روش های هوشمند -1
-1-3 روش شبکه های عصبی ٢٢ -5 -1
-2-3 روش الگوریتم ژنتیک ٢٣ -5 -1
-3-3 روش شبیه سازی سرد شدن تدریجی فلزات ٢٦ -5 -1
ز
-2-3 روش جستجوی ممنوع ٢٨ -5 -1
-3-3 روش فازی ٣٠ -5 -1
٣٢ -6 مقایسه بین روش های حل مسئله در مدار قرار گرفتن واحدها -1
٤٣ فصل دوم : معرفی نیروگاه های ذخیره کننده هوای فشرده
-1 شرح مختصری از نیروگاه های ذخیره کننده هوای فشرده ٤٤ -2
-2 شرایط مورد نیاز سیستم های ذخیره کننده هوای فشرده ٤٥ -2
همراه با نیروگاه های گازی ٤٧ CAES -3 استفاده از -2
-4-2 نمونه نیروگاه های ذخیره کننده هوای فشرده ٤٨
٥٤ فصل سوم : نیروگاه های بادی
-1 شرح مختصری از انرژی باد ٥٥ -3
-2-3 بررسی اقتصادی استفاده از انرژی باد ٥٥
-3 روند تحولات تکنولوژی انرژی باد در سالهای اخیر در جهان و ایران ٥٦ -3
با حضور نیروگاه های بادی ٥٨ UC -4-3 بررسی مسئله
-5 حضور همزمان واحدهای بادی و ذخیره کننده هوای فشرده ٦٠ -3
فصل چهارم : نتیجه گیری ٧٩
عنوان مطالب شماره صفحه
منابع و ماخذ ٨٢
فهرست منابع فارسی ٨٢
فهرست منابع لاتین ٨٣

 


دانلود با لینک مستقیم


خط مشی و برنامه ریزی سیستمهای اطلاعاتی

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

خط مشی و برنامه ریزی سیستمهای اطلاعاتی


خط مشی و برنامه ریزی سیستمهای اطلاعاتی

فرمت فایل : word(قابل ویرایش)تعداد صفحات33

 

مقدمه:

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

1-ارائه کل چرخه سیستمهای اطلاعاتی

2- بررسی دلایل وجودی برنامه سیستمها

3- توضیح فرآیند برنامه ریزی سیستمها

نگاهی کلی به خط مشی،برنامه ریزی ،ایجاد،و مدیریت سیستمها:

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

خط مشی سیستمها:

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

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

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


دانلود با لینک مستقیم


دانلود پاورپوینت صنایع آماده با عنوان برنامه ریزی خطی در تحقیق در عملیات

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

دانلود پاورپوینت صنایع آماده با عنوان برنامه ریزی خطی در تحقیق در عملیات


دانلود پاورپوینت صنایع آماده با عنوان برنامه ریزی خطی در تحقیق در عملیات

 

 

 

پاورپوینت آماده و قابل ویرایش است.

•طبقه بندی مدل ها
•1. تمرین عملی
•2 . مدل بازی
•3 . شبیه سازی
•4 . مدل تحلیلی(ر
5- فرایند حل مسئله در OR
6- سه گام اساسی در بکار گیری برنامه ریزی خطی
7- فرضیا ت برنامه ریزی خطی
8-  فرض تناسب
 9-فرض جمع پذیری
10- فرض بخش پذیری
11- فرض معین بودن
و بسیاری مباحث دیگر.......

 

 

 


دانلود با لینک مستقیم


دانلود پایان نامه طراحی سیستم برنامه ریزی و کنترل تولید

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

دانلود پایان نامه طراحی سیستم برنامه ریزی و کنترل تولید


دانلود پایان نامه طراحی سیستم برنامه ریزی و کنترل تولید

طراحی سیستم برنامه ریزی وکنترل تولید

 

 

 

 

 

 

لینک پرداخت و دانلود *پایین مطلب*

فرمت فایل:Word (قابل ویرایش و آماده پرینت)

تعداد صفحه:69

فهرست مطالب :

مقدمه

فصل اول                                                                                                

   تولید دسته ای :برنامه ریزی کنترل                                                                    11

   1- 2 هدف وتعریف برنامه ریزی و کنترل وتولید                                                   14

       1- 2- 1- سازمان وتشکیلات بخش برنامه ریزی وکنترل تولید                                14

   1- 3 تأثیر سیستم برنامه ریزی وکنترل تولید برهزینه های تولید                                 16

   1- 4 کلیات برنامه ریزی وزمانبندی                                                                  16

   1- 5 عوامل ارزیابی عملکرد سیستم برنامه ریزی وکنترل تولید                                  20

   1- 6 نتیجه گیری                                                                                       20

فصل دوم

سیستمهای خبره                                                                                           22

   2- 1 کاربرد سیستمهای خبره                                                                         23

   2- 2 مشخصات سیستمهای پشتیبانی خبره                                                           24

   2- 3 اجزای سیستم خبره                                                                              25

     2- 3- 1 پایگاه دانش                                                                                 27

     2- 3- 2 موتور استنباطی                                                                          29

     2- 3- 3 امکانات تفسیرگر                                                                         30

   2- 4 نتیجه گیری                                                                                    32

فصل سوم

روشهای برنامه ریزی وکنترل تولید درصنعت نمونه                                                34

   3- 1 تاریخچه وفعالیت کارخانجات اتمسفر                                                         35

   3- 2 معرفی محصولات شرکت                                                                    36

   3- 3 معرفی کارگاه های تولید                                                                      37

   3- 4 اهمیت محصولات                                                                            38

     3- 4- 1 شرح پروژه های شرکت اتمسفر                                                        38

   3- 5 عملکرد برنامه ریزی وکنترل تولید                                                           40

   3- 6 سطوح برنامه ریزی تولید                                                                     41

   3- 7 برنامه ریزی وکنترل تولید ازدیدگاه شرکت                                                  41

   3- 8 نکات قابل توجه دربرنامه ریزی تولید                                                       43

   3- 9 کنترل تولید                                                                                      43

   3- 10 روش عملی کنترل تولید                                                                     45

   3- 11 شرح اطلاعات وجریان فرمها                                                              46

   3- 12 حرکت فرمها                                                                                 47

   3- 13 نتیجه گیری                                                                                  50

فصل چهارم

سیستم خبره برنامه ریزی وکنترل تولید                                                               51

   4- 1 عوامل مؤثر برتصمیم گیری                                                                 52

   4- 2 مراحل تهیه برنامه تولید                                                                      54

   4- 3 ابزارهای تجزیه وتحلیل کمی                                                                 55

     4- 3- 1 نیازهای اطلاعاتی سیستم خبره برنامه ریزی وکنترل تولید                         55

       4- 3- 1- 1 اطلاعات موردنیازروش MRP                                                  55

       4- 3- 1- 2 اطلاعات تکمیلی سیستم خبره                                                   58

   4- 4 ملاحظات دیگردرمورد برنامه ریزی (برنامه ریزی صریع وضمنی)                 61

   4- 5 تعریف مسئله                                                                                 62

فصل چهارم

نتیجه گیری وجمع بندی وپشتیبانی برای حرکتها بعدی                                             66

   5- 1 بررسی سیستم خبره وپیشنهادات                                                            67

     5- 1- 1 توانایی های سیستم                                                                     67

      5- 1- 2 موارد لازم جهت تکمیلی سیستم                                                     68

   5- 2 پیشنهاداتی برای شرکت                                                                     68

منابع ومأخذ                                                                                               69

پیوست ها                                                                                                70

چکیده :

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

برای دستیابی به این هدف مراحل زیرطی شده است:

  1. مطالعه وبررسی مفاهیم وعملکرد برنامه ریزی وکنترل تولید.
  2. مطالعه وبررسی مفاهیم وعملکرد سیستمهای خبره.
  3. مطالعه وبررسی عملکرد شرکتهای نمونه تولیدی برای آشنایی با ماهیت برنامه ریزی وکنترل تولید در این شرکتها.

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

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

در فصل سوم این تحقیق به روشهای برنامه ریزی و کنترل تولید درصنعت نمونه می پردازد.شرکتهای تولیدی که مورد مراجعه قرار گرفته عبارتند از:شرکت اتمسفر (سهامی عام).انتخاب این شرکت بصورتی انجام شده است که جنبه های کلی عملکرد شرکت تولیدی را پوشش می دهد.

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

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

     درپی این مطالب مواردمربوط به مراحل تهیه برنامه تولید ارائه شده است.ابزارهای تجزیه وتحلیل

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

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

دربخش زمینه نمونه ای ازنمودارOPC ولیست مواد لازم برای یک محصول نمونه را نمایش می دهیم.

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

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

     زمان یکی دیگر از عوامل مهم وکلیدی در برنامه ریزی تولید است. به دلیل وابسته بودن فعالیتهای تولیدی به مصرف وهمچنین وابسته بودن مصرف به زمان ،معمولاً تعیین زمان تولید،یکی از اهداف اصلی برنامه ریزی تولید می باشد.

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

     سیستم های خبره 1 (پایگاه های دانش 2 ) سیستم های کامپیوتری هستند که سعی برتقلید روش استنباطی و نتیجه گیری انسان در برخورد با یک مسئله خاص ویا دسته ای از مسائل مشابه ، دارند.توان

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

مسائل تولیدی می پردازد وروش مورد استفاده آن مشابه روشی است که یک فرد خبره درامربرنامه ریزی وکنترل تولید در پیش می گیرد.

     قبل از ادامه بحث،لازم است مرزیندی قابل قبولی از واژه ها ومفاهیم ارائه شده در مقدمه بحث ارائه گردد. این بحث برای معرفی اجمالی «سیستم خبره برنامه ریزی وکنترل تولید» مطرح شده است.

هر یک از کلمات بکار برده شده در این عنوان ماهیت خاصی راباخود به همراه دارند وممکن است ترکیب آنها با یکدیگر معانی مختلفی رالقاء کند.برای جلوگیری از اختلاف دیدگاه ها توضیحات زیر لازم است:

سیستم های خبره دارای انواع مختلف می باشندکه با توجه به روش جمع آوری و ذخیره وپردازش اطلاعات ،توانمدی های مختلفی دارند. جمع آوری اطلاعات می تواند بصورت آنی 1 ویا تأخیری 2 باشد.مسلِِِِِِِّم است که سیستم خبره متکی به روش همزمان جمع آوری اطلاعات دارای توان بیشتر و دقت بالاتر در ارائه نتایج می باشد.

     روشهای ذخیره دانش و یا به عبارت دیگرروشهای قرار دادن دانش در فایلهای کامپیوتری یکی دیگر از مشخصات سیستم های خبره می با شد.بطور کلی برای این منظور از دو روش قاعده ای 3 ( اگر- آنگاه) وچهارچوب (ساختار یافته 4 )استفاده می شود.روش اول آسانتر وروش دوم کاملتر وقوی تر وبالطبع پیچیده تر است.

پردازش اطلاعات یا به عبارت دیگر فرآیند نتیجه گیری 5 مشخصه دیگر سیستم های خبره است.دو روش عمده پردازش اطلاعات عبارت است از :روش زنجیره ایی رو به جلو 6 که از اطلاعات موجود به نتایجی می رسد و روش زنجیره ای رو به عقب 7 که با داشتن اهداف سعی بر یا فتن شواهدی برای برآورده شدن شرایط وقوع هدفها دارد. انتخاب یکی از این روشها بستگی به طبیعت مسئله تحت بررسی دارد.

و...

NikoFile


دانلود با لینک مستقیم


دانلود مقاله ISI برنامه ریزی اثبات با استراتژی های متعدد

اختصاصی از حامی فایل دانلود مقاله ISI برنامه ریزی اثبات با استراتژی های متعدد دانلود با لینک مستقیم و پر سرعت .

موضوع فارسی :برنامه ریزی اثبات با استراتژی های متعدد

موضوع انگلیسی :Proof planning with multiple strategies

تعداد صفحه :29

فرمت فایل :PDF

سال انتشار :2008

زبان مقاله : انگلیسی

 

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


دانلود با لینک مستقیم