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

نقطه آغازین پروژه : تجارت بدست آمده در پروژه پیشین

طرح کوتاه مدت  MAT برای رفع اتفاقات تعدادی برای گروه تحقیقاتی SPITRAS بوده که اولین پروژه، متخص مشکل ترافیک هوایی و کنترل آن در محدوده فضای فرودگاه در مواقع مسکن اورژانسی در زمان هواپیماربایی در زمان عملیات هایی در داخل محدوده فضای فرودگاه است .در مواقعی که تهدید جدی متوجه هواپیما های عادی است .نتایج حاصل از این تحقیق در TAsk  1-Addendum – 1993 آورده شده است . پروژه اولیه براساس نتایج تئوریک ، طراحی و تکنولوژیکی  بوده که در حین تحقیق به آنها رسیده است. پروژه شماره PP 1993 # که از سال 2000 به انجام آن پرداخته شده است .

نتایج بدست آمده در تحقیق  مربوط به MAT بصورت زیر است:

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

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

طرح کلی رفع تصادفات هوایی برمبنای scenario knowledge Base و مدل فرمال مربوط به حرکات  های محدود هواپیمایی که تحت محدودیتهای تعیین شده گسترش می یابد .این مدلها به عنوان پایه ای بر گسترش و انجام کار آمد الگوریتم های تصادم بکار می روند.

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

تعیین رسمی و فرمال مدل meta از سیستم MA نقشهای مختلف را در سیستم تویف می کرد و پروتکل های مربوط به تصادفات آنها و پیام ها .همچنین تعیین رسمی سرویسهای که توسط گروههای agent در طراحی پروژه از ارائه می شود و مربوط به رفع تصادم در این  سیستم می شود هر دراین مدلهای نرمال شامل طراحی سیستم  MA در رفع تصادمات هر این است که به زبان ساده بررسی شده است.