专题首页
中图分类法(10)
哲学、宗教(1)
经济(1)
天文学、地球科学(1)
工业技术(7)
在“
CNKI学位论文
”中，
命中：
10
条，耗时：小于0.01 秒
1.
软件技术的哲学探究
作者：
胡兴华
关键词：
软件技术
;
本体论
;
认识论
;
符号学
;
知识
;
开源软件
论文级别：
博士
学位年度：2008
2.
面向装配序列规划的进化算法研究
作者：
曾聪文
关键词：
装配序列规划
;
进化算法
;
智能体
;
装配计算
;
符号技术
论文级别：
博士
学位年度：2013
3.
形式语言与自动机理论若干问题研究
作者：
陈文宇
关键词：
形式语言
;
自动机
;
有效封闭性
;
扫描子串技术
;
图灵可计算性
论文级别：
博士
学位年度：2009
4.
基于条码的仓库条码管理系统的设计和实现
作者：
李伦春
关键词：
仓储
;
仓库条形码系统
;
无线设备
;
管理模式
论文级别：
硕士
学位年度：2011
5.
图像文化解析
作者：
张耀辉
关键词：
图像技术
;
图像文化
;
图像思维
;
社会影响
论文级别：
硕士
学位年度：2008
6.
基于PDA的野外增量信息采集系统若干关键技术研究
作者：
张剑
关键词：
增量信息
;
PDA
;
串口通讯
;
地图符号库
;
空间索引
论文级别：
硕士
学位年度：2010
7.
基于信息隐藏技术的防伪系统研究与实现
作者：
何利军
关键词：
二维条码
;
数字水印
;
防伪
论文级别：
硕士
学位年度：2008
8.
现代物流配送中心系统设计
作者：
赵汝雄
关键词：
物流
;
配送中心
;
流程设计
;
入库
;
出库
论文级别：
硕士
学位年度：2004
9.
形式化方法在构件组装实时系统中的应用研究
作者：
席琳
关键词：
形式化方法
;
构件组装实时系统
;
时间自动机
;
行为相容性
;
测试用例生成
;
构件选择
论文级别：
博士
学位年度：2012
10.
基于逻辑锥和SAT的带黑盒电路等价性验证方法
作者：
岳园
关键词：
形式化验证
;
等价性验证
;
黑盒
;
逻辑锥
;
可满足性
论文级别：
硕士
学位年度：2007
1
按检索点细分(10)
目录(5)
关键词(1)
摘要(5)
按论文级别细分(10)
博士(4)
硕士(6)
按学位年度细分(10)
2004年(1)
2007年(1)
2008年(3)
2009年(1)
2010年(1)
2011年(1)
2012年(1)
2013年(1)