建模模拟工程
研究文章

通向智能空中交通控制系统使用形式法

表1

Rodin报告(表1转自Jarrar和Baluki,(依据创用CC授权)) 13..
元素名 总计 自动处理 手动操作
空中交通控制 190 173 17
初始上下文 5 5 0
优先精化上下文 九九 九九 0
二次精化上下文 12 10 2
初始机 45码 42号 3
初级精炼机 66号 58码 8
二次精炼机 53号 49号 4