专题首页
中图分类法(19)
哲学、宗教(1)
数理科学和化学(2)
工业技术(16)
在“
CNKI学位论文
”中，
命中：
19
条，耗时：0.0139939 秒
1.
汉字字形形式化描述方法及应用研究
作者：
林民
关键词：
汉字字形
;
形式化描述
;
笔段网格
;
比对计算
;
部件
论文级别：
博士
学位年度：2009
2.
若干逻辑自动推理方法研究
作者：
郭远华
关键词：
定理证明
;
自动推理
;
子句搜索方法
;
一阶逻辑
;
格值逻辑
;
tableau方法
;
试探方法
;
自然推理方法
;
可读证明
论文级别：
博士
学位年度：2010
3.
汉字模糊信息的线索搜寻与模式识别的眼动研究
作者：
李鹏程
关键词：
汉字
;
线索搜寻
;
特征分析
;
模式识别
;
眼动研究
论文级别：
硕士
学位年度：2007
4.
基于Isabelle平台的一般拓扑学机械化及自动定理证明研究
作者：
王建林
关键词：
数学机械化
;
定理机器证明
;
一般拓扑学
;
Isabelle
;
形式化
;
高阶逻辑
论文级别：
博士
学位年度：2012
5.
并行符号算法若干问题的研究与应用
作者：
陈良育
关键词：
符号计算
;
并行计算
;
多项式矩阵行列式
;
结式
;
不等式证明
;
差分代换
;
Heilbronn七点问题
;
SGE
;
MPI
;
MathML
;
Maple
;
Matlab
论文级别：
博士
学位年度：2008
6.
水利工程材料质检管理系统的设计
作者：
关斌斌
关键词：
材料质量检测
;
数据采集
;
VSTO
;
模式-视图-控制
论文级别：
硕士
学位年度：2011
7.
基于主动搜索的论坛内容监管技术研究
作者：
耿乐群
关键词：
内容监管
;
论坛BBS
;
主动模式
;
网络爬虫
;
URL去重
论文级别：
硕士
学位年度：2011
8.
大学数学辅助教学平台的设计与实现
作者：
陈小强
关键词：
辅助教学平台
;
大学数学
;
内容管理
;
DotNerNuke
;
MathML
论文级别：
硕士
学位年度：2011
9.
基于支持向量机的甲骨文字结构分析研究
作者：
史小松
关键词：
甲骨文
;
语料库
;
构件
;
支持向量机
论文级别：
硕士
学位年度：2010
10.
在车牌自动识别系统中对字符的分割与识别的研究
作者：
王飞
关键词：
汽车牌照自动识别系统
;
二值化
;
细化
;
模板匹配法
论文级别：
硕士
学位年度：2007
1
2
按检索点细分(19)
作者(2)
导师(1)
引文(16)
按论文级别细分(19)
博士(4)
硕士(15)
按学位年度细分(19)
2005年(1)
2007年(2)
2008年(2)
2009年(3)
2010年(4)
2011年(6)
2012年(1)