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

图标索引 历史查询
 

安全苛求系统
相关语句
  safety-critical system
     Formal Development Method for 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 system
     Based on formal method, the development method of safety critical system(SCS) is deeply discussed in the paper.
     从系统工程的角度出发,基于形式化理论,对安全苛求系统的开发方法进行了研究.
短句来源
     First, concepts of safety critical system and formal method are introduced, and then the strong points of formal methods are analyzed.
     首先介绍了安全苛求系统的形式化方法,分析了形式化方法对安全苛求系统的作用;
短句来源
  “安全苛求系统”译为未确定词的双语例句
     Principles of Cross Acceptance in Mission Critical Systems——A Systems Framework
     安全苛求系统的交叉验收框架
短句来源
     Safety-critical systems need to prevent damages to people lives, mass assets or environments caused by unexpected events.
     安全苛求系统需要防范意外事件造成对人的生命、大宗财产或环境的损害。
短句来源
     This guidance draws upon a significant experience of the author on development and application of systemic frameworks for risk and safety assurance within the safety critical industries and more recently the railways. The principles are universal and particularly pertinent to safety critical systems where no systematic and efficient framework for their adoption and application in new applications or environments exists.
     该框架基于笔者多年在安全苛求系统和铁路领域开发应用控制风险和安全确信系统框架的经验,采用通行的原则,对于目前还未建立交叉验收系统框架的安全苛求系统尤其适用
短句来源
     It was brought a scheme of automatic simulatation and test. On the base of project and research,it was taken an actual CIS as object of experiment,and developed the Simulation and Test System. The actual testing results proved that the function of this System was consummated,and reached the testing goal entirely and efficiently.
     计算机联锁系统(CIS)是安全苛求系统,针对目前计算机联锁系统的安全测试以软件测试、人工操作为主,存在测试不完备、效率低,远离实际应用等问题,提出了一种自动化联锁仿真测试方案,并结合工程以实际的计算机联锁系统为对象研制出联锁仿真测试系统,实测结果表明:该系统功能完善,达到了完备、高效安全测试的目的。
短句来源
  相似匹配句对
     Principles of Cross Acceptance in Mission Critical Systems——A Systems Framework
     安全苛求系统的交叉验收框架
短句来源
     Formal Development Method for Safety-Critical System
     安全苛求系统的形式化开发方法
短句来源
     Secure Email System
     安全电子邮件系统
短句来源
     On the Idea of Safety System
     安全系统思想
短句来源
     system).
     系统)。
短句来源
查询“安全苛求系统”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  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 system
Failure of a safety critical system can lead to big losses.
      
After a 20 minute presentation describing a safety critical system and the implementation of a particular safety function.
      
A hacker might maliciously want to subvert the security of a secure system or damage the code in a safety critical system.
      
Much of the research in hybrid systems has been motivated by the need to verify the behavior of safety critical system components.
      
To handle the inherent complexity of developing a safety critical system, systematic fault tolerance is desirable.
      


Based on formal method, the development method of safety critical system(SCS) is deeply discussed in the paper. First, concepts of safety critical system and formal method are introduced, and then the strong points of formal methods are analyzed. then a new develop model_FDM(Formal Development Model) is proposed, which can resolve the safety problem effectively. At last, we present an application of SCS.

从系统工程的角度出发,基于形式化理论,对安全苛求系统的开发方法进行了研究.首先介绍了安全苛求系统的形式化方法,分析了形式化方法对安全苛求系统的作用;提出了一种安全苛求系统的形式化开发模型(FDM),给出了具体的应用实例.

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评价法能够利用后续测试得到的信息不断对评价因子进行修正,提高了评价的准确性。该文对软件致险缺陷估计模型作了某些改进,然后着重对复杂度因子作了一些研究。

Cross acceptance is an aspect of the technical and legal process principally aimed at establishing the fastest route to the deployment of products, systems or processes (PSP) in a target (new) context or environment. The PSP considered for cross acceptance is generally assumed to satisfy the qualifications for reliability, tolerable safety and environmental performance in their native (original) context or environment. The target application is also assumed to possess significant synergies with the native environment,...

Cross acceptance is an aspect of the technical and legal process principally aimed at establishing the fastest route to the deployment of products, systems or processes (PSP) in a target (new) context or environment. The PSP considered for cross acceptance is generally assumed to satisfy the qualifications for reliability, tolerable safety and environmental performance in their native (original) context or environment. The target application is also assumed to possess significant synergies with the native environment, thus making the deployment technically feasible and commercially viable/advantageous without significant alterations. However, the essence of cross acceptance currently relates to the assurance of safety and potentially environmental performance of PSPs, which are subject to a regulatory regime. In the absence systematic guidance and specific standards, a structured and risk based framework for cross acceptance of products, systems and processes is developed in this paper comprising seven core principles. This guidance draws upon a significant experience of the author on development and application of systemic frameworks for risk and safety assurance within the safety critical industries and more recently the railways. The principles are universal and particularly pertinent to safety critical systems where no systematic and efficient framework for their adoption and application in new applications or environments exists.

交叉验收是一个涉及技术和法律的工作,其目的是在新项目中能够尽快地应用类似的产品、系统和方法(PSP)。交叉验收的PSP首先要求在原始的应用中能够满足可靠性、安全性和环境要求。PSP目标和原始的应用应具有很好的相似性,因此,不需要很大的改动,在技术上和经济上可行性会很强。当然,交叉验收从根本上来说和PSP的安全性和适用性有关。目前交叉验收缺乏系统的指导和专门的标准,笔者阐述的一个基于风险分析的结构化PSP交叉验收框架包括7个主要原则。该框架基于笔者多年在安全苛求系统和铁路领域开发应用控制风险和安全确信系统框架的经验,采用通行的原则,对于目前还未建立交叉验收系统框架的安全苛求系统尤其适用

 
<< 更多相关文摘    
图标索引 相关查询

 


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

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