English translation for "形式模型"

formal model

Related Translations:

表层形式:  surface form

正规形式:  hessenberg-form hessenberg form hessenberg

交际形式:  forms of communication

扩展形式:  extend typestretched form

形式矢量:  symbolic vector

意大利形式:  italianare

形式电荷:  formal charge

典范形式:  canonical formcanonical transformation

形式标号:  form label

物化形式:  objective form

Example Sentences:

	1.	The first step in moving toward this multilingual form model - such as the maribyrnong example - is to put unicode - based multiple language characters on the same web page 走向这种多语言形式模型的第一步譬如maribyrnong示例是将基于unicode多语言字符放在同一个web页面上。
	2.	As a model that can be used to develop practical system , dblp model has been designed based on some researches improving those works described in literature relevant to confidentiality policy models Dblp模型作为可用于系统设计的形式模型，它在多方面改进了现有文献中的工作，使模型更实用。
	3.	The mathematical theory of linear self - assembly was mainly developed by adleman . he presented a mathematical formal model of linear self - assembly and studied the character of dynamics of the model - time - complexity and equilibrium Adleman发展了线性自装配的数学理论，系统地提出了线性自装配的形式模型，并且研究了这个模型的动力学特征? ?时间复杂性和自装配的平衡特性。
	4.	Because the reduced - form models can represent the unexpected default more precisely and be consistent with empirical researches more accurately than tructural models , the credit risk pricing models of this dissertation belong to reduced - form models 由于简化形式模型比结构化模型更能表达出违约的突然性并且更加符合实证研究结果,所以本文研究的信用风险定价模型属于简化形式模型。
	5.	To our knowledge , dte - ipm is the first trying to build a whole integrity policy model based on dte . it presents some new invariants , used to prevent malicious information flow from jeopardizing system , different from ones in some literatures 对于dte _ ipm模型，就我们所知，使用dte技术构筑一个完整的完整性保护形式模型，是本文第一次进行了这样的尝试，该模型在控制恶意信息流方面有自己特殊的不变量。
	6.	Then we also formulate the model of computing with values via lattice - valued finite state automata , as well as the state transition function of the model of computing with words via lattice - valued finite state automata and the language accepted by lattice - valued finite automata 然后,给出了基于格值有限状态自动机的数值计算的形式模型。同时,建立了输入是词的格值有限状态自动机的转移函数以及格值有限状态自动机所接收的语言的定义。
	7.	For this , based on analyzing formalized design method , principles and architecture for designing formal model are proposed , then according to them , the model is designed hierarchically . first , a formal framework for supporting multipolicy is presented . second , some component models are constructed , including dynamically mediated security level rang multilevel security model dmlr - mls , which is used to implement confidentiality policy , and renamed as dblp model after it is combined with dac model , based - dte integrity protection security model dte - ipm , and privilege control model pcm - rbpc based on capability mechanism , role mechanism and dte privilege mechanism 本文主要研究开发高安全等级的操作系统所必需的安全策略形式模型，为此我们从形式设计方法的探讨入手，确定模型设计的基本原则及组织结构，然后根据确定的组织结构逐步展开设计，提出支持多策略的形式框架、实现机密性策略的可动态调节安全级范围的多级安全模型dmlr _ mls (本文把它与dac模型合在一起形成dblp模型) 、基于dte技术实现完整性保护的形式模型dte _ ipm及基于权能、角色及dte的特权控制模型pcm _ rbpc 。
	8.	Based on lotfi a . zadeh ’ s work , mingsheng ying ’ s work and daowen qiu ’ s work , the author proposed two new formal models of computing with words , namely the formal model of computing with words via lattice - valued finite state automata and the formal model of computing with words via lattice - valued regular grammar . the formal model of computing with words is expored and investigated 本文在lotfia . zadeh教授、应明生教授、邱道文教授等人的工作基础上,提出了词计算的两种新的形式模型? ?基于格值有限状态自动机的词计算形式模型和基于格值正则文法的词计算形式模型,对词计算的形式模型作了进一步研究和探讨。
	9.	Second , based on former logic theories , a improved formal model , mascl , is proposed in this chapter . mascl is a many - sorted first - order branching - time bdi logic , which can capture the requirements for representation mental states , acts , plans and social laws of multi - agent systems 在已有的形式模型基础上，提出了多智能体系统的形式模型mascl ，该模型是一种多类的一阶分支时序模态逻辑bdi理论，综合了单智能体和多智能体的精神状态和动作规划表示，并体现了社会规范的约束作用。
	10.	The idea of three - views is applied to the analysis and process of dnc system , and a formalized model based on dnc system is established . a class model of dnc system is built based on the formalized description of dnc . a system solution , which enables the reuse of resource , is put forward , and the efficiency of system design and development is greatly improved 应用现场总线技术和agent技术，提出一种基于代理体技术的dnc系统模型，为自动化车间实现设备集成开辟了有效途径；建立了设备集成通用模型；形式化描述了监控agent ，并建立基于软插件技术的agent模型；运用机械制图中三视图的表达思想对dnc系统的功能结构进行了分析，建立了dnc系统的形式模型，对dnc系统进行了形式化的描述，建立了dnc系统的类表示模型，并提出了一种资源可重用的dnc系统解决方案，使系统设计和开发的效率得以大大提高。

Similar Words：

"形式描述方法" English translation, "形式描述方法（技术）" English translation, "形式描述技术" English translation, "形式描述语言" English translation, "形式模式" English translation, "形式能数部分" English translation, "形式批判" English translation, "形式批判学" English translation, "形式批准" English translation, "形式普遍性" English translation