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