形式模型 meaning in English
formal model
Examples
- 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
然后,给出了基于格值有限状态自动机的数值计算的形式模型。同时,建立了输入是词的格值有限状态自动机的转移函数以及格值有限状态自动机所接收的语言的定义。 - 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 。 - 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教授、应明生教授、邱道文教授等人的工作基础上,提出了词计算的两种新的形式模型? ?基于格值有限状态自动机的词计算形式模型和基于格值正则文法的词计算形式模型,对词计算的形式模型作了进一步研究和探讨。 - 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理论，综合了单智能体和多智能体的精神状态和动作规划表示，并体现了社会规范的约束作用。 - 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系统解决方案，使系统设计和开发的效率得以大大提高。