Slicing can remove the irrelevant hierarchies and concurrent states to the property, reduce the state space, and help analyzing and understanding the models.
切片方法删除了与待验证性质无关的层次和并发状态，缓解了空间爆炸问题，并且有助于模型的分析和理解。
Each interval shows the average of the one-hour steady state of each incremental set of concurrent users.
每个区间显示的是增加一组并发用户后一小时内状态稳定后的平均水平。
The transaction support in JDBC 2 gave developers control over concurrent access to their data, thereby ensuring that persisted data is always in a consistent state.
JDBC2中的事务支持让开发人员可以控制对数据的并发访问，从而保证持续数据总是保持一致的状态。
So it is difficult to write concurrent systems built on mutable state and locks that continue to be reliable as a system grows.
因此编写构建于可变状态和锁之上、且该状态和锁随系统增长仍然可靠的并发系统很难。
The policy must state that the number of concurrent users is in proportion to the number of resource instances available to the users.
该策略必须声明并发用户数量与用户可用资源实例数量成正比。
The appropriate concentration and dosage regimen depend on the patient's clinical state, severity of the disorder, presence of concurrent disease, use of other drugs, and other factors.
适当的浓度和给药方案也取决于病人的临床状态、疾病的严重程度、有无并发疾病、其他药物使用情况以及其他因素。
The paper points out that the concurrent process state can not determine the model state uniquely, while the model state can map to a unique concurrent process state.
文章指出一个并行开发过程状态可能对应若干个产品模型状态，而一个产品模型状态唯一映射于一个开发过程状态。
The paper points out that the concurrent process state can not determine the model state uniquely, while the model state can map to...
文章指出一个并行开发过程状态可能对应若干个产品模型状态，而一个产品模型状态唯一映射于一个开发过程状态。
The paper, based on an investigation, makes an empirical analysis on the management state of concurrent business of farmers in Hubei Province.
本文是对湖北省部分农户兼业经营状况调查的一个实证分析。
Model checking is a technique for automatically verifying finite-state concurrent systems.
模型检验是自动检验有限状态并发系统的技术。
Model checking is a technique for automatically verifying finite-state concurrent systems.
检验 有限状态并发系统的技术。
Model checking is a technique for automatically verifying finite-state concurrent systems.
检验 有限状态并发系统的技术。
应用推荐