This result shows that it is effective to analyse and check the new property of E-commerce protocols by symbol model checker.
结果表明利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的。
The Build lens node can be used to construct a lens model from multiple images of a calibration grid, such as a checker-board pattern, taken at different camera focal lengths.
构建透镜节点可以用来构造一个透镜模型从多个图像的校准网格，如棋盘式格局，取不同的相机焦距。
This result shows that it is effective analyzing and checking the property of network protocols by symbol model checker.
结果表明，利用符号模型检验方法分析检验网络协议是可行的。
Results show that the method using symbol model checker can discover replay attacks upon some cryptographic protocols and is effective.
结果表明，利用符号模型检测方法分析并发现密码协议重放攻击的漏洞是一种行之有效的方法。
A solution for property verification of synchronous VHDL design is introduced, and VERIS an efficient symbolic model checker is implemented.
介绍了一个针对同步时序电路VHDL设计的性质验证的解决方案——一个有效的符号模型判别器veris。
After modeling, we use model checker to check some of its key properties, which can guarantee the system's correctness and reliability.
建模后利用已经开发的模型检测工具，检测系统的一些重要性质可以保证系统的可靠性和正确性。
This paper introduces the relevant theory, then uses the popular model checker tool SPIN and gives an example which analyzes the use of the tool against the logic properties of LTL in a …
在介绍了相关理论知识后，使用当前较为流行的模型验证工具SPIN给出一个实例，提出了利用该工具针对系统的线性时序逻辑性质进行变异分析的方法。
The gas flow and checker brick temperature distributions predicted by means of the mathematical model coincide with the test results in situ.
所建数学模型的计算结果与现场实测结果是一致的。
The utility model adopts the technical proposal that the checker comprises an arc elastic arm and an extending arm, and is characterized in that a speculum is fixedly arranged on the arc elastic arm.
本实用新型的技术方案是：包括弧形弹力臂和扩撑臂，其特征是在弧形弹力臂上固定设有窥视镜。
The utility model adopts the technical proposal that the checker comprises an arc elastic arm and an extending arm, and is characterized in that a speculum is fixedly arranged on the arc elastic arm.
本实用新型的技术方案是：包括弧形弹力臂和扩撑臂，其特征是在弧形弹力臂上固定设有窥视镜。
应用推荐