| |
2019年第30卷第2期目录
本期目录 | | | 方法级别的细粒度软件缺陷定位方法 | | | 张文,李自强,杜宇航,杨叶 | | | 2019,30(2):195-210 | | | [摘要](4719) [PDF 1.88 M](6318) | | | 面向Android应用隐私泄露检测的多源污点分析技术 | | | 王蕾,周卿,何冬杰,李炼,冯晓兵 | | | 2019,30(2):211-230 | | | [摘要](4957) [PDF 2.36 M](10319) | | | 用于验证多智能体系统的APTL模型检测器 | | | 王海洋,段振华,田聪 | | | 2019,30(2):231-243 | | | [摘要](4300) [PDF 1.41 M](5543) | | | 代表点一致性约束的多视角模糊聚类算法 | | | 张远鹏,周洁,邓赵红,钟富礼,蒋亦樟,杭文龙,王士同 | | | 2019,30(2):282-301 | | | [摘要](3599) [PDF 2.75 M](5555) | | | VANET中流调度与路径选择联合优化的传输策略 | | | 强敏,陈晓江,尹小燕,贾茹昭,徐丹,汤战勇,房鼎益 | | | 2019,30(2):346-361 | | | [摘要](3302) [PDF 1.73 M](5920) | | | 一个支持错误定位的批处理数据拥有性证明方案 | | | 庞晓琼,王田琪,陈文俊,任孟琦 | | | 2019,30(2):362-380 | | | [摘要](3831) [PDF 2.00 M](5382) | | | 针对层次化名字路由的聚合机制 | | | 许志伟,陈波,张玉军 | | | 2019,30(2):381-398 | | | [摘要](3718) [PDF 2.00 M](5282) | | | 基于可重随机化混淆电路的可验证计算 | | | 赵青松,曾庆凯,刘西蒙,徐焕良 | | | 2019,30(2):399-415 | | | [摘要](4707) [PDF 1.72 M](6542) | | | 一种面向人脸活体检测的对抗样本生成算法 | | | 马玉琨,毋立芳,简萌,刘方昊,杨洲 | | | 2019,30(2):469-480 | | | [摘要](5465) [PDF 1.66 M](8077) | | | 多核环境下基于图模型的实时规则调度方法 | | | 王娟娟,乔颖,熊金泉,王宏安 | | | 2019,30(2):481-494 | | | [摘要](4900) [PDF 1.62 M](5930) | |
综述文章 | | | 程序自动修复:关键问题及技术 | | | 李斌,贺也平,马恒太 | | | 2019,30(2):244-265 | | | [摘要](4964) [PDF 2.11 M](11896) | | | 增强上下文的错误定位技术 | | | 张卓,谭庆平,毛晓光,雷晏,常曦,薛建新 | | | 2019,30(2):266-281 | | | [摘要](4768) [PDF 2.08 M](8324) | | | 互联网端到端多路径传输跨层优化研究综述 | | | 江卓,吴茜,李贺武,吴建平 | | | 2019,30(2):302-322 | | | [摘要](5106) [PDF 2.19 M](10346) | | | 空间延迟/中断容忍网络的接触图路由研究综述 | | | 徐双,王兴伟,黄敏,张琳琳 | | | 2019,30(2):323-345 | | | [摘要](4592) [PDF 3.06 M](13795) | | | 视觉注意力检测综述 | | | 王文冠,沈建冰,贾云得 | | | 2019,30(2):416-439 | | | [摘要](5861) [PDF 2.65 M](19830) | | | 基于深度学习的图像语义分割方法综述 | | | 田萱,王亮,丁琪 | | | 2019,30(2):440-468 | | | [摘要](10917) [PDF 3.27 M](29940) | |
|
