1、

Formal Fault Tree Analysis Modeling and Software Safety Testing

形式化故障树分析建模和软件安全性测试

互联网摘选

2、

Study on Complexity Parameter in Software Safety 3M Assessment Model

软件安全性3M评价模型复杂度因子的研究

互联网摘选

3、

the characters of the system software safety analysis with petri nets are summed up.

总结了基于Petri网的系统软件安全性分析的特点。

互联网摘选

4、

A fuzzy model of safety-critical software safety evaluation is presented by utilizing subjective judgments of objective hazardous failure in a software testing process for fuzzy inferences. It achieves qualitative safety evaluation of safety-critical software, and is demonstrated by a simulation example.

提出了一种安全软件安全性评估的模糊模型,利用软件测试过程中的客观危险失效的主观评价进行模糊推理,实现了安全软件安全性的一种定性评估,并通过仿真实例给予说明。

互联网摘选

5、

Design and Research on Software Frame of Dynamic System Safety Analysis

动态系统安全性分析软件框架设计与研究

互联网摘选

6、

This class will cover fundamental concepts and techniques in building mission-critical and safety critical systems that have software components.

这门课程将会包括在建立有软体成分的任务危急和安全危急系统过程中所需的基础理论和技术。

互联网摘选

7、

Automated test data generation for safety critical software

面向安全苛求软件的测试用例自动生成

互联网摘选

8、

Besides, the type safety of SAJ is proved, which makes the SAJ-based software development safer and more practical. 3.

证明了SAJ语言的类型安全性,类型安全性使得基于SAJ的软件开发更加安全和实用。

互联网摘选

9、
10、

Through using the software, tue economy and safety of power systems will be improved.

该软件的应用将会提高电力系统运行的经济性和安全性。

互联网摘选

11、

There is considerately lack of the formal research on software architecture, especially on the combination of safety and software architecture.

目前软件体系结构在学术界的理论研究尤其是形式化方面的工作还相对缺乏,将安全性和软件体系结构结合起来的工作更稀少。

互联网摘选

12、

Named Bingdela-after a Taiwanese phrase associated with overturning a table in rage-the software allows users to check whether food or drink products are associated with Ting Hsin International, a conglomerate that last year was the center of a food safety scandal involving its cooking oil.

该应用名为“冰的啦”,在闽南语里意为愤怒地掀桌。用户可以用它来查看食物或饮料产品是否与顶新国际有关联。这家企业集团去年爆发了涉及食用油的食品安全丑闻。

互联网摘选

13、

Using MatLab mathematic software, the author deduced the shearing resistance safety factor formula adaptable for space point SRSFS: the maximums/ minimums.

利用MatLab数学软件,详尽推导出基于摩尔&库仑准则的空间点抗剪最小、最大安全系数公式,表明空间点和平面点具有类似的点抗剪安全系数表达式。

互联网摘选

14、

When a mobile loses control, the security system can prevent it from exceeding the safe-running area which can be partitioned into GPS safety running area, software timing area and fuel oil cutting off timing area.

建立了GPS安全运行区域、软件定时安全运行区域、移动机器人主发动机油源定时关断安全运行区域三层保护机制,对其划定方法及实现方式进行了详细的说明。

互联网摘选

15、

The three, who ran Black Hawk Safety Net, are suspected of offering others online attacking programs and software, a crime recently added to the Criminal Law.

这三人经营黑鹰安全网期间,涉嫌对外主动提供网上攻击程序和软件(刑法新增罪责之一)。

互联网摘选

16、

Application of DNV Safety Evaluation Software to Hazard Evaluation in Quantity

DNV安全评价软件进行定量风险评估的运用

互联网摘选

17、

Preliminary research on safety software verification and validation for nuclear power plant

核动力厂安全软件的验证与确认技术的初步研究

互联网摘选

18、

Solution based on B/ S structure of safety management information system needs the software platform, building safety management information system basis.

解决基于B/S架构安全生产监督管理信息系统软件平台的需求问题,构建安全生产监督管理信息系统基础。

互联网摘选

19、

taken the characteristics of coal mine safety monitoring system and can for consideration, hardware and software of the coal mine safety monitoring system fieldbus interface based on usb is designed.

针对煤矿安全监控系统和CAN的特点,从软硬件方面,对基于USB的煤矿安全监控系统现场总线接口进行设计。

互联网摘选

20、

Software Design of Safety Supervision Installation for Improper Operation Access

非正常作业进路安全监督装置软件的设计

互联网摘选

  • 今日热词
  • 热门搜索

英语网英语词典(dict.25820.com)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈