形式化模型 meaning in English
formalized model
Examples
- Compared with traditional testing technology , it is a complex process , companying the whole life cycle of network . in the progress of active network testing , the first is theory analysis and estimate , based on networking planning and design resolution . the second is abstract " formal model " with the help of " formal technology "
在主动性网络检测体系中，首先基于网络规划设计方案(选择的数据传输技术和传输设备特性)进行理论分析与估算；其次使用形式化技术提炼待测系统形式化模型；对初步的形式化模型进行分析、化简，得到待测集合；最后使用作者研发的activetester测试工具对测试集合进行覆盖测试。 - Thus , a formal architecture description language , called adl / promela , which is used to express the architecture of distributed control system , is designed , and in order to analyze and check in formal way , the adl / promela is mapped into the formal model which can be analyzed and checked by spin
设计了分布式控制系统体系结构的形式化描述语言adl promela ，并将adl promela体系结构模型映射成模型检查工具spin可以分析的形式化模型，运用模型检查技术对分布式控制系统进行分析和检查，以提高分布式控制系统的设计与开发质量。