查询词典 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.

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

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。