形式化模型 meaning in English
formalized model
Examples
- Secondly , some basic concepts about abstract and automatic summarization system are introduced , and the main formal models and methods of system are compared and analyzed , such as statistics based , meaning based , concept based , knowledge based etc . we induce their characteristics and put forward a kind of comprehensive automatic summarization system based on latent semantic analysis and text multilevel dependency structure
然后重点说明了文摘和自动文摘系统的基本概念体系,并针对目前几种主要的自动文摘系统形式化模型和方法:基于统计的机械文摘、基于理解的文摘、基于概念依存的文本结构分析方法和信息抽取的文本摘要等模型和方法进行了比较和分析,对它们的优点和缺点进行了讨论,归纳出各自的特点。 - Secondly , some basic concepts about abstract and automatic abstract system are introduced , and the main formal models and methods of system are compared and analyzed , such as statistics based , meaning based , concept based , knowledge based etc . we induce their characteristics and put forward a kind of comprehensive automatic abstract system . thirdly , the concepts and category of reference of noun phrase are discussed , and noun phrase reference algorithm is introduced . the author also gives the analysis results of the noun phrase reference algorithm
然后我们介绍了文摘和自动文摘系统的基本概念体系，并针对目前几种主要的自动文摘系统形式化模型和方法：基于统计的机械文摘、基于意义的理解文摘、基于概念的文本结构分析方法和基于知识的文本摘要等模型和方法进行了比较和分析，对它们的优点和缺点进行了讨论，归纳出各自的特点，进而在总结各种不同类型的自动文摘系统的特点的基础上，将基于统计的机械文摘、基于意义的理解文摘和基于概念的文本结构分析方法等三种研究方法相结合，提出了一种综合型的自动文摘系统的设想。 - By the security attributes of ak and akc protocols defined by law et al , this paper emphasizes on analyzing some protocols . firstly , find some security flaws , and new authenticated key agreement protocols are proposed . secondly , formal models of these prorocols are provided , and then these protocols proposed are proven secure within this framework in the random oracle model
本文重点以law等人给ak和akc协议定义的安全性质来分析协议,找出协议的安全缺陷,然后提出新的认证密钥协商协议,并分别对它们建立合适的形式化模型,最后证明它们是安全的协议。 - Paper outlines the current research status at home and abroad , as well as some relative theories . by presenting negotiation protocol and detailed describing of negotiation flow , based on multi - attribute utility theory and sequential decision making process , we establish a formalized negotiation model for multi - issue automated negotiation in e - commerce and add learning ability into our model
文章给出了国内外的研究现状以及相关的理论支持，通过对谈判协议的引入，对提议形式、谈判流程的详细描述，结合多属性效用理论和连续决策过程，提出了应用于电子商务多问题自动谈判的形式化模型。 - To achieve information integration in manufacture process , this paper , with reference to dnc , researches into manufacture process information integration from 3 aspects : data level , function level , application level , presents the management information integration framework （ miif ） based on distributed control technology , builds meta - agent and application agent by regarding agent as an entity having special behavior ability and specific action objective , establishes agent control model , and then gives the collaborative solution . with field - bus technology and agent technology , the dnc system model based on agent technology is established which shows a efficient way of device integration . a general model of device integration is set up , and an agent model based on soft plug - in technology is built
该模式包括面向制造过程的车间生产管理与控制的上层结构和面向车间设备的加工控制的下层结构；为实现制造过程信息的集成，本文从三个层面：数据层面、功能层面、应用层面上阐述了车间制造过程信息的集成方式，并借鉴dnc思想，建立了基于分布式控制技术的制造过程信息集成框架（ miif ） ；采用面向对象方法，对miif中的代理体从定义抽象、结构和功能等进行了深入研究；从知识层面上的三个层次：语言规范、会话机制、问题域对miif的多agent协作进行研究，建立了多agent交互的形式化模型。