期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
LISP实现无向树搜索路径算法和在机械加工中的应用
1
作者
孙光华
《微型机与应用》
1992年第5期33-34,17,共3页
本文对无向树的搜索进行了研究,给出了实现无向树搜索的数据结构及算法,并将其应用于机械加工领域,这对于CAD/CAM具有一定意义。
关键词
LISP
无向树
算法
搜索
机械加工
下载PDF
职称材料
可量词消去的带根节点的树理论
2
作者
傅莺莺
沈复兴
《数学学报(中文版)》
SCIE
CSCD
北大核心
2015年第4期691-704,共14页
讨论了带根节点r的有向树、无向树理论的量词消去性质,找到决定理论量词消去的三类特殊公式,并给出了在语言■_0={E,r}(E为有向边或无向边)及添加二元距离关系D_(n,n)<w所得膨胀语言下,可量词消去的这两类理论的完全分类.
关键词
量词消去
有
向树
无向树
原文传递
题名
LISP实现无向树搜索路径算法和在机械加工中的应用
1
作者
孙光华
机构
郑州机械专科学校
出处
《微型机与应用》
1992年第5期33-34,17,共3页
文摘
本文对无向树的搜索进行了研究,给出了实现无向树搜索的数据结构及算法,并将其应用于机械加工领域,这对于CAD/CAM具有一定意义。
关键词
LISP
无向树
算法
搜索
机械加工
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
可量词消去的带根节点的树理论
2
作者
傅莺莺
沈复兴
机构
北京工商大学理学院
北京师范大学信息科学与技术学院
出处
《数学学报(中文版)》
SCIE
CSCD
北大核心
2015年第4期691-704,共14页
基金
国家自然科学基金(61304155
11401015
+3 种基金
11101012)
北京市高校创新人才项目(201306206)
北京市教委面上项目(KM201510011001)
北京工商大学青年教师科研启动基金(QNJJ2014-27)
文摘
讨论了带根节点r的有向树、无向树理论的量词消去性质,找到决定理论量词消去的三类特殊公式,并给出了在语言■_0={E,r}(E为有向边或无向边)及添加二元距离关系D_(n,n)<w所得膨胀语言下,可量词消去的这两类理论的完全分类.
关键词
量词消去
有
向树
无向树
Keywords
quantifier elimination directed trees undirected trees
分类号
O144.4 [理学—基础数学]
原文传递
题名
作者
出处
发文年
被引量
操作
1
LISP实现无向树搜索路径算法和在机械加工中的应用
孙光华
《微型机与应用》
1992
0
下载PDF
职称材料
2
可量词消去的带根节点的树理论
傅莺莺
沈复兴
《数学学报(中文版)》
SCIE
CSCD
北大核心
2015
0
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部