国家高技术研究发展计划(2011AA010104)

作品数：9被引量：36H指数：3
导出分析报告
相关作者：唐涛郑伟李开成赵林刘金涛更多>>
相关机构：北京交通大学浙江大学更多>>
相关期刊：《中国铁道科学》《计算机工程》《交通运输工程学报》《铁路计算机应用》更多>>
相关主题：路径优化算法自动化测试有色PETRI网优选算法优化算法更多>>
相关领域：交通运输工程自动化与计算机技术机械工程环境科学与工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
混杂系统主动容错架构在车载设备的应用研究被引量：1
《铁路计算机应用》2014年第1期1-5,共5页鲁秋子 徐田华 唐涛 
国家863项目(2011AA010104);轨道交通控制与安全国家重点实验室项目(I11K00150;I11K00060);北京交通大学基本科研项目(2011JBM160)
文章提出了一个针对于混杂系统的主动容错架构。通过对混杂系统的模型抽象,实现混杂系统到离散事件系统的转化。根据离散事件系统的允许事件轨迹计算其安全可控事件集合,进而合成主动容错监控器,实现混杂系统的主动容错控制。最后,以列...
关键词：主动容错 混杂系统 离散事件系统 车载设备 
用于AUTOSAR模型验证的功能仿真器
《计算机工程》2013年第7期90-93,共4页顾宗华 王超 孙征 李红 
国家自然科学基金资助面上项目(61070002);国家"863"计划基金资助项目(2011AA010104)
AUTOSAR是汽车工业中普遍采用的一个开放化和标准化的汽车软件体系。将AUTOSAR设计软件模型部署到目标硬件平台前,需对该模型进行仿真验证。基于此,设计一个用于软件设计模型验证的仿真工具,采用虚拟功能总线追踪机制来收集仿真过程中...
关键词：嵌入式系统 实时操作系统 基于模型设计 汽车电子 功能仿真器 
基于路径优化算法的测试序列自动生成及验证被引量：14
《铁道学报》2013年第6期53-58,共6页梁茨 郑伟 李开成 唐涛 
国家高技术研究发展计划(863计划)(2011AA010104);中央高校科研业务费专项资金(2011JB2004)
随着中国铁路运行控制系统的高速发展,列控系统行为功能的正确性与安全性成为业内关注的焦点,本文提出一套完整的测试案例与测试序列自动化生成的方法。制定与系统CPN模型、测试序列相关的定义;利用本文提出的全路径覆盖优化算法和序列...
关键词：有色PETRI网 全路径覆盖优化算法 序列优选算法 自动化测试 
基于UML扩展机制的列控系统建模方法研究被引量：7
《铁道学报》2012年第12期64-70,共7页赵林 唐涛 刘金涛 刘超 李宪 
国家高技术研究发展计划(863计划)(2011AA010104);中央高校基本科研业务费专项基金(2011JBM322)
本文从列控系统中离散计算过程和连续物理过程的一体化建模入手,利用UML2.0支持的底层语言扩展机制构建面向列控系统混成特性的建模方法和原型工具。新的建模方法丰富了UML的模型表达能力和应用范围,使得对列控系统功能和行为的描述更...
关键词：UML扩展机制 对象约束语言 混成属性 列车运行控制系统 
一种基于无线传感器网络的安全优先门限敏感分簇路由协议被引量：1
《中国铁道科学》2012年第6期88-95,共8页郑伟 苏川 李开成 
国家"八六三"计划项目(2011AA010104);中央高校基本科研业务费专项资金资助课题(2011JBZ004);教育部留学回国人员基金资助项目(第42批);城市轨道交通自动化与控制北京市重点实验室基金资助项目
为构建基于无线传感器网络的铁路防灾安全监控系统,在门限敏感的节能型网络协议(TEEN)基础上,提出1种安全优先门限敏感分簇路由协议(SPTC)。确定SPTC的网络架构,基于能量计算公式设计簇头分布算法及簇头和副簇头选举算法,以及路由建立...
关键词：无线传感器网络 防灾安全监控系统 安全优先 门限敏感 分簇路由协议 
基于混合通信顺序进程的高速铁路列控系统形式化建模与验证方法被引量：2
《中国铁道科学》2012年第5期91-97,共7页吕继东 李开成 唐涛 袁磊 
国家“八六三”计划项目(2011AA010104);北京交通大学轨道交通控制与安全国家重点实验室开放课题(RCS2011K010);北京交通大学科技基金资助项目(2012JBM024)
针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(HCSP)的列控系统形式化建模与验证方法。引入了HCSP的假设条件,建立列控系统的行为模型;定义了HCSP到混合自动机(HA)的转换规则,将HCSP模型转换成HA模型;利用模型检验工具...
关键词：高速铁路列控系统 混合通信顺序进程 混合自动机 行车许可场景 
基于微分动态逻辑的无线闭塞中心交接协议建模与验证被引量：7
《中国铁道科学》2012年第5期98-104,共7页刘金涛 唐涛 赵林 刘玉鹏 
国家"八六三"计划项目(2011AA010104);国家自然科学基金委员会与铁道部联合资助项目(60634010;60736047);国家重点实验室自主课题基金资助项目(RCS2008ZQ002;RCS2008ZZ005);北京交通大学-泰雷兹集团国际合作项目(M&V-SCHS)
ETCS-2级列车运行控制系统呈现复杂的混成性。按照无线闭塞中心(RBC)交接协议的内容,建立RBC交接协议的UML图;基于微分动态逻辑理论,从混成系统角度对ETCS-2级列控系统规范中的RBC交接协议进行建模。建立的RBC交接协议模型包括列车子模...
关键词：列车控制系统 交接协议 混成系统 UML图 微分动态逻辑 
实时虚拟化环境中的负载均衡与准入控制算法被引量：2
《计算机工程与设计》2012年第10期3862-3869,共8页赵庆玲 顾宗华 张劲超 李红 
国家自然科学基金面上项目(61070002);科技部863基金项目(2011AA010104);教育部-英特尔信息技术专项科研基金项目(MOE-INTEL-10-02)
虚拟化技术在实时嵌入式系统中的应用日趋广泛,但是目前虚拟化环境中常见的调度与负载均衡算法并不适用于硬实时系统中。为满足多核平台上虚拟化环境中对实时任务的支持,通过对Xen虚拟化环境中的SEDF调度算法进行改进,提供了一种在多核...
关键词：虚拟化 多核 实时调度 负载均衡 准入控制 
磁悬浮列车跨系统运行Petri网模型被引量：3
《交通运输工程学报》2012年第2期112-118,共7页郑伟 
国家自然科学基金项目(60634010);国家863计划项目(2011AA010104);中央高校基本科研业务费专项资金项目(2011JB2004)
根据磁悬浮列车跨系统运行需求,研究了其运行控制系统的总体框架,明确了需要增加的功能子系统。基于系统理论,采用Petri网对系统关键属性、列车运行过程及各子系统的功能进行了层次化的建模。最高层模型描述系统整体关键属性,低层模型...
关键词：交通控制 磁悬浮列车 跨系统运行 PETRI网 系统理论 层次化模型 可靠性 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部