检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]南京航空航天大学民航学院,江苏南京210016
出 处:《航空计算技术》2013年第4期22-26,共5页Aeronautical Computing Technique
基 金:国家自然科学基金与中国民用航空联合项目资助(60879011);国家科技支撑计划项目资助(2011BAH24B06);江苏省"六大人才高峰"高层次人才项目资助(WLW-017);南京航空航天大学研究生创新基地(实验室)开放基金项目资助(kfjj130126)
摘 要:为避免跑道入侵的发生,提出一种基于Petri网的灯光控制指令自动决策方法。首先根据跑道静态模型和运行过程,利用Petri网建立跑道区域受控运行模型,然后结合跑道管制规则给出线性不等式约束模型和优先等级约束模型。综合跑道运行约束模型、跑道当前标识信息和观测器信息,给出控制策略,确定受控运行模型中变迁的使能状态。在此基础上,提出基于变迁使能状态决策灯光控制指令的方法,最后通过算例证明决策方法的有效性。To avoid the occurrence of runway incursion, a method of automatic decision is proposed about the control command of lights based on Petri net. The method establishes controlled operation model of runway area using Petri net according to runway static model and operating rules firstly, then providing the linear inequality constraint model and precedence constraint model combining the regulation of runway. Then the control strategy is obtained for synthesizing the constraint model of runway operation, the infor- mation of making and surveyor, the state of transition can be confirmed in the controlled operation model. On this basis, the control command of lights can be decided based on the state of transition. Finally an ex- ample demonstrates the validity of the decision- making method.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.249