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.
在研制出样机的基础上，对数学模型的验证，起重传感器测量系统的标定，以及现场测试等方面进行了全面系统的实验研究。
Model Checking is a formal verification technology for finite-state system, which is famous for its concise and highly automatic.
模型检验是一种针对有限状态系统的形式化验证技术，以其简洁明了和自动化程度高而引人注目。
Mathematical model and control law of the digital electro hydraulic proportion system are put forward. Furthermore, computing simulation and experimental verification are carried out.
提出了数字电液比例系统的数学模型及控制规律，并进行了计算机仿真及实验验证。
The results show that the adaptive PMC model is applicable, the distributed system level diagnosis algorithm is proper, and the applications of diagnosis and verification are reliable and practicable.
结果表明：改进的PMC模型适用，所提出的分布式系统故障诊断算法正确，故障诊断与验证应用程序可靠、实用。
Then, a verification of the function of the model is given according to the modeling and implement in event correlation analysis system.
通过该模型在实际的事件关联性分析系统中的建模和实现情况，对该模型的作用作出了验证。
Therefore this thesis studies on text-independent speaker verification and channel robustness methods on feature level, model level and system level.
因此本文着重研究了与文本无关的说话人确认系统，从参数级、模型级、系统级三个方面加强了系统的信道鲁棒性。
Results of the mathematical model verification and the numerical results of heat consumption computer-assisted management control system operation are shown on Figure 2.
数学模型验证的结果和数值结果的热量消耗计算机辅助管理控制系统操作在图2所示。
The model verification result shows the model can be used to reflect relation between land use and traffic system relation.
验证结果表明，所建模型能够正确反映土地利用和交通系统之间的关系。
A method and system for verifying performance of an array by simulating operation of edge cells in a full array model reduces the computation time required for complete design verification.
一种用于通过仿真全阵列模型中的边缘单元的操作来检验阵列性能的方法和系统，其减少了用于完整的设计检验所需的计算时间。
According to the function, some important qualities were presented to guarantee the correctness of system. The analysis and verification of the model are shown by S_invariants.
根据系统功能，提出了保证系统功能正确性应具有的重要性质，继而用S _不变量对其进行了分析、验证。
In user-customized speaker verification system, we focused on building whole utterance model for every speaker and DTW, HMM and GMM modeling methods were adopted.
在用户定制密码的说话人认证系统中重点研究了为语音密码建立整句模型的方法，使用了DTW，HMM和GMM模型实现了对用户的建模和识别。
In user-customized speaker verification system, we focused on building whole utterance model for every speaker and DTW, HMM and GMM modeling methods were adopted.
在用户定制密码的说话人认证系统中重点研究了为语音密码建立整句模型的方法，使用了DTW，HMM和GMM模型实现了对用户的建模和识别。
应用推荐