查询词典 deadlock

The concurrent language relation formula is presented and proved in the synchronous synthesis of Petri net systems, and it can be applied to judge the liveness and deadlock-freeness of a synthesized system.

该语言关系式可用于判定同步合成Petri网系统的活性与无死锁性，同时给出了同步合成Petri网系统活性与无死锁性的充要条件。

Finally, a GALT algorithm without deadlock is also brought forward in this paper that is calledStature-Measuring, and this algorithm can provide reliable technology support to develop time management services of RTI.

最后提出了基于"身高测量法"的无死锁的GALT算法，"身高测量法"为RTI中时间管理模块的实现提供了可靠保证。

In chemical industry, of measure of good as a series of benefit policy come on stage, the price " icebound ", the deadlock with wait-and-see market had a few delicate change.

在化工行业，随著一系列利好政策措施的出台，价格"冰封"、市场观望的僵局有了一些微妙的变化。

The paper introduces the transfer matrix to analyze the deadlock problem in Web service combination,and adopt incidence matrix to ensure the accessibility of combination.

采用转移矩阵方法来分析Web服务组合中存在的死锁问题，并采用关联矩阵的方法确认组合的可达性。

After that,the adverse search is carried on to each information,if there is any break found,this jump operation may have the possibility of deadlock,otherwise it is regarded as connected and the jump is living.

然后对每一条进行逆向搜索，若发现任一处信息断链，则该转移操作有可能发生死锁；否则认为通达，该转移是活的。

One does not feel that Lessing sees any hope, only perpetual deadlock.

然而我们没感觉到 Lessing 看到任何希望，只有永久的僵局。

The system can solve the problem of the deadlock and be helpful to realize paperless and localized management.

该系统不仅可以解决死锁问题，而且可有助于实现无纸化和本地化的管理。

Every time the cost of revocation of a deadlock the process of the smallest, the release of its resources.

每次撤销个代价最小的死锁进程，释放其所拥有的资源。

As to the problems of workflow model, such as deadlock, trap, safeness etc., various analysis techniques are discussed and the realization algorithms are given.

基于HOGSPN的工作流模型可利用多种分析技术对模型中的死锁、陷阱、安全性等问题进行研究，并提供了相应的算法。

In the meanwhile Sandro took on the role of scorer against Roma, breaking the deadlock for Milan.

同时桑德罗在对罗马的比赛中进球，为米兰打破僵局。

According to the clear water experiment, aeration performance of the new equipment is good with high total oxygen transfer coefficient and oxygen utilization ratio.

曝气设备的动力效率在叶轮转速为120rpm～150rpm时取得最大值，此时氧利用率和充氧能力也具有较高值。

The environmental stability of that world - including its crushing pressures and icy darkness - means that some of its most famous inhabitants have survived for eons as evolutionary throwbacks, their bodies undergoing little change.

稳定的海底环境─包括能把人压扁的压力和冰冷的黑暗─意谓海底某些最知名的栖居生物已以演化返祖的样态活了万世，形体几无变化。