可达性算法相关论文
测试性是当前装备必备的通用质量特性之一,为验证装备测试性设计的正确性,评估测试性水平,需要进行测试性试验,故障注入是测试性试......
随着城市轨道交通线网规模的不断扩大,网络复杂性越来越高,OD间乘客出行路径更加多样化.但是,由于线网中各条线路在换乘站的衔接不......
可调整时间自动机在时间自动机的基础上扩展了时钟调整形式,是一种有效描述实时系统行为的计算模型,借助这种模型对实时系统进行分......
随着城市轨道交通路网规模的不断扩大,网络复杂性越来越高,O D间乘客出行路径更加多样化。但是,由于路网中各条线路在换乘站之间的......
针对目前装备系统采用层次化、模块化设计,维修级别与测试性建模复杂度大大提高的问题,提出一种基于层次广义随机Petri网(HGSPN)的......