1) coefficient of coincidence
并发系数
2) Data erupts
数据并发
3) Number of Current User
并发数
4) coincidence index
并发指数
5) concurrent system
并发系统
1.
Verification of safety and liveness property based on concurrent system;
并发系统的安全性与活性的验证方法
2.
This paper states the syntax and semantics of CTL~* and its sub-logics: CTL and LTL, and analyzes how to state the properties of concurrent system, and finally the application example is given.
时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础。
3.
This paper presents a model-checking algorithm for verifying the properties of concurrent systems using proposition linear temporal logic (PLTL) based on Manna-Pnueli framework as formal language to specify concurrent systems; describing the properties by PLTL temporal formula.
采用Manna和Pnueli提出的命题线性时态逻辑PLTL作为并发系统的形式化规约语言,用PLTL公式描述系统的性质,给出并发系统性质验证的一种模型检验算法。
6) concurrent systems
并发系统
1.
Model Checking and Testing of Concurrent Systems;
并发系统的模型检测与测试
2.
In general, there are three challenges in the design of concurrent systems.
并发系统在以其并发性而极大地提高系统性能的同时,也因其各线程或进程交互协作,极大的增加了设计的复杂性和系统运行期间的出错的可能性。
3.
Checking the properties of concurrent systems is an ever growing challenge.
检查并发系统的性质变得日益困难。
补充资料：数据通信网(见数据通信)
数据通信网(见数据通信)
data communication network
shu)u tongxinwang数据通信网(datac。mmunicati。nne饰ork)见数据通信。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条