检索结果-维普期刊中文期刊服务平台

一体化指挥调度:复杂系统安全场景数字化被引量：5: 1; 作者刘玉超李璞 +1 位作者马文学窦笑然《指挥与控制学报》 2020年第2期94-101,共8页; 随着平台经济崛起,虚实结合的数字孪生体系已然形成,社会不确定性交互指数级增长,社会管理和治理能力受到极大挑战,复杂系统成为科学研究的前沿焦点.安全场景数字化是解决社会治理复杂系统的新路径,基于“OODA环”一体化指挥调度从理论... 展开更多; 关键词一体化指挥调度社会治理复杂系统数字化安全场景; 在线阅读下载PDF 职称材料

上海轨道交通2号线信号系统兼容性改造的安全场景及其可靠性和可用性分析被引量：4: 2; 作者戴龑飞《城市轨道交通研究》北大核心 2020年第S02期96-99,118,共5页; 上海轨道交通2号线信号系统进入大修年限,通过深入研究信号系统各类方案,最终确定以"TBTC+CBTC"(基于轨道电路的列车控制+基于通信的列车控制)双信号异型冗余系统作为最终2号线信号改造方案,即以轨道电路作为降级模式的CBTC... 展开更多; 关键词上海轨道交通2号线信号系统兼容性改造安全运营场景可靠性可用性; 在线阅读下载PDF 职称材料

面向自动驾驶系统的场景建模及边缘关键场景生成: 3; 作者杜德慧叶振 +2 位作者郑成行朱珍珍李家蕴《软件学报》北大核心 2025年第8期3512-3530,共19页; 自动驾驶中极端的场景、无法预测的人类行为等长尾问题逐渐成为制约自动驾驶系统(autonomous driving system,ADS)发展的关键要素,因此有效地生成安全关键场景对于提高自动驾驶系统的安全性至关重要.现有的自动驾驶场景生成主要依赖于... 展开更多; 关键词自动驾驶系统场景建模重要性采样安全关键场景 UPPAAL-SMC; 在线阅读下载PDF 职称材料

一种面向列车控制系统中安全攸关场景的测试用例自动生成方法被引量：17: 4; 作者陈鑫姜鹏 +2 位作者张一帆黄超周岩《软件学报》 EI CSCD 北大核心 2015年第2期269-278,共10页; 列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建模以及测试用例自动生... 展开更多; 关键词安全攸关场景场景建模简单路径覆盖测试用例自动生成; 在线阅读下载PDF 职称材料

一种面向信息物理融合系统安全攸关场景的测试用例自动生成方法被引量：1: 5; 作者姜鹏陈鑫李宣东《计算机科学》 CSCD 北大核心 2014年第11期124-127,161,共5页; 对信息物理融合系统中的安全攸关场景进行有效的测试是提高系统安全性的重要手段。如何对安全攸关场景进行建模以完整准确地刻画系统行为,如何有效地生成测试用例以提高测试覆盖度、降低测试成本,是面向安全场景测试技术需要解决的核心... 展开更多; 关键词信息物理融合系统安全攸关场景测试用例自动生成; 在线阅读下载PDF 职称材料

题名一体化指挥调度:复杂系统安全场景数字化被引量：5: 1; 作者刘玉超李璞马文学窦笑然; 机构一体化指挥调度技术国家工程实验室中国指挥与控制学会; 出处《指挥与控制学报》 2020年第2期94-101,共8页; 文摘随着平台经济崛起,虚实结合的数字孪生体系已然形成,社会不确定性交互指数级增长,社会管理和治理能力受到极大挑战,复杂系统成为科学研究的前沿焦点.安全场景数字化是解决社会治理复杂系统的新路径,基于“OODA环”一体化指挥调度从理论、技术、工程、标准等方面为此提供了体系支撑.一体化指挥调度是解决安全场景供需矛盾问题的方法论,具有普适性.; 关键词一体化指挥调度社会治理复杂系统数字化安全场景; Keywords integrated command and dispatch social governance complex system digitalization security scenario; 分类号 E211 [军事—军队指挥学]; 在线阅读下载PDF 职称材料

题名上海轨道交通2号线信号系统兼容性改造的安全场景及其可靠性和可用性分析被引量：4: 2; 作者戴龑飞; 机构上海地铁维护保障有限公司通号分公司; 出处《城市轨道交通研究》北大核心 2020年第S02期96-99,118,共5页; 文摘上海轨道交通2号线信号系统进入大修年限,通过深入研究信号系统各类方案,最终确定以"TBTC+CBTC"(基于轨道电路的列车控制+基于通信的列车控制)双信号异型冗余系统作为最终2号线信号改造方案,即以轨道电路作为降级模式的CBTC系统方案。目前,实施该方案兼容性系统的列车已上线运营,介绍了此大修改造方案中信号全线兼容性系统模式下的6种安全运营场景,并对其可用性、可靠性进行了分析。; 关键词上海轨道交通2号线信号系统兼容性改造安全运营场景可靠性可用性; Keywords Shanghai rail transit Line 2 signal system compatibility transformation safe operation scenario reliability usability; 分类号 U231.7 [交通运输工程—道路与铁道工程]; 在线阅读下载PDF 职称材料

题名面向自动驾驶系统的场景建模及边缘关键场景生成: 3; 作者杜德慧叶振郑成行朱珍珍李家蕴; 机构华东师范大学软件工程学院上海市高可信重点实验室(华东师范大学) 教育部可信软件国际合作联合实验室(华东师范大学); 出处《软件学报》北大核心 2025年第8期3512-3530,共19页; 基金国家自然科学基金面上项目(62272165)。; 文摘自动驾驶中极端的场景、无法预测的人类行为等长尾问题逐渐成为制约自动驾驶系统(autonomous driving system,ADS)发展的关键要素,因此有效地生成安全关键场景对于提高自动驾驶系统的安全性至关重要.现有的自动驾驶场景生成主要依赖于大量的路采数据,采用数据驱动式场景生成方法,并结合场景泛化技术生成相应的驾驶场景.该方法耗时耗力,成本高,而且难以有效生成边缘场景.而模型驱动式场景建模方法通过构建逻辑场景模型,能够建模复杂的场景特征并有效生成安全关键场景.其面临的挑战性问题是如何设计一种基于领域知识的可视化场景建模语言,支持抽象建模复杂驾驶场景,并进一步有效地挖掘安全攸关的边缘关键场景.针对以上问题,提出一种基于SML4ADS2.0的自动驾驶场景建模及边缘关键场景生成方法.该方法基于ADS领域本体建模场景,并结合形式化量化评估与重要性采样实现边缘关键场景生成.首先,提出基于SML4ADS2.0模型驱动式场景建模方法,设计一种基于ADS领域本体的自动驾驶场景建模语言(scenario modeling language for autonomous driving system,SML4ADS2.0),以构建自动驾驶场景模型;其次,通过模型转换规则实现场景模型到随机混成自动机(stochastic hybrid automata,SHA)的模型转换,并使用模型检测工具UPPAAL-SMC对场景模型进行量化评估分析;然后,通过重要性采样技术在场景空间中快速检测到边缘场景,实现逻辑场景到边缘关键具体场景的有效生成;最后,结合变道超车等典型场景,进行案例展示.实验结果表明该方法能够有效建模场景,并解决ADS安全关键场景生成问题.; 关键词自动驾驶系统场景建模重要性采样安全关键场景 UPPAAL-SMC; Keywords autonomous driving system(ADS) scenario modeling importance sampling(IS) safety-critical scenario UPPAAL-SMC; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种面向列车控制系统中安全攸关场景的测试用例自动生成方法被引量：17: 4; 作者陈鑫姜鹏张一帆黄超周岩; 机构计算机软件新技术国家重点实验室(南京大学) 南京大学计算机科学与技术系; 出处《软件学报》 EI CSCD 北大核心 2015年第2期269-278,共10页; 基金国家重点基础研究发展计划(973)(2014CB340703) 国家自然科学基金(91318301 +4 种基金 91118002 61321491 61402222) 江苏省产学研项目(BY2014126-03); 文摘列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建模以及测试用例自动生成方法展开研究,对UML活动图扩充了事件驱动机制和时间特性描述机制,以满足对安全攸关场景建模的需要,提出了简单路径覆盖准则以定义对场景中所有运行的完全覆盖,并针对这一覆盖准则给出了自动生成测试用例的方法.以地铁列车控制系统为研究对象展开实验,表明了该方法的有效性和局限性.; 关键词安全攸关场景场景建模简单路径覆盖测试用例自动生成; Keywords safety-critical scenarios scenario modeling simple path coverage automatic test case generation; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种面向信息物理融合系统安全攸关场景的测试用例自动生成方法被引量：1: 5; 作者姜鹏陈鑫李宣东; 机构南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系; 出处《计算机科学》 CSCD 北大核心 2014年第11期124-127,161,共5页; 文摘对信息物理融合系统中的安全攸关场景进行有效的测试是提高系统安全性的重要手段。如何对安全攸关场景进行建模以完整准确地刻画系统行为,如何有效地生成测试用例以提高测试覆盖度、降低测试成本,是面向安全场景测试技术需要解决的核心技术问题。现有的场景建模与测试用例生成技术缺少对信息物理融合系统重要特性的描述和处理,其生成的测试用例不能满足系统安全攸关场景的测试需求。围绕信息物理融合系统的安全攸关场景建模以及测试用例自动生成方法展开研究,为UML活动图扩充了外部事件驱动机制和时间特性描述机制,以满足对安全攸关场景建模的需要;并研究了基于场景模型自动生成测试用例的方法。; 关键词信息物理融合系统安全攸关场景测试用例自动生成; Keywords Cyber-physical systems Safety-critical scenarios Automatic testcase generation; 分类号 TP311.56 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	一体化指挥调度:复杂系统安全场景数字化	刘玉超李璞马文学窦笑然	《指挥与控制学报》	2020	5	在线阅读下载PDF 职称材料
2	上海轨道交通2号线信号系统兼容性改造的安全场景及其可靠性和可用性分析	戴龑飞	《城市轨道交通研究》北大核心	2020	4	在线阅读下载PDF 职称材料
3	面向自动驾驶系统的场景建模及边缘关键场景生成	杜德慧叶振郑成行朱珍珍李家蕴	《软件学报》北大核心	2025	0	在线阅读下载PDF 职称材料
4	一种面向列车控制系统中安全攸关场景的测试用例自动生成方法	陈鑫姜鹏张一帆黄超周岩	《软件学报》 EI CSCD 北大核心	2015	17	在线阅读下载PDF 职称材料
5	一种面向信息物理融合系统安全攸关场景的测试用例自动生成方法	姜鹏陈鑫李宣东	《计算机科学》 CSCD 北大核心	2014	1	在线阅读下载PDF 职称材料