-
题名关于代数封化域的唯一性
- 1
-
-
作者
苏翃
-
机构
重庆工业管理学院基础科学系
-
出处
《重庆工业管理学院学报》
1996年第1期10-11,共2页
-
文摘
推广了［１］中在等价意义下任意域Ｆ恰有一个代数封化域的结论，得到了两个同构的域的代数封化域也同构的结果。
-
关键词
代数封代域
同构
分裂域
唯一性
代数封闭域
-
分类号
O153.4
[理学—基础数学]
-
-
题名基于标识变化的时空推理
- 2
-
-
作者
王生生
刘大有
谷方明
吕倩楠
温长吉
-
机构
吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室
吉林农业大学信息技术学院
-
出处
《计算机学报》
EI
CSCD
北大核心
2012年第2期210-217,共8页
-
基金
国家自然科学基金重点项目(61133011)
教育部留学回国人员科研启动基金
+1 种基金
吉林大学科学前沿与交叉学科创新项目(200903178)
吉林大学种子基金资助~~
-
文摘
空间变化是空间信息处理中的热点问题,标识变化是空间变化的关键问题之一.但是现有工作侧重表达,知识推理能力较弱.为此,研究了基于标识变化的时空推理问题.给出了基于多段图和集合论的标识变化形式化语义,在此基础上定义了二元关系模型.针对基本关系约束满足问题,提出了构造性求解算法,并证明了代数封闭算法可解;针对全关系约束满足问题,提出了一致场景算法.理论分析和实验应用均表明该方法能有效解决信息不完整、不准确情况下的标识变化表示与推理问题,对此类问题其它同类模型尚不能很好解决.
-
关键词
时空推理
标识变化
约束满足问题
代数封闭算法
弱复合
-
Keywords
spatio-temporal reasoning identity-based change constraints satisfaction problem algebraically closed algorithm weak composition
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名中学数学的体系
- 3
-
-
作者
梅向明
-
机构
北京师范学院
-
出处
《课程．教材．教法》
CSSCI
北大核心
1991年第2期16-21,共6页
-
文摘
一、问题的提出 一门学科的体系就是这门学科自身发展的规律,这个规律反映了人类对这门学科的认识过程。人们今天学习这门学科,他们的认识过程不一定完全遵循这门学科的发展规律,也就是说,不一定重复历史上对这门学科的认识过程,但是也不会相差很远。学科中有的内容,历史上认识它经过了漫长的岁月。
-
关键词
中学数学
有理数域
区间套
有理运算
小学数学
代数封闭
数的概念
复数域
初等数学
运算律
-
分类号
G63
[文化科学—教育学]
-
