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名矿工被困井下。

youdao

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.

各种形式化方法都有它的优缺点，模型检测的优点是完全自动化，但存在空间开销大的问题。

youdao

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.

为了解决动态故障树研究领域的马尔可夫链状态空间爆炸问题，给出了一个基于同构节点的动态故障树分析方法。

youdao

The installation was put out of action to avoid the risk of an explosion, the state news agency reported.

BBC: Algeria hostage-takers 'surrounded at In Amenas plant'

The installation had been put out of action to avoid the risk of an explosion, the state news agency reported.

BBC: Algeria siege: 'Around 30' hostages unaccounted for

Proponents of the singularity typically state that an intelligence explosion is a key factor of the Singularity where super-intelligences design successive generations of increasingly powerful minds.

FORBES: Technology, Digital Health and the Frankenstein Syndrome