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