To model check a value-passing concurrent system, an abstract model must be constructed, and Symbolic Transition Graphs with Assignment is such an abstract model.
对并发传值系统进行模型检测需要建立相应的抽象模型，带赋值的符号迁移图是一种广为使用的抽象模型。
The fairness is introduced to electronic check system for the first time, and the model of fair electronic check is discussed.
首次将公平性引入电子支票中，描述了公平电子支票的模型，设计了一个可直接花费余额的公平电子支票系统。
A computer network vulnerability evaluation system is designed based on attack graph modeling method. The computer network security evaluation tools and model check tools are integrated in the system.
以攻击图建模方法为基础，提出了一种综合利用网络安全评估工具、模型检验工具的计算机网络脆弱性评估系统的设计方案。
Use the model proposed, we design and implement a campus confidential inspection system, to check the confidential information on the end hosts.
应用前文提出的搜索引擎模型，本文实现了一个校园保密检查原型系统，对终端主机中保存的可能涉密信息保密检查。
Through the theoretical and practical analysis, the establishment of the method of the customer manager system annually assess can check the practicability of model.
通过理论探讨与实践分析，建立客户经理业绩考核激励模型，以检验和展示模型的具体效用与实用性。
The modules of the model system were described in details. The whole process including the income distribution, writing into database, the consistent check and recovery…
描述了模型系统的各模块结构，说明了从票务清分、结果入库，以及因系统故障导致内存出错后的数据一致性检测和恢复的整个过程。
In the end, on the basis of the model, the author attempts to improve and test the existing mobile GIS check system.
最后基于该模型，对已有移动GIS巡检系统进行改进和试验。
Based on the suitable channel model, an implementation of quasi-cyclic low density parity check codes (QC-LDPC) for acoustic communication system in shallow water is demonstrated.
讨论了准循环低密度校验码(QC - LDPC)在浅海水声信道中的实现方案。
Based on the suitable channel model, an implementation of quasi-cyclic low density parity check codes (QC-LDPC) for acoustic communication system in shallow water is demonstrated.
讨论了准循环低密度校验码(QC - LDPC)在浅海水声信道中的实现方案。
应用推荐