| |
2014年第25卷第6期目录
本期目录 | | | 有界闭域上的线性赋值循环终止性分析 | | | 李轶,吴文渊,冯勇 | | | 2014,25(6):1133-1142 | | | [摘要](4207) [PDF 614.59 K](5696) | | | 一种面向非干扰的线程程序逻辑 | | | 李沁,曾庆凯,袁志祥 | | | 2014,25(6):1143-1153 | | | [摘要](3607) [PDF 590.74 K](5792) | | | 面向规则DOACROSS循环的流水并行代码自动生成 | | | 刘晓娴,赵荣彩,赵捷,徐金龙 | | | 2014,25(6):1154-1168 | | | [摘要](4058) [PDF 1.00 M](6295) | | | 基于高斯过程的缺陷定位方法 | | | 陈理国,刘超 | | | 2014,25(6):1169-1179 | | | [摘要](4185) [PDF 627.35 K](6623) | | | 支持大规模个性化功能需求的服务网络构建 | | | 王忠杰,徐飞,徐晓飞 | | | 2014,25(6):1180-1195 | | | [摘要](4132) [PDF 1.10 M](6777) | | | 一种面向多用户的负载感知动态服务选择模型 | | | 朱勇,李伟,罗军舟 | | | 2014,25(6):1196-1211 | | | [摘要](4596) [PDF 1.12 M](6696) | | | Tabular表达式的指称语义研究 | | | 张鹏,刘磊,刘华虓,金英 | | | 2014,25(6):1212-1224 | | | [摘要](4963) [PDF 647.60 K](6910) | | | 基于可信度的辩论模型及争议评价算法 | | | 熊才权,欧阳勇,梅清 | | | 2014,25(6):1225-1238 | | | [摘要](4695) [PDF 357.53 K](7818) | | | 稀疏近似最近特征空间嵌入标签传播 | | | 陶剑文,Fu-Lai CHUNG,王士同,姚奇富 | | | 2014,25(6):1239-1254 | | | [摘要](4081) [PDF 1.03 M](6763) | | | 区分3种否定的模糊命题逻辑系统及其应用 | | | 潘正华 | | | 2014,25(6):1255-1272 | | | [摘要](3680) [PDF 951.29 K](6233) | | | 一种可信终端运行环境远程证明方案 | | | 谭良,陈菊 | | | 2014,25(6):1273-1290 | | | [摘要](4022) [PDF 1.37 M](8576) | | | 一种面向机会网络路由的最优停止决策方法 | | | 张三峰,黄迪,陈州,吴国新 | | | 2014,25(6):1291-1300 | | | [摘要](5308) [PDF 655.24 K](7203) | | | 结构化对等网测量方法研究 | | | 闫佳,应凌云,刘海峰,苏璞睿,冯登国 | | | 2014,25(6):1301-1315 | | | [摘要](3933) [PDF 831.17 K](6535) | | | 基于冲突指示和分组隐藏节点冲突解析策略 | | | 李拥军,谢嵘,谭晓青 | | | 2014,25(6):1316-1327 | | | [摘要](5713) [PDF 679.11 K](6586) | | | 网络虚拟化环境中面向服务聚合的映射算法 | | | 江逸茗,兰巨龙,程东年,王志明 | | | 2014,25(6):1328-1338 | | | [摘要](3818) [PDF 650.07 K](7318) | | | 一种高吞吐量、高可扩展数据中心网络结构 | | | 朱桂明,谢向辉,郭得科,陆菲菲,陶志荣 | | | 2014,25(6):1339-1351 | | | [摘要](4881) [PDF 1.46 M](7393) | | | 移动低占空比传感网邻居发现算法 | | | 陈良银,颜秉姝,张靖宇,胡剑波,刘振磊,刘燕,徐正坤,罗谦 | | | 2014,25(6):1352-1368 | | | [摘要](4302) [PDF 949.42 K](7012) | |
|
