摘要：　针对在时间多尺度条件下制造系统同时具有离散和连续事件,经典的极大代数方法已经不能描述连续事件问题,提出了一种基于混杂时间Petri网的建模方法,通过建立一个新型的双子代数系统,把混杂时间Petri网模型转化为极大代数模型.在极大代数模型基础上,借鉴自动机理论和格理论,通过定义保并映射和保交映射等概念,提出了一种监控器设计方法.这样我们可以继续在极大代数框架下研究时间多尺度条件下制造系统的建模和控制.一个简单的示例说明了极大代数方法的有效性.

摘要：针对同一终端区不同机场航空器离场汇聚,给出了问题的具体描述,建立了相应的单航路极大代数模型,并在此基础上设计了航路汇聚交叉模型,解决了同高度航空器离场的冲突问题,最后对模型进行了算例验证。结果表明,极大代数能够较好地解决航空器航迹冲突问题,实现航空器到关键点的无冲突放行。

摘要：航空器在同高度汇聚飞行时总会存在飞行冲突,文中根据极大代数法的思想,将航空器到达交叉点离散的过程线性化,并且针对同一终端区航空器离场向同一导航点汇聚的实际航路结构,给出了问题的具体描述,建立了具体的终端区单航路极大代数服务模型,并将其推广到通用情况下。在单航路模型基础上根据极大代数思想设计了终端区航路汇聚模型,解决了同高度航空器汇聚的冲突问题,可以将2条线型航线在交叉点的冲突规避,实现4D航迹的无冲突预测。对模型进行了算例验证,结果表明,极大代数能够较好的解决航空器航迹冲突的问题,实现航空器到关键点的无冲突放行,从而一定程度上提高了空域资源的利用率。

摘要：市域轨道交通具有各站乘客流量差异大、长距离出行旅客比例高的特点,可采用快慢车模式组织运营。为判断快慢车运行图是否满足运营质量需求,建立包含静态指标和动态指标的快慢车运行图综合评价体系。从企业生产效率和旅客服务质量两个角度分析其静态指标;利用极大加代数运算规则将快慢车运行图转化为离散事件动态系统,通过稳态分析和恢复矩阵的参数评估,分析其动态指标。并以G市的市域X号线为例,对其近期规划的快慢车运行图进行评价。