| |
2014年第25卷第1期目录
本期目录 | | | 基于余归纳的最小Kripke结构的求解 | | | 高建华,蒋颖 | | | 出版日期: 2014-1-30 (11 页) | | | 2014,25(1):16-26 | | | [摘要](4431) [PDF 777.00 K](6681) | | | 量子Müller自动机与单体二阶量子逻辑 | | | 韩召伟,李永明 | | | 出版日期: 2014-1-30 (10 页) | | | 2014,25(1):27-36 | | | [摘要](4365) [PDF 730.58 K](6382) | | | 在部分观测环境下的不确定动作模型学习 | | | 饶东宁,蒋志华,姜云飞 | | | 出版日期: 2014-1-30 (13 页) | | | 2014,25(1):51-63 | | | [摘要](4646) [PDF 862.24 K](6763) | | | 基于OBDD的描述逻辑εL循环术语集推理 | | | 古天龙,吕思菁,常亮,徐周波 | | | 出版日期: 2014-1-30 (14 页) | | | 2014,25(1):64-77 | | | [摘要](4637) [PDF 981.73 K](6948) | |
综述文章 | | | 符号网络研究综述 | | | 程苏琦,沈华伟,张国清,程学旗 | | | 出版日期: 2014-1-30 (15 页) | | | 2014,25(1):1-15 | | | [摘要](9284) [PDF 991.21 K](14393) | | | 语音情感识别研究进展综述 | | | 韩文静,李海峰,阮华斌,马琳 | | | 出版日期: 2014-1-30 (14 页) | | | 2014,25(1):37-50 | | | [摘要](12040) [PDF 929.87 K](32575) | | | 互联网地址安全体系与关键技术 | | | 徐恪,朱亮,朱敏 | | | 出版日期: 2014-1-30 (20 页) | | | 2014,25(1):78-97 | | | [摘要](8596) [PDF 1.62 M](11267) | | | 基于用户需求的内容分发点对点网络系统研究 | | | 张玉洁,何明,孟祥武 | | | 出版日期: 2014-1-30 (20 页) | | | 2014,25(1):98-117 | | | [摘要](9227) [PDF 1.27 M](12250) | | | 互联网自动配置研究 | | | 李福亮,杨家海,吴建平,安常青,姜宁 | | | 出版日期: 2014-1-30 (17 页) | | | 2014,25(1):118-134 | | | [摘要](8679) [PDF 1.04 M](9904) | | | 高速网络流量测量方法 | | | 周爱平,程光,郭晓军 | | | 出版日期: 2014-1-30 (19 页) | | | 2014,25(1):135-153 | | | [摘要](11546) [PDF 1.07 M](16036) | | | 信息中心网络中的内置缓存技术研究 | | | 张国强,李杨,林涛,唐晖 | | | 出版日期: 2014-1-30 (22 页) | | | 2014,25(1):154-175 | | | [摘要](8490) [PDF 1.82 M](14147) | |
|
