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

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

   李舟军,李瑞轩,陈驰.信息系统安全专刊前言. 2017,28(9):-
   韩姝敏,申德荣,聂铁铮,寇月,于戈.一种基于隐私保护下的多方记录链接方法. 2017,28(9):0-0
   张维维,龚俭,刘尚东,胡晓艳.面向主干网的DNS流量监测研究. 2017,28(9):0-0
   李舟军,沈东,苏晓菁,马金鑫.基于ARM虚拟化扩展的安全防护技术. 2017,28(9):0-0
   武跟强,贺也平,夏娴瑶.线性查询的一种近似最优差分隐私机制. 2017,28(9):0-0
   崔一辉,宋伟,王占兵,史成良,程芳权.一种基于格的隐私保护聚类数据挖掘方法. 2017,28(9):0-0
   杨腾飞,申培松,田雪,冯荣权.对象云存储中分类分级数据的访问控制方法. 2017,28(9):0-0
   李承泽,於剑波,张淼,徐国爱,孔浩浩.一种基于Huffman和LZW编码的移动应用混淆方法. 2017,28(9):0-0
   游静,上官经伦,徐守坤,李千目,王印海.一种考虑信任可靠度的分布式动态信任管理模型. 2017,28(9):0-0
   马金鑫,李舟军,张涛,沈东,章张锴.基于执行踪迹离线索引的污点分析方法. 2017,28(9):0-0
   姜火文,曾国荪,刘文娟.图数据发布隐私保护的聚类匿名方法. 2017,28(9):0-0
   缪小川,汪睿,许蕾,张卫丰,徐宝文.使用敏感路径识别方法分析安卓应用安全性. 2017,28(9):0-0
   黄宇,吴维刚,赵军平.分布式云存储专刊前言. 2017,28(8):0-0
   丁尚,童鑫,陈艳,叶保留.基于简单再生码的带宽感知的分布式存储节点修复优化. 2017,28(8):0-0
   操顺德,华宇,冯丹,孙园园,左鹏飞.面向海量高清视频的高性能分布式存储系统. 2017,28(8):0-0
   刘星,江松,王洋,范小朋,须成忠.Hitchhike:一种基于同步写的回写I/O调度器. 2017,28(8):0-0
   唐震,吴恒,王伟,魏峻,黄涛.虚拟化环境下面向多目标优化的自适应SSD缓存系统. 2017,28(8):0-0
   聂世强,伍卫国,张兴军,蔡毅,徐志伟.一种基于跳跃hash的对象分布算法. 2017,28(8):0-0
   佘楚玉,温武少,肖扬,刘育擘,贾殷.一种自适应文件系统元数据服务负载均衡策略. 2017,28(8):0-0
   刘璘,周明辉,尹刚.大数据时代软件工程专题前言. 2017,28(6):-
   蔡维德,郁莲,王荣,刘娜,邓恩艳.基于区块链的应用系统开发方法研究. 2017,28(6):0-0
   王建民.领域需求驱动的大数据应用开发与运行一体化平台技术研究. 2017,28(6):0-0
   杨程,范强,王涛,尹刚,王怀民.RepoLike:基于多维特征的开源项目个性化推荐方法. 2017,28(6):0-0
   俞一峻,刘春.小模型大数据的需求分析:一种代数抽象和分析软件行为利弊的方法. 2017,28(6):0-0
   何吉元,孟昭鹏,陈翔,王赞,樊向宇.一种半监督集成跨项目软件缺陷预测方法. 2017,28(6):0-0
   张宇霞,周明辉,张伟,赵海燕,金芝.OpenStack开源社区中商业组织参与模式的研究. 2017,28(6):0-0
   黎宣,王千祥,金芝.基于增强描述的代码搜索方法. 2017,28(6):0-0
   黄袁,刘志勇,陈湘萍,熊英飞,罗笑南.一种基于关键类判定的代码提交理解辅助方法. 2017,28(6):0-0
   徐培兴,陈伟,吴国全,高楚舒,魏峻.一种面向软件配置管理制品的层次分类方法. 2017,28(6):0-0
   王子勇,王焘,张文博,陈宁江,左春.一种基于执行轨迹监测的微服务故障诊断方法. 2017,28(6):0-0
   杨波,于茜,张伟,刘超.针对GitHub开源软件开发过程中影响因素的相关性分析. 2017,28(6):0-0
   王浩宇,郭耀,马子昂,陈向群.一种大规模的移动应用第三方库自动检测和分类方法. 2017,28(6):0-0
   朱美玲,刘晨,王雄斌,韩燕波.一种基于车牌识别流式大数据的车辆伴随模式发现方法. 2017,28(6):0-0
   董威,赵建华,吕鸣松.形式化方法与应用专刊前言. 2017,28(5):0-0
   乔磊,杨孟飞,谭彦亮,蒲戈光,杨桦.基于Event-B方法的航天器内存管理系统形式化验证. 2017,28(5):0-0
   陈铭松,鲍勇翔,孙海英,缪炜恺,陈小红,周庭梁.基于通信的列车控制系统可信构造:形式化方法研究. 2017,28(5):0-0
   杜德慧,昝慧,姜凯强,程贝.一种面向CPS的自适应统计模型检测方法. 2017,28(5):0-0
   李晅松,陶先平,吕建,宋巍.面向动作的上下文感知应用的规约与运行时验证. 2017,28(5):0-0
   张雨,董云卫,冯文龙,黄梦醒.一种面向CPS的控制应用程序协同验证方法. 2017,28(5):0-0
   尚书,甘元科,石刚,王生原,董渊.可信编译器L2C的核心翻译步骤及其设计与实现. 2017,28(5):0-0
   文习明,余泉,常亮,王驹.不确定观测下离散事件系统的可诊断性. 2017,28(5):0-0
   翟娟,汤震浩,李彬,赵建华,李宣东.常用循环的摘要的自动生成方法及其应用. 2017,28(5):0-0
   常曦,薛建新,张卓,毛晓光.面向收敛的并发程序执行轨迹静态简化方法. 2017,28(5):0-0
   刘立,李国强.异步多进程时间自动机的可覆盖性问题. 2017,28(5):0-0
   王善侠,马明辉,陈武,邓辉文.正则模型类的时态可定义性. 2017,28(5):0-0
   刘涛,王淑灵,詹乃军.多机器人路径规划的安全性验证. 2017,28(5):0-0
   郭德贵,王冠成,吕帅,刘磊.peC语言的部分求值器及在编译器测试中的应用. 2017,28(5):0-0
   冯新宇,陈海波.程序设计语言与系统前沿专题前言. 2017,28(4):0-0
   何王全,刘勇,方燕飞,魏迪,漆锋滨.面向国产异构众核系统的Parallel C语言设计与实现. 2017,28(4):0-0
   张恒若,付明.基于Z3的Coq自动证明策略的设计和实现. 2017,28(4):0-0
   李彬,汤震浩,翟娟,赵建华.通过抽象程序证明复杂具体程序. 2017,28(4):0-0
   李登辉,赵家程,崔慧敏,冯晓兵.数据中心中DVFS对程序性能影响模型的设计. 2017,28(4):0-0
   蒋炎岩,许畅,马晓星,吕建.获取访存依赖:并发程序动态分析基础技术综述. 2017,28(4):0-0
   仝青,张铮,张为华,邬江兴.拟态防御web服务器设计与实现. 2017,28(4):0-0
   杨启哲,李国强.基于通讯Petri网的异步通讯程序验证模型. 2017,28(4):0-0
   王蕾,李丰,李炼,冯晓兵.污点分析技术的原理和实践应用. 2017,28(4):0-0
   李筱,周严,李孟宸,陈园军,XU Guoqing,王林章,李宣东.C/C++程序静态内存泄漏警报自动确认方法. 2017,28(4):0-0
   马帅,崔斌.大数据管理技术专刊前言. 2017,28(3):473-475
   刘光明,任艳,李川,杨宁,唐常杰.透析计算:面向OLGP的InfoNetCube高效物化. 2017,28(3):732-743
   宋杰,孙宗哲,毛克明,鲍玉斌,于戈.MapReduce大数据处理平台与算法研究进展. 2017,28(3):514-543
   房俊华,王晓桐,张蓉,周傲英.分布式数据流上的高性能分发策略. 2017,28(3):563-578
   陈晓旭,吴恒,吴悦文,陆志刚,张文博.基于最小费用最大流的大规模资源调度方法. 2017,28(3):598-610
   宋天舒,童咏昕,王立斌,许可.空间众包环境下的3类对象在线任务分配. 2017,28(3):611-630
   尚敬文,王朝坤,辛欣,应翔.基于深度稀疏自动编码器的社区发现算法. 2017,28(3):648-662
   李川,冯冰清,李艳梅,胡绍林,杨宁,唐常杰.动态信息网络中基于角色的结构演化与预测. 2017,28(3):663-675
   黄璐,林川杰,何军,刘红岩,杜小勇.融合主题模型和协同过滤的多样化移动应用推荐. 2017,28(3):708-720
   王嘉豪,蔡鹏,钱卫宁,周傲英.集群数据库系统的日志复制和故障恢复. 2017,28(3):476-489
   何龙,陈晋川,杜小勇.一种面向HDFS的多层索引技术. 2017,28(3):502-513
   肖文华,包卫东,朱晓敏,邵屹杨,陈超,Jianhong Wu.面向多源大数据云端处理的成本最小化方法. 2017,28(3):544-562
   陈婷,朱青,周梦溪,王珊.社交网络环境下基于信任的推荐算法. 2017,28(3):721-731
   沈尧,秦小麟,鲍芝峰.一种云环境中数据流的高效多目标调度方法. 2017,28(3):579-597
   黄发良,于戈,张继连,李超雄,元昌安,卢景丽.基于社交关系的微博主题情感挖掘. 2017,28(3):694-707
   张宇,张延松,陈红,王珊.面向MIC协处理器的OLAP外键连接算法. 2017,28(3):490-501
   乔少杰,韩楠,张凯峰,邹磊,王宏志,Louis Alberto GUTIERREZ.复杂网络大数据中重叠社区检测算法. 2017,28(3):631-647
   彭云,万常选,江腾蛟,刘德喜,刘喜平,廖国琼.基于语义约束LDA的商品特征和情感词提取. 2017,28(3):676-693
   李华,汪国平,雍俊海.面向高精度的快速三维建模——快速三维建模技术专刊前言. 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
   王瀚,刘重晋,付翔,封举富.基于学习的高分辨率掌纹细节点质量评价方法. 2014,25(9):2180-2186
   任磊,杜一,马帅,张小龙,戴国忠.大数据可视分析综述. 2014,25(9):1909-1936
   谢娟英,高红超.基于统计相关性与K-means的区分基因子集选择算法. 2014,25(9):2050-2075
   丁世飞,贾洪杰,史忠植.基于自适应Nyström采样的大数据谱聚类算法. 2014,25(9):2037-2049
   怀宝兴,宝腾飞,祝恒书,刘淇.一种基于概率主题模型的命名实体链接方法. 2014,25(9):2076-2087
   吴磊,张敏灵.基于类属属性的多标记学习算法. 2014,25(9):1992-2001
   徐菲菲,雷景生,毕忠勤,苗夺谦,杜海舟.大数据环境下多决策表的区间值全局近似约简. 2014,25(9):2119-2135
   韩乐,黎铭.基于代价敏感多标记学习的开源软件分类. 2014,25(9):1982-1991
   欧阳丹彤,瞿剑峰,叶育鑫.关系抽取中基于本体的远监督样本扩充. 2014,25(9):2088-2101
   王旭丛,李翠平,陈红.大数据下基于异步累积更新的高效P-Rank计算方法. 2014,25(9):2136-2148
   张宇,刘燕兵,熊刚,贾焰,刘萍,郭莉.图数据表示与压缩技术综述. 2014,25(9):1937-1952
   姜高霞,王文剑.时序数据曲线排齐的相关性分析方法. 2014,25(9):2002-2017
   何志芬,杨明,刘会东.多标记分类和标记相关性的联合学习. 2014,25(9):1967-1981
   邵言剑,陶卿,姜纪远,周柏.一种求解强凸优化问题的最优随机算法. 2014,25(9):2160-2171
   李嘉菲,周斌,刘大有,胡亮,王峰.海量信息融合方法及其在状态评价中的应用. 2014,25(9):2026-2036
   沈苏彬,林闯.专题前言:物联网研究的机遇与挑战. 2014,25(8):1621-1624
   肖融,陈文龙,孙波.面向IPv6物联子网的轻量级树型转发模型. 2014,25(8):1729-1742
   罗元剑,姜建国,王思叶,景翔,丁昶,张珠君,张艳芳.基于有限状态机的RFID流数据过滤与清理技术. 2014,25(8):1713-1728
   陈星,张伟,黄罡,李隘鹏,郭文忠,陈国龙.基于运行时模型的无线传感网管理方法. 2014,25(8):1696-1712
   毛燕琴,沈苏彬.物联网信息模型与能力分析. 2014,25(8):1685-1695
   王涛春,秦小麟,刘亮,丁有伟.无线传感器网络中安全高效的空间数据聚集算法. 2014,25(8):1671-1684
   谢开斌,陈海明,崔莉.物联网软件体系结构中的感执模型的求精. 2014,25(8):1659-1670
   魏强,金芝,许焱.基于概率主题模型的物联网服务发现. 2014,25(8):1640-1658
   田立勤,林闯,张琪,陈振国.物联网监测拓扑可靠性设计与优化分析. 2014,25(8):1625-1639
   臧斌宇.绿色数据中心专题前言. 2014,25(7):1369-1370
   罗亮,吴文峻,张飞.面向云计算数据中心的能耗建模方法. 2014,25(7):1371-1387
   陈晓华,李春芝,陈良育,曾振柄.主动休眠节点链路的高效节能虚拟网络映射. 2014,25(7):1416-1431
   李铭夫,毕经平,李忠诚.资源调度等待开销感知的虚拟机整合. 2014,25(7):1388-1402
   王肇国,易涵,张为华.基于机器学习特性的数据中心能耗优化方法. 2014,25(7):1432-1447
   贾刚勇,万健,李曦,蒋从锋,代栋.一种结合页分配和组调度的内存功耗优化方法. 2014,25(7):1403-1415
   窦晖,齐勇,王培健,张恺玉.一种最小化绿色数据中心电费的负载调度算法. 2014,25(7):1448-1458
   孟小峰,高宏.大数据专题前言. 2014,25(4):691-692
   何进荣,丁立新,李照奎,胡庆辉.基于边界判别投影的数据降维. 2014,25(4):826-838
   郭迟,刘经南,方媛,罗梦,崔竞松.位置大数据的价值提取与协同挖掘方法. 2014,25(4):713-730
   宋杰,郭朝鹏,王智,张一川,于戈,Jean-Marc PIERSON.大数据分析的分布式MOLAP技术. 2014,25(4):731-752
   朱阅岸,张延松,周烜,王珊.一个基于三元组存储的列式OLAP查询执行引擎. 2014,25(4):753-767
   李鸣鹏,高宏,邹兆年.基于图压缩的k可达查询处理. 2014,25(4):797-812
   崔颖安,李雪,王志晓,张德运.社会化媒体大数据多阶段整群抽样方法. 2014,25(4):781-796
   付艳艳,张敏,冯登国,陈开渠.基于节点分割的社交网络属性隐私保护. 2014,25(4):768-780
   慈祥,马友忠,孟小峰.一种云环境下的大数据Top-K查询方法. 2014,25(4):813-825
   王璐,孟小峰.位置大数据隐私保护研究综述. 2014,25(4):693-712
   李宣东,于戈.嵌入式系统软件设计方法与技术专刊前言. 2014,25(2):177-178
   石刚,王生原,董渊,嵇智源,甘元科,张玲波,张煜承,王蕾,杨斐.同步数据流语言可信编译器的构造. 2014,25(2):341-356
   赵会群,孙晶,张爆,王同林.嵌入式API测试套生成方法和技术. 2014,25(2):373-385
   尹玲,陈小红,刘静.信息物理融合系统的时间需求一致性分析. 2014,25(2):400-418
   荣国平,刘天宇,谢明娟,陈婕妤,张贺,陈道蓄.嵌入式系统开发中敏捷方法的应用研究综述. 2014,25(2):267-283
   张大林,金大海,宫云战,王前,董玉坤,张海龙.基于缺陷关联的静态分析优化. 2014,25(2):386-399
   章铁飞,陈天洲,吴剑钟.基于程序访存模式的低功耗存储技术. 2014,25(2):254-266
   范贵生,虞慧群,陈丽琼,刘冬梅.分布式嵌入式系统的自适应能耗管理和分析. 2014,25(2):419-438
   卜磊,解定宝.混成系统形式化验证. 2014,25(2):219-233
   谷传才,关楠,于金铭,王义,邓庆绪.多处理器混合关键性系统中的划分调度策略. 2014,25(2):284-297
   王博,白晓颖,贺飞,XiaoyuSONG.可组合嵌入式软件建模与验证技术研究综述. 2014,25(2):234-253
   董玉坤,金大海,宫云战,邢颖.基于区域内存模型的C程序静态分析. 2014,25(2):357-372
   朱晓瑞,陶先平,谢宏伟,吕建.一种面向无线传感网应用重编程的逻辑式编程语言. 2014,25(2):326-340
   黄志球,徐丙凤,阚双龙,胡军,陈哲.嵌入式机载软件安全性分析标准、方法及工具研究综述. 2014,25(2):200-218
   吕鸣松,关楠,王义.面向WCET估计的Cache分析研究综述. 2014,25(2):179-199
   张琦,王林章,张天,邵子立.一种优化的闪存地址映射方法. 2014,25(2):314-325
   孙景昊,邓庆绪,孟亚坤.GPU上两阶段负载调度问题的建模与近似算法. 2014,25(2):298-313
   高阳,陈松灿.统计学习研究与应用专刊前言. 2013,24(11):2473-2475
   张宏毅,王立威,陈瑜希.概率图模型研究进展综述. 2013,24(11):2476-2497
   曹莹,苗启广,刘家辰,高琳.具有Fisher一致性的代价敏感Boosting算法. 2013,24(11):2584-2596
   张抒,蔡勇,解梅.基于局部区域稀疏编码的人脸检测. 2013,24(11):2747-2757
   胡庆辉,丁立新,何进荣.Lp范数约束的多核半监督支持向量机学习方法. 2013,24(11):2522-2534
   赵家程,崔慧敏,冯晓兵.基于统计学习分析多核间性能干扰. 2013,24(11):2558-2570
   韩冰,杨辰,高新波.融合显著信息的LDA极光图像分类. 2013,24(11):2758-2766
   毛存礼,余正涛,吴则建,郭剑毅,线岩团.专家证据文档识别无向图模型. 2013,24(11):2734-2746
   陶卿,高乾坤,姜纪远,储德军.稀疏学习优化问题的求解综述. 2013,24(11):2498-2507
   孙光福,吴乐,刘淇,朱琛,陈恩红.基于时序行为的协同过滤推荐算法. 2013,24(11):2721-2733
   胡云,王崇骏,谢俊元,吴骏,周作建.社群演化的稳健迁移估计及演化离群点检测. 2013,24(11):2710-2720
   王李进,尹义龙,钟一文.逐维改进的布谷鸟搜索算法. 2013,24(11):2687-2698
   丁世飞,黄华娟,史忠植.加权光滑CHKS孪生支持向量机. 2013,24(11):2548-2557
   柴变芳,于剑,贾彩燕,王静红.一种基于随机块模型的快速广义社区发现算法. 2013,24(11):2699-2709
   万建武,杨明.一种引入成对代价的子类判别分析. 2013,24(11):2597-2609
   郭虎升,王文剑.动态粒度支持向量回归机. 2013,24(11):2535-2547
   钱煜,俞扬,周志华.一种基于自生成样本学习的奖赏塑形方法. 2013,24(11):2667-2675
   陈黎飞,郭躬德.属性加权的类属型数据非模聚类. 2013,24(11):2628-2641
   朱林,雷景生,毕忠勤,杨杰.一种基于数据流的软子空间聚类算法. 2013,24(11):2610-2627
   王星,方滨兴,张宏莉,何慧,赵蕾.关系分类的学习界限研究. 2013,24(11):2508-2521
   刘露,彭涛,左万利,戴耀康.一种基于聚类的PU主动文本分类方法. 2013,24(11):2571-2583
   傅启明,刘全,伏玉琛,周谊成,于俊.一种高斯过程的带参近似策略迭代算法. 2013,24(11):2676-2686
   黄运娟,李凡长.等谱流形学习算法. 2013,24(11):2656-2666
   邹朋成,王建东,杨国庆,张霞,王丽娜.辅助信息自动生成的时间序列距离度量学习. 2013,24(11):2642-2655
   刘大有.Agent 理论与技术专刊前言. 2012,23(11):2833-2834
   徐杨,李响,常宏,王月星.复杂网络特性对大规模多智能体协同控制的影响. 2012,23(11):2971-2986
   徐杨,张玉林,孙婷婷,苏艳芳.基于多智能体交通绿波效应分布式协同控制算法. 2012,23(11):2937-2945
   胡晓敏.无线传感器网络Agent 数据分流策略. 2012,23(11):2946-2954
   郑宇军,陈胜勇,凌海风,徐新黎.多Agent 主从粒子群分布式计算框架. 2012,23(11):3000-3008
   周从华,叶萌,王昌达,刘志锋.多智体系统中约简状态空间的限界模型检测算法. 2012,23(11):2835-2861
   童向荣,张伟,龙宇.Agent 主观信任的传递性. 2012,23(11):2862-2870
   马骏,陶先平,朱怀宏,吕建.多Agent系统的上下文感知增强. 2012,23(11):2905-2922
   杨博,刘际明,杨建宁,白媛,刘大有.基于自治计算的流行病传播网络建模与推断. 2012,23(11):2955-2970
   甘早斌,朱春喜,马尧,鲁宏伟.基于遗传算法的关联议题并发谈判. 2012,23(11):2987-2999
   胡翠云,毛新军,陈寅.基于组织的面向Agent 程序设计及其语言Oragent. 2012,23(11):2923-2936
   孙毓忠,臧斌宇.面向高效能的软件及其设计、分析与实现方法专刊前言. 2012,23(2):177-178
   张伟,宋莹,阮利,祝明发,肖利民.面向Internet 数据中心的资源管理. 2012,23(2):179-199
   刘啸滨,郭兵,沈艳,熊冰,王继禾,伍元胜,刘云本.嵌入式软件体系结构级能耗建模方法. 2012,23(2):230-239
   宋杰,李甜甜,闫振兴,那俊,朱志良.一种云计算环境下的能效模型和度量方法. 2012,23(2):200-214
   谭一鸣,曾国荪,王伟.随机任务在云计算平台中能耗的优化管理方法. 2012,23(2):266-278
   刘晨,陆佳亮,孔令和,吴凤刚,吴强,伍民友.基于软件的无线网绿色代理系统. 2012,23(2):215-229
   曹仰杰,钱德沛,伍卫国,董小社.众核处理器系统核资源动态分组的自适应调度算法. 2012,23(2):240-252
   张伟哲,张宏莉,许笑,何慧.分布式搜索引擎系统效能建模与评价. 2012,23(2):253-265
   ****王戟,李宣东.形式化方法与工具专刊前言. 2011,22(6):1121-1122
   谭国真,孙景昊,王宝财,姚卫红.时变网络中国邮路问题的时间自动机模型. 2011,22(6):1267-1280
   范贵生,虞慧群,陈丽琼,刘冬梅.策略驱动的可靠嵌入式系统建模及分析方法. 2011,22(6):1123-1139
   李倩,汤恩义,戴雪峰,王林章,赵建华.Java 指针指向分析优化. 2011,22(6):1140-1154
   许庆国,缪淮扣,曹晓夏,胡晓波.Object-Z 规格说明测试用例的自动生成器. 2011,22(6):1155-1168
   魏欧,袁泳,蔡昕烨,黄志球,徐丙凤.循环对称化简及在三值模型上的扩展. 2011,22(6):1169-1184
   柳溪,杨璐,潘敏学,王林章.场景驱动的服务行为调控. 2011,22(6):1185-1198
   潘理,丁志军,郭观七.混合语义时间Petri 网模型. 2011,22(6):1199-1209
   徐洪珍,曾国荪,陈波.软件体系结构动态演化的条件超图文法及分析. 2011,22(6):1210-1223
   张献,董威,齐治昌.基于AOP 的运行时验证中的冲突检测. 2011,22(6):1224-1235
   桂盛霖,罗蕾,李允,于淼,徐建华.基于自动机理论的分布式实时调度分析工具. 2011,22(6):1236-1251
   董云卫,王广仁,张凡,高磊.AADL 模型可靠性分析评估工具. 2011,22(6):1252-1266
   ****王怀民,徐洁.可信软件的构造与演化分析专刊前言. 2010,21(2):177-178
   董渊,任恺,王生原,张素琴.字节码虚拟机的构造和验证. 2010,21(2):305-317
   王竹晓,杨鲲,史忠植.基于动态描述逻辑的网构软件系统故障诊断. 2010,21(2):248-260
   柳毅,麻志毅,何啸,邵维忠.一种从UML模型到可靠性分析模型的转换方法. 2010,21(2):287-304
   潘静,徐锋,吕建.面向可信服务选取的基于声誉的推荐者发现方法. 2010,21(2):388-400
   范贵生,虞慧群,陈丽琼,刘冬梅.基于Petri网的服务组合故障诊断与处理. 2010,21(2):231-247
   古亮,郭耀,王华,邹艳珍,谢冰,邵维忠.基于TPM的运行时软件可信证据收集机制. 2010,21(2):373-387
   张胜,钱柱中,陆桑璐.一种面向服务的可靠多媒体传输算法. 2010,21(2):277-286
   慈轶为,张展,左德承,吴智博,杨孝宗.可扩展的多周期检查点设置. 2010,21(2):218-230
   蔡斯博,邹艳珍,邵凌霜,谢冰,邵维忠.一种支持软件资源可信评估的框架. 2010,21(2):359-372
   卢锡城,李根,卢凯,张英.面向高可信软件的整数溢出错误的自动化测试. 2010,21(2):179-193
   王慧强,吕宏武,赵倩,董玺坤,冯光升.一种关键任务系统自律可信性模型与量化分析. 2010,21(2):344-358
   梁红瑾,张昱,陈意云,李兆鹏,华保健.处理指针相等关系不确定的指针逻辑. 2010,21(2):334-343
   肖庆,宫云战,杨朝红,金大海,王雅文.一种路径敏感的静态缺陷检测方法. 2010,21(2):209-217
   王伟,张文博,魏峻,钟华,黄涛.一种资源敏感的Web应用性能诊断方法. 2010,21(2):194-208
   赵常智,董威,隋平,齐治昌.面向参数化LTL的预测监控器构造技术. 2010,21(2):318-333
   曾晋,孙海龙,刘旭东,邓婷,怀进鹏.基于服务组合的可信软件动态演化机制. 2010,21(2):261-276
   ****田捷,白净,包尚联.医学影像处理与分析专刊前言. 2009,20(5):1087-1088
   龚绍润,高峰,刘泓.X射线同轴相衬成像原理数值模拟及实验初探. 2009,20(5):1156-1165
   税午阳,周明全,耿国华.磁共振颅脑图像的脑组织自动获取方法. 2009,20(5):1139-1145
   靳露冬,吴艳,王卫卫,任努努,黄鹤羽,陈雪利,韩润强.基于非截断小波有限元的BLT正向问题研究. 2009,20(5):1194-1206
   宋小磊,胡刚,姚俊杰,白净.荧光断层成像中圆柱仿体的三维重建. 2009,20(5):1089-1095
   王元全,贾云得.一种心脏核磁共振图像左室壁内、外膜分割方法. 2009,20(5):1176-1184
   赵小杰,龙志颖,郭小娟,姚力.阿尔茨海默氏症研究中的磁共振成像数据分析. 2009,20(5):1123-1138
   王慧亮,黄斐增,包尚联.基于统一结构的并行混合放疗计划优化策略. 2009,20(5):1116-1122
   段侪杰,马竟锋,张艺宝,侯凯,包尚联.能量传导模型及在医学图像分割中的应用. 2009,20(5):1106-1115
   潘琪,罗笑南,朱继武.基于学习的局部几何相似性的医学图像放大. 2009,20(5):1146-1155
   郑晗,陈自宽,康雁,刘积仁.一种Grangeat圆轨迹锥束CT重建阴影区域填充方法. 2009,20(5):1166-1175
   郑有志,覃征.基于二维经验模态分解的医学图像融合算法. 2009,20(5):1096-1105
   王斌,高新波.基于水平集接力的图像自动分割方法. 2009,20(5):1185-1193
   张毅,刘鹏,田捷,秦伟,梁继民.针刺效应的神经影像学研究. 2009,20(5):1207-1215
   刘凯,田捷,杨薇,秦承虎,徐敏,刘丹.Monte Carlo方法在扩散光学成像仿真中的应用. 2009,20(5):1216-1225
   吴 飞,刘亚楠,庄越挺.基于张量表示的直推式多模态视频语义概念检测. 2008,19(11):2853-2868
   陈锦秀,姬东鸿.基于图的半监督关系抽取. 2008,19(11):2843-2852
   韦 佳,彭 宏.基于局部与全局保持的半监督维数约减方法. 2008,19(11):2833-2842
   彭 岩,张道强.半监督典型相关分析算法. 2008,19(11):2822-2832
   高 滢,刘大有,齐 红,刘 赫.一种半监督K均值多关系数据聚类算法. 2008,19(11):2814-2821
   肖 宇,于 剑.基于近邻传播算法的半监督聚类. 2008,19(11):2803-2813
   尹学松,胡恩良,陈松灿.基于成对约束的判别型半监督聚类分析. 2008,19(11):2791-2802
   ****周志华.半监督学习专刊前言. 2008,19(11):2789-2790
   朱良峰,潘 信,吴信才,刘修国.地质断层三维可视化模型的构建方法与实现技术. 2008,19(8):2004-2017
   肖 俊,庄越挺,吴 飞.三维人体运动特征可视化与交互式运动分割. 2008,19(8):1995-2003
   杨育彬,李宁,张瑶.基于社会网络可视化分析的数据挖掘. 2008,19(8):1980-1994
   钱 宇.数据聚类中基于浓度噪音消除的可视化参数选择方法. 2008,19(8):1965-1979
   任 磊,王威信,周明骏,滕东兴,马翠霞,戴国忠,王宏安.一种模型驱动的交互式信息可视化开发方法. 2008,19(8):1947-1964
   黄茂林,NGUYEN Quang Vinh.用多层次聚类法完成的大规模关系图的可视化. 2008,19(8):1933-1946
   全 武,黄茂林.一种用于Marching-Graph图形绘制的快速收敛布局算法. 2008,19(8):1920-1932
   孔 骏,赵春颖.可视化语言技术在软件开发中的应用. 2008,19(8):1902-1919
   曾晓勤,韩秀清,邹 阳.一种基于边的上下文相关图文法形式化框架. 2008,19(8):1893-1901
   马晓星,曹 春,余 萍,周 宇.基于图文法的动态软件体系结构支撑环境. 2008,19(8):1881-1892
   何 啸,麻志毅,邵维忠.一种面向图形化建模语言表示法的元模型. 2008,19(8):1867-1880
   ****张康,吕建.软件可视化和信息可视化专刊前言. 2008,19(8):1865-1866
   张 仕,黄林鹏.基于OSGi的服务动态演化. 2008,19(5):1201-1211
   胡 军,黄志球,曹 东,徐丙凤.网构软件的资源自适应性的形式化分析与验证. 2008,19(5):1186-1200
   吴国全,魏 峻,黄 涛.基于非确定性推理的网构软件服务质量动态评估方法. 2008,19(5):1173-1185
   滕 腾,黄 罡,陈兴润,梅 宏.网构软件数据语用的一种动态支撑方法. 2008,19(5):1160-1172
   曾红卫,缪淮扣.构件组合的抽象精化验证. 2008,19(5):1149-1159
   陈 鑫.一种基于构件演算的主动构件精化方法. 2008,19(5):1134-1148
   王 宇,王志坚.志愿计算模型形式化方法. 2008,19(5):1125-1133
   常志明,毛新军,齐治昌.基于Agent的网构软件构件模型及其实现. 2008,19(5):1113-1124
   周 立,陈湘萍,黄 罡,孙艳春,梅 宏.支持协商的网构软件体系结构行为建模与验证. 2008,19(5):1099-1112
   郑丽伟,金 芝.需求驱动的主动网构实体聚合. 2008,19(5):1083-1098
   ****何积丰,李宣东.Internet环境下基于构件的软件理论与方法专刊前言. 2008,19(5):1081-1082
   宋 杰,王大玲,鲍玉斌,申德荣.基于页面Block的Web档案采集和存储. 2008,19(2):275-290
   马 军,宋 玲,韩晓晖,闫 泼.基于网页上下文的Deep Web数据库分类. 2008,19(2):267-274
   徐和祥,王鑫印,王述云,胡运发.基于知识的Deep Web集成环境变化处理的研究. 2008,19(2):257-266
   王 辉,刘艳威,左万利.使用分类器自动发现特定领域的深度网入口. 2008,19(2):246-256
   袁 柳,李战怀,陈世亮.基于本体的Deep Web数据标注. 2008,19(2):237-245
   凌妍妍,孟小峰,刘 伟.基于属性相关度的Web数据库大小估算方法. 2008,19(2):224-236
   杨少华,林海略,韩燕波.针对模板生成网页的一种数据自动抽取方法. 2008,19(2):209-223
   寇 月,申德荣,李 冬,聂铁铮.一种基于语义及统计分析的Deep Web实体识别机制. 2008,19(2):194-208
   刘 伟,孟小峰,凌妍妍.一种基于图模型的Web数据库采样方法. 2008,19(2):179-193
   ****孟小峰,于戈.Deep Web数据集成专刊前言. 2008,19(2):177-178
   卢暾.基于可生存性规范的软件构件系统恢复的建模与推理. 2007,18(12):3031-3047
   张广胜,蒋昌俊,汤宪飞,徐岩.面向服务的企业应用集成系统描述与验证. 2007,18(12):3015-3030
   邓水光,李莹,吴健,邝砾,吴朝晖.Web服务行为兼容性的判定与计算. 2007,18(12):3001-3014
   汤宪飞,蒋昌俊,丁志军,王成.基于Petri网的语义Web服务自动组合方法. 2007,18(12):2991-3000
   雷丽晖,段振华.一种基于扩展有限自动机验证组合Web服务的方法. 2007,18(12):2980-2990
   李扬,怀进鹏,郭慧鹏,杜宗霞.一个基于服务层叠网的分层服务组合框架. 2007,18(12):2967-2979
   ****何积丰,金芝,李宣东.面向服务的计算专刊前言. 2007,18(12):2965-2966
   金海,孙傲冰,郑然,何儒汉,章勤,吴松.医学图像网格基于语义的信息集成方法. 2007,18(8):2049-2062
   周宇,马晓星,曹建农,余萍,吕建.普适环境下基于软件代理虚拟化的应用迁移. 2007,18(8):2038-2048
   张伟哲,田志宏,张宏莉,何慧,刘文懋.虚拟计算环境中的多机群协同调度算法. 2007,18(8):2027-2037
   怀进鹏,李沁,胡春明.基于虚拟机的虚拟计算环境研究与设计. 2007,18(8):2016-2026
   翟征德,冯登国,徐震.细粒度的基于信任度的可控委托授权模型. 2007,18(8):2002-2015
   姚远哲,方滨兴,刘欣然,张鸿,陈瓅,石凌.R-Net监测系统侵扰的自主控制机制、算法与策略. 2007,18(8):1987-2001
   唐扬斌,王怀民,常俊胜.自组织虚拟计算环境中的组信誉机制. 2007,18(8):1968-1986
   刘伟,蔡嘉勇,贺也平.一种基于信任度的自组安全互操作方法. 2007,18(8):1958-1967
   胡昊,殷琴,吕建.虚拟计算环境中服务行为与质量的一致性. 2007,18(8):1943-1957
   张一鸣,李东升,卢锡城.虚拟计算环境中的可扩展分布式资源信息服务. 2007,18(8):1933-1942
   刘志忠,王怀民,周斌.一种双层P2P结构的语义服务发现模型. 2007,18(8):1922-1932
   邝砾,邓水光,李莹,吴健,吴朝晖.使用倒排索引优化面向组合的语义服务发现. 2007,18(8):1911-1921
   邓水光,吴健,李莹,吴朝晖.基于回溯树的Web服务自动组合. 2007,18(8):1896-1910
   刘譞哲,黄罡,梅宏.用户驱动的服务聚合方法及其支撑框架. 2007,18(8):1883-1895
   胡春华,吴敏,刘国平,徐德智.一种基于业务生成图的Web服务工作流构造方法. 2007,18(8):1870-1882
   褚瑞,卢锡城,肖侬.一种基于聚类的虚拟计算环境资源聚合方法. 2007,18(8):1858-1869
   ****卢锡城,怀进鹏.面向互联网资源共享的虚拟计算环境专刊前言. 2007,18(8):1855-1857
   张文哲,李明禄,伍民友.一种基于局部Voronoi图的目标穿越算法. 2007,18(5):1246-1253
   温蜜,陈克非,郑燕飞,李晖.传感器网络中一种可靠的对密钥更新方案. 2007,18(5):1232-1245
   高建良,徐勇军,李晓维.基于加权中值的分布式传感器网络故障检测. 2007,18(5):1208-1217
   朱敬华,高宏.无线传感器网络中能源高效的任务分配算法. 2007,18(5):1198-1207
   赵志滨,于戈,李斌阳,姚兰,杨晓春.一种无线传感器网络中的多维K-NN查询优化算法. 2007,18(5):1186-1197
   李贵林,高宏.传感器网络中基于环的负载平衡数据存储方法. 2007,18(5):1173-1185
   吴绍华,张乃通.基于UWB的无线传感器网络中的两步TOA估计法. 2007,18(5):1164-1172
   陶丹,马华东,刘亮.基于虚拟势场的有向传感器网络覆盖增强算法. 2007,18(5):1152-1163
   朱红松,孙利民,徐勇军,李晓维.基于精细化梯度的无线传感器网络汇聚机制及分析. 2007,18(5):1138-1151
   李燕君,王智,孙优贤.资源受限的无线传感器网络基于衰减信道的决策融合. 2007,18(5):1130-1137
   周新运,孙利民,皇甫伟,牛建伟.无线多媒体传感器网络中一种自适应的报头压缩机制. 2007,18(5):1122-1129
   张重庆,李明禄,伍民友.数据收集传感器网络的负载平衡网络构建方法. 2007,18(5):1110-1121
   刘明,曹建农,陈贵海,陈力军,王晓敏,龚海刚.EADEEG:能量感知的无线传感器网络数据收集协议. 2007,18(5):1092-1109
   ****李建中.无线传感器网络专刊前言. 2007,18(5):1077-1079
   魏宇欣,武穆清.智能网格入侵检测系统. 2006,17(11):2384-2394
   李志洁,程春田,黄飞雪,李欣.一种基于序贯博弈的网格资源分配策略. 2006,17(11):2373-2383
   董剑,左德承,刘宏伟,杨孝宗.一种基于QoS的自适应网格失效检测器. 2006,17(11):2362-2372
   王勇,胡春明,杜宗霞.服务质量感知的网格工作流调度. 2006,17(11):2341-2351
   郭勇,邓波,衣双辉.面向服务的网格软件测试环境. 2006,17(11):2335-2340
   郭得科,任彦,陈洪辉,薛群威,罗雪山.一种QoS有保障的Web服务分布式发现模型. 2006,17(11):2324-2334
   袁平鹏,曹文治,邝坪.一种基于Cache的网格任务反馈调度方法. 2006,17(11):2314-2323
   申德荣,于戈,聂铁铮,寇月.支持多领域动态数据集成的数据库网格系统. 2006,17(11):2302-2313
   杜晓丽,蒋昌俊,徐国荣,丁志军.一种基于模糊聚类的网格DAG任务图调度算法. 2006,17(11):2277-2288
   伍之昂,罗军舟,宋爱波.基于QoS的网格资源管理. 2006,17(11):2264-2276
   陈磊,韩颖,李三立.信息网格中基于本体的Web服务动态集成和重构. 2006,17(11):2255-2263
   张煜,林莉,怀进鹏,李先贤,钟亮.网格环境中信任-激励相容的资源分配机制. 2006,17(11):2245-2254
   褚瑞,卢锡城,肖侬.一种内存网格的数据预取算法. 2006,17(11):2234-2244
   陈小武,潘章晟,赵沁平.网格环境中模式复用的异构数据库访问和集成方法. 2006,17(11):2224-2233
   ****金海,郑纬民.网格计算专刊前言. 2006,17(11):2221-2223
   陈振邦,王戟,董威,齐治昌.面向服务软件体系结构的接口模型. 2006,17(6):1459-1469
   胡春明,怀进鹏,沃天宇,雷磊.一种支持端到端QoS的服务网格体系结构. 2006,17(6):1448-1458
   陈磊,李三立.网格数据复本管理的动态自适应软件体系结构. 2006,17(6):1436-1447
   王学斌,王怀民,吴泉源,史殿习.一种模型转换的编织框架. 2006,17(6):1423-1435
   刘静,何积丰,缪淮扣.模型驱动架构中模型构造与集成策略. 2006,17(6):1411-1422
   李海波,战德臣,徐晓飞.基于工作流引擎的构件组装体系结构. 2006,17(6):1401-1410
   杨杰,黄罡,陈湘萍,梅宏,张成志.软件体系结构模型单层化的一致性保障方法. 2006,17(6):1391-1400
   张文博,陈宁江,魏峻,黄涛.QoS获益驱动的中间件调度框架研究. 2006,17(6):1381-1390
   李刚,赵卓峰,韩燕波,梁英.基于CAFISE Framework的高适应性面向服务软件开发. 2006,17(6):1372-1380
   余萍,马晓星,吕建,陶先平.一种面向动态软件体系结构的在线演化方法. 2006,17(6):1360-1371
   李长云,李赣生,何频捷.一种形式化的动态体系结构描述语言. 2006,17(6):1349-1359
   黄双喜,范玉顺,赵彧.一类通用的适应性软件体系结构风格研究. 2006,17(6):1338-1348
   张勇,黄涛,魏峻,陈宁江.基于容器中间件的组件系统体系结构性能评价. 2006,17(6):1328-1337
   徐鹏,杨放春.建模样式:一种评估软件体系结构非功能属性的方法. 2006,17(6):1318-1327
   彭鑫,赵文耘,刘奕明.基于特征模型和构件语义的概念体系结构设计. 2006,17(6):1307-1317
   熊惠民,应时,虞莉娟,张韬.基于反射的连接器组合重用方法. 2006,17(6):1298-1306
   楚旺,钱德沛.以体系结构为中心的构件模型的形式化语义. 2006,17(6):1287-1297
   胡海洋,吕建,马晓星,陶先平.面向对象范型体系结构中构件行为相容性研究. 2006,17(6):1276-1286
   梅宏,申峻嵘.软件体系结构研究进展. 2006,17(6):1257-1275
   ****梅宏,吕建.软件体系结构专刊前言. 2006,17(6):1255-1256

                                                                       

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