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