At least 14 miners are trapped underground at a coal mine in Mexico following a gas explosion. It happened in the northern state of Coahuila.
墨西哥北部科阿韦拉州一座煤矿发生瓦斯爆炸，造成至少14名矿工被困井下。
Every formal verification approaches have their advantages and disadvantages, the main advantage of model checking is automation, its main drawback is the state explosion problem.
各种形式化方法都有它的优缺点，模型检测的优点是完全自动化，但存在空间开销大的问题。
In order to solve the problem of state space explosion of Markov chains in the research field of dynamic fault tree, a new method based on isomorphic node is presented.
为了解决动态故障树研究领域的马尔可夫链状态空间爆炸问题，给出了一个基于同构节点的动态故障树分析方法。
To state dangerous and harmful properties and the reason of firing and explosion, in order to adopt the corresponding protective measurement and safe operation, then avoid having the accident.
本文介绍过氧化氢的危险、有害特性及发生着火、爆炸的原因，从而采取相应的安全防范措施，安全操作，避免事故的发生。
The secretary of state for Puebla says the explosion was triggered by thieves trying to siphon off oil from the pipeline.
普埃布拉州的国务卿鲍威尔表示，爆炸是因窃贼凿穿油管盗油所致。
By the method GUI software can be modeled from the viewpoint of users and there is no problem of state explosion.
使用该方法可以从用户角度建模GUI软件，建模过程简单直观，且不存在状态爆炸问题。
Aiming at the state explosion problem existed in the software model checking, a scheme of applying program conditioning to reduce the state space of programs was proposed.
针对软件模型检测中的状态爆炸问题，提出将程序条件化技术用于软件状态空间缩减的方案。
The temperature T_0 is called critical explosion temperature, at which the condensed phase and its vapor come to a balanced state, and the concentration of the combustible vapor comes to LEL.
“临爆点”是可燃物凝聚相与其蒸汽处于平衡状态时，可燃物的饱和蒸汽压为LEL值时的温度（T_0）。
The Coast Guard says the explosion late Tuesday also injured seven people at the Deepwater Horizon oil rig, located in the Gulf of Mexico about 84 kilometers from the state of Louisiana.
海岸警卫队说，星期二晚上的爆炸发生在墨西哥湾距路易斯安那州大约84公里的“深水地平线号”钻井平台，爆炸导致七人受伤。
To address the state explosion problem in the procedure of model checking, this paper proposes a SPIN - based modularized model checking method.
该文针对模型检测过程中所存在的状态爆炸问题，提出了一种基于模型检测工具SPIN的模块化模型检测方法。
The feature of explosion signals in elastic-plastic region of rocks is in the state of high pressure, of high speed, and of transient action on the particle motion.
岩石介质中爆炸波的特点是压力高、传播速度快，对介质质点的作用在瞬间完成。
State machine (SM) implementation should meet reusability on the level of implementation. This can be a useful complement to the modularity of the UML SM to address the problem of "state explosion".
总结了UML状态机的设计应该满足实现层次上的复用能力，这可以是U ML状态机的模块化机制解决“状态爆炸”问题的有益补充。
Steam explosion treatment was carried out on hard wood pulp to study the state during the treatment and effect on the super-molecular structure of cellulose.
研究了硬木纤维素在蒸汽闪爆改性过程中的各种状态及蒸汽闪爆对硬木纤维素超分子结构的影响。
One of the standard ways to handle the state explosion in large systems is to practise the modular supervision of languages or predicates, or of discrete event systems.
在监控理论中，处理状态膨胀的标准方法之一是基于语言或谓词的模监控。
The State Administration of Work Safety said the pre-dawn gas explosion happened at Xinhua No 4 pit in Pingdingshan city.
国家安全生产监督管理局说黎明前的瓦斯爆炸发生在平顶山市的新华4号煤井。
Product testing by the competent authority of the State institutions, and have achieved certification proof, explosion-proof equipment and industrial production license.
产品经国家权威机构检测合格，并取得了防爆合格证，及工业防爆设备生产许可证。
Explosion of the ordnance depot in Shan State East's Monghsat yesterday morning could be heard from across the border in Thailand, according to sources on the Thai-Burma border.
昨天(10月10日)上午位于掸邦东部孟萨的军火库发生爆炸，声音透过边界传入泰国，据泰缅边境的消息人士报道。
In order to cope with the state space explosion problem of CQN-FC solution, a novel approximate performance bounds analysis (APBA) method is proposed, which ha.
并提出了一种新的计算有限容量闭合排队网络系统边界性能的分析方法APBA法，和其他近似分析方法相比，APBA法的计算时间复杂度更低。
The main difficulties are how to deal with the expansion of explosion gas products in state of high pressure and temperature, and the interaction of blast waves and structural responses.
数值研究的难点表现为：高温、高压爆炸气体产物的膨胀和结构的动力学响应问题。
The main difficulties are how to deal with the expansion of explosion gas products in state of high pressure and temperature, and the interaction of blast waves and structural responses.
数值研究的难点表现为：高温、高压爆炸气体产物的膨胀和结构的动力学响应问题。
应用推荐