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