Slicing can remove the irrelevant hierarchies and concurrent states to the property, reduce the state space, and help analyzing and understanding the models.

切片方法删除了与待验证性质无关的层次和并发状态，缓解了空间爆炸问题，并且有助于模型的分析和理解。

youdao

Each interval shows the average of the one-hour steady state of each incremental set of concurrent users.

每个区间显示的是增加一组并发用户后一小时内状态稳定后的平均水平。

youdao

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.

JDBC 2中的事务支持让开发人员可以控制对数据的并发访问，从而保证持续数据总是保持一致的状态。

youdao

For example, the Department of Transportation took months off the timeline to approve the Whittier Bridge Replacement project in Massachusetts by working with the state government and doing concurrent project reviews.

WHITEHOUSE: Office of Intergovernmental Affairs Blog

It was a lonely win, though, since Romney's rivals have been concentrating their efforts on the concurrent primary in South Carolina: a state that has consistently foretold the Republican nomination since 1980.

NPR: Romney Wins GOP Caucuses in Nevada