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