本文通过对网络协议形式化描述和验证问题的研究，针对网络协议的特性，给出了一种基于时态逻辑的模型系统。

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.

youdao

最后以实例验证了应用BP神经网络结合模糊逻辑和专家意见法进行主导产业的评价的准确性。

At last we use examples to verify the accuracy of the method that combines BP neural network with fuzzy logic and the expert advice to appraise the predominance industry.

youdao

本文还详细介绍了一种用多层前向神经网络实现模糊逻辑的自适应神经网络模糊推理系统——ANFIS，并用它来分析、验证神经模糊控制的控制效果。

This paper also stated the method of Adaptive Neural-Fuzzy Inference System (ANFIS) in details, which was used to analysis and testify effect of the NN-FC.

youdao