助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   安全苛求系统 在 计算机软件及计算机应用 分类中 的翻译结果: 查询用时:0.019秒
图标索引 在分类学科中查询
所有学科
计算机软件及计算机应用
铁路运输
更多类别查询

图标索引 历史查询
 

安全苛求系统
相关语句
  safety-critical system
    Fault Tree Analysis(FTA) can be used to analyze the events and states of system failure. It is an effective method in analyzing the reliability and safety of safety-critical system.
    故障树分析法(FTA)用于静态分析系统失效的可能事件和状态,是分析安全苛求系统的可靠性和安全性的一种有效方法。
短句来源
    In this paper,we firstly use temporal Petri nets to describe the railway signal interlocking logic system,a safety-critical system,and use temporal logic to describe temporal relationships of system states. Then,we analyze and verify the properties of model and conclude that the system is effective.
    文章给出安全苛求系统——车站信号联锁逻辑系统的时序Petri网描述,并使用时序逻辑描述系统状态的时序和因果关系,最后通过分析和验证模型的性质得出系统是正确的。
短句来源
  “安全苛求系统”译为未确定词的双语例句
    Safety-critical systems need to prevent damages to people lives, mass assets or environments caused by unexpected events.
    安全苛求系统需要防范意外事件造成对人的生命、大宗财产或环境的损害。
短句来源
查询“安全苛求系统”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  safety-critical system
Software risk management is particularly important when the target environment of the software is a safety-critical system.
      
In practice, software development tools have been in wide use among safety-critical system developers.
      
For instance, when a safety-critical system starts operation, the assurance of its being sufficiently safe is affected by various uncertainties.
      
Our experience with safety-critical system development suggested that implementation in Ada95 would suit the system's critical parts.
      
This is especially useful in a dynamic safety-critical system such as driver-vehicle system.
      
更多          


Safety-critical systems need to prevent damages to people lives, mass assets or environments caused by unexpected events. Therefore, safety-critical software has to undergo safety testing, and the assessment of software safety is very important. Multi-source, multi-model and multi-stage (3M) assessment can modify assessment parameters continuously by utilizing information obtained from subsequent testing to improve assessment accuracy. The estimation model of software errors that can cause hazards is modified...

Safety-critical systems need to prevent damages to people lives, mass assets or environments caused by unexpected events. Therefore, safety-critical software has to undergo safety testing, and the assessment of software safety is very important. Multi-source, multi-model and multi-stage (3M) assessment can modify assessment parameters continuously by utilizing information obtained from subsequent testing to improve assessment accuracy. The estimation model of software errors that can cause hazards is modified in this paper, and the study on complexity parameter is made emphatically.

安全苛求系统需要防范意外事件造成对人的生命、大宗财产或环境的损害。因此,对安全苛求软件的测试、安全性评价非常重要。多元、多模型、多阶段的3M评价法能够利用后续测试得到的信息不断对评价因子进行修正,提高了评价的准确性。该文对软件致险缺陷估计模型作了某些改进,然后着重对复杂度因子作了一些研究。

Fault Tree Analysis(FTA) can be used to analyze the events and states of system failure.It is an effective method in analyzing the reliability and safety of safety-critical system.Time Petri Nets(TPN) describing temporal concurrent system can be used to model dynamic behavior of the system.However,safety of the model,constructed by TPN,can't be proved strictly by TPN itself.In this paper,a new method,combining the advantages of TPN and FTA,is presented.The models of interlocking system are analyzed by this method...

Fault Tree Analysis(FTA) can be used to analyze the events and states of system failure.It is an effective method in analyzing the reliability and safety of safety-critical system.Time Petri Nets(TPN) describing temporal concurrent system can be used to model dynamic behavior of the system.However,safety of the model,constructed by TPN,can't be proved strictly by TPN itself.In this paper,a new method,combining the advantages of TPN and FTA,is presented.The models of interlocking system are analyzed by this method and some reformative approaches to the unsafe models are also proposed.

故障树分析法(FTA)用于静态分析系统失效的可能事件和状态,是分析安全苛求系统的可靠性和安全性的一种有效方法。时间Petri网(TPN)描述具有时序关系的并发系统,用于系统行为的动态建模。但利用时间Petri网无法严格证明其模型是安全的。提出了一种用于时间Petri网模型的安全性分析方法,该方法有效地结合故障树分析法和时间Petri网的各自优点,实际应用于联锁逻辑模型的安全性分析,并对不安全的模型提出修正方案。

Temporal Petri nets,which combine the advantages of Petri nets and temporal logic,can describe clearly and compactly causal and temporal relationships between the events of a system,including eventuality and fairness.In this paper,we firstly use temporal Petri nets to describe the railway signal interlocking logic system,a safety-critical system,and use temporal logic to describe temporal relationships of system states.Then,we analyze and verify the properties of model and conclude that the system is effective....

Temporal Petri nets,which combine the advantages of Petri nets and temporal logic,can describe clearly and compactly causal and temporal relationships between the events of a system,including eventuality and fairness.In this paper,we firstly use temporal Petri nets to describe the railway signal interlocking logic system,a safety-critical system,and use temporal logic to describe temporal relationships of system states.Then,we analyze and verify the properties of model and conclude that the system is effective.

时序Petri网结合Petri和时序逻辑的优点,清晰简洁地描述并发系统事件间的时序和因果关系,包括系统的最终性和公平性。文章给出安全苛求系统——车站信号联锁逻辑系统的时序Petri网描述,并使用时序逻辑描述系统状态的时序和因果关系,最后通过分析和验证模型的性质得出系统是正确的。

 
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关安全苛求系统的内容
在知识搜索中查有关安全苛求系统的内容
在数字搜索中查有关安全苛求系统的内容
在概念知识元中查有关安全苛求系统的内容
在学术趋势中查有关安全苛求系统的内容
 
 

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