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

2019年第30卷第7期目录

   
浏览其它刊期:  
  

本期目录

软件形式化验证专题前言
  贺飞,张立军
  2019,30(7):1901-1902 [摘要(172)]  [PDF 277.21 K (196)]
  
基于对抗式神经网络的多维度情绪回归
  朱苏阳,李寿山,周国栋
  2019,30(7):2091-2108 [摘要(166)]  [PDF 1.81 M (248)]
  
软件开发活动数据集的层次化、多版本化方法
  朱家鑫,周明辉
  2019,30(7):2109-2123 [摘要(147)]  [PDF 1.57 M (217)]
  
基于Jalangi的广告代码调用路径追踪
  许蕾,刘蕊成,陈贵美,赵晨,张卫丰
  2019,30(7):2124-2138 [摘要(146)]  [PDF 1.54 M (181)]
  
一种基于最大公共子图的社交网络对齐方法
  冯朔,申德荣,聂铁铮,寇月,于戈
  2019,30(7):2175-2187 [摘要(142)]  [PDF 1.46 M (199)]
  
采用改进Levenberg-Marquardt法的快速弹性运动估计
  宋传鸣,闵新,闫小红,王相海,尹宝才
  2019,30(7):2208-2226 [摘要(435)]  [PDF 2.15 M (562)]
  

专刊文章

基于SVM的多项式循环程序秩函数生成
  李轶,蔡天训,樊建峰,吴文渊,冯勇
  2019,30(7):1903-1915 [摘要(782)]  [PDF 1.43 M (402)]
  
高阶类型化软件体系结构建模和验证及案例
  乌尼日其其格,李小平,马世龙,吕江花,张思卿
  2019,30(7):1916-1938 [摘要(774)]  [PDF 2.57 M (485)]
  
非交互式Petri网可覆盖性验证的高效实现
  丁如江,李国强
  2019,30(7):1939-1952 [摘要(607)]  [PDF 1.53 M (333)]
  
基于实时自动机的连续时段演算的验证
  安杰,张苗苗
  2019,30(7):1953-1965 [摘要(544)]  [PDF 1.48 M (294)]
  
面向实时数据的CPS一体化建模方法
  罗晨霞,王瑞,关永,李晓娟,施智平,Xiaoyu SONG
  2019,30(7):1966-1979 [摘要(646)]  [PDF 1.66 M (481)]
  
一种同步语言多线程代码自动生成工具
  杨志斌,袁胜浩,谢健,周勇,陈哲,薛垒,Jean-Paul BODEVIX,Mamoun FILALI
  2019,30(7):1980-2002 [摘要(619)]  [PDF 2.46 M (406)]
  
同步数据流语言可信编译器Vélus与L2C的比较
  康跃馨,甘元科,王生原
  2019,30(7):2003-2017 [摘要(566)]  [PDF 1.60 M (307)]
  
具有多传感器的CPS系统的攻击检测
  杨康,王瑞,关永,李晓娟,施智平,Xiaoyu SONG
  2019,30(7):2018-2032 [摘要(632)]  [PDF 1.58 M (364)]
  
有关时间自动机重置的若干问题的计算复杂性
  朱凯,毋国庆,吴理华,袁梦霆
  2019,30(7):2033-2051 [摘要(632)]  [PDF 2.22 M (366)]
  

综述文章

汉语篇章理解研究综述
  孔芳,王红玲,周国栋
  2019,30(7):2052-2072 [摘要(1197)]  [PDF 2.00 M (679)]
  
受限玻尔兹曼机研究综述
  张健,丁世飞,张楠,杜鹏,杜威,于文家
  2019,30(7):2073-2090 [摘要(629)]  [PDF 1.91 M (465)]
  
知识图谱数据管理研究综述
  王鑫,邹磊,王朝坤,彭鹏,冯志勇
  2019,30(7):2139-2174 [摘要(1607)]  [PDF 3.44 M (1323)]
  
人类面部属性估计研究:综述
  曹猛,田青,马廷淮,陈松灿
  2019,30(7):2188-2207 [摘要(624)]  [PDF 2.36 M (541)]
  
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利