论文部分内容阅读
针对目前航空运输系统中对飞机着陆调度成本效益研究的不足,提出采用价格时间自动机作为形式化描述方法,将飞机着陆过程建模为其相关实体的交互行为,引入时间和价格因素描述各实体的属性和行为,从而将飞机着陆形式化为时间价格的动态交互协作,并分别为相关实体和服务建模,形成彼此独立又相互协作的价格时间自动机网络,将飞机着陆调度成本表示为价格时间自动机网络上的状态转换路径。最后提出一组系统模型需要满足的性质,使用价格时间自动机模拟验证工具UPPAAL CORA仿真并验证其正确性,使用最优成本标准分支算法分析求解飞机着陆调度最优成本的可达性。
Aiming at the shortcomings of the current air transport system on the cost-effectiveness of aircraft landing dispatch, a price-time automata is proposed as a formal description method to model the aircraft landing process as the interaction of its related entities. The time and price factors are introduced to describe each entity And then the airplane landing is formalized as the dynamic interaction and cooperation of time price, and the related entities and services are respectively modeled to form a network of price-time automatons that are independent and co-operative with each other, and the cost of aircraft landing dispatch is expressed as the price The state transition path on the timed automata network. Finally, a set of system model needs to be satisfied. UPPAAL CORA is used to simulate and verify the correctness of the system. The optimal cost standard branch algorithm is used to analyze the reachability of the optimal cost of aircraft landing schedule.