形式化模型 meaning in English
formalized model
Examples
- 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
摘要提出集束式整数线性规划形式化模型，利用指令间的功能依赖性解决专用指令集处理器中指令集自动定制的指数性空间问题。