2014年第25卷第1期目录
基于余归纳的最小Kripke结构的求解高建华,蒋颖出版日期: 2014-1-30 (11 页)2014,25(1):16-26 [摘要(3778)] [PDF(5693)777.00 K][HTML(1820)]量子Müller自动机与单体二阶量子逻辑韩召伟,李永明出版日期: 2014-1-30 (10 页)2014,25(1):27-36 [摘要(3642)] [PDF(5452)730.58 K][HTML(1699)]在部分观测环境下的不确定动作模型学习饶东宁,蒋志华,姜云飞出版日期: 2014-1-30 (13 页)2014,25(1):51-63 [摘要(4016)] [PDF(5771)862.24 K][HTML(1744)]基于OBDD的描述逻辑εL循环术语集推理古天龙,吕思菁,常亮,徐周波出版日期: 2014-1-30 (14 页)2014,25(1):64-77 [摘要(3922)] [PDF(5878)981.73 K][HTML(1893)]
符号网络研究综述程苏琦,沈华伟,张国清,程学旗出版日期: 2014-1-30 (15 页)2014,25(1):1-15 [摘要(8549)] [PDF(13126)991.21 K][HTML(4697)]语音情感识别研究进展综述韩文静,李海峰,阮华斌,马琳出版日期: 2014-1-30 (14 页)2014,25(1):37-50 [摘要(10793)] [PDF(29180)929.87 K][HTML(6109)]互联网地址安全体系与关键技术徐恪,朱亮,朱敏出版日期: 2014-1-30 (20 页)2014,25(1):78-97 [摘要(7894)] [PDF(9854)1.62 M][HTML(3764)]基于用户需求的内容分发点对点网络系统研究张玉洁,何明,孟祥武出版日期: 2014-1-30 (20 页)2014,25(1):98-117 [摘要(8432)] [PDF(10952)1.27 M][HTML(3961)]互联网自动配置研究李福亮,杨家海,吴建平,安常青,姜宁出版日期: 2014-1-30 (17 页)2014,25(1):118-134 [摘要(8107)] [PDF(8729)1.04 M][HTML(3788)]高速网络流量测量方法周爱平,程光,郭晓军出版日期: 2014-1-30 (19 页)2014,25(1):135-153 [摘要(10754)] [PDF(14754)1.07 M][HTML(5085)]信息中心网络中的内置缓存技术研究张国强,李杨,林涛,唐晖出版日期: 2014-1-30 (22 页)2014,25(1):154-175 [摘要(7815)] [PDF(12966)1.82 M][HTML(4056)]
