助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   
      查看 安全苛求系统 全部翻译结果 || 字典 | 双语例句 | 英文例句 | 文摘
 

    
没有找到工具书来源!
    
  词对"安全苛求系统" "safety critical system"来自以下论文
论文关键词词对:轨道交通 Rail transit;信号系统 Signalling system;故障安全 Fail safe;安全苛求系统 Safety critical system;
——来源文献(篇名:轨道交通信号系统安全技术的发展和研究现状 刊名:中国安全科学学报 作者:燕飞,唐涛 出版年:2005)
论文关键词词对:UML顺序图sequence diagram of UML;安全因子safety factor;最小安全因子路径least safety factor path;测试用例自动生成automatic test case generation;安全苛求系统safety critical system;
——来源文献(篇名:面向安全需求的测试用例自动生成技术研究 刊名:计算机工程与应用 作者:周绍君;徐中伟;喻钢;李弋强;吴剑; 出版年:2009)
论文关键词词对:轨道交通rail transit system;列车运行控制系统train control system;安全认证safety assessment;验证与确认verification and validation;安全苛求系统safety critical system;
——来源文献(篇名:列车运行控制系统安全保障与认证方法研究 刊名:中国安全科学学报 作者:燕飞; 出版年:2010)
论文关键词词对:列车自动保护ATP(automatic train protection);软件需求software requirement;精确需求定义precise requirement definition;安全苛求系统safety critical system;
——来源文献(篇名:基于精确需求定义方法的列车自动保护(ATP)软件开发 刊名:城市轨道交通研究 作者:常鸣; 出版年:2013)
论文关键词词对:安全苛求系统Safety Critical System;时间自动机timed automata;模型验证model validation;
——来源文献(篇名:基于UPPAAL的列车自动防护系统形式化建模与验证 刊名:铁路计算机应用 作者:蒋建军;王长林; 出版年:2014)
论文关键词词对:安全苛求系统Safety Critical System;嵌入式系统Embedded Operation System;C语言C Language;调试技巧debug skills;
——来源文献(篇名:安全苛求系统下的嵌入式C语言程序调试技巧 刊名:铁路计算机应用 作者:董高云;周庭梁; 出版年:2014)
论文关键词词对:高速铁路列控系统High-speed Railway Train Control System;安全苛求系统Safety Critical System;验证Verification;形式化方法Formal Method;定理证明Theory Proving;
——来源文献(篇名:高速铁路列车运行控制系统的形式化建模与验证方法研究 刊名:北京交通大学 作者:曹源 出版年:2011)
    
类别频次
铁路运输3
非线性科学与系统科学2

 
CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社