炸弹爆炸之后，当地医院一直处于戒备状态。
Following the bomb blast, local hospitals have been put on red alert.
曼谷目前仍处于紧急状态中。发生在曼谷和北部城市清迈的一连串的爆炸令民众恐慌不已。
Bangkok remains under a state of emergency and a string of bombings there and in the northern city of Chiang mai have rattled the public.
当我们发现世界拥有了完善的时间与空间的定义（或者如爱因斯坦所说称之为时空），那么它可能处于宇宙特别的状态，发生了大爆炸。
When we see the world with a well-defined space and time [or spacetime as Einstein put it] this may just be some particular state of the Universe that has emerged out of the Big Bang.
在大爆炸理论里，早期宇宙的状态是一个奇点，这意味着宇宙曾经是无穷小的。
In Big Bang theory, the state of the Universe is a singularity in early times, meaning that the Universe was once infinitely small.
在大爆炸之后不久，整个宇宙处于一片杂乱无章的混沌状态之中。
Shorty after the Big Bang, the universe was in a highly disordered and chaotic state.
人们为了这种食物而进入疯狂状态。销量爆炸似的增长，然后现代夹馅面包诞生了。
People went absolutely nuts for it. Sales exploded, and the modern Twinkie was born.
但是这起爆炸仍然提醒了我们，无论其如何大肆宣传，印度仍不是一个完全处于和平稳定状态的国家。
But the bombings serve as a reminder that India, despite all the hype, is not a country wholly at peace.
欧洲的科学家说，他们在世界最大的原子对撞机上创下了高能量质子对撞的最新纪录，模拟创造宇宙的“大爆炸”状态。
European scientists say they have set a record for high-energy collisions of protons in the world's largest atom smasher, mimicking conditions close to the "Big Bang" that created the universe.
使用该方法可以从用户角度建模GUI软件，建模过程简单直观，且不存在状态爆炸问题。
By the method GUI software can be modeled from the viewpoint of users and there is no problem of state explosion.
在爆炸或冲击荷载作用下，钢板间会引起复杂的应力应变状态的变化，表现在应力波传播比较复杂。
That the complex stress state change is aroused between armor plates under explosive or shock force is expressed by complex stress wave propagation.
为了解决动态故障树研究领域的马尔可夫链状态空间爆炸问题，给出了一个基于同构节点的动态故障树分析方法。
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.
同时，使用层次建模的方法防止状态爆炸。
At the same time, hierarchical analytical method was adopted to avoid states blast.
工作流的畅通性验证无论在时间上还是空间上代价都是非常高的，状态空间爆炸是验证的主要困难所在。
The verification of throughness of workflow logic is very expensive both in time and space. The state ex- plosion is the main difficulty.
这一信息爆炸已导致了一种长期的信息过剩状态。
This information explosion has led to a chronic condition of information overload.
这种优化的算法在一定程度上改善了由状态爆炸引起的求解线性规划次数指数级递增的问题；
To some certain extent, the proposed method improves the computational complexity problem resulting from state explosion and solution to the linear programming problems.
由于这一技术是基于对状念空间的穷尽搜索，“状态爆炸”问题一直是制约其在实际系统中应用的主要技术瓶颈。
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.
医院立马进入戒备状态——因为致命的爆炸随时都会发生，并会在顷刻间杀死周围32英尺内的所有人。
Immediately the hospital was put on alert - because the deadly explosive could go off at any moment and kill everyone within 32ft.
切片方法删除了与待验证性质无关的层次和并发状态，缓解了空间爆炸问题，并且有助于模型的分析和理解。
Slicing can remove the irrelevant hierarchies and concurrent states to the property, reduce the state space, and help analyzing and understanding the models.
随着程序或电路规模的增大，状态数目将呈指数增加而引起组合爆炸。
Exponentially increasing of the state number of a system causes the combination exploring with the scale of program or circuit increasing.
煤矿发生瓦斯爆炸的过程实质是井下气体状态发生突变的过程。
The actual processes of firedamp explosion in coal mines involve a catastrophic processes occurring in air conditions of underground coal mines.
针对软件模型检测中的状态爆炸问题，提出将程序条件化技术用于软件状态空间缩减的方案。
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.
他们表示这名工人试图驾驶一辆后座装有小型爆炸物的轻型卡车进入这座距离菲尼克斯市区50英里的核电站，目前电站已关闭并处于警戒状态。
They say he tried to enter the plant with a small explosive device in the back of his pickup truck. The plant about 50 miles west of downtown Phoenix was put on lockdown.
该文针对模型检测过程中所存在的状态爆炸问题，提出了一种基于模型检测工具SPIN的模块化模型检测方法。
To address the state explosion problem in the procedure of model checking, this paper proposes a SPIN - based modularized model checking method.
组合可达性分析是对并发系统模型分析验证的基础和关键，但是难于解决验证中的所谓的状态爆炸问题。
Model checking and refinement checking are two approaches to formal verification, whose difficulties are due to the state explosion problem.
针对多重失效状态数量的组合爆炸问题，提出组合劣化分析方法；
A worse-combination filtering analysis skill was proposed to handle the quantity explosion problem in the multiple failure condition identification.
这种特性可使爆炸产生的相对集中的局部压力转化为分布趋向均匀的整体作用压力，从而使内层结构处于有利的受力状态。
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.
SPIN在应用过程中同样面临状态空间爆炸问题，它采用偏序归约策略来减少状态空间中需要遍历及存储的状态数目。
SPIN adopts the partial order reduction strategy to reduce the number of system states that needs to be visited and stored in the state space to solve the model checking problem.
SPIN在应用过程中同样面临状态空间爆炸问题，它采用偏序归约策略来减少状态空间中需要遍历及存储的状态数目。
SPIN adopts the partial order reduction strategy to reduce the number of system states that needs to be visited and stored in the state space to solve the model checking problem.
应用推荐