主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
2020-2021年专刊出版计划 微信服务介绍 最新一期:2020年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿

 这里所列的文章是所有专刊文章,供读者方便阅读。
    

   武延军,陈海波,包云岗,李玲.系统软件前沿进展专题前言. 2020,31(10):2981-2982
   娄文启,王超,宫磊,周学海.一种神经网络指令集扩展与代码映射机制. 2020,31(10):3074-3086
   梁冠宇,武延军,吴敬征,赵琛.面向操作系统可靠性保障的开源软件供应链. 2020,31(10):3056-3073
   张鸿骏,武延军,张珩,张立波.一种适应GPU的混合访问缓存索引框架. 2020,31(10):3038-3055
   李鼎基,糜泽羽,吴保东,陈逊,赵永望,丁佐华,陈海波.基于跨虚拟机零下陷通信的加速器虚拟化框架. 2020,31(10):3019-3037
   徐梦炜,刘渊强,黄康,刘譞哲,黄罡.面向移动终端智能的自治学习系统. 2020,31(10):3004-3018
   高凤娟,王豫,陈天骄,司徒凌云,王林章,李宣东.基于污点分析的数组越界缺陷的静态检测方法. 2020,31(10):2983-3003
   陈晋音,陈治清,郑海斌,沈诗婧,苏蒙蒙.基于PSO的路牌识别模型黑盒对抗攻击方法. 2020,31(9):2785-2801
   蔺一帅,李青山,陆鹏浩,孙雨楠,王亮,王颖芝.智能仓储货位规划与AGV路径规划协同优化算法. 2020,31(9):2770-2784
   韦璠,宋云飞,邵明莉,刘天,陈小红,王祥丰,陈铭松.利用特征融合和整体多样性提升单模型鲁棒性. 2020,31(9):2756-2769
   许瑞,谷守珍,沙行勉,诸葛晴凤,石亮,高思远.面向多读/写头磁畴壁存储器的优化研究. 2020,31(9):2723-2740
   张雯雯,许天予,章玥,郑孝遥.SDN数据平面软件一致性测试用例生成方法. 2020,31(9):2709-2722
   李德光,郭兵,张瑞玲,马友忠,任祯琴,赵旭鸽,谭庆,李君科.基于视觉显著性的AMOLED显示器多区域功耗优化. 2020,31(9):2741-2755
   张展,张宪琦,左德承,付国栋.面向边缘计算的目标追踪应用部署策略研究. 2020,31(9):2691-2708
   张亮,刘智宇,曹晶瑛,沈沛意,蒋得志,梅林,朱光明,苗启广.扫地机器人增强位姿融合的Cartographer算法及系统实现. 2020,31(9):2678-2690
   易星辰,魏恒峰,黄宇,乔磊,吕建.PaxosStore中共识协议TPaxos的推导、规约与精化. 2020,31(8):2336-2361
   李小平,乌尼日其其格,马世龙,吕江花.高阶类型化可验证应用系统体系结构建模及案例. 2020,31(8):2309-2335
   李璜华,李凌,赵宇,王生原,李翔宇.一种包解析器硬件配置描述语言及其编译结构. 2020,31(8):2285-2308
   姜菁菁,乔磊,杨孟飞,杨桦,刘波.基于Coq的操作系统任务管理需求层建模及验证. 2020,31(8):2375-2387
   李亚男,邓玉欣,刘静.基于Coq的Paxos形式化建模与验证. 2020,31(8):2362-2374
   谭锦豪,李国强.基本并行进程活性的限界模型检测. 2020,31(8):2388-2403
   王帅,王维莹,陈师哲,金琴.基于全局和局部信息的视频记忆度预测. 2020,31(7):1969-1979
   陈健,白琮,马青,郝鹏翼,陈胜勇.面向细粒度草图检索的对抗训练三元组网络. 2020,31(7):1933-1942
   高明达,孙玉宝,刘青山,邵晓雯.联合姿态先验的人体精确解析双分支网络模型. 2020,31(7):1959-1968
   杨婉香,严严,陈思,张小康,王菡子.基于多尺度生成对抗网络的遮挡行人重识别方法. 2020,31(7):1943-1958
   马超,吴伟.马尔可夫信息物理系统拒绝服务攻击安全控制. 2020,31(6):1672-1680
   魏晓敏,董泽乾,肖明睿,田聪.基于AADL的失效概率分配及安全性评估方法. 2020,31(6):1654-1671
   赵梦瑶,陈小红,孙海英,刘静,陈良育,周庭梁.轨道交通联锁领域特定语言的形式化. 2020,31(6):1638-1653
   毛新军,杨硕,黄裕泓,王硕.自主机器人多智能体软件架构及伴随行为机制. 2020,31(6):1619-1637
   王豫,高凤娟,马可欣,司徒凌云,王林章,陈碧欢,刘杨,赵建华,李宣东.垂悬指针检测与防御方法. 2020,31(6):1600-1618
   杜德慧,管春琳,王耀,郭童.基于SHML的CPS行为建模及仿真. 2020,31(6):1587-1599
   赵永望,刘杨,王戟.系统软件构造与验证技术专题前言. 2020,31(5):1241-1242
   郭建,丁继政,朱晓冉.嵌入式实时操作系统内核混合代码的自动化验证框架. 2020,31(5):1353-1373
   纪业,魏恒峰,黄宇,吕建.CRDT协议的TLA+描述与验证. 2020,31(5):1332-1352
   王微微,李奕超,赵瑞莲,李征.Web应用前后端融合的遗传算法并行化测试用例生成. 2020,31(5):1314-1331
   郑炜,陈军正,吴潇雪,陈翔,夏鑫.基于深度学习的安全缺陷报告预测方法实证研究. 2020,31(5):1294-1313
   董攀,丁滟,江哲,黄辰林,范冠男.基于TEE的主动可信TPM/TCM设计与实现. 2020,31(5):1392-1405
   刘筱珊,袁正恒,陈小红,陈铭松,刘静,周庭梁.区域控制器的安全需求建模与自动验证. 2020,31(5):1374-1391
   王淑栋,尹文静,董玉坤,张莉,刘浩.面向顺序存储结构的数据流分析. 2020,31(5):1276-1293
   李战怀,于戈,杨晓春.人工智能赋能的数据管理、分析与系统专刊前言. 2020,31(3):597-599
   蔡磊,朱燕超,郭庆兴,张召,金澈清.面向区块链的高效物化视图维护和可信查询. 2020,31(3):680-694
   张青博,王斌,崔宁宁,宋晓旭,秦婧.基于注意力机制的规范化矩阵分解推荐算法. 2020,31(3):778-793
   赵超,王腾江,刘士军,潘丽,嵇存.融合选择提取与子类聚类的快速Shapelet发现算法. 2020,31(3):763-777
   高远宁,叶金标,杨念祖,高晓沨,陈贵海.基于中间层的可扩展学习索引技术. 2020,31(3):620-633
   丁小欧,于晟健,王沐贤,王宏志,高宏,杨东华.基于相关性分析的工业时序数据异常检测. 2020,31(3):726-747
   邱涛,王斌,舒昭维,赵智博,宋子文,钟延辉.面向关系数据库的智能索引调优方法. 2020,31(3):634-647
   郑皎凌,乔少杰,舒红平,应广华,Louis Alberto GUTIERREZ.面向多维稀疏数据仓库的欺诈销售行为挖掘. 2020,31(3):710-725
   郭嘉琰,李荣华,张岩,王国仁.基于图神经网络的动态网络异常检测算法. 2020,31(3):748-762
   李梁,吴刚,王国仁.面向数据特征的内存跳表优化技术. 2020,31(3):663-679
   赖永炫,张璐,杨帆,卢卫,王田.基于时空相关属性模型的公交到站时间预测算法. 2020,31(3):648-662
   孙琛琛,申德荣,李玉坤,肖迎元,马建红.时间约束的实体解析中记录对排序研究. 2020,31(3):695-709
   李国良,周煊赫.轩辕:AI原生数据库系统. 2020,31(3):831-844
   张奕韬,万常选,刘喜平,江腾蛟,刘德喜,廖国琼.基于PSP_HDP主题模型的非结构化经济指标挖掘. 2020,31(3):845-865
   陈碧毅,黄玲,王昌栋,景丽萍.融合显式反馈与隐式反馈的协同过滤推荐算法. 2020,31(3):794-805
   荣国平,白晓颖,岳涛.面向DevOps的软件工程新技术专题前言. 2019,30(10):3054-3055
   钟陈星,李杉杉,张贺,章程.限界上下文视角下的微服务粒度评估. 2019,30(10):3227-3241
   王春晖,金芝,赵海燕,刘璘,张伟,崔牧原.人机协作的用户故事场景提取与迭代演进. 2019,30(10):3186-3205
   胡甜媛,姜瑛.体现使用反馈的APP软件用户评论挖掘. 2019,30(10):3168-3185
   陆一飞,潘敏学,张天,王林章,李宣东.面向安卓应用建模的IFML扩展. 2019,30(10):3148-3167
   金泽锋,张佑文,叶文华,张贺,邵栋.面向完整价值交付的文档DevOps应用研究. 2019,30(10):3127-3147
   贾一荻,刘璘.中文非功能需求描述的识别与分类方法研究. 2019,30(10):3115-3126
   谢肖飞,李晓红,陈翔,孟国柱,刘杨.基于符号执行与模糊测试的混合测试方法. 2019,30(10):3071-3089
   黄璜,张贺,邵栋.自动化工具对中国DevOps实践的影响. 2019,30(10):3056-3070
   田丰,喻纯.自然人机交互新进展专题前言. 2019,30(10):2925-2926
   谭宇彤,周旭峰,孔令芝,王醒策,武仲科,税午阳,付艳,周明全,Vladimir KORKHOV,Luciano Paschoal GASPARY.面向肌电信号的虚拟现实提线木偶动画研究. 2019,30(10):2964-2985
   陶建华,杨明浩,王志良,班晓娟,解仑,汪云海,曾琼,王飞,王红迁,刘斌,韩志帅,潘航,陈文拯.无菌条件非接触式多通道自然交互手术环境. 2019,30(10):2986-3004
   程时伟,沈哓权,孙凌云,胡屹凛.多用户眼动跟踪数据的可视化共享与协同交互. 2019,30(10):3037-3053
   王志勇,王从艺,张子豪,袁铭择,夏时洪.一种无标记的身体与面部运动同步捕获方法. 2019,30(10):3026-3036
   程时伟,周桃春,唐智川,范菁,孙凌云,朱安杰.CNN实现的运动想象脑电分类及人-机器人交互. 2019,30(10):3005-3016
   黄培恺,喻纯,史元春.基于空中手势的跨屏幕内容分享技术研究. 2019,30(10):2942-2953
   潘嘉铖,韩东明,郭方舟,郑文庭,于金辉,陈为.面向比特币交易网络的拓扑结构可视探索方法. 2019,30(10):3017-3025
   潘志庚,刘荣飞,张明敏.基于模糊综合评价的疲劳驾驶检测算法研究. 2019,30(10):2954-2963
   李念龙,黄进,田丰,戴国忠,王宏安.ICOMDT:一个面向动态任务的交互计算模型. 2019,30(10):2927-2941
   于戈,牛保宁,金澈清.区块链数据管理专题前言. 2019,30(9):2569-2570
   焦通,申德荣,聂铁铮,寇月,李晓华,于戈.区块链数据库:一种可查询且防篡改的数据库. 2019,30(9):2671-2685
   贾大宇,信俊昌,王之琼,郭薇,王国仁.存储容量可扩展区块链系统的高效查询模型. 2019,30(9):2655-2670
   王璞巍,杨航天,孟佶,陈晋川,杜小勇.面向合同的智能合约的形式化定义及参考实现. 2019,30(9):2608-2619
   黄建华,夏旭,李忠诚,李建华,郑红.基于动态授权的信任度证明机制. 2019,30(9):2593-2607
   刘敖迪,杜学绘,王娜,李少卓.基于区块链的大数据访问控制机制. 2019,30(9):2636-2654
   谭海波,周桐,赵赫,赵哲,王卫东,张中贤,盛念祖,李晓风.基于区块链的档案数据保护与共享方法. 2019,30(9):2620-2635
   张帆,徐明迪,赵涵捷,张聪,刘小丽,胡方宁.软件实时可信度量:一种无干扰行为可信性分析方法. 2019,30(8):2268-2286
   李文婷,汪定,王平.无线传感器网络下多因素身份认证协议的内部人员攻击. 2019,30(8):2375-2391
   王文琦,汪润,王丽娜,唐奔宵.面向中文文本倾向性分类的对抗样本生成方法. 2019,30(8):2415-2427
   刘明达,拾以娟,陈左宁.基于区块链的分布式可信网络连接架构. 2019,30(8):2314-2336
   杜瑞忠,李明月,田俊峰,吴万青.基于倒排索引的可验证混淆关键字密文检索方案. 2019,30(8):2362-2374
   徐林宏,郭建胜,崔竞一,李明明.Piccolo算法的相关密钥-不可能差分攻击. 2019,30(8):2349-2361
   谭良,宋敏.基于Duplication Authority的TPM2.0密钥迁移协议. 2019,30(8):2287-2313
   唐奔宵,王丽娜,汪润,赵磊,陈青松.基于Laplace机制的普适运动传感器侧信道防御方案. 2019,30(8):2392-2414
   李明明,郭建胜,崔竞一,徐林宏.Midori-64算法的截断不可能差分分析. 2019,30(8):2337-2348
   朱凯,毋国庆,吴理华,袁梦霆.有关时间自动机重置的若干问题的计算复杂性. 2019,30(7):2033-2051
   杨康,王瑞,关永,李晓娟,施智平,Xiaoyu SONG.具有多传感器的CPS系统的攻击检测. 2019,30(7):2018-2032
   康跃馨,甘元科,王生原.同步数据流语言可信编译器Vélus与L2C的比较. 2019,30(7):2003-2017
   杨志斌,袁胜浩,谢健,周勇,陈哲,薛垒,Jean-Paul BODEVIX,Mamoun FILALI.一种同步语言多线程代码自动生成工具. 2019,30(7):1980-2002
   罗晨霞,王瑞,关永,李晓娟,施智平,Xiaoyu SONG.面向实时数据的CPS一体化建模方法. 2019,30(7):1966-1979
   安杰,张苗苗.基于实时自动机的连续时段演算的验证. 2019,30(7):1953-1965
   丁如江,李国强.非交互式Petri网可覆盖性验证的高效实现. 2019,30(7):1939-1952
   乌尼日其其格,李小平,马世龙,吕江花,张思卿.高阶类型化软件体系结构建模和验证及案例. 2019,30(7):1916-1938
   李轶,蔡天训,樊建峰,吴文渊,冯勇.基于SVM的多项式循环程序秩函数生成. 2019,30(7):1903-1915
   斯雪明,陈文光.区块链与数字货币技术专题前言. 2019,30(6):1575-1576
   王震,范佳,成林,安红章,郑海彬,牛俊翔.可监管匿名认证方案. 2019,30(6):1705-1720
   杨亚涛,蔡居良,张筱薇,袁征.基于SM9算法可证明安全的区块链隐私保护方案. 2019,30(6):1692-1704
   徐蜜雪,苑超,王永娟,付金华,李斌.拟态区块链——区块链安全解决方案. 2019,30(6):1681-1691
   李春晓,陈胜,郑龙帅,左春,蒋步云,梁赓.响应式许可链基础组件——RepChain. 2019,30(6):1670-1680
   王秀利,江晓舟,李洋.应用区块链的数据访问控制与共享模型. 2019,30(6):1661-1669
   乔蕊,曹琰,王清贤.基于联盟链的物联网动态数据溯源机制. 2019,30(6):1614-1631
   朱建明,丁庆洋,高胜.基于许可链的SWIFT系统分布式架构. 2019,30(6):1594-1613
   朱立,俞欢,詹士潇,邱炜伟,李启雷.高性能联盟区块链技术研究. 2019,30(6):1577-1593
   申富饶,李戈.智能化软件新技术专刊前言. 2019,30(5):1203-1205
   章晓芳,朱灿.代码坏味对软件演化影响的实证研究. 2019,30(5):1422-1437
   倪友聪,吴瑞,杜欣,叶鹏,李汪彪,肖如良.基于频繁模式挖掘的GCC编译时能耗演化优化算法. 2019,30(5):1269-1287
   时宇岑,印莹,赵宇海,张斌,王国仁.基于多开发者社区的用户推荐算法. 2019,30(5):1561-1574
   张洋,王涛,吴逸文,尹刚,王怀民.基于嵌入模型的混合式相关缺陷关联方法. 2019,30(5):1407-1421
   陈琪,张莉,蒋竞,黄新越.一种基于支持向量机和主题模型的评论分析方法. 2019,30(5):1547-1560
   王锐光,吴际,刘超,杨海燕.基于维修日志的飞机设备故障原因判别方法. 2019,30(5):1375-1385
   周风顺,王林章,李宣东.C/C++程序缺陷自动修复与确认方法. 2019,30(5):1243-1255
   唐爽,王亚沙,赵俊峰,王江涛,夏丁.基于本体推理的终端用户数据查询构造方法. 2019,30(5):1532-1546
   王丰,王亚沙,赵俊峰,崔达.一种基于迭代的关系模型到本体模型的模式匹配方法. 2019,30(5):1510-1521
   张天伦,陈荣,杨溪,祝宏玉.基于代价极速学习机的软件缺陷报告分类方法. 2019,30(5):1386-1406
   卜依凡,刘辉,李光杰.一种基于深度学习的上帝类检测方法. 2019,30(5):1359-1374
   宋利,刘靖.基于SOM神经网络的二阶变异体约简方法. 2019,30(5):1464-1480
   汪昕,陈驰,赵逸凡,彭鑫,赵文耘.基于深度学习的API误用缺陷检测. 2019,30(5):1342-1358
   凌春阳,邹艳珍,林泽琦,谢冰,赵俊峰.基于图嵌入的软件项目源代码检索方法. 2019,30(5):1481-1497
   马春燕,李尚儒,王慧朝,张磊,张涛.敏感变量和感知机结合的测试预言生成方法. 2019,30(5):1450-1463
   周鹏,武延军,赵琛.可微分抽象机混合编程系统. 2019,30(5):1224-1242
   刘志伟,邢永旭,于澔,李涛,张晓东.企业级海量代码的检索与管理技术. 2019,30(5):1498-1509
   王甜甜,许家欢,王克朝,苏小红.示例演化驱动的学生程序自动修复. 2019,30(5):1256-1268
   朱亚伟,左志强,王林章,李宣东.C程序内存泄漏智能化检测方法. 2019,30(5):1330-1341
   何柳柳,杨羊,李征,赵瑞莲.面向持续集成测试优化的强化学习奖励机制. 2019,30(5):1438-1449
   倪超,陈翔,刘望舒,顾庆,黄启国,李娜.基于特征迁移和实例迁移的跨项目缺陷预测方法. 2019,30(5):1308-1329
   蒋树强,刘青山,孙立峰,李波.多媒体数据的知识关联与理解专题前言. 2019,30(4):865-866
   王子愉,袁春,黎健成.利用可分离卷积和多级特征的实例分割. 2019,30(4):954-961
   包仁达,庾涵,朱德发,黄少飞,孙瑶,刘偲.基于区域敏感生成对抗网络的自动上妆算法. 2019,30(4):896-913
   马苗,王伯龙,吴琦,武杰,郭敏.视觉场景描述及其效果评价. 2019,30(4):867-883
   卓昀侃,綦金玮,彭宇新.跨媒体深层细粒度关联学习方法. 2019,30(4):884-895
   段立娟,武春丽,恩擎,乔元华,张韵东,陈军成.基于小波域的深度残差网络图像超分辨率算法. 2019,30(4):941-953
   黄树成,张瑜,张天柱,徐常胜,王直.基于条件随机场的深度相关滤波目标跟踪算法. 2019,30(4):927-940
   孔颉,孙权森,徐晖,刘亚洲,纪则轩.基于仿射不变离散哈希的遥感图像多目标分类. 2019,30(4):914-926
   樊文飞,王国仁,王朝坤.智能数据管理与分析技术专刊前言. 2019,30(3):495-497
   祁丹蕊,宋韶旭,王建民.两两比较模型的Why-not问题解释及排序. 2019,30(3):620-647
   竺俊超,王朝坤.复杂条件下的社区搜索方法. 2019,30(3):552-572
   冯宁,郭晟楠,宋超,朱琪超,万怀宇.面向交通流量预测的多组件时空图卷积网络. 2019,30(3):759-769
   王鑫,徐强,柴乐乐,杨雅君,柴云鹏.大规模RDF图数据上高效率分布式查询处理. 2019,30(3):498-514
   裴伟,许晏铭,朱永英,王鹏乾,鲁明羽,李飞.改进的SSD航拍目标检测方法. 2019,30(3):738-758
   徐梓荐,叶盛,张孝.分布式异构数据库数据同步工具. 2019,30(3):684-699
   张东月,周丽华,吴湘云,赵丽红.基于网格耦合的数据流聚类. 2019,30(3):667-683
   李忠飞,杨雅君,王鑫.基于规则的最短路径查询算法. 2019,30(3):515-536
   齐志鑫,王宏志,周雄,李建中,高宏.劣质数据上代价敏感决策树的建立. 2019,30(3):604-619
   江佳伟,符芳诚,邵蓥侠,崔斌.面向高维特征和多分类的分布式梯度提升树. 2019,30(3):784-798
   段旭良,郭兵,沈艳,申云成,董祥千,张洪.基于时效规则的数据修复方法. 2019,30(3):589-603
   门慧超,王波涛.面向通用模型的高可用性步态周期分析方法. 2019,30(3):700-717
   王金艳,刘陈,傅星珵,罗旭东,李先贤.差分隐私的数据流关键模式挖掘方法. 2019,30(3):648-666
   邓诗卓,王波涛,杨传贵,王国仁.CNN多位置穿戴式传感器人体活动识别. 2019,30(3):718-737
   冯冰清,胡绍林,郭栋,钟晓歌,李佩钰.基于角色发现的动态信息网络结构演化分析. 2019,30(3):537-551
   施晋,毛嘉莉,金澈清.时空依赖的城市道路旅行时间预测. 2019,30(3):770-783
   成雨蓉,王国仁,李博扬,袁野.基于事件的社交网络上的双边偏好稳态规划. 2019,30(3):573-588
   燕彩蓉,周灵杰,张青龙,李晓林.因子分解机模型的宽度和深度扩展研究. 2019,30(3):822-844
   王建民,刘建勋.面向智能制造的业务过程管理与服务技术专题前言. 2018,29(11):3239-3240
   俞东进,王娇娇,柳诚飞.基于协作模式的工作流最优员工分配方法. 2018,29(11):3340-3354
   李鸿超,刘建勋,曹步清,石敏.融合多维信息的主题自适应Web API推荐方法. 2018,29(11):3374-3387
   徐啸,金涛,王建民.基于优化主题模型的临床路径挖掘. 2018,29(11):3295-3305
   黄华,彭蓉,冯在文.基于数据集分割的云工作流模型库并行检索方法. 2018,29(11):3241-3259
   周业茂,李忠金,葛季栋,李传艺,周筱羽,骆斌.移动云计算中基于延时传输的多目标工作流调度. 2018,29(11):3306-3325
   林雷蕾,周华,代飞,朱锐,李彤.一种从无“aba”模式的日志中挖掘2度循环的方法. 2018,29(11):3278-3294
   袁友伟,鲍泽前,俞东进,李万清.云环境下基于多目标的多科学工作流调度算法. 2018,29(11):3326-3339
   孙晋永,古天龙,闻立杰,钱俊彦,刘华东.基于行为特征的语义工作流修正算法. 2018,29(11):3260-3277
   章振杰,张元鸣,徐雪松,高飞,肖刚.基于动态匹配网络的制造服务组合自适应方法. 2018,29(11):3355-3373
   张以文,项涛,郭星,贾兆红,何强.基于SOM神经网络的服务质量预测. 2018,29(11):3388-3399
   漆桂林,欧阳丹彤,李涓子.本体工程与知识图谱专题前言. 2018,29(10):2897-2898
   崔仙姬,何加亮,张俊星,高健.基于互补概念和搜索图的MUPS求解优化方法. 2018,29(10):2995-3008
   杨玉基,许斌,胡家威,仝美涵,张鹏,郑莉.一种准确而高效的领域知识图谱构建方法. 2018,29(10):2931-2947
   官赛萍,靳小龙,贾岩涛,王元卓,程学旗.面向知识图谱的知识推理研究进展. 2018,29(10):2966-2994
   张瑜,欧阳丹彤,叶育鑫.不协调本体调试与修复的冲突路径优化策略. 2018,29(10):2948-2965
   郑玉艳,田莹,石川.一种元路径下基于频繁模式的实体集扩展方法. 2018,29(10):2915-2930
   廖祥文,刘德元,桂林,程学旗,陈国龙.融合文本概念化与网络表示的观点检索. 2018,29(10):2899-2914
   俞扬,钱超.演化学习专题前言. 2018,29(9):2545-2546
   贺毅朝,王熙照,赵书良,张新禄.基于编码转换的离散演化算法设计与应用. 2018,29(9):2580-2594
   徐悦,皮德常.基于混合智能优化算法的复杂软件可靠性分配. 2018,29(9):2632-2648
   梁静,刘睿,于坤杰,瞿博阳.求解大规模问题协同进化动态粒子群优化算法. 2018,29(9):2595-2605
   李学强,黄翰,郝志峰.基于邻域差分和协方差信息的单目标进化算法. 2018,29(9):2606-2615
   徐新,穆楠,张晓龙.一种鲁棒的夜间图像显著性对象检测模型. 2018,29(9):2616-2631
   初蓓,李占山,张梦林,于海鸿.基于森林优化特征选择算法的改进研究. 2018,29(9):2547-2558
   刘艺,曹建军,刁兴春,周星.特征选择稳定性研究综述. 2018,29(9):2559-2579
   杨洋,杨家海,温皓森.基于时隙传输的数据中心路由算法设计. 2018,29(8):2485-2500
   谢冰,魏峻,彭鑫,孙海龙.数据驱动的软件智能化开发方法与技术专题前言. 2018,29(8):2177-2179
   朱子骁,邹艳珍,华晨彦,沈琦,赵俊峰.基于StackOverflow数据的软件功能特征挖掘组织方法. 2018,29(8):2210-2225
   席圣渠,姚远,徐锋,吕建.基于循环神经网络的缺陷报告分派方法. 2018,29(8):2322-2335
   李超,刘辉.一种基于关联分析与N-Gram的错误参数检测方法. 2018,29(8):2243-2257
   王飞,杨志斌,黄志球,周勇,刘承威,章文炳,薛垒,许金淼.基于限定自然语言需求模板的AADL模型生成方法. 2018,29(8):2350-2370
   刘斌斌,董威,王戟.智能化的程序搜索与构造方法综述. 2018,29(8):2180-2197
   黄袁,贾楠,周强,陈湘萍,熊英飞,罗笑南.融合结构与语义特征的代码注释决策支持方法. 2018,29(8):2226-2242
   吴俊伟,沈立炜,郭武楠,王超,赵文耘.安卓应用用户界面交互模式抽取与检索. 2018,29(8):2198-2209
   张一帆,汤恩义,苏琰梓,杨开懋,匡宏宇,陈鑫.自然语言数据驱动的智能化软件安全评估方法. 2018,29(8):2336-2349
   谢新强,杨晓春,王斌,张霞,纪勇,黄治纲.一种多特征融合的软件开发者推荐. 2018,29(8):2306-2321
   尹刚,王涛,刘冰珣,周明辉,余跃,李志星,欧阳建权,王怀民.面向开源生态的软件数据挖掘技术研究综述. 2018,29(8):2258-2271
   孙小兵,周澄,杨辉,李斌.面向软件安全性缺陷的开发者推荐方法. 2018,29(8):2294-2305
   谭鑫,林泽燕,张宇霞,周明辉.代码文件贡献组成模式的分析. 2018,29(8):2283-2293
   吴哲夫,朱天潼,宣琦,余跃.基于贡献分配的开源软件核心开发者评估. 2018,29(8):2272-2282
   薛锐,彭长根,黄欣沂,刘吉强,禹勇.面向隐私保护的新型技术与密码算法专题前言. 2018,29(7):1827-1829
   仲红,崔杰,朱文龙,许艳.高效且可验证的多授权机构属性基加密方案. 2018,29(7):2006-2017
   叶青青,孟小峰,朱敏杰,霍峥.本地化差分隐私研究综述. 2018,29(7):1981-2005
   熊金波,王敏燊,田有亮,马蓉,姚志强,林铭炜.面向云数据的隐私度量研究进展. 2018,29(7):1963-1980
   尹鑫,田有亮,王海龙.公平理性委托计算协议. 2018,29(7):1953-1962
   汪定,李文婷,王平.对三个多服务器环境下匿名认证协议的分析. 2018,29(7):1937-1952
   黄伟庆,丁昶,崔越,王思叶,张艳芳,赵博白,诸邵忆,毛锐,陈超.基于恶意读写器发现的RFID空口入侵检测技术. 2018,29(7):1922-1936
   张曙光,咸鹤群,王雅哲,刘红燕,侯瑞涛.基于离线密钥分发的加密数据重复删除方法. 2018,29(7):1909-1921
   李顺东,亢佳,杨晓艺,窦家维.基于字符串排序的高效保密数据库查询. 2018,29(7):1893-1908
   来齐齐,杨波,陈原,韩露露,白健.格上基于身份哈希证明系统的新型构造. 2018,29(7):1880-1892
   沙乐天,肖甫,陈伟,孙晶,王汝传.面向工业物联网环境下后门隐私泄露感知方法. 2018,29(7):1863-1879
   许明艳,赵华,季新生,申涓.基于用户分布感知的移动P2P快速位置匿名算法. 2018,29(7):1852-1862
   李宗育,桂小林,顾迎捷,李雪松,戴慧珺,张学军.同态加密技术及其在云计算隐私保护中的应用. 2018,29(7):1830-1851
   傅育熙,李国强,田聪.形式化方法的理论基础专题前言. 2018,29(6):1515-1516
   崔进,段振华,田聪,张南.一种嵌套中断系统的建模和分析方法. 2018,29(6):1670-1680
   王小兵,郭文轩,段振华.消息传递的MSVL通信机制及其实现. 2018,29(6):1607-1621
   于广良,杨孟飞.考虑中断和上下文切换开销的响应时间分析. 2018,29(6):1681-1698
   应云辉,张民.基于SMT的时钟约束语言CCSL的形式化分析方法与工具. 2018,29(6):1595-1606
   孟瑶,李晓娟,关永,王瑞,张杰.机器人关节通信总线系统的建模与验证. 2018,29(6):1699-1715
   汤震浩,李彬,翟娟,赵建华.自动分析递归数据结构的归纳性质. 2018,29(6):1527-1543
   李晅松,陶先平,宋巍.普适计算应用时空性质的运行时验证. 2018,29(6):1622-1634
   张文博,龙环.向量加法系统验证问题研究综述. 2018,29(6):1566-1581
   李彬,翟娟,汤震浩,汤恩义,赵建华.自动合成数组不变式. 2018,29(6):1544-1565
   张业迪,宋富.异构多智能体系统模型检查. 2018,29(6):1582-1594
   郑晓琳,邓玉欣,付辰,雷国庆.互模拟准局部验证算法的扩展与实现. 2018,29(6):1517-1526
   乌尼日其其格,李小平,马世龙,吕江花.基于类型理论的领域数据建模和验证及案例. 2018,29(6):1647-1669
   王海洋,段振华,田聪.APTL公式的可满足性检查工具. 2018,29(6):1635-1646
   王林章,陈恺,王戟.软件安全漏洞检测专题前言. 2018,29(5):1177-1178
   杨栋,史浩,董威,刘宗林,周戈.基于运行时验证的无人飞行系统安全威胁检测方法. 2018,29(5):1360-1378
   胡浩,叶润国,张红旗,常德显,刘玉岭,杨英杰.面向漏洞生命周期的安全风险度量方法. 2018,29(5):1213-1229
   高志伟,计卫星,石剑君,王一拙,高玉金,廖心怡,罗辉,石峰.大规模源代码增量式资源泄漏检测方法. 2018,29(5):1244-1257
   李赞,边攀,石文昌,梁彬.一种利用补丁的未知漏洞发现方法. 2018,29(5):1199-1212
   邵思豪,高庆,马森,段富尧,马骁,张世琨,胡津华.缓冲区溢出漏洞分析技术研究进展. 2018,29(5):1179-1198
   沈维军,汤恩义,陈振宇,陈鑫,李彬,翟娟.数值稳定性相关漏洞隐患的自动化检测方法. 2018,29(5):1230-1243
   李晓娟,陈海波.基于分布式信息流控制的无障碍辅助性服务安全加固. 2018,29(5):1318-1332
   霍玮,戴戈,史记,龚晓锐,贾晓启,宋振宇,刘宝旭,邹维.基于模式生成的浏览器模糊测试技术. 2018,29(5):1275-1287
   叶聪聪,李国强,蔡鸿明,顾永跟.区块链的安全检测模型. 2018,29(5):1348-1359
   杨梅芳,霍玮,邹燕燕,尹嘉伟,刘宝旭,龚晓锐,贾晓启,邹维.可编程模糊测试技术. 2018,29(5):1258-1274
   沙乐天,肖甫,杨红柯,喻辉,王汝传.基于自适应模糊测试的IaaS层漏洞挖掘方法. 2018,29(5):1303-1317
   马凯,郭山清.面向Android生态系统中的第三方SDK安全性分析. 2018,29(5):1379-1391
   王心然,刘宇涛,陈海波.基于IPT硬件的内核模块ROP透明保护机制. 2018,29(5):1333-1347
   张卫丰,刘蕊成,许蕾.基于动态行为分析的网页木马检测方法. 2018,29(5):1410-1421
   王持恒,陈晶,苏涵,何琨,杜瑞颖.基于宿主权限的移动广告漏洞攻击技术. 2018,29(5):1392-1409
   张兴,冯超,雷菁,唐朝京.一种面向模糊测试的GUI程序空转状态实时检测方法. 2018,29(5):1288-1302
   赵耀,李波,华先胜,文继荣,蒋刚毅,常冬霞.多媒体大数据处理与分析专题前言. 2018,29(4):897-899
   杨旭,朱振峰,徐美香,张幸幸.多视角数据缺失补全. 2018,29(4):945-956
   陈朝威,常冬霞.基于密度差分的自动聚类算法. 2018,29(4):935-944
   谢宁,赵婷婷,杨阳,魏琴,Heng Tao SHEN.基于创意序列学习的艺术风格学习与绘制系统. 2018,29(4):1071-1084
   胡浩慧,倪蓉蓉,赵耀.图像内容感知缩放的检测方法研究. 2018,29(4):1002-1016
   陈师哲,王帅,金琴.多文化场景下的多模态情感识别. 2018,29(4):1060-1070
   张逸为,张卫明,俞能海.针对特定测试样本的隐写分析方法. 2018,29(4):987-1001
   朱映映,曹磊,王旭.无参考屏幕内容图像质量评价. 2018,29(4):973-986
   毋立芳,贺娇瑜,简萌,邹蕴真,赵铁松.局部聚类分析的FCN-CNN云图分割方法. 2018,29(4):1049-1059
   丁明宇,牛玉磊,卢志武,文继荣.基于深度学习的图片中商品参数识别方法. 2018,29(4):1039-1048
   彭亚丽,张鲁,张钰,刘侍刚,郭敏.基于深度反卷积神经网络的图像超分辨率算法. 2018,29(4):926-934
   项世军,杨乐.基于同态加密系统的图像鲁棒可逆水印算法. 2018,29(4):957-972
   呼延康,樊鑫,余乐天,罗钟铉.图神经网络回归的人脸超分辨率重建. 2018,29(4):914-925
   白琮,黄玲,陈佳楠,潘翔,陈胜勇.面向大规模图像分类的深度卷积神经网络优化. 2018,29(4):1029-1038
   杨文瀚,刘家瑛,夏思烽,郭宗明.数据外补偿的深度网络超分辨率重建. 2018,29(4):900-913
   郭文,游思思,张天柱,徐常胜.低秩重检测的多特征时空上下文的视觉跟踪. 2018,29(4):1017-1028
   林学民,杜小勇,李翠平.基于图结构的大数据分析与管理技术专刊前言. 2018,29(3):525-527
   钱珺,王朝坤,郭高扬.基于社区的动态网络节点介数中心度更新算法. 2018,29(3):853-868
   张伟鹏,李振军,李荣华,刘宇鸿,毛睿,乔少杰.基于MapReduce的图结构聚类算法. 2018,29(3):627-641
   李劲,岳昆,蔡娇,张志坚,刘惟一.基于距离度量的多样性图排序方法. 2018,29(3):599-613
   李振军,代强强,李荣华,毛睿,乔少杰.多维图结构聚类的社交关系挖掘算法. 2018,29(3):839-852
   李洋,贾梦迪,杨文彦,赵艳,郑凯.基于树分解的空间众包最优任务分配算法. 2018,29(3):824-838
   李晓旭,于亚新,张文超,王磊.Coteries轨迹模式挖掘及个性化旅游路线推荐. 2018,29(3):587-598
   梁慧超,王斌,崔宁宁,杨凯,杨晓春.路网环境下兴趣点查询的隐私保护方法. 2018,29(3):703-720
   王童童,荣垂田,卢卫,杜小勇.分布式图处理系统技术综述. 2018,29(3):569-586
   赵展浩,黄斐然,王晓黎,卢卫,杜小勇.基于SQL的图相似性查询方法. 2018,29(3):689-702
   汪潜,申德荣,冯朔,寇月,聂铁铮,于戈.全视角特征结合众包的跨社交网络用户识别. 2018,29(3):811-823
   赵衎衎,张静,张良富,李翠平,陈红.基于端到端分布式框架的符号网络预测方法. 2018,29(3):614-626
   张延松,张宇,王珊.基于向量引用Platform-Oblivious内存连接优化技术. 2018,29(3):883-895
   侯泳旭,段磊,李岭,卢莉,唐常杰.基于疾病信息网络的表型相似基因搜索. 2018,29(3):721-733
   许嘉,张千桢,赵翔,吕品,李陶深.动态图模式匹配技术综述. 2018,29(3):663-688
   张子兴,吴斌,吴心宇,张有杰,孙思瑞,彭程程,刘昱彤.路径-维度GraphOLAP大规模多维网络并行分析框架. 2018,29(3):545-568
   鲍金玲,王斌,杨晓春,朱怀杰.路网环境下的最近邻查询技术. 2018,29(3):642-662
   李金吉,张岩峰,巩树凤,于戈,高立新.流式处理的异步图处理框架. 2018,29(3):528-544
   王春凯,孟小峰.应对倾斜数据流在线连接方法. 2018,29(3):869-882
   毕里缘,伍赛,陈刚,寿黎但,陈珂,胡天磊.基于循环神经网络的数据库查询开销预测. 2018,29(3):799-810
   左一萌,林学练,马帅,姜家豪.路网感知的在线轨迹压缩方法. 2018,29(3):734-755
   温雯,黄家明,蔡瑞初,郝志峰,王丽娟.一种融合节点先验信息的图表示学习方法. 2018,29(3):786-798
   刘家霖,史舒扬,张悦眉,邵蓥侠,崔斌.社交网络高效高精度去匿名化算法. 2018,29(3):772-785
   陈丽,朱裴松,钱铁云,朱辉,周静.基于边采样的网络表示学习模型. 2018,29(3):756-771
   李舟军,李瑞轩,陈驰.信息系统安全专题前言. 2017,28(9):2227-2228
   韩姝敏,申德荣,聂铁铮,寇月,于戈.一种基于隐私保护下的多方记录链接方法. 2017,28(9):2281-2292
   张维维,龚俭,刘尚东,胡晓艳.面向主干网的DNS流量监测. 2017,28(9):2370-2387
   李舟军,沈东,苏晓菁,马金鑫.基于ARM虚拟化扩展的安全防护技术. 2017,28(9):2229-2247
   武跟强,贺也平,夏娴瑶.线性查询的一种近似最优差分隐私机制. 2017,28(9):2309-2322
   崔一辉,宋伟,王占兵,史成良,程芳权.一种基于格的隐私保护聚类数据挖掘方法. 2017,28(9):2293-2308
   杨腾飞,申培松,田雪,冯荣权.对象云存储中分类分级数据的访问控制方法. 2017,28(9):2334-2353
   李承泽,於剑波,张淼,徐国爱,孔浩浩.一种基于Huffman和LZW编码的移动应用混淆方法. 2017,28(9):2264-2280
   游静,上官经伦,徐守坤,李千目,王印海.考虑信任可靠度的分布式动态信任管理模型. 2017,28(9):2354-2369
   马金鑫,李舟军,张涛,沈东,章张锴.基于执行踪迹离线索引的污点分析方法研究. 2017,28(9):2388-2401
   姜火文,占清华,刘文娟,马海英.图数据发布隐私保护的聚类匿名方法. 2017,28(9):2323-2333
   缪小川,汪睿,许蕾,张卫丰,徐宝文.使用敏感路径识别方法分析安卓应用安全性. 2017,28(9):2248-2263
   黄宇,吴维刚,赵军平.分布式云存储:理论、技术、系统专题前言. 2017,28(8):1927-1928
   丁尚,童鑫,陈艳,叶保留.基于简单再生码的带宽感知的分布式存储节点修复优化. 2017,28(8):1940-1951
   操顺德,华宇,冯丹,孙园园,左鹏飞.面向海量高清视频数据的高性能分布式存储系统. 2017,28(8):1999-2009
   刘星,江松,王洋,范小朋,须成忠.一种基于小数据同步写的回写I/O调度器. 2017,28(8):1968-1981
   唐震,吴恒,王伟,魏峻,黄涛.虚拟化环境下面向多目标优化的自适应SSD缓存系统. 2017,28(8):1982-1998
   聂世强,伍卫国,张兴军,蔡毅,徐志伟.一种基于跳跃hash的对象分布算法. 2017,28(8):1929-1939
   佘楚玉,温武少,肖扬,刘育擘,贾殷.一种自适应文件系统元数据服务负载均衡策略. 2017,28(8):1952-1967
   刘璘,周明辉,尹刚.大数据时代软件工程专题前言. 2017,28(6):1327-1329
   蔡维德,郁莲,王荣,刘娜,邓恩艳.基于区块链的应用系统开发方法研究. 2017,28(6):1474-1487
   王建民.领域大数据应用开发与运行平台技术研究. 2017,28(6):1516-1528
   杨程,范强,王涛,尹刚,王怀民.基于多维特征的开源项目个性化推荐方法. 2017,28(6):1357-1372
   俞一峻,刘春.小模型大数据:一种分析软件行为的代数方法. 2017,28(6):1488-1497
   何吉元,孟昭鹏,陈翔,王赞,樊向宇.一种半监督集成跨项目软件缺陷预测方法. 2017,28(6):1455-1473
   张宇霞,周明辉,张伟,赵海燕,金芝.OpenStack开源社区中商业组织的参与模式. 2017,28(6):1343-1356
   黎宣,王千祥,金芝.基于增强描述的代码搜索方法. 2017,28(6):1405-1417
   黄袁,刘志勇,陈湘萍,熊英飞,罗笑南.基于关键类判定的代码提交理解辅助方法. 2017,28(6):1418-1434
   徐培兴,陈伟,吴国全,高楚舒,魏峻.一种面向软件配置管理制品的层次分类方法. 2017,28(6):1389-1404
   王子勇,王焘,张文博,陈宁江,左春.一种基于执行轨迹监测的微服务故障诊断方法. 2017,28(6):1435-1454
   杨波,于茜,张伟,吴际,刘超.GitHub开源软件开发过程中影响因素的相关性分析. 2017,28(6):1330-1342
   王浩宇,郭耀,马子昂,陈向群.大规模移动应用第三方库自动检测和分类方法. 2017,28(6):1373-1388
   朱美玲,刘晨,王雄斌,韩燕波.基于车牌识别流数据的车辆伴随模式发现方法. 2017,28(6):1498-1515
   董威,赵建华,吕鸣松.形式化方法与应用专题前言. 2017,28(5):1049-1050
   乔磊,杨孟飞,谭彦亮,蒲戈光,杨桦.基于Event-B的航天器内存管理系统形式化验证. 2017,28(5):1204-1220
   陈铭松,鲍勇翔,孙海英,缪炜恺,陈小红,周庭梁.基于通信的列车控制系统可信构造:形式化方法综述. 2017,28(5):1183-1203
   杜德慧,昝慧,姜凯强,程贝.一种面向CPS的自适应统计模型检测方法. 2017,28(5):1128-1143
   李晅松,陶先平,吕建,宋巍.面向动作的上下文感知应用的规约与运行时验证. 2017,28(5):1167-1182
   张雨,董云卫,冯文龙,黄梦醒.一种面向CPS的控制应用程序协同验证方法. 2017,28(5):1144-1166
   尚书,甘元科,石刚,王生原,董渊.可信编译器L2C的核心翻译步骤及其设计与实现. 2017,28(5):1233-1246
   文习明,余泉,常亮,王驹.不确定观测下离散事件系统的可诊断性. 2017,28(5):1091-1106
   翟娟,汤震浩,李彬,赵建华,李宣东.常用循环摘要的自动生成方法及其应用. 2017,28(5):1051-1069
   常曦,薛建新,张卓,毛晓光.面向收敛的并发程序执行轨迹静态简化方法. 2017,28(5):1107-1117
   刘立,李国强.异步多进程时间自动机的可覆盖性问题. 2017,28(5):1080-1090
   王善侠,马明辉,陈武,邓辉文.正则模型类的时态可定义性. 2017,28(5):1070-1079
   刘涛,王淑灵,詹乃军.多机器人路径规划的安全性验证. 2017,28(5):1118-1127
   郭德贵,王冠成,吕帅,刘磊.peC语言的部分求值器及在编译器测试中的应用. 2017,28(5):1221-1232
   冯新宇,陈海波.程序设计语言与系统前沿专题前言. 2017,28(4):745-746
   何王全,刘勇,方燕飞,魏迪,漆锋滨.面向国产异构众核系统的Parallel C语言设计与实现. 2017,28(4):764-785
   张恒若,付明.基于Z3的Coq自动证明策略的设计和实现. 2017,28(4):819-826
   李彬,汤震浩,翟娟,赵建华.通过抽象程序证明复杂具体程序. 2017,28(4):786-803
   李登辉,赵家程,崔慧敏,冯晓兵.数据中心中DVFS对程序性能影响模型的设计. 2017,28(4):845-859
   蒋炎岩,许畅,马晓星,吕建.获取访存依赖:并发程序动态分析基础技术综述. 2017,28(4):747-763
   仝青,张铮,张为华,邬江兴.拟态防御Web服务器设计与实现. 2017,28(4):883-897
   杨启哲,李国强.基于通信Petri网的异步通信程序验证模型. 2017,28(4):804-818
   王蕾,李丰,李炼,冯晓兵.污点分析技术的原理和实践应用. 2017,28(4):860-882
   李筱,周严,李孟宸,陈园军,XU Guo-Qing,王林章,李宣东.C/C++程序静态内存泄漏警报自动确认方法. 2017,28(4):827-844
   李华,汪国平,雍俊海.面向高精度的快速三维建模——快速三维建模技术专刊前言. 2016,27(10):2459-2461
   张贵安,袁志勇,童倩倩,廖祥云.层次结构K-d树的立体图像快速匹配方法. 2016,27(10):2462-2472
   李诗锐,李琪,李海洋,侯沛宏,曹伟国,王向东,李华.基于Kinect v2的实时精确三维重建系统. 2016,27(10):2519-2529
   孙晓鹏,盖宇,徐南,李志.耳廓三维网格去补丁合并算法. 2016,27(10):2612-2621
   徐岗,朱亚光,李鑫,许金兰,汪国昭,许健泉.插值边界的四边网格离散极小曲面建模方法. 2016,27(10):2499-2508
   姜旭东,盛斌,马利庄,申瑞民,吴恩华.基于自适应延迟切割的三角网格布尔运算优化. 2016,27(10):2473-2487
   朱东勇,李重,马利庄.纤维可控的质感布料三维建模与服装仿真. 2016,27(10):2587-2599
   徐志佳,王清辉,李静蓉.多孔金属纤维烧结板多尺度形貌的快速三维建模. 2016,27(10):2622-2631
   陈昊升,张格,叶阳东.基于光学图像的多粒度随动环境感知算法. 2016,27(10):2661-2675
   盖孟,赖舜男,李胜.基于特征的离散网格模型表示与编辑技术. 2016,27(10):2654-2660
   商柳,冯笑冰,朱登明,王兆其,王永健.一种骨架驱动的近岸涌浪动画合成方法. 2016,27(10):2600-2611
   张雅斓,班晓娟,刘旭,刘茜.基于轮廓形变的复杂表面重构. 2016,27(10):2676-2690
   王筱婷,王璐,孟祥旭.带洞点云多层同步表面重建方法. 2016,27(10):2642-2653
   邹北骥,张学程,王磊.基于圆柱坐标系的安全壳可视化方法. 2016,27(10):2632-2641
   胡良臣,寿华好.基于二进制GA的B样条重构曲线节点优化. 2016,27(10):2488-2498
   邹玲,齐越,赖舜男.动态水面数据采集与重建方法. 2016,27(10):2530-2541
   程志全,陈寅,宋展,吴彤,王进.化身1号:一个快速的三维彩色全身人像捕捉系统. 2016,27(10):2509-2518
   缪永伟,冯小红,于莉洁,陈佳舟,李永水.基于重复结构检测的三维建筑物精细模型重建. 2016,27(10):2557-2573
   刘骊,王若梅,罗笑南,付晓东,刘利军.数据驱动的三维服装快速建模. 2016,27(10):2574-2586
   李尚林,李琳,曹明伟,刘晓平.面向真实构建的徽州建筑快速建模方法. 2016,27(10):2542-2556
   孟小峰,林东岱.数据开放与隐私管理专题前言. 2016,27(8):1889-1890
   彭长根,丁红发,朱义杰,田有亮,符祖峰.隐私保护的信息熵模型及其度量方法. 2016,27(8):1891-1903
   王璐,孟小峰,郭胜娜.时空数据发布中的隐式隐私保护. 2016,27(8):1922-1933
   刘向宇,李佳佳,安云哲,周大海,夏秀峰.一种保持结点可达性的高效社会网络图匿名算法. 2016,27(8):1904-1921
   徐耀丽,李战怀,陈群,钟评.基于可能世界模型的关系数据不一致性的修复. 2016,27(7):1685-1699
   丁小欧,王宏志,张笑影,李建中,高宏.数据质量多种性质的关联关系研究. 2016,27(7):1626-1644
   黄冬梅,耿霞,魏立斐,苏诚.基于Henon映射的加密遥感图像的安全检索方案. 2016,27(7):1729-1740
   李建中,王宏志,高宏.大数据可用性的研究进展. 2016,27(7):1605-1625
   金澈清,刘辉平,周傲英.基于函数依赖与条件约束的数据修复方法. 2016,27(7):1671-1684
   陈俞,赵素云,陈红,李翠平,孙辉.统计粗糙集. 2016,27(7):1645-1654
   章志刚,金澈清,王晓玲,周傲英.面向海量低质手机轨迹数据的重要位置发现. 2016,27(7):1700-1714
   王佳英,王斌,杨晓春.面向压缩生物基因数据的高效的查询方法. 2016,27(7):1715-1728
   李天义,谷峪,马茜,李芳芳,于戈.一种多源感知数据流上的连续真值发现技术. 2016,27(7):1655-1670
   薛锐,任奎,张玉清,李晖,刘吉强,赵波,祝烈煌.云计算安全研究专刊前言. 2016,27(6):1325-1327
   范伟,孔斌,张珠君,王婷婷,张杰,黄伟庆.KVM虚拟化动态迁移技术的安全防护模型. 2016,27(6):1402-1416
   徐剑,李坚,韩健,李福祥,周福才.融合门限公钥加密和纠删码的安全云存储模型. 2016,27(6):1463-1474
   项世军,罗欣荣.同态公钥加密系统的图像可逆信息隐藏算法. 2016,27(6):1592-1601
   李保珲,徐克付,张鹏,郭莉,胡玥,方滨兴.虚拟机自省技术研究与应用进展. 2016,27(6):1384-1401
   张丽丽,张玉清,刘雪峰,全韩彧.对加密电子医疗记录有效的连接关键词的搜索. 2016,27(6):1577-1591
   张玉清,王晓菲,刘雪峰,刘玲.云计算环境安全综述. 2016,27(6):1328-1348
   雷蕾,蔡权伟,荆继武,林璟锵,王展,陈波.支持策略隐藏的加密云存储访问控制机制. 2016,27(6):1432-1450
   孙晓妮,蒋瀚,徐秋亮.基于二叉树存储的多用户ORAM方案. 2016,27(6):1475-1486
   魏福山,张刚,马建峰,马传贵.标准模型下隐私保护的多因素密钥交换协议. 2016,27(6):1511-1522
   杨波,冯登国,秦宇,张英骏.基于TrustZone的可信移动终端云服务安全接入方案. 2016,27(6):1366-1383
   沈文婷,于佳,杨光洋,程相国,郝蓉.具有私钥可恢复能力的云存储完整性检测方案. 2016,27(6):1451-1462
   田雪,朱晓杰,申培松,陈驰,邹洪.基于相似查询树的快速密文检索方法. 2016,27(6):1566-1576
   石勇,郭煜,刘吉强,韩臻,马威,常亮.一种透明的可信云租户隔离机制研究. 2016,27(6):1538-1548
   李顺东,周素芳,郭奕旻,窦家维,王道顺.云环境下集合隐私计算. 2016,27(6):1549-1565
   王宏远,祝烈煌,李龙一佳.云存储中支持数据去重的群组数据持有性证明. 2016,27(6):1417-1431
   赵波,戴忠华,向騻,陶威.一种云平台可信性分析模型建立方法. 2016,27(6):1349-1365
   胡鹏,高海英.一种实现一般电路的密钥策略的属性加密方案. 2016,27(6):1498-1510
   王中华,韩臻,刘吉强,张大伟,常亮.云环境下基于PTPM和无证书公钥的身份认证方案. 2016,27(6):1523-1537
   康元基,顾纯祥,郑永辉,光焱.利用特征向量构造基于身份的全同态加密体制. 2016,27(6):1487-1497
   沈汉威,张小龙,陈为,袁晓如,王文成.可视化及可视分析专题前言. 2016,27(5):1059-1060
   张加万,杨思琪,李泽宇,杨伟强,王锦东,贺瑞芳,黄茂林.基于文本摘要及引用关系的可视辅助文献阅读. 2016,27(5):1163-1173
   周芳芳,高飞,刘勇刚,梁兴,赵颖.基于密度-距离图的交互式体数据分类方法. 2016,27(5):1061-1073
   赵颖,王权,黄叶子,吴青,张胜.多视图合作的网络流量时序数据可视分析. 2016,27(5):1188-1198
   杜一,郭旦怀,陈昕,任磊,戴国忠.一种模型驱动的可视化生成系统. 2016,27(5):1199-1211
   张宏鑫,盛风帆,徐沛原,汤颖.基于移动终端日志数据的人群特征可视化. 2016,27(5):1174-1187
   李彦龙,李国强,董笑菊.树比较可视化方法综述. 2016,27(5):1074-1090
   陈谊,甄远刚,胡海云,梁婕,Kwan-Liu MA.一种层次结构中多维属性的可视化方法. 2016,27(5):1091-1102
   严宇宇,陶煜波,林海.基于层次狄利克雷过程的交互式主题建模. 2016,27(5):1114-1126
   梅鸿辉,陈海东,肇昕,刘昊南,朱标,陈为.一种全球尺度三维大气数据可视化系统. 2016,27(5):1140-1150
   郭洋,马翠霞,滕东兴,杨祎,王宏安.运动目标三维轨迹可视化与关联分析方法. 2016,27(5):1151-1162
   赵海森,吕琳,薄志涛.面向层次化数据的变分圆形树图. 2016,27(5):1103-1113
   周芳芳,李俊材,黄伟,王俊韡,赵颖.基于维度扩展的Radviz可视化聚类分析方法. 2016,27(5):1127-1139
   李征,巩敦卫,聂长海,江贺.基于搜索的软件工程研究专题前言. 2016,27(4):769-770
   吴川,巩敦卫,姚香娟.基于分支覆盖的回归测试路径选择. 2016,27(4):839-854
   曾梦凡,陈思洋,张文茜,聂长海.利用蚁群算法生成覆盖表:探索与挖掘. 2016,27(4):855-878
   姚香娟,巩敦卫,李彬.融入神经网络的路径覆盖测试数据进化生成. 2016,27(4):828-838
   玄跻峰,任志磊,王子元,谢晓园,江贺.自动程序修复方法研究进展. 2016,27(4):771-784
   丁蕊,董红斌,张岩,冯宪彬.基于关键点路径的快速测试用例自动生成方法. 2016,27(4):814-827
   王赞,樊向宇,邹雨果,陈翔.一种基于遗传算法的多缺陷定位方法. 2016,27(4):879-900
   路红,张莉,岳涛.面向产品线交互配置不一致性修复的差分IBEA算法. 2016,27(4):901-915
   边毅,袁方,郭俊霞,李征,赵瑞莲.面向CPU+GPU异构计算的多目标测试用例优先排序. 2016,27(4):943-954
   夏春艳,张岩,宋丽.基于节点概率的路径覆盖测试数据进化生成. 2016,27(4):802-813
   姜淑娟,王令赛,薛猛,张艳梅,于巧,姚慧冉.基于模式组合的粒子群优化测试用例生成方法. 2016,27(4):785-801
   孟凡超,初佃辉,李克秋,周学权.基于混合遗传模拟退火算法的SaaS构件优化放置. 2016,27(4):916-932
   郑宇军,张蓓,薛锦云.软件形式化开发关键部件选取的水波优化方法. 2016,27(4):933-942
   詹乃军,王戟,李宣东.软件形式化方法与应用专题前言. 2016,27(3):495-496
   宋富,吴志林.面向无穷数据的形式模型综述. 2016,27(3):682-690
   陆旭,段振华,田聪.二维逻辑PPTLSL的可满足性检查. 2016,27(3):670-681
   陈铭松,顾璠,徐思远,陈小红.不确定环境下智能大厦空调系统调度策略评估. 2016,27(3):655-669
   甘庭,夏壁灿.运用栅栏函数验证连续系统的有界时间安全性. 2016,27(3):645-654
   陈鑫,黄超,张一帆,梅一鸣.面向方面设计中干涉问题的分析工具. 2016,27(3):633-644
   杨志斌,赵永望,黄志球,胡凯,马殿富,Jean-Paul BODEVEIX,Mamoun FILALI.同步语言的时间可预测多线程代码生成方法. 2016,27(3):611-632
   汤恩义,周岩,欧建生,陈鑫.面向条件判定覆盖的线性拟合制导测试生成. 2016,27(3):593-610
   王婷,陈铁明,刘杨.基于模拟关系的精化检测方法. 2016,27(3):580-592
   吕江花,高世伟,马世龙,孙波,李先军.安全苛刻系统测试语言中的测试设备协同语句. 2016,27(3):562-579
   陈睿,杨孟飞,郭向英.基于变量访问序模式的中断数据竞争检测方法. 2016,27(3):547-561
   孙景昊,关楠,邓庆绪,张鑫,杨丰源.城市交通网络信号控制系统的实时演算模型. 2016,27(3):527-546
   李轶,冯勇.有界闭连通域上的非线性循环终止性分析. 2016,27(3):517-526
   马莎,施智平,李黎明,关永,张杰,Xiaoyu SONG.几何代数的高阶逻辑形式化. 2016,27(3):497-516
   何晓飞,郭茂祖,张敏灵.大数据时代的机器学习研究专刊前言. 2015,26(11):2749-2751
   王少博,李宇峰.用于多标记学习的分类器圈方法. 2015,26(11):2811-2819
   王凯,余伟,杨莎,吴敏,胡亚慧,李石君.一种大数据环境下的在线社交媒体位置推断方法. 2015,26(11):2951-2963
   杨皓,段磊,胡斌,邓松,王文韬,秦攀.带间隔约束的Top-k对比序列模式挖掘. 2015,26(11):2994-3009
   王裴岩,蔡东风.普适性核度量标准比较研究. 2015,26(11):2856-2868
   刘海洋,王志海,黄丹,孙艳歌.基于评分矩阵局部低秩假设的成列协同排名算法. 2015,26(11):2981-2993
   刘贝贝,马儒宁,丁军娣.大数据的密度统计合并算法. 2015,26(11):2820-2835
   严晨,李凡长.覆盖学习的道路优化算法. 2015,26(11):2781-2794
   郭平,王可,罗阿理,薛明志.大数据分析中的计算智能研究现状与展望. 2015,26(11):3010-3025
   唐超,王文剑,李伟,李国斌,曹峰.基于多学习器协同训练模型的人体行为识别方法. 2015,26(11):2939-2950
   谢博鋆,朱杰,于剑.基于Pivots选择的有效图像块描述子. 2015,26(11):2930-2938
   张明卫,朱志良,刘莹,张斌.一种大数据环境中分布式辅助关联分类算法. 2015,26(11):2795-2810
   李照奎,丁立新,王岩,何进荣,丁国辉.基于差值局部方向模式的人脸特征表示. 2015,26(11):2912-2929
   周国兵,吴建鑫,周嵩.一种基于近邻表示的聚类方法. 2015,26(11):2847-2855
   于谦,高阳,霍静,庄韫恺.视频人脸识别中判别性联合多流形分析. 2015,26(11):2897-2911
   蔡瑞初,谢伟浩,郝志峰,王丽娟,温雯.基于多尺度时间递归神经网络的人群异常检测. 2015,26(11):2884-2896
   杨柳,景丽萍,于剑.一种异构直推式迁移学习算法. 2015,26(11):2762-2780
   张丽霞,王伟平,高建良,王建新.面向模式图变化的增量图模式匹配. 2015,26(11):2964-2980
   朱小辉,陶卿,邵言剑,储德军.一种减小方差求解非光滑问题的随机优化算法. 2015,26(11):2752-2761
   乔少杰,李天瑞,韩楠,高云君,元昌安,王晓腾,唐常杰.大数据环境下移动对象自适应轨迹预测模型. 2015,26(11):2869-2883
   贾洪杰,丁世飞,史忠植.求解大规模谱聚类的近似加权核k-means算法. 2015,26(11):2836-2846
   周庆,牟超,杨丹.教育数据挖掘研究进展综述. 2015,26(11):3026-3042
   吕建,王千祥,马晓星,毛新军.自适应软件系统:开发方法和运行支撑专题前言. 2015,26(4):711-712
   杨晓燕,周远,丁佐华.基于在线故障定位及自主适应提高软件可靠性. 2015,26(4):886-903
   侯富,毛新军,吴伟.一种基于多Agent系统的云服务自组织管理方法. 2015,26(4):835-848
   杨荣,李兵.流程片段自适应重用策略研究. 2015,26(4):778-789
   韩德帅,杨启亮,邢建春.一种软件自适应UML建模及其形式化验证方法. 2015,26(4):730-746
   李青山,王璐,褚华,张曼.一种基于智能体技术的软件自适应动态演化机制. 2015,26(4):760-777
   赵秀涛,张斌,张长胜.一种基于服务选取的SBS云资源优化分配方法. 2015,26(4):867-885
   刘春,张伟,赵海燕,金芝.基于反馈控制的软件适应性需求的识别与分析. 2015,26(4):713-729
   王明良,陈碧欢,彭鑫,黄罡,赵文耘.移动计算环境下的个人化服务发布和组装. 2015,26(4):802-818
   王睿智,史庭训,焦文品.一种基于元组空间的智能传感器协同感知机制. 2015,26(4):790-801
   葛永琪,董云卫,张健,顾斌.一种能量收集嵌入式系统自适应调度算法. 2015,26(4):819-834
   周宇,黄延凯,黄志球,吴维刚.一种开放环境下软件在线演化一致性验证方法. 2015,26(4):747-759
   张明卫,朱志良,张斌,张岳松.一种基于EQ规则的组合服务运行时自适应方法. 2015,26(4):849-866
   王建民,尹建伟,窦万春.业务过程管理技术专题前言. 2015,26(3):447-448
   曹斌,王佳星,范菁,董天阳.基于Petri网的流程间元素映射方法. 2015,26(3):474-490
   朱鑫伟,朱国宾,Seppe VANDEN BROUCKE.地理空间约束的业务流程建模方法. 2015,26(3):584-599
   李传艺,葛季栋,胡海洋,胡昊,骆斌.一种基于Token Log的符合性检查方法. 2015,26(3):509-532
   杨丽琴,康国胜,郭立鹏,田朝阳,张亮,张笑楠,高翔.一种适用于多样性环境的业务流程挖掘方法. 2015,26(3):550-561
   鲁法明,曾庆田,段华,程久军,包云霞.一种并行化的启发式流程挖掘算法. 2015,26(3):533-549
   凌济民,张莉.基于过程结构树的过程模型变体匹配技术. 2015,26(3):460-473
   文一凭,刘建勋,陈志刚.面向实例方面处理的工作流动态调度优化方法. 2015,26(3):574-583
   余阳,王颍,刘醒梅,陈健.基于社会关系的工作流任务分派策略研究. 2015,26(3):562-573
   董子禾,闻立杰,黄浩未,王建民.基于触发序列集合的过程模型行为相似性算法. 2015,26(3):449-459
   刘海滨,刘国华,黄立明,宋金玲.基于Artifact快照序列的行为一致性检测方法. 2015,26(3):491-508
   李宣东,刘超,毛晓光.安全攸关软件系统建模与验证专题前言. 2015,26(2):179-180
   单黎君,周兴社,王宇英,赵雷,万丽景,乔磊,陈建新.信息物理融合系统控制软件的统计模型检验. 2015,26(2):380-389
   何炎祥,江南,李清安,张军,沈凡凡.一个机器检测的Micro-Dalvik虚拟机模型. 2015,26(2):364-379
   甘水滔,秦晓军,陈左宁,王林章.一种基于特征矩阵的软件脆弱性代码克隆检测方法. 2015,26(2):348-363
   刘洋,甘元科,王生原,董渊,杨斐,石刚,闫鑫.同步数据流语言高阶运算消去的可信翻译. 2015,26(2):332-347
   顾斌,董云卫,王政.面向航天嵌入式软件的形式化建模方法. 2015,26(2):321-331
   杜德慧,程贝,刘静.面向安全攸关系统中小概率事件的统计模型检测. 2015,26(2):305-320
   李轶,李传璨,吴文渊.多分支单变量循环程序的终止性分析. 2015,26(2):297-304
   代声馨,洪玫,郭兵,杨秋辉,黄蔚,徐保平.多处理器实时系统可调度性分析的UPPAAL模型. 2015,26(2):279-296
   陈鑫,姜鹏,张一帆,黄超,周岩.一种面向列车控制系统中安全攸关场景的测试用例自动生成方法. 2015,26(2):269-278
   杨波,吴际,刘超.基于数据链的软件故障定位方法. 2015,26(2):254-268
   张一帆,黄超,欧建生,汤恩义,陈鑫.设备驱动程序可靠性和正确性保障方法与技术研究进展. 2015,26(2):239-253
   侯刚,周宽久,常军旺,王洁,李明楚.基于时间STM的软件形式化建模与验证方法. 2015,26(2):223-238
   杨志斌,胡凯,赵永望,马殿富,Jean-Paul BODEVEIX.基于时间抽象状态机的AADL模型验证. 2015,26(2):202-222
   李睿,连航,马世龙,黎涛.基于形式化方法的航空电子系统检测. 2015,26(2):181-201
   毛文吉,王飞跃,罗铁坚.社会计算:理论与方法专刊前言. 2014,25(12):2731-2732
   王英,王鑫,左万利.基于社会学理论的信任关系预测模型. 2014,25(12):2893-2904
   孔庆超,毛文吉.基于动态演化的讨论帖流行度预测. 2014,25(12):2767-2776
   杨震,王来涛,赖英旭.基于改进语义距离的网络评论聚类研究. 2014,25(12):2777-2789
   张林,钱冠群,樊卫国,华琨,张莉.轻型评论的情感分析研究. 2014,25(12):2790-2807
   吴信东,李亚东,胡东辉.社交网络取证初探. 2014,25(12):2877-2892
   张新,何苯,罗铁坚,李东星.基于聚类的直推式学习的性能分析. 2014,25(12):2865-2876
   邹本友,李翠平,谭力文,陈红,王绍卿.基于用户信任和张量分解的社会网络推荐. 2014,25(12):2852-2864
   赵森栋,刘挺.因果关系及其在社会媒体上的应用研究综述. 2014,25(12):2733-2752
   张聿博,张锡哲,张斌.面向社交网络信息源定位的观察点部署方法. 2014,25(12):2837-2851
   柴变芳,贾彩燕,于剑.基于概率模型的大规模网络结构发现方法. 2014,25(12):2753-2766
   胡云,王崇骏,吴骏,谢俊元,李慧.微博网络上的重叠社群发现与全局表示. 2014,25(12):2824-2836
   周小平,梁循,张海燕.基于R-C模型的微博用户社区发现. 2014,25(12):2808-2823
   齐勇,罗英伟,孙毓忠.网络资源虚拟化技术专题前言. 2014,25(10):2187-2188
   崔竞松,郭迟,陈龙,张雅娜,DijiangHUANG.创建软件定义网络中的进程级纵深防御体系结构. 2014,25(10):2251-2265
   王志钢,汪小林,靳辛欣,王振林,罗英伟.Mbalancer:虚拟机内存资源动态预测与调配. 2014,25(10):2206-2219
   肖蔼玲,王颖,孟洛明,邱雪松,李文璟,尹斌.基于知识描述和遗传算法的跨域虚拟网络映射. 2014,25(10):2189-2205
   宋平,刘轶,刘驰,张晶晶,钱德沛,郝沁汾.一种支持细粒度并行的SDN虚拟化编程框架. 2014,25(10):2220-2234
   郑豪,董小社,王恩东,陈宝可,朱正东.VM内部隔离驱动程序的可靠性架构. 2014,25(10):2235-2250
   程学旗,靳小龙,王元卓,郭嘉丰,张铁赢,李国杰.大数据系统和分析技术综述. 2014,25(9):1889-1908
   陈恩红,于剑.大数据分析专刊前言. 2014,25(9):1887-1888
   李照奎,丁立新,何进荣,胡庆辉.基于图像分解的人脸特征表示. 2014,25(9):2102-2118
   丁立中,贾磊,廖士中.支持向量学习的多参数同时调节. 2014,25(9):2149-2159
   周航星,陈松灿.有序判别典型相关分析. 2014,25(9):2018-2025
   印鉴,王智圣,李琪,苏伟杰.基于大规模隐式反馈的个性化推荐. 2014,25(9):1953-1966
   韩冰,廖谦,高新波.基于空时极向LBP的极光序列事件检测. 2014,25(9):2172-2179
   王瀚,刘重晋,付翔,封举富.基于学习的高分辨率掌纹细节点