形式化模型 meaning in English
formalized model
Examples
- Formal models of uml statechart diagrams based on petri nets
状态图的形式化模型 - A nominalized model for object - oriented environment
一种面向对象环境的形式化模型 - The formal definition of the vmts is presented . the paper also designs the organization schema by means of vmts
建立了虚拟制造团队的形式化模型，并基于虚拟制造团队对系统组织结构进行了设计。 - Firstly , a formal model of tpm is built using first - order logic language . then logic reasoning is made on the formal model
首先,在论文中用一阶逻辑语言建立可信平台模块api的形式化模型,然后对建立的形式化模型进行逻辑推理分析。 - With the use of mascl , the concept of cooperation commitment of cooperation process in multi - agent systems is defined , and the formal model of cooperation commitment is proposed
以mascl为基础，定义了多智能体的协作过程的协作承诺等相关概念，提出了协作承诺的形式化模型。