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

2019年第30卷第7期目录

   
浏览其它刊期:  
  

专刊文章

基于SVM的多项式循环程序秩函数生成
  李轶,蔡天训,樊建峰,吴文渊,冯勇
  2019,30(7):0 [摘要(164)]  [PDF 402.43 K (92)]
  
高阶类型化软件体系结构建模和验证及案例
  乌尼日其其格,李小平,马世龙,吕江花,张思卿
  2019,30(7):0 [摘要(155)]  [PDF 836.99 K (112)]
  
非交互式Petri网可覆盖性验证的高效实现
  丁如江,李国强
  2019,30(7):0 [摘要(130)]  [PDF 592.84 K (104)]
  
基于实时自动机的连续时段演算的验证
  安杰,张苗苗
  2019,30(7):0 [摘要(117)]  [PDF 459.78 K (44)]
  
面向实时数据的CPS一体化建模方法
  罗晨霞,王瑞,关永,李晓娟,施智平,SONG Xiao-Yu
  2019,30(7):0 [摘要(133)]  [PDF 601.92 K (125)]
  
一种同步语言多线程代码自动生成工具
  杨志斌,袁胜浩,谢健,周勇,陈哲,薛垒,BODEVIX Jean-Paul,FILALI Mamoun
  2019,30(7):0 [摘要(127)]  [PDF 698.59 K (105)]
  
同步数据流语言可信编译器Vélus与L2C的分析与比较
  康跃馨,甘元科,王生原
  2019,30(7):0 [摘要(108)]  [PDF 420.84 K (84)]
  
具有多传感器的CPS系统的攻击检测
  杨康,王瑞,关永,李晓娟,施智平,SONG Xiao-Yu
  2019,30(7):0 [摘要(133)]  [PDF 523.10 K (92)]
  
有关时间自动机重置的若干问题的计算复杂性
  朱凯,毋国庆,吴理华,袁梦霆
  2019,30(7):0 [摘要(131)]  [PDF 740.96 K (94)]
  

综述文章

汉语篇章理解研究综述
  孔芳,王红玲,周国栋
  2019,30(7):0 [摘要(82)]  [PDF 476.95 K (132)]
  
人类面部属性估计研究综述
  曹猛,田青,马廷淮,陈松灿
  2019,30(7):0 [摘要(83)]  [PDF 1.00 M (144)]
  
受限玻尔兹曼机研究综述
  张健,丁世飞,张楠,杜鹏,杜威,于文家
  2019,30(7):0 [摘要(111)]  [PDF 519.32 K (89)]
  
知识图谱数据管理研究综述
  王鑫,邹磊,王朝坤,彭鹏,冯志勇
  2019,30(7):0 [摘要(504)]  [PDF 779.43 K (260)]
  
 

京公网安备 11040202500064号

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