国家科技支撑计划(2011BAG01B03)

作品数：18被引量：75H指数：4
导出分析报告
相关作者：徐中伟梅萌黄海陈祥献邱昕夕更多>>
相关机构：同济大学浙江大学上海大学铁路产品质量监督检验中心更多>>
相关期刊：《计算机仿真》《铁道学报》《计算机工程与应用》《电子学报》更多>>
相关主题：形式化建模城市轨道交通列车自动防护CBTC系统安全性更多>>
相关领域：自动化与计算机技术交通运输工程自然科学总论电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
客专安全数据网业务可靠性模型及仿真分析
《计算机仿真》2015年第11期274-278,共5页林康莉 徐中伟 梅萌 
2013年中国铁路总公司科技研究开发计划课题(2013X016-B);2012年国家高技术研究发展计(863计划)课题(2012AA112801);国家"十二五"科技支撑计划项目(2011BAG01B03)
客专安全数据网联结铁路信号系统的各个设备,关系行车安全,有较高的可靠性要求。在研究一般网络可靠性的基础上,针对客专安全数据网的特点,提出由业务连通可靠度以及双指标性能可靠度构成的可靠性度量方法,形成客专安全数据网的业务可...
关键词：客专安全数据网 业务可靠性模型 二叉决策图 网络仿真 
基于嵌套树的对等博弈应用研究
《高技术通讯》2015年第10期895-904,共10页郭婧 徐中伟 
国家自然科学基金(61075002);国家科技支撑计划重大项目(2011BAG01B03);863计划(2012AA112801)资助项目
进行了软件系统性质验证研究。首先提出了用嵌套树表示软件程序的方法,以解决软件系统的抽象表示问题,该方法能在表示程序顺序结构的同时,更好地表示调用返回关系。然后定义了嵌套树上的μ-演算,以便将要验证的需求性质用公式表示,并把...
关键词：对等博弈 嵌套树 交替树自动机 μ-演算 概要 
基于TCSP的实时并发系统测试方法被引量：4
《高技术通讯》2015年第4期350-356,共7页郭婧 徐中伟 李丽梅 
国家自然科学基金(61075002);国家科技支撑计划重大项目(2011BAG01B03);863计划(2012AA112801)资助项目
基于时间通信顺序进程(TCSP)语言——一种用于建模、验证实时并发系统的形式化语言,进行了一种新型实时并发系统测试方法的研究,以提高测试的覆盖率和完整度。首先研究了实时并发系统的输入、输出一致性关系,然后在时间迹、时间拒绝两...
关键词：一致性测试 实时性 并发性 形式化方法 精化关系 
基于嵌套树模型检测的研究
《合肥工业大学学报（自然科学版）》2015年第4期479-484,共6页郭婧 徐中伟 李丽梅 
国家自然科学基金资助项目(61075002);国家科技支撑计划重大资助项目(2011BAG01B03)
文章针对软件验证过程中的结构抽象表示问题,考虑到结构程序的顺序结构、调用返回关系,给出了嵌套树以及嵌套状态机的定义。在该数据结构及μ演算的基础上,定义了嵌套树的μ演算(NT-μ)。NT-μ的公式语法是基于概要的,在嵌套状态机上提...
关键词：模型检测 嵌套树 嵌套状态机 μ-演算 软件验证 
范畴MSC在轨道交通领域的应用研究
《佳木斯大学学报（自然科学版）》2014年第5期641-644,共4页黄洁琰 徐中伟 
国家自然科学基金资助项目(60674004);国家十二五科技支撑项目(2011BAG01B03);863计划(2012AA112801)
基于通信的列车运行控制系统(Communication Based Train Control System,CBTC)是完全基于移动闭塞的列车控制系统,使得列车可以在更短的运行间隔内实行安全运行.为提高CBTC系统设计的安全性,必须对CBTC系统的行为进行建模验证.本文将...
关键词：轨道交通 CBTC系统 范畴MSC 形式化建模 
基于跟踪流量的客专安全数据网背景流量研究
《佳木斯大学学报（自然科学版）》2014年第4期513-517,共5页张辛楠 徐中伟 曹召义 
2013年中国铁路总公司科技研究开发计划课题(2013X016-B);2012年国家高技术研究发展计(863计划)课题(2012AA112801);国家"十二五"科技支撑计划项目(2011BAG01B03)
针对客运专线信号系统的安全数据网的可靠性研究,使用网络仿真研究方式时需要的背景流量模型,对时下使用较多的理论模型进行了介绍并对实际使用中常用的泊松模型、跟踪文件背景流量模型进行了研究,得出了一种适用于安全数据网仿真中的...
关键词：网络仿真 背景流量模型 跟踪文件 安全数据网 
基于Craig插值的线性混成系统符号化模型检测被引量：2
《电子学报》2014年第7期1338-1346,共9页陈祖希 徐中伟 霍伟伟 喻钢 
国家自然科学基金(No.60674004;No.61075002;No.71302048);十二五国家科技支撑计划(No.2011BAG01B03);国家863高技术研究发展计划(No.2012AA112801);铁道部重点研究发展计划(No.2012AA112801)
最强后件的计算是模型检测算法的核心.本文使用一阶逻辑可满足性模线性算术理论给出线性混成自动机的有界模型检测表示公式,利用一阶逻辑公式不可满足情况下的插值存在性定理,对线性混成自动机的有界模型检测公式进行指定的划分,使用支...
关键词：Craig插值 可满足性模理论 线性混成自动机 符号模型检验 混成系统 
一种二取二故障安全输出结构及其检测方法被引量：2
《装备制造技术》2014年第7期164-166,共3页姜雪明 
国家科技支撑计划项目(编号:2011BAG01B03)
工业计算机控制系统输出的准确可靠性对于整个控制系统的成功运行起着决定性的作用。故障安全输出常见的结构有二取二,三取二结构,这些结构普遍只使用组合故障安全技术,安全措施相对单一,缺乏多重保障。在传统的二取二组合故障安全架构...
关键词：二取二组合故障安全 反应故障安全 固有故障安全 计算机控制系统 
故障模型驱动的软件安全性测试研究
《计算机工程与应用》2014年第12期232-236,共5页熊静 喻钢 徐中伟 
国家自然科学基金(No.61075002);国家“十二五”科技支撑计划项目(No.2011BAG01B03)
根据安全性测试的需求,建立了检测软件内部安全逻辑故障的故障模型,提出了故障模型动态生成算法及基于故障覆盖的安全性测试生成算法,可以有效识别软件是否具备对于故障的安全防护能力,在我国高速铁路列控中心安全性测试中说明了方法的...
关键词：高速铁路 列控中心 安全性 形式化建模 安全性测试 
基于项重写系统的联锁系统模型检测方法研究
《计算机工程与应用》2014年第3期49-54,共6页张舒青 徐中伟 陈祖希 
国家自然科学基金(No.60674004);国家高技术研究发展计划(863)(No.2012AA112801);国家十二五科技支撑项目(No.2011BAG01B03)
模型检测方法对安全苛求系统建模的完整性需要一套严谨的方法论与技术,对于验证系统的正确性,具有传统方法无法比拟的优势。提出利用项重写系统建立安全苛求系统模型与验证方法,采用基于项重写系统原理的Maude工具语言,对铁路联锁系统...
关键词：项重写系统 联锁 Maude语言 安全苛求系统 模型检测 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部