Chinese translation for "形式化模型"
|
- formalized model
Related Translations:
形式化: formaliseformalisierungformalizationformalize 使形式化: formalize formalize 形式化算法: formalized arithmetic 形式化阶段: formalization stage 形式化索引: fomalization index 形式化验证: formal verification
- Example Sentences:
| 1. | Formal models of uml statechart diagrams based on petri nets
状态图的形式化模型 | | 2. | A nominalized model for object - oriented environment
一种面向对象环境的形式化模型 | | 3. | The formal definition of the vmts is presented . the paper also designs the organization schema by means of vmts
建立了虚拟制造团队的形式化模型，并基于虚拟制造团队对系统组织结构进行了设计。 | | 4. | Firstly , a formal model of tpm is built using first - order logic language . then logic reasoning is made on the formal model
首先,在论文中用一阶逻辑语言建立可信平台模块api的形式化模型,然后对建立的形式化模型进行逻辑推理分析。 | | 5. | 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为基础，定义了多智能体的协作过程的协作承诺等相关概念，提出了协作承诺的形式化模型。 | | 6. | Then , the author pays interest on how olap enabled databases can be adapted to support symbolic modeling and used in customer order analysis , and how modeling contributes to acquiring valuable information
接着，作者着眼于在客户订单分析中， olap如何支持形式化模型以及怎样通过形式化模型获得有用信息。 | | 7. | Also , heuristic analysis of security and performance analysis are made on the seak protocol , and an appropriate formal model is provided , the protocol is proven secure in eccdh and the random oracle model
同时还对seak协议做了启发式安全分析和性能分析,并给其建立了形式化模型,在eccdh和随机预言模型下,证明了它是安全的。 | | 8. | Also , a heuristic analysis of security and performance analysis is made on the sakc protocol , and an appropriate formal model is provided , the protocol is proven secure in eccdh and the random oracle model
同时还对sakc协议做了启发式安全分析和性能分析,并给其建立了形式化模型,在eccdh和随机预言模型下,证明了它是安全的。 | | 9. | After introducing the logic and establishing its relationship to the formal model of multi - agent system , we put forward an axiomatisation of vsk - af logic , and systematically discuss its rationality
在提出了vsk - af逻辑并且建立了它与多agent系统的形式化模型间的关系后，给出了该逻辑的公理化体系，并对其合理性进行了充分的阐述。 | | 10. | To solve the problem of exponential space in the instruction - set automated design for the application specific instruction set processor ( asip ) , a formular clustering integer linear programming model ( cim ) is proposed , which can decrease the exploration space effectively utilizing function dependencies between instructions
摘要提出集束式整数线性规划形式化模型，利用指令间的功能依赖性解决专用指令集处理器中指令集自动定制的指数性空间问题。 |
- Similar Words：
- "形式化计算机" Chinese translation, "形式化计算机程序" Chinese translation, "形式化阶段" Chinese translation, "形式化控制" Chinese translation, "形式化了的意义" Chinese translation, "形式化内部模式" Chinese translation, "形式化群定律" Chinese translation, "形式化算法" Chinese translation, "形式化索引" Chinese translation, "形式化验证" Chinese translation
|
|
|
