1) abstract model theory
抽象模型论
2) abstract model
抽象模型
1.
The establishment and application condition of an abstract model for horizontal wells remaining oil producing
水平井挖潜剩余油抽象模型的建立及适应条件
2.
In this paper,the flexible coupling automaton was adopted to establish the abstract model,the computational architecture and the algorithm of each DMIS unit in the multi-agent system model.
文中以柔性耦合自动机为工具建立各个单元的Agent抽象模型、计算结构和算法。
3.
HIM as an abstract model for the index structure of file system,can be applied to the design of any file systems.
在分析常用文件系统索引结构的基础上,提出了一个文件系统动态存储和索引结构,层次散列索引模型(HierarchicalHashingIndexModel,HIM)·HIM应用动态散列技术,以线性散列表(LinearHashingTable)为基本结构,并辅以专门设计的字符序列映射函数,整体上优化了HIM结构,提高了文件系统的索引性能·HIM是文件系统索引结构的抽象模型,可应用于任何文件系统的设计中
4) abstract workflow model
抽象工作流模型
1.
Extended workflow management system architecture and an abstract workflow model based service were proposed.
为了实现制造网格平台中业务流程的构建、执行和管理监控,分析了制造网格环境下工作流的特点,在传统的工作流框架上进行扩充,提出了制造网格工作流框架和基于服务的抽象工作流模型。
5) Abstract object model
抽象客体模型
6) nonfigurative model
抽象工作模型
1.
In this paper,we put forward the concept of component nonfigurative model.
提出构件化抽象工作模型的概念,分析了这一模型的体系结构,在原理上阐述了基于此模型进行软件开发的方法。
补充资料：模型论
| 模型论 model theory 研究形式语言与其解释(模型)之间的关系，也就是形式语言的语法与语义之间的关系。数理逻辑的主要分支之一。模型论把形式语言中的公式、句子、理论(句子集)和模型当作数学对象，引进了近世代数中的一些概念、方法，从而模型论的一些结果和方法也被用到数学之中。因此，模型论成为数学的一个学科，模型论的一些重要定理，如紧致性定理，L－S － T 定理，省略型定理， 插值定理等等， 不仅对逻辑，集合论，递归论的研究有重要作用 ，而且也在数论 、 代数、拓扑等数学学科中得到应用。模型论的一些基本方法，如构造模型的常量方法，图像方法，模型链，超积也已成为常用的方法。一阶逻辑的模型论是模型论的基础，事实上，任何一种逻辑系统都有各自的模型论 。 除各种逻辑的模型论外，模型论的新发展层出不穷 ； 用模型论手法来研究逻辑系统，也叫做模型论逻辑；用模型论方法比较各种逻辑系统的强弱，分析各种逻辑系统的特点，叫抽象逻辑的模型论。用递归论方法研究模型论问题产生递归模型论。只研究有限模型的构造和判定叫有限模型论 。 用模型论的思想去研究代数结构、群、环、模、域等叫做代数模型论。研究模型分类的理论叫稳定性理论。现代模型论对计算机科学也有一定影响。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条