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

基于标签转移系统的二乘二取二系统的形式化验证研究被引量：1: 1; 作者付伟《铁道标准设计》北大核心 2018年第7期164-168,共5页; 为了提高二乘二取二系统的安全应用特性,系统的安全相关逻辑在投入使用前必须进行验证。模型检验是验证系统安全属性的有效手段之一。提出基于转移标签系统模型验证系统安全属性的新方法。针对系统的安全需求,利用LTS对系统行为进行建... 展开更多; 关键词 CTCS系统模型校验标签转移系统二乘二取二; 在线阅读下载PDF 职称材料

车车通信系统中车地控制机理分析及验证被引量：5: 2; 作者冯浩楠《科学技术与工程》北大核心 2020年第13期5345-5349,共5页; 车车通信系统是一种以列车为中心的控制系统,取消了轨旁联锁系统,列车直接与地面对象控制器通信进而控制道岔。这种车地直接控制方式提高了系统效率的同时,也成为系统的关键安全因素。为了实现车车通信系统中的车地设备安全控制,提出唯... 展开更多; 关键词车车通信系统车载联锁系统对象控制器车地控制道岔形式化验证标签转移系统; 在线阅读下载PDF 职称材料

仿真模型组合的验证方法研究被引量：5: 3; 作者冯晓宁王卓王金娜《西安交通大学学报》 EI CAS CSCD 北大核心 2013年第12期7-12,122,共7页; 针对提高复杂仿真系统的开发效率和降低开发成本的问题,提出了基于模型组合验证的仿真模型开发框架,将系统开发过程分解为模型的发现、组合和组合后的验证等阶段,通过数据类型验证和动态行为验证来实现仿真模型的重用。给出了基于标签... 展开更多; 关键词仿真模型组合数据类型验证行为验证标签转移系统; 在线阅读下载PDF 职称材料

LTS仿真模型组合验证方法被引量：1: 4; 作者冯晓宁王卓王金娜《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2014年第5期589-593,618,共6页; 为提高复杂仿真系统的开发效率和降低开发成本,提出了基于标签转移系统LTS的仿真模型组合验证方法。该方法在组合仿真模型的行为表示中引入时间因素,并将执行序列表示为LTS,通过将表示组合仿真模型行为的LTS进行比较,得出组合仿真模型... 展开更多; 关键词仿真模型组合标签转移系统语义相似度; 在线阅读下载PDF 职称材料

题名基于标签转移系统的二乘二取二系统的形式化验证研究被引量：1: 1; 作者付伟; 机构中国铁道科学研究院通信信号研究所; 出处《铁道标准设计》北大核心 2018年第7期164-168,共5页; 基金中国铁路总公司科研专项基金(J2016X001); 文摘为了提高二乘二取二系统的安全应用特性,系统的安全相关逻辑在投入使用前必须进行验证。模型检验是验证系统安全属性的有效手段之一。提出基于转移标签系统模型验证系统安全属性的新方法。针对系统的安全需求,利用LTS对系统行为进行建模处理,最后使用LTSA软件对模型的安全属性进行分析和验证,与传统人工验证方法相比,LTS模型产生程序缺陷少64%,同时节省开发工作时间29%。结果表明:该方法有效地实现了对系统属性的安全验证,并对系统的安全设计和开发进行了改进。; 关键词 CTCS系统模型校验标签转移系统二乘二取二; Keywords Chinese train control system Model verification Labeled transition system Double two out of two; 分类号 U284.3 [交通运输工程—交通信息工程及控制]; 在线阅读下载PDF 职称材料

题名车车通信系统中车地控制机理分析及验证被引量：5: 2; 作者冯浩楠; 机构中国铁道科学研究院集团有限公司通信信号研究所国家铁路智能运输系统工程技术研究中心; 出处《科学技术与工程》北大核心 2020年第13期5345-5349,共5页; 基金中国铁道科学研究院通信信号研究所重点计划(1852TH0503,1851TH6602)。; 文摘车车通信系统是一种以列车为中心的控制系统,取消了轨旁联锁系统,列车直接与地面对象控制器通信进而控制道岔。这种车地直接控制方式提高了系统效率的同时,也成为系统的关键安全因素。为了实现车车通信系统中的车地设备安全控制,提出唯一秘钥实现控制流程,为了验证其安全性,使用基于标签转移系统的形式化方法进行验证。基于车车通信系统的控制机理和车地控制场景,建立唯一秘钥的车地控制流程的形式化模型,并LTSA软件对模型进行安全检测,最后通过实例验证了车地控制流程的可行性和有效性。; 关键词车车通信系统车载联锁系统对象控制器车地控制道岔形式化验证标签转移系统; Keywords vehicle based train control system on board interlocking system object controller vehicle to wayside control point machine formal verification label transition system; 分类号 U284.59 [交通运输工程—交通信息工程及控制]; 在线阅读下载PDF 职称材料

题名仿真模型组合的验证方法研究被引量：5: 3; 作者冯晓宁王卓王金娜; 机构哈尔滨工程大学计算机科学与技术学院哈尔滨工程大学水下机器人技术国防科技重点实验室; 出处《西安交通大学学报》 EI CAS CSCD 北大核心 2013年第12期7-12,122,共7页; 基金国家自然科学基金资助项目(61100006 61272184) +1 种基金中央高校基本科研业务费专项资金资助项目(HEUCF100605); 文摘针对提高复杂仿真系统的开发效率和降低开发成本的问题,提出了基于模型组合验证的仿真模型开发框架,将系统开发过程分解为模型的发现、组合和组合后的验证等阶段,通过数据类型验证和动态行为验证来实现仿真模型的重用。给出了基于标签转移系统(Labelled Transition System,LTS)的模型行为验证方法,将模型的行为序列表示为LTS,通过强模拟及语义相似度关系来判断组合后模型的动态行为与请求模型的符合程度。导弹对抗仿真模型组合实验结果表明,该方法能够半自动地完成仿真模型的组合验证,对模型有效性的验证能够满足实际应用的要求。; 关键词仿真模型组合数据类型验证行为验证标签转移系统; Keywords combination of simulation model~ data type validation~ behavior verification~ labelledtransition system; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名LTS仿真模型组合验证方法被引量：1: 4; 作者冯晓宁王卓王金娜; 机构哈尔滨工程大学计算机科学与技术学院哈尔滨工程大学船舶工程学院; 出处《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2014年第5期589-593,618,共6页; 基金国家自然科学基金资助项目(61100006 61272184) 黑龙江省自然科学基金资助项目(F201129); 文摘为提高复杂仿真系统的开发效率和降低开发成本,提出了基于标签转移系统LTS的仿真模型组合验证方法。该方法在组合仿真模型的行为表示中引入时间因素,并将执行序列表示为LTS,通过将表示组合仿真模型行为的LTS进行比较,得出组合仿真模型的有效性。最后给出了作战坦克修理所实例,结果表明,该方法能够有效验证仿真模型可组合问题。; 关键词仿真模型组合标签转移系统语义相似度; Keywords combination of simulation model labeled transition system（LTS） semantic similarity; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于标签转移系统的二乘二取二系统的形式化验证研究	付伟	《铁道标准设计》北大核心	2018	1	在线阅读下载PDF 职称材料
2	车车通信系统中车地控制机理分析及验证	冯浩楠	《科学技术与工程》北大核心	2020	5	在线阅读下载PDF 职称材料
3	仿真模型组合的验证方法研究	冯晓宁王卓王金娜	《西安交通大学学报》 EI CAS CSCD 北大核心	2013	5	在线阅读下载PDF 职称材料
4	LTS仿真模型组合验证方法	冯晓宁王卓王金娜	《哈尔滨工程大学学报》 EI CAS CSCD 北大核心	2014	1	在线阅读下载PDF 职称材料