杂志简介：《软件学报》杂志经新闻出版总署批准，自1990年创刊，国内刊号为11-2560/TP，是一本综合性较强的计算机期刊。该刊是一份月刊，致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目：理论计算机科学、系统软件与软件工程、模式识别与人工智能、数据库技术、计算机网络与信息安全、计算机体系结构
杂志简介：《软件学报》杂志经新闻出版总署批准，自1990年创刊，国内刊号为11-2560/TP，是一本综合性较强的计算机期刊。该刊是一份月刊，致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目：理论计算机科学、系统软件与软件工程、模式识别与人工智能、数据库技术、计算机网络与信息安全、计算机体系结构
作者：陈林 徐宝文 钱巨 周天琳 周毓明 刊期：2009年第10期
重构泛型实例有利于提高软件的复用性和类型安全，但现有重构方法的时间复杂度较高，不适用于即时持续的重构．分析了变量类型传播分析方法在重构中的不足，提出了一种改进的泛型变量类型传播分析方法．该方法通过引入一种可以描述复杂参数化类型关系的泛型类型传播图，以复制节点的方式实现泛型变量属性敏感的类型分析，并通过解决别名问题来提...
作者：王健 孙建伶 王新宇 杨小虎 王申康 陈俊波 刊期：2009年第10期
针对基于主副版本容错的多处理机中独立的、抢占性的硬实时任务，提出了一种高效的调度算法——TPFTRM（task partition based fault tolerant rate-monotonic）算法．该算法将单机实时RM算法扩展到容错多处理机上，并且调度过程中从不使用主动执行的任务副版本，而仅使用被动执行和主副重叠方式执行的任务副版本，从而最大限度地利用副版本重叠...
作者：张震宇 陈荣光 谢俊谦 胡佩锋 刊期：2009年第10期
在软件测试中，测试预言是一种用于检查程序在测试中是否正常运行的机制．然而在某些实际情况下，还无法制定测试预言或者难以有效地应用测试预言．针对此类测试预言问题，蜕变测试于近年应运而生，但蜕变测试的效率问题还没有被充分地加以研究．作者用控制实验的方法研究了使用蜕变测试的成本及效率，进而将蜕变测试和常用的断言检查两种方法的...
作者：刘栋 孟祥武 陈俊亮 夏亚梅 刊期：2009年第10期
针对现有上下文感知系统中的规则主要依靠开发者或用户手工定义的问题，提出了一种基于粗糙集理论的自动规则生成方法．该方法将上下文感知系统视为一种决策信息系统，并利用可辨识矩阵对上下文信息加以约简，进而自动生成规则．由于可供使用的数据有限，所生成的规则无法完全覆盖上下文的取值范围，因此可能出现找不到与上下文状态相匹配规则的...
作者：李国徽 杜小坤 胡方晓 杨兵 唐向红 刊期：2009年第10期
模式匹配是模式集成、数据仓库、电子商务以及语义查询等领域中的一个基础问题，近来已经成为研究的热点，并取得了丰硕的成果．这些成果主要利用元素（典型的为关系模式中的属性）自身的信息来挖掘元素语义，目前，这方面的研究已经相当成熟．结构信息作为模式中一种重要的信息，能够为提高模式匹配的精确性提供有用的支持，但是目前关于如何利...
作者：杨跃东 郝爱民 褚庆军 赵沁平 王莉莉 刊期：2009年第10期
针对视角无关的动作识别，提出加权字典向量描述方法和动作图识别模型．将视频中的局部兴趣点特征和全局形状描述有机结合，形成加权字典向量的描述方法，该方法既具有兴趣点抗噪声强的优点，又可克服兴趣点无法识别静态动作的缺点片艮据运动捕获、点云等三维运动数据构建能量曲线，提取关键姿势，生成基本运动单元，并通过自连接、向前连接和向...
作者：徐鹏 林森 刊期：2009年第10期
近年来，利用机器学习方法处理流量分类问题成为网络测量领域一个新兴的研究方向．在现有研究中，朴素贝叶斯方法及其改进算法以其实现简单、分类高效的特点而被广泛应用．但此类方法过分依赖于样本在样本空间的分布，具有潜在的不稳定性．为此，引入C4．5决策树方法来处理流量分类问题．该方法利用训练练数据集中的信息熵来构建分类模型，并通...
作者：余磊 李建中 骆吉洲 刊期：2009年第10期
分簇的层次型拓扑控制方式在无线传感器网络中得到广泛研究和应用．然而，由于传感器网络本身所具有的开放性和资源有限的特点，攻击者可以很容易对成簇协议实施有效的误用和破坏．因此，保证成簇协议安全性是其实际广泛应用的基本前提．针对成簇协议所面临的各种安全威胁，提出了一种分布式安全成簇协议，通过网络安全初始化、可信基站的随机数...
作者：张信明 刘琼 代仕芳 刘永振 刊期：2009年第10期
干扰严重影响移动Adhoc网络的网络吞吐量、能量消耗、网络寿命等性能．在已有基于邻居数目和分布位置的干扰模型基础上，进一步考虑各邻居上的通信量情况，提出通信量干扰模型．并在该干扰模型的基础上，提出一个通信量相关干扰感知路由TIR（traffic load-based interference-aware routing）协议．TIR通过在源节点和目的节点之间选择干扰最小的...
作者：宋超 刘明 龚海刚 陈贵海 王晓敏 刊期：2009年第10期
基于多跳的无线传感器网络，越靠近sink的传感器节点因需要转发更多的数据，其能量消耗就越快，从而在sink周围形成了一种称为“能量洞”的现象．“能量洞”问题会导致整个网络由于内部节点能量过旱耗尽而结束寿命，同时，网络中离sink较远的节点仍有大量能量剩余．研究“能量洞”现象，基于改进的分级环模型，总结出调节各环内节点的数据传输距...
作者：张衡阳 王玲 刘云辉 蔡宣平 刊期：2009年第10期
针对无线传感器网络贪婪地理路由协议中的路由空洞问题，提出一种高效的基于路标迭代提取和剔除的自适应空洞处理算法．该算法中，当探测包贪婪转发遇到空洞时，在网络拓扑局部平面化的基础上，以左（右）手法则提取空洞边界并沿其逆（顺）时针周边模式双向转发，同时，分布式地进行路标的迭代提取和剔除，直到获取的路标使得后续的数据包依次以...
作者：尹洋 刘振军 许鲁 刊期：2009年第10期
随着计算规模越来越大，网络存储系统应用领域越来越广泛，对网络存储系统I／O性能要求也越来越高．在存储系统高负载的情况下，采用低速介质在客户机和网络存储系统的I／O路径上作为数据缓存也变得具有实际的意义．设计并实现了一种基于磁盘介质的存储系统块一级的缓存原型D—Cache．采用两级结构对磁盘缓存进行管理，并提出了相应的基于块一级...
作者：陈志刚 杨博 刊期：2009年第10期
网格计算是当前一个重要的研究领域，其中任务调度是一个基本组成部分，其性能直接影响到网格服务质量．为了缩短任务调度完成时间，提高任务调度性能，提出了一种网格资源多维性能聚类任务调度算法MPCGSR（task scheduling algorithm based on multidimensional performance clustering of grid service resources）．该算法根据网格环境下服务...
作者：王小峰 苏金树 张强 张一鸣 刊期：2009年第10期
现有信任协商语言对复杂的访问控制策略和协商策略以及信任分布式证明方法的支持都不够全面．在RT（role—based trust—management）语言基础上提出一种面向信任分布式证明和协商的策略语言RTP（role-based trust proving），其特点是能够支持信任分布式证明方法，可以定义复杂角色，保护信任证敏感信息并能避免信任证盲目搜索．给出了RTP语言...
作者：杜治高 钱德沛 刘轶 刊期：2009年第10期
地址用来标识节点，使能网络通信协议，在无线传感器网络中扮演重要角色．由于无线传感器网络中节点众多，再考虑其网络动态性，手动地为每个节点分配地址是一件繁琐甚至无法完成的工作，于是，地址分配协议成为必需．由于无线传感器网络自身所具有的特点，传统的DHCP协议和adhoc网络的地址分配协议对其不再适用．分析了无线传感器网络地址分配...
影响因子：0.16
期刊级别：省级期刊
发行周期：双月刊
影响因子：1.2
期刊级别：省级期刊
发行周期：半月刊
影响因子：1.75
期刊级别：北大期刊
发行周期：月刊
影响因子：1.26
期刊级别：部级期刊
发行周期：月刊
影响因子：0.37
期刊级别：省级期刊
发行周期：月刊
影响因子：1.71
期刊级别：统计源期刊
发行周期：半月刊
影响因子：--
期刊级别：部级期刊
发行周期：月刊
影响因子：0.62
期刊级别：北大期刊
发行周期：双月刊
影响因子：0.95
期刊级别：北大期刊
发行周期：月刊
影响因子：0.3
期刊级别：省级期刊
发行周期：月刊
影响因子：0.68
期刊级别：省级期刊
发行周期：月刊
影响因子：2.24
期刊级别：北大期刊
发行周期：月刊