期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
基于仿真技术的信号平面布置验证 预览
1
作者 徐蒨 《铁道通信信号》 2019年第2期16-21,共6页
传统的城市轨道交通信号系统轨旁设备的布置,主要依赖于系统设计人员的个人经验,其准确度和效率都不能得到有效保障,更多地依赖于后期的现场测试。本文主要针对信号系统设计工作中存在的问题,立足于信号系统设计的完备性和兼容性,建立... 传统的城市轨道交通信号系统轨旁设备的布置,主要依赖于系统设计人员的个人经验,其准确度和效率都不能得到有效保障,更多地依赖于后期的现场测试。本文主要针对信号系统设计工作中存在的问题,立足于信号系统设计的完备性和兼容性,建立合肥轨道交通1号线信号系统仿真模型,设计信号系统检验规则库,对1号线信号系统平面布置图进行验证.找出设计方案中潜在的危及行车安全或影响效率的因素,保障信号系统的设计质量,提高系统运营的安全性、可靠性及可用性。 展开更多
关键词 信号系统 信号平面布置图 仿真平台 验证规则 仿真模型
在线阅读 下载PDF
基于规则的用例规约验证方法 预览
2
作者 张莹 吴际 +2 位作者 刘超 杨海燕 胡宁 《计算机科学》 CSCD 北大核心 2017年第4期118-123,共6页
用例模型描述了参与者对系统功能的需求,在整个系统的开发过程中有着重要作用;用例描述若存在问题,会对系统开发造成很大影响。提出了一种用例规约的规则验证方法,通过分析用例规约中的错误类别,在特定的用例规约描述方法上设计了帮助... 用例模型描述了参与者对系统功能的需求,在整个系统的开发过程中有着重要作用;用例描述若存在问题,会对系统开发造成很大影响。提出了一种用例规约的规则验证方法,通过分析用例规约中的错误类别,在特定的用例规约描述方法上设计了帮助发现规约中不完整性、不一致性错误的验证规则,并通过规则的形式化来支持需求的自动化验证。 展开更多
关键词 需求验证 验证规则 需求错误 限制的用例规约建模方法
在线阅读 免费下载
解读JJG 404—2015《铁路轨距尺检定器》 预览 被引量:2
3
作者 王彦春 陆明 《铁道技术监督》 2016年第9期18-20,26共4页
详实地讲解JJG 404—2015《铁路轨距尺检定器》计量检定规程的变化内容及其依据,同时针对检定时应把握的事项进行介绍,使检定人员深入了解规程的要求,便于在执行规程时正确理解和掌握内容实质。
关键词 轨距尺检定器 检定规程 解读
在线阅读 下载PDF
基于SAT的应答器工程数据逻辑规则提取及验证 预览 被引量:2
4
作者 王彤典 赵会兵 《铁道学报》 EI CAS CSCD 北大核心 2017年第2期82-89,共8页
工程数据是应答器报文编制的重要依据,现有工程数据验证规则是基于CTCS-2级列控系统应答器应用原则及工程数据表编制规范生成的,这类基于文本语言描述的规则完备性不足,且存在二义性,数据验证不充分,易直接导致数据安全问题。因此,本文... 工程数据是应答器报文编制的重要依据,现有工程数据验证规则是基于CTCS-2级列控系统应答器应用原则及工程数据表编制规范生成的,这类基于文本语言描述的规则完备性不足,且存在二义性,数据验证不充分,易直接导致数据安全问题。因此,本文深度挖掘各类工程数据间的约束关系,提取数据逻辑验证规则,通过基于SAT的形式化建模、ROBDD构造及深度优先搜索来证明逻辑规则的可满足性。开发基于导出逻辑规则的数据验证工具,并以某城际线路工程数据表为例,与传统工程数据表检查软件进行比较。结果表明,新工具能够识别传统软件无法识别的数据隐患,消除传统验证规则的不完备性,提高工程数据的安全性。 展开更多
关键词 应答器 数据安全 逻辑验证规则 SAT ROBDD
在线阅读 下载PDF
对《数字指示秤检定规程》的两点看法 预览
5
作者 徐发明 《衡器》 2009年第8期 23-24,共2页
本文根据工作实践和实际体会,对《数字指示秤检定规程》提出了两点建议,以提高衡器检定的工作效率:
关键词 数字指示秤检定规程 改进建议
在线阅读 下载PDF
KDH系列多功能微机核子皮带秤计量性能检定 预览
6
作者 王明谦 孙金华 +5 位作者 施启存 贾昌春 文静宜 王敏 王其寿 李忠好 《核电子学与探测技术》 CAS CSCD 北大核心 1996年第3期 225-229,共5页
按照国家计量检定规程(JJG811-93)和核行业标准(EJ784-93),对KDH型核子皮带秤进行了严格的检定和性能测试。结果表明:精度优于±0.5%,符合国家1.0级秤标准。本文给出了核子秤计量性能测试方法和... 按照国家计量检定规程(JJG811-93)和核行业标准(EJ784-93),对KDH型核子皮带秤进行了严格的检定和性能测试。结果表明:精度优于±0.5%,符合国家1.0级秤标准。本文给出了核子秤计量性能测试方法和测试结果。 展开更多
关键词 核子秤 电离室 计量检定规程
在线阅读 下载PDF
《罐式集装箱容积》检定规程的制定 预览
7
作者 闫凤霞 《铁道技术监督》 2010年第12期 28-30,共3页
说明制定JJG(铁道)203—2010《罐式集装箱容积》的背景、主要依据和过程,介绍规程的适用范围、术语、计量性能要求、通用技术要求、计量器具控制、检定结果处理、检定周期等。
关键词 罐式集装箱 容积 检定规程 制定
在线阅读 下载PDF
《直流高压高阻箱检定规程》制定说明及实施要点 预览 被引量:2
8
作者 范巧成 汪东军 +2 位作者 鹿凯华 杨静 徐焜荣 《电力设备》 2007年第1期 54-56,共3页
介绍了新颁布的电力行业标准DL/T979-2005《直流高压高阻箱检定规程》的制定背景、制定依据、主要内容,执行该规程应注意的问题。以及今后的研究工作,并提出了贯彻该《规程》的一些建议。
关键词 直流高压高阻箱 检定规程 制定说明 实施要点
在线阅读 下载PDF
数字多用表的比例功能在检定直流电阻箱中的应用 预览 被引量:2
9
作者 霍迎辉 《中国仪器仪表》 2006年第7期 70-72,共3页
本文提出了检定直流电阻箱的一种新方法一比例法,介绍了其原理和方法,对装置的不确定度进行了分析,并将比例法的检测结果和直接测量法的检测结果进行比对。比例法检定直流电阻箱的特点是对标准器和辅助设备要求低、工作效率高并可实... 本文提出了检定直流电阻箱的一种新方法一比例法,介绍了其原理和方法,对装置的不确定度进行了分析,并将比例法的检测结果和直接测量法的检测结果进行比对。比例法检定直流电阻箱的特点是对标准器和辅助设备要求低、工作效率高并可实现半自动检定。 展开更多
关键词 检定 比例法 直流电阻箱 数字多用表
在线阅读 下载PDF
安全管理体系的计算机辅助审核技术研究 预览 被引量:10
10
作者 陈伟炯 沈康辰 苏飞 《中国安全科学学报》 CAS CSCD 2001年第1期 54-58,共5页
关于海运公司安全管理体系(SMS)的现行审核方法, 难以保证其文件全面符合国际和国内的强制性规定,制约了《国际安全管理(ISM)规则》 效能的发挥。为此,课题组基于网络环境开发了对SMS文件的计算机辅助审核技术,其主要 成果包括... 关于海运公司安全管理体系(SMS)的现行审核方法, 难以保证其文件全面符合国际和国内的强制性规定,制约了《国际安全管理(ISM)规则》 效能的发挥。为此,课题组基于网络环境开发了对SMS文件的计算机辅助审核技术,其主要 成果包括:建立了法规条款与SMS文件的映射规则,使两者迅速匹配,以供审核;提出了SMS 文件符合法规程度的数学评价方法;设计了计算机辅助审核方案。经试审核,表明该技术能 协助审核员迅速全面地发现SMS文件对法规的不符合项,给出的符合程度定量合理,该技术 有利于全面提高SMS文件对法规条款的符合程度,从而方便了公司的全面履约。该技术还可 用于类似的管理体系。 展开更多
关键词 SMS文件 安全管理体系 计算机辅助审校技术 映射规则 数学评价
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部 意见反馈