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

    
没有找到工具书来源!
    
  词对"安全苛求系统" "safety-critical system"来自以下论文
论文关键词词对:安全苛求系统 Safety-critical system;软件 Software;评价 Assessment;复杂度 Complexity;
——来源文献(篇名:软件安全性3M评价模型复杂度因子的研究 刊名:计算机工程 作者:徐翥,郦萌 出版年:2005)
论文关键词词对:商用货架产品(COTS)commercial-off-the-shelf(COTS);安全苛求系统safety-critical system;容错fault tolerance;安全完整性safety integrity;
——来源文献(篇名:一种基于COTS硬件的安全苛求计算平台研究 刊名:北京理工大学学报 作者:王海峰;李伟; 出版年:2008)
论文关键词词对:动态故障树dynamic fault tree;安全苛求系统Safety-Critical System(SCS);可靠性分析reliability analysis;马尔科夫模型Markov model;模块化modulation;
——来源文献(篇名:基于改进DFTA的安全苛求系统可靠性分析 刊名:计算机工程 作者:吴剑;徐中伟;喻钢;李弋强; 出版年:2009)
论文关键词词对:故障树分析fault tree analysis(FTA);模型检测model checking;安全苛求系统safety-critical systems;安全性验证safety verification;
——来源文献(篇名:基于模型检测的软件安全性验证方法 刊名:武汉大学学报(理学版) 作者:王曦;徐中伟;梅萌; 出版年:2010)
论文关键词词对:安全苛求系统Safety-Critical System;安全分析safety analysis;ZC系统ZC System;
——来源文献(篇名:安全苛求系统综合功能危险源分析方法的研究 刊名:铁路计算机应用 作者:李雷;王海峰;唐涛; 出版年:2011)
论文关键词词对:构件component;安全苛求系统Safety-critical System(SCS);安全性security;模糊层次分析法Fuzzy Analytic Hierarchy Process(FAHP);量化评估quantitative evaluation;
——来源文献(篇名:基于FAHP的构件安全性量化评估方法 刊名:计算机工程 作者:赵静丽;陈立潮;潘理虎;张英俊;谢斌红; 出版年:2011)
论文关键词词对:项重写系统Term Rewriting System;联锁interlocking system;Maude语言Maude;安全苛求系统safety-critical system;模型检测model checking;
——来源文献(篇名:基于项重写系统的联锁系统模型检测方法研究 刊名:计算机工程与应用 作者:张舒青;徐中伟;陈祖希; 出版年:2014)
论文关键词词对:组合状态验证composite state verification;Petri网Petri net;安全性验证safety verification;图形转换graph transformation;安全苛求系统safety-critical system;
——来源文献(篇名:基于图形转换的组合状态安全性验证技术 刊名:山东大学学报(理学版) 作者:杜军威;江峰;张会萍;曹玲;殷文文; 出版年:2014)
    
类别频次
计算机软件及计算机应用5
铁路运输3
非线性科学与系统科学1

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