正1CTMS系统简介连接交易管理服务器(Connection and Transaction Management Server,CTMS)在实时交易系统中担当交易路由和网关角色,具有交易导航和控制、分布式数据透明访问、负载数据库压力等功能。在铁路客票系统中,CTMS系统为客票...正1CTMS系统简介连接交易管理服务器(Connection and Transaction Management Server,CTMS)在实时交易系统中担当交易路由和网关角色,具有交易导航和控制、分布式数据透明访问、负载数据库压力等功能。在铁路客票系统中,CTMS系统为客票前台应用提供访问分布式客票业务数据时的安全、高效、透明、准确的交易通道。展开更多
针对当前武器装备体系(weapon system of systems,WSoS)任务建模分析方法难以描述各装备系统多态性的问题,结合Petri网与Markov过程提出了一种基于O-PPN的装备体系任务线程建模与分析方法。在定义武器装备体系的基础上,对装备体系的使...针对当前武器装备体系(weapon system of systems,WSoS)任务建模分析方法难以描述各装备系统多态性的问题,结合Petri网与Markov过程提出了一种基于O-PPN的装备体系任务线程建模与分析方法。在定义武器装备体系的基础上,对装备体系的使命任务进行形式化描述。改进传统Petri网,构建一种行动-性能Petri网(operation-performance Petri net,O-PPN),以满足装备体系一般任务线程的建模需要,同时针对装备系统性能退化及可能存在“提前”状态的问题,构建基于Markov的装备系统性能退化模型,通过输入各装备系统的可靠性参数得到相应的状态概率集合,并根据任务线程中各行动对于各装备系统性能水平的要求,结合作战任务及行动的任务成功与失败准则,计算装备体系整体的任务成功概率,最后通过对案例进行仿真运算,验证了所提方法的可行性。展开更多
针对当前装备体系(system of systems,SoS)任务建模研究深入程度不足问题,提出装备SoS使命任务的概念模型和描述模型,在此基础上,首先对各层级任务的任务线程进行分析与规划,改进传统Petri网,提出一种基于层次确定与随机Petri网(hierarc...针对当前装备体系(system of systems,SoS)任务建模研究深入程度不足问题,提出装备SoS使命任务的概念模型和描述模型,在此基础上,首先对各层级任务的任务线程进行分析与规划,改进传统Petri网,提出一种基于层次确定与随机Petri网(hierarchical deterministic and stochastic Petri nets,HDSPN)的装备SoS任务线程建模方法,构建面向多层级使命任务的装备SoS任务线程模型。然后,结合基于可达性分析算法(reachability analysis algorithm,RAA)的装备SoS总体任务成功性仿真评估算法,启动仿真模型运行,实现对装备SoS总体任务成功性的有效评估,并通过案例分析,验证了模型的适用性。展开更多
文摘正1CTMS系统简介连接交易管理服务器(Connection and Transaction Management Server,CTMS)在实时交易系统中担当交易路由和网关角色,具有交易导航和控制、分布式数据透明访问、负载数据库压力等功能。在铁路客票系统中,CTMS系统为客票前台应用提供访问分布式客票业务数据时的安全、高效、透明、准确的交易通道。
文摘针对当前武器装备体系(weapon system of systems,WSoS)任务建模分析方法难以描述各装备系统多态性的问题,结合Petri网与Markov过程提出了一种基于O-PPN的装备体系任务线程建模与分析方法。在定义武器装备体系的基础上,对装备体系的使命任务进行形式化描述。改进传统Petri网,构建一种行动-性能Petri网(operation-performance Petri net,O-PPN),以满足装备体系一般任务线程的建模需要,同时针对装备系统性能退化及可能存在“提前”状态的问题,构建基于Markov的装备系统性能退化模型,通过输入各装备系统的可靠性参数得到相应的状态概率集合,并根据任务线程中各行动对于各装备系统性能水平的要求,结合作战任务及行动的任务成功与失败准则,计算装备体系整体的任务成功概率,最后通过对案例进行仿真运算,验证了所提方法的可行性。
文摘针对当前装备体系(system of systems,SoS)任务建模研究深入程度不足问题,提出装备SoS使命任务的概念模型和描述模型,在此基础上,首先对各层级任务的任务线程进行分析与规划,改进传统Petri网,提出一种基于层次确定与随机Petri网(hierarchical deterministic and stochastic Petri nets,HDSPN)的装备SoS任务线程建模方法,构建面向多层级使命任务的装备SoS任务线程模型。然后,结合基于可达性分析算法(reachability analysis algorithm,RAA)的装备SoS总体任务成功性仿真评估算法,启动仿真模型运行,实现对装备SoS总体任务成功性的有效评估,并通过案例分析,验证了模型的适用性。
