域关系演算是以域为变量进行的关系演算。
本文以关系知识模型为基础,用谓词演算和关系演算描述了一个知识库管理系统GKBMS。
Based on the relational knowledge model, the knowledge base management system GKBMS is introduced in this paper. GKBMS combines predicate calculus with relational calculus.
给出了中介关系数据模型,在此基础上构造了两类不同的中介关系数据库查询语言:中介关系演算和中介关系代数。
Based on this model, this paper constructs two different kinds of medium relational database query languages: medium relational calculus and medium relational algebra.
借助一阶逻辑演算有条件地把超限递归原理从序数类推广到具有良基关系的类上。
Let's conditionally generalize principle of transfinite recursion from ordinal number class to class with well-founded relation.
LOS和ROC等现有的遮蔽关系模型都是基于RCC(区域连接演算)的,因而不能支持混合维空间对象。
The existing occlusion models such as LOS and ROC are all based on the RCC (Region Connection Calculus) theory, which is not suitable for handling multi-dimensional objects.
水质可见光近红外遥感监测是通过研究水体反射光谱特征与水质参数之间的关系,建立水质参数反演算法进行的。
The research object of the present paper is the water quality of Han Shiqiao wetland water. Water spectrum and quality parameters were measured on the site and in the lab.
水质可见光近红外遥感监测是通过研究水体反射光谱特征与水质参数之间的关系,建立水质参数反演算法进行的。
The research object of the present paper is the water quality of Han Shiqiao wetland water. Water spectrum and quality parameters were measured on the site and in the lab.
应用推荐