The transmission capacity of Mobile Ad Hoc Networking (MANET) is constrained by the mutual interference of concurrent transmissions between nodes. First, the transmission capacity of MANET is studied by the view of in...The transmission capacity of Mobile Ad Hoc Networking (MANET) is constrained by the mutual interference of concurrent transmissions between nodes. First, the transmission capacity of MANET is studied by the view of information flow between nodes. At the same time, the problem that the interference between nodes affects the transmission capacity of MANET is also studied by the tool of the event conflict graph. Secondly, the paper presents the method to compute the maximum ex- pectant achievable capacity for the given conflict graph, and concludes and proves an sufficient con- dition that the information flow transmit successfully between nodes. At last, the results are simulated and a fitting equation of transmission capacity between nodes is given.展开更多
Based on the option prioritization in graph model for conflict resolution of two decision makers(DMs),new logical and matrix representations of four stability concepts for DMs′attitude are proposed.The logical repres...Based on the option prioritization in graph model for conflict resolution of two decision makers(DMs),new logical and matrix representations of four stability concepts for DMs′attitude are proposed.The logical representation of attitude is defined,and converted to the matrix form in order to develop a decision support system(DSS)efficiently.Compared with existing definitions of DMs′attitude based on states,the proposed definitions of attitude based on options are convenient and more effective to generate preferences since that of states can be significantly larger than that of options in a large conflict.In addition,it is easier to obtain the information of the prioritization of option statements than to obtain preference of states for users.The proposed representations are applied to the process conflict during aircraft manufacturing to demonstrate the efficiency of the new approach.展开更多
为识别飞行冲突事故的诱发事件与关键演化链路,提出了一种基于事理图谱的事故分析方法。首先依据系统理论过程分析(System Theoretic Process Analysis,STPA)方法辨识飞行冲突场景潜在风险事件,归纳出描述各组件交互过程的场景分析框架...为识别飞行冲突事故的诱发事件与关键演化链路,提出了一种基于事理图谱的事故分析方法。首先依据系统理论过程分析(System Theoretic Process Analysis,STPA)方法辨识飞行冲突场景潜在风险事件,归纳出描述各组件交互过程的场景分析框架;再利用自然语言处理方法从事故文本中提取结构化事件,基于语义相似度匹配建立与风险事件的映射,组成事件演化链条,构建事理图谱;通过对飞行冲突场景进行仿真,运用统计指标定量分析网络拓扑结构,揭示事件对事故演化过程的影响力。结果表明,构建的事理图谱可视化诊断出机组突破管制员指令、机组操作不当导致偏航、航空器机上通讯导航设备故障、管制员纠正指令发布过晚、空中交通预警和防撞系统(Traffic Alert and Collision Avoidance System,TCAS)发出异常措施通告/活动通告(Resolution Advisory/Traffic Advisory,RA/TA)警告、航空器出现飞行汇聚趋势6个诱发事件与3条关键演化链路,其中机组突破管制员指令与管制员指令发布过晚为重点管控事件。展开更多
为解决现有铁路车站作业系统仿真模型建模过程复杂、适用范围有限、效率不高等问题,根据站场布置图,用进路冲突图描述车站列车进路及进路关系,并在此基础上建立了适用于不同站场布置图的赋时有色Petri网(timed colored Petri net,TCPN)...为解决现有铁路车站作业系统仿真模型建模过程复杂、适用范围有限、效率不高等问题,根据站场布置图,用进路冲突图描述车站列车进路及进路关系,并在此基础上建立了适用于不同站场布置图的赋时有色Petri网(timed colored Petri net,TCPN)仿真模型.车站作业过程仿真结果表明:TCPN仿真模型性能与结构稳定,适用于包括高速铁路在内的任意铁路客运站站型图的作业过程仿真及优化;冲突图模型与现实车站系统相似程度高,对车站布置图的描述精度与施工图精度相同,最高可达毫米级;与传统铁路车站仿真软件手工建模过程相比,冲突图模型建模效率高,建模过程耗时小于1 s;仿真过程咽喉进路最高负荷为70%,到发线最高负荷为35%,列车到达正点率100%,出发正点率91%.展开更多
文摘The transmission capacity of Mobile Ad Hoc Networking (MANET) is constrained by the mutual interference of concurrent transmissions between nodes. First, the transmission capacity of MANET is studied by the view of information flow between nodes. At the same time, the problem that the interference between nodes affects the transmission capacity of MANET is also studied by the tool of the event conflict graph. Secondly, the paper presents the method to compute the maximum ex- pectant achievable capacity for the given conflict graph, and concludes and proves an sufficient con- dition that the information flow transmit successfully between nodes. At last, the results are simulated and a fitting equation of transmission capacity between nodes is given.
基金supported by the National Natural Science Foundation of China(Nos.71071076,71471087,and 61673209)
文摘Based on the option prioritization in graph model for conflict resolution of two decision makers(DMs),new logical and matrix representations of four stability concepts for DMs′attitude are proposed.The logical representation of attitude is defined,and converted to the matrix form in order to develop a decision support system(DSS)efficiently.Compared with existing definitions of DMs′attitude based on states,the proposed definitions of attitude based on options are convenient and more effective to generate preferences since that of states can be significantly larger than that of options in a large conflict.In addition,it is easier to obtain the information of the prioritization of option statements than to obtain preference of states for users.The proposed representations are applied to the process conflict during aircraft manufacturing to demonstrate the efficiency of the new approach.
文摘为解决现有铁路车站作业系统仿真模型建模过程复杂、适用范围有限、效率不高等问题,根据站场布置图,用进路冲突图描述车站列车进路及进路关系,并在此基础上建立了适用于不同站场布置图的赋时有色Petri网(timed colored Petri net,TCPN)仿真模型.车站作业过程仿真结果表明:TCPN仿真模型性能与结构稳定,适用于包括高速铁路在内的任意铁路客运站站型图的作业过程仿真及优化;冲突图模型与现实车站系统相似程度高,对车站布置图的描述精度与施工图精度相同,最高可达毫米级;与传统铁路车站仿真软件手工建模过程相比,冲突图模型建模效率高,建模过程耗时小于1 s;仿真过程咽喉进路最高负荷为70%,到发线最高负荷为35%,列车到达正点率100%,出发正点率91%.