After the study on the problems of formal specification and verification for network protocols, this paper gives out a general model system based on the temporal logic.
本文通过对网络协议形式化描述和验证问题的研究，针对网络协议的特性，给出了一种基于时态逻辑的模型系统。
Experiments concerning the verification of the mathematical model, calibration of the sensing and measuring system, and field applications are carried out on the basis of the prototype.
在研制出样机的基础上，对数学模型的验证，起重传感器测量系统的标定，以及现场测试等方面进行了全面系统的实验研究。
With necessary experimental verification, the startup control model developed in this paper could be the theoretical basis for the analysis of dynamic performances of seawater desalination system.
建立的启动模型在经过实验验证加以完善之后，可以作为分析系统动态运行特性的理论基础。
应用推荐