ترافیک هوایی وکنترل آن 84 ص

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

مقدمه:
1-1نقطه آغازین پروژه : تجارت بدست آمده در پروژه پیشین
طرح کوتاه مدت MATبرای رفع اتفاقات تعدادی برای گروه تحقیقاتی SPITRAS بوده که اولین پروژه، متخص مشکل ترافیک هوایی وکنترل آن در محدوده فضای فرودگاه درمواقع مساکن اوژانسی در زمان هواپیماربایی درزمان عملیات هایی درداخل محدوده فضای فرودگاه است .در مواقعی که تهدید جدی متوجه هواپیما های عادی است .نتایج حاصل ازاین تحقیق درTAok 1-Addendum – 1993 آورده شده است . پروژه اولیه براساس نتایج تئوریک ، طراحی وتکنولوژیکی بوده که در حین تحقیق به آنها رسیده است. پروژه شماره PP 1993 # که از سال 2000به انجام آن پرداخته شده است .
-نتایج بدست آمده در تحقیق مربوط به MAT بصورت زیر است:
-ساختار نمونه ای یک فضای فرودگاه که بعنوان یک مطالعه موردی برای بررسی وتوضیح طرح کلی وراه حل هی ساختاری بکاررفته بود. ساختار آن براساس چارچوب اطلاعات مربوط به پروژه که دارای ساختار فرمال است شکل گرفته است. مهمترین خصوصیات شامل حل ورفع خودکار محدودیتهایی است که توسط فضای فرودگاه اعمال می شود وناشی از استفاده وساده سازی قوانین و خصوصیات فرمال مرتبط باآن بعنوان بستری برای آزمایش در تحقیق بکار گرفته شدند.
-فرضیات منطقی وساده سازی های مشکلات مربوط به رفع تصادفات هوایی ومشکلات مربوط طرح وابزار شده اند ومشکلات اعلام شده مطالعه یکی وبررسی خصوصیات مشکل را وخصوصیات مربوط به الگوریتمهای رفع مشکل را ساده تر می کند.
- طرح کلی رفع تصادفات هوایی برمبنایscenario knowledge Base ومدل فرمال مربوط به حرکات هاب محدود هواپیمایی که تحت محدودیتهای تعیین شده گسترش می یابد .این مدلها بعنوان پایه ای برگسترش وانجام کار آمد الگوریتم های تصادم بکار می روند.
-الگوریتم رفع تصادم های هوایی بطور خاص برای عملکرد هایM-A طرح ریزی شده اند.این الگوریتم را می توان بعنوان اولین نمونه برای مطالعه رفع تصادمات که بعنوان پایه ای برای ساخت یک الگوریتم واقعی برای رفع تصادمات بکار برد.
-تعیین رسمی وفرمال مدل metaاز سیستم MAنقشهای مختلف را درسیستم تویف می کرد وپروتکل های مربوط به تصادمات آنها وپیغامها .همچنین تعیین رسمی سرویسهای که توسط گروههای agentدر طراحی پروژه از ارائه می شود ومربوط به رفع تصادم در این سیستم می شود هر دراین مدلهای نرمال شامل طراحی سیستم MA دررفع تصادمات هراین است که به زبان ساده بررسی شده است.