For most safety properties and some liveness properties of real-time systems, model checking can be reduced to reachability analysis.
模型检测时，实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。
Based on the above, the safety properties of the dam are analyzed and appraised comprehensively, which provides a scientific base for the appraisal oft...
在此基础上，对大坝的安全性态进行了综合分析和评价，为病险水库安全鉴定提供了科学依据。
In this paper, an efficient and suitable testing method for evaluating the safety properties of the BMH bulk safety explosive for sulphide ore mining is presented.
本文介绍的是一种对BMH型硫化矿用散装安全炸药的研究非常有效、适用的安全性能检测方法。
This paper introduces idea and method of an AD information system on WWW, describes basic functions, and probes into its safety properties and performance of the system.
本文介绍了基于WWW的广告信息系统的设计思想和方法，描述了其基本功能，并对其系统的安全性和系统的性能进行了探。
The development history of the fast reactor technology, the design criterion, design status and safety properties of the experiment fast reactor are briefly presented in this paper.
本文介绍了我国在研究开发快堆技术方面的历史和实验快堆的设计原则、设计简介和安全特性。
Since adjuvants have their own pharmacological properties, which might affect both the immunogenicity and the safety of vaccines, safety assessment is essential.
由于佐剂具有其自身的药理学特性，可能会影响疫苗的免疫原性和安全性，因此对其进行安全性评估是必不可少的。
HRG suggests two reasons for the change: Istanbul’s growing appeal as a business centre, and the fact that safety concerns send many travellers in the city to five-star properties.
HRG称，导致这一变化有两个原因：首先是伊斯坦布尔作为商业中心吸引力日益增加，其次是，许多在伊斯坦布尔的旅行者出于安全考量选择入住五星级酒店。
Personnel must be thoroughly familiar with properties and safety considerations before being allowed to handle liquid oxygen and its associated equipment.
在被允许使用氧和它的附件之前，操作人员必须对它们的性质和安全问题十分熟悉。
Personnel must be thoroughly familiar with the properties and safety considerations before being allowed to handle a cryogenic liquid and its associated equipment.
在允许操作低温液体和它的相关设备之前，人员必须对性质和安全的考虑完全熟悉。
Production safety means to prevent and control potential accidents, and to protect people's life and social properties. For this, the idea of safety system was evolved.
安全生产的目的就是要预防和控制各类事故的发生，保护人民生命安全和社会财产安全。
Personnel must be thoroughly familiar with properties and safety considerations before being allowed to handle oxygen and its associated equipment.
在被允许使用氧和它的附件之前，操作人员必须对它们的性质和安全问题十分熟悉。
The properties, composition, USES, handling methods and economics of fluxes for aluminium and its alloys have been reviewed, as well as the safety and casting quality.
综述了固态熔剂的性质、成分、使用、处理方法以及熔剂使用的经济效益、安全性和对铸件品质的影响。
The reasonable selection of environmental condition and ice physical mechanical properties in the region are direct relating to the structure design, operation and safety.
合理地选取结构物工作海域的环境条件和冰的物理力学特性，直接关系到结构物的设计、使用和安全。
The paper reviews the properties, sources, extraction and safety of inulin, and introduces the application of inulin in food industry. It predicts the prospect of inulin.
综述了菊粉的性质、来源、提取和安全性；介绍了菊粉在食品工业中的应用；展望了菊粉的应用前景。
Nonlinear properties of drivers curve safety perception are discussed in driver-vehicle-road (environment) system.
论述了在人-车-路(环境)系统中驾驶员弯道安全感受的非线性特性。
Composition and properties of automobile ethanol gasoline were introduced. Guarantee measures of its quality safety were described during concoction, storage, transportation and sell.
介绍了车用乙醇汽油的组成、性质，阐述了车用乙醇汽油调合、储运及销售环节的质量安全保证措施。
The results of thermal mechanical properties, anti-aging property (RTI value) and SGS certification on environment safety showed that the materials had wonderful application prospect.
该材料热力学性能、耐热老化性能（RTI）的研究及SGS环境安全认证与应用表明，其具有较好的应用发展前景。
The properties of reactor safety are comprehensively evaluated.
评价了反应堆的安全特性。
Chemical and physical properties of fluorine and its safety, storage and shipment, preparation process are introduced, some valuable derivatives of fluorine and their applications are also discussed.
介绍了氟气的物理化学性质、安全与储运、制备工艺，并就一些有价值的氟气下游产品的性质和用途进行了讨论。
So the study of the physical and mechanical properties of heated salt rock is important and essential to ensure the safety of nuclear wastes disposed in salt rock.
因此，为保证核废料地下处置的安全性，研究盐岩在一定温度条件下的物理力学特性十分重要。
The analysis of its structure, stability, flavor properties and toxicity will stress its chemical properties and edible safety.
对谷氨酸一钠的结构、稳定性、呈味性质和毒理性质进行分析，从而证明其化学特性及食用安全性。
Under the action of dynamic force, the dynamic properties of tailings sands have vital importance for safety stability of tailings pond.
在动荷载的作用下，这些尾矿砂的动力特性对尾矿坝的安全稳定具有重要的意义。
It has been shown that the main properties are still in the scope of safety standards and the pipeline can be continued to operate.
结果表明，主要性能指标仍符合规范和标准的要求，该管材在目前工况下还可继续使用。
The Mechanical properties of railway vehicle converter cabinet affect the reliability of electronic systems and safety of train operation directly.
铁路车载变流器柜的可靠性直接影响着列车电子系统的可靠性和行车安全。
Debugging and running on spot show that this set has the properties of small volume, safety and reliability, powerful cooling efficiency.
现场调试运行结果表明，该套装置具有体积小、安全可靠、冷却效率高等特点。
The driver system, the safety precautions and functional properties of database software of electric shelves controlled by computer network are studied in this paper.
本文主要研究了计算机网络控制电动密集架的动力系统、安全保护措施和数据库管理的功能特点。
Fire is one of the main disasters in cities and towns. Study on the dynamics of city fires concerns the safety of human lives and properties.
火灾是城市、城镇的主要危害之一，城市火灾动力学关系到人们的生命和财产安全。
Fire is one of the main disasters in cities and towns. Study on the dynamics of city fires concerns the safety of human lives and properties.
火灾是城市、城镇的主要危害之一，城市火灾动力学关系到人们的生命和财产安全。
应用推荐