2018年第29卷第1期目录
精准执行可达性分析:理论与应用杨克,贺也平,马恒太,王雪飞2018,29(1):1-22 [摘要(6465)] [PDF(10081)2.21 M][HTML(2532)]基于模型的自适应方法综述赵天琪,赵海燕,张伟,金芝2018,29(1):23-41 [摘要(6952)] [PDF(7353)1.84 M][HTML(2378)]软件与网络安全研究综述刘剑,苏璞睿,杨珉,和亮,张源,朱雪阳,林惠民2018,29(1):42-68 [摘要(9671)] [PDF(17881)2.54 M][HTML(3145)]众包软件测试技术研究进展章晓芳,冯洋,刘頔,陈振宇,徐宝文2018,29(1):69-88 [摘要(8528)] [PDF(12150)2.00 M][HTML(2553)]多分类孪生支持向量机研究进展丁世飞,张健,张谢锴,安悦瑄2018,29(1):89-108 [摘要(5371)] [PDF(6131)1.99 M][HTML(2623)]可扩展机器学习的并行与分布式优化算法综述亢良伊,王建飞,刘杰,叶丹2018,29(1):109-130 [摘要(6492)] [PDF(13370)2.21 M][HTML(3280)]分布式数据库中一致性与可用性的关系朱涛,郭进伟,周欢,周烜,周傲英2018,29(1):131-149 [摘要(6229)] [PDF(7160)2.01 M][HTML(2573)]区块链与可信数据管理:问题与方法钱卫宁,邵奇峰,朱燕超,金澈清,周傲英2018,29(1):150-159 [摘要(9484)] [PDF(13092)1.08 M][HTML(2484)]软件定义网络控制平面可扩展性研究进展张少军,兰巨龙,胡宇翔,江逸茗2018,29(1):160-175 [摘要(5647)] [PDF(6110)1.79 M][HTML(2519)]互联网自治域间IP源地址验证技术综述贾溢豪,任罡,刘莹2018,29(1):176-195 [摘要(5454)] [PDF(6238)2.20 M][HTML(2374)]物联网环境下数据转发模型研究李继蕊,李小勇,高雅丽,高云全,方滨兴2018,29(1):196-224 [摘要(6167)] [PDF(15415)3.31 M][HTML(2489)]