检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]兰州交通大学电子与信息工程学院,兰州730070
出 处:《计算机工程与应用》2015年第16期228-233,共6页Computer Engineering and Applications
基 金:国家自然科学基金(No.61163009);甘肃省硕导项目(No.1104-05)
摘 要:为了更好地建立高速列控系统分布式整体形式化描述,采用Agent理论和层次着色Petri网混合建模方法对中国列车控制系统车-地通信场景进行了研究。将车-地通信场景抽象为MAS,给出了场景中车-地主体Agent的内部推理过程和形式化定义,采用CPN Tools工具建立了层次化结构HCPN模型,使车-地通信过程、MAS整体行为以及车-地主体内部推理流程可视化。通过对模型状态空间报告的分析确保了模型的正确性,通过对模型进行多次模拟仿真,分析了该场景中不同通信故障率情况下非周期消息的重发间隔对控车实时性能的影响,验证了模型的可行性。In order to build the distributed general formal description of the high-speed train control system,this paper takes the hybrid modeling method that combines Agent theory with HCPN for the research on the train-to-ground communication scenario in CTCS.The train-to-ground communication scenario is abstracted as MAS.The internal reasoning process and the formal definition for the train-to-ground Agents in scenario is given.A hierarchical structure of HCPN model is proposed,which visualizes the process of train-to-ground communication,the overall behavior of MAS and the process of internal reasoning in Agents.The correctness of the model is ensured by analysising the state space report,as well as the feasibility of the model is verified through the multiple simulations on the model which we get how the aperiodic message retransmission interval in the case of different communication failure rates affect the performance of control train in real time during the study scenarios.
关 键 词:车-地通信 多智能体系统(MAS) Agent推理 层次着色PETRI网
分 类 号:TP18[自动化与计算机技术—控制理论与控制工程]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.170