Finally, the feasibility and effectiveness of the general model system are further demonstrated by an example study.
最后，通过实例研究，进一步证明通用模型系统的可行性和有效性。
The general model system is established for the evaluation of flood hazard risk, which includes the hydrologic model, hydraulic model and damage assessment model.
针对目前洪灾风险评价中存在的问题，建立了通用的洪灾风险评价模型系统，包括水文模型、水力模型及损失评估模型三部分。
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.
本文通过对网络协议形式化描述和验证问题的研究，针对网络协议的特性，给出了一种基于时态逻辑的模型系统。
应用推荐