形式化模型的英文

• formalized model

• "模型"英文翻译    model; pattern
• "格式化模型" 英文翻译 :    formatted model
• "形式化" 英文翻译 :    formalise; formalisierung; formalization; formalize
• "催化模型" 英文翻译 :    catalytic model
• "公理化模型" 英文翻译 :    axiomatic model
• "简化模型" 英文翻译 :    reduced model; simplified model,
• "简化模型眼" 英文翻译 :    simplified schematic eye
• "可视化模型" 英文翻译 :    visual modeling
• "老化模型" 英文翻译 :    models of aging
• "理想化模型" 英文翻译 :    idealized model
• "硫化模型" 英文翻译 :    curing matrix; curing mold; curing mould
• "慢化模型" 英文翻译 :    slowing down model; slowing-down model
• "模块化模型" 英文翻译 :    modularization model
• "视觉化模型" 英文翻译 :    visual modeling
• "退化模型" 英文翻译 :    degradation model
• "线性化模型" 英文翻译 :    linearized model
• "亚文化模型" 英文翻译 :    subcultural modeling
• "演化模型" 英文翻译 :    evolutional model; evolutionary model; evolving model; incremental model
• "一致化模型" 英文翻译 :    united model
• "优化模型" 英文翻译 :    optimization model
• "最佳化模型" 英文翻译 :    optimizing model
• "最优化模型" 英文翻译 :    optimizing model
• "使形式化" 英文翻译 :    formalize formalize
• "形式化测试" 英文翻译 :    formal testing
• "形式化的" 英文翻译 :    formalized

• 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为基础，定义了多智能体的协作过程的协作承诺等相关概念，提出了协作承诺的形式化模型。
• 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如何支持形式化模型以及怎样通过形式化模型获得有用信息。
• 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和随机预言模型下,证明了它是安全的。
• 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和随机预言模型下,证明了它是安全的。
• 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系统的形式化模型间的关系后，给出了该逻辑的公理化体系，并对其合理性进行了充分的阐述。
• 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
  摘要提出集束式整数线性规划形式化模型，利用指令间的功能依赖性解决专用指令集处理器中指令集自动定制的指数性空间问题。