State broadcaster CCTV cited witnesses as saying the sealed, air-conditioned bus caught fire without an explosion, and then burned rapidly.
官方媒体CCTV引用了一名目击者话称，这俩密封的公交车着火前未发生爆炸，之后火势蔓延迅速。
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名矿工被困井下。
Chinese state media say a chemical explosion has killed 18 people and injured 10 others in eastern China's Shandong province.
中国官方媒体报导，山东省发生一起化学物品爆炸，导致18人死亡，10人受伤。
By the method GUI software can be modeled from the viewpoint of users and there is no problem of state explosion.
使用该方法可以从用户角度建模GUI软件，建模过程简单直观，且不存在状态爆炸问题。
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.
为了解决动态故障树研究领域的马尔可夫链状态空间爆炸问题，给出了一个基于同构节点的动态故障树分析方法。
The secretary of state for Puebla says the explosion was triggered by thieves trying to siphon off oil from the pipeline.
普埃布拉州的国务卿鲍威尔表示，爆炸是因窃贼凿穿油管盗油所致。
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.
各种形式化方法都有它的优缺点，模型检测的优点是完全自动化，但存在空间开销大的问题。
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 State Administration of Work Safety said the pre-dawn gas explosion happened at Xinhua No 4 pit in Pingdingshan city.
国家安全生产监督管理局说黎明前的瓦斯爆炸发生在平顶山市的新华4号煤井。
The chemical plant explosion, 236 miles upriver, killed 5 people and forced 10,000 others to evacuate, the state media reported.
国家媒体报道，发生爆炸的化工厂位于河流上游236英里出，5人死亡，10,000人被迫迁往他处。
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 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）。
Chinese state media says 15 people were killed and 25 injured when a bus crashed into a tanker truck, triggering an explosion in Hunan Province.
中国官方媒体说，在中国湖南省境内，一辆大客车撞上一辆油罐车，引发爆炸，造成15人死亡，25人受伤。
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.
研究了硬木纤维素在蒸汽闪爆改性过程中的各种状态及蒸汽闪爆对硬木纤维素超分子结构的影响。
To address the state explosion problem in the procedure of model checking, this paper proposes a SPIN - based modularized model checking method.
该文针对模型检测过程中所存在的状态爆炸问题，提出了一种基于模型检测工具SPIN的模块化模型检测方法。
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公里的“深水地平线号”钻井平台，爆炸导致七人受伤。
Because it is based on the exhaustive state space search, the state space explosion problem becomes the primary bottleneck when we apply model-checking to real systems.
由于这一技术是基于对状念空间的穷尽搜索，“状态爆炸”问题一直是制约其在实际系统中应用的主要技术瓶颈。
Model checking and refinement checking are two approaches to formal verification, whose difficulties are due to the state explosion problem.
组合可达性分析是对并发系统模型分析验证的基础和关键，但是难于解决验证中的所谓的状态爆炸问题。
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.
岩石介质中爆炸波的特点是压力高、传播速度快，对介质质点的作用在瞬间完成。
This property can transform the concentrated local pressure produced by explosion into a relatively evenly distributed whole pressure, thus makes a safe inner structure stress state.
这种特性可使爆炸产生的相对集中的局部压力转化为分布趋向均匀的整体作用压力，从而使内层结构处于有利的受力状态。
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 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.
数值研究的难点表现为：高温、高压爆炸气体产物的膨胀和结构的动力学响应问题。
To some certain extent, the proposed method improves the computational complexity problem resulting from state explosion and solution to the linear programming problems.
这种优化的算法在一定程度上改善了由状态爆炸引起的求解线性规划次数指数级递增的问题；
Product testing by the competent authority of the State institutions, and have achieved certification proof, explosion-proof equipment and industrial production license.
产品经国家权威机构检测合格，并取得了防爆合格证，及工业防爆设备生产许可证。
Product testing by the competent authority of the State institutions, and have achieved certification proof, explosion-proof equipment and industrial production license.
产品经国家权威机构检测合格，并取得了防爆合格证，及工业防爆设备生产许可证。
应用推荐