软件学报期刊
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
文章浏览
目录
  • 作者: 李阳阳 焦李成
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2063-2069
    摘要: BSMA(bounded shortest multicast algorithm)被认为是最好的受限多播路由算法;然而,过长的计算时间限制了其应用.作为一种全局优化算法,遗传算法(GA)被...
  • 作者: 王建新 谢民主 陈建二
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2070-2082
    摘要: 个体单体型MSR(minimum SNP removal)问题是指如何利用个体的基因测序片断数据去掉最少的SNP(single-nucleotide polymorphisms)位点,以确定...
  • 作者: 张德富 陈火旺 陈青山 魏丽军
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2083-2089
    摘要: 通过组合拟人启发式和模拟退火算法,提出了三维装箱问题的组合启发式算法.拟人启发式算法的主要思想来源于日常砌墙中的策略.利用找点法以及水平和垂直参考线规则来控制装填过程.用模拟退火算法改进拟人...
  • 作者: 张强锋 徐云 车皓阳 陈国良
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2090-2099
    摘要: 研究了在门德尔遗传定理和哈代-维恩伯格平衡假设下,三元家庭基因型数据的单体分型和单体型频率估计问题.过去的研究仅仅关注个体间没有联系或者含有一般家系信息的基因型数据,而对这种特殊的三元家庭关...
  • 作者: 张彩霞 胡占义
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2100-2104
    摘要: 一般情况下,P3P问题可能出现1,2,3或4个解.但是,若3个控制点和摄像机光心这4点共圆,则会出现无穷多组解.利用"蒙特卡洛"方法模拟出P3P问题分别出现1,2,3,4个解的概率为0.99...
  • 作者: 杨学军 王之元 高珑
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2105-2116
    摘要: 传统的容错编译通常复制所有的计算并且使用完全冗余的存储单元来保证容错.这种完全冗余在存储空间和性能上的开销都是相当大的.在错误流分析的基础上提出错误流图的关键子图的概念以及通过关键结点和关键...
  • 作者: 官荷卿 胡剑军 魏峻 黄涛
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2117-2129
    摘要: 高动态的计算环境使得QoS(quality of service)保障对于基于组件的分布式系统越来越重要,软件系统需要具备自我调整的能力以适应外部环境的变化.给出一种自适应的中间件配置框架,...
  • 作者: 易晓东 杨学军 王戟
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2130-2140
    摘要: 提出了一种基于Assume-Guarantee搜索复用的验证方法,对C程序源代码进行验证.其思想是,在程序的每点处都引入一个保守假设条件,并假设从任意点出发,变量取值满足该点假设条件的所有执...
  • 作者: 李明树 袁峰
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2141-2152
    摘要: SPEM(software process engineering metamodel)是国际标准化组织制定的标准元模型,正日益成为软件过程建模领域的行业标准,但在过程执行方面,SPEM还存...
  • 作者: 王远 范玉顺
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2153-2161
    摘要: 为了解决工作流时间建模与时序一致性验证问题,以时序逻辑和模型检查为基础,提出了一种工作流时间建模与时序一致性验证方法.该方法用一阶逻辑描述工作流模型及其时间信息,用时序逻辑描述工作流的时序约...
  • 作者: 戴国忠 敖翔 王宏安 王绪刚
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2162-2173
    摘要: 在基于识别的界面中,用户的满意度不但由识别准确度决定,而且还受识别错误的纠正过程的影响.提出一种基于多通道融合的连续手写笔迹识别错误的纠正方法.该方法允许用户通过口述书写内容纠正手写识别中的...
  • 作者: 曲开社 李德玉 梁吉业 翟岩慧
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2174-2182
    摘要: 侧重于建立形式概念分析与粗糙集之间融合的理论基础.利用形式概念分析中名义梯级背景(nominal scale)的概念,对信息系统进行平面梯级(plain scaling)得到了衍生的形式背景...
  • 作者: 史有群 吕俊怀 郝国生 郭广颂 黄永青
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2183-2193
    摘要: 噪声是影响进化计算(evolutionary computation,简称EC)算法性能的一个重要因素.对于传统EC中的噪声,已有许多研究成果,但交互式进化计算(interactive ev...
  • 作者: 朱晓静 章隆兵 胡伟武 马可
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2194-2204
    摘要: 针对片上网络(network on chip,简称NoC)的节点数量少、距离近、物理实现复杂度受到限制的特点,提出了一种新的Xmesh拓扑结构,并为该结构提出了XM路由算法.该结构在经典的m...
  • 作者: 吴鲲 徐恪 王青青
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2205-2215
    摘要: 可扩展路由器控制平面节点间通信的瓶颈问题是制约软件体系结构大规模扩展的关键因素.针对此问题,在传统的软件体系结构的支撑模型中引入了传输适配子层的结构,上行的数据流经特征抽取与已注册的任务进行...
  • 作者: 代亚非 肖明忠 邱志欢
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2216-2225
    摘要: 受资源类型多样化、搜索复杂度的制约,现有的P2P文件共享系统中的搜索机制是基于文件名的关键字匹配,这种方法不能发现关键字与资源内容之间的深层关系,因此不能实现语义检索.针对这个问题,提出一种...
  • 作者: 冯国富 张金城 陆桑璐 陈道蓄 顾庆
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2226-2234
    摘要: 无结构P2P覆盖网络并非规则网络,也非纯粹的随机网络,结点在拓扑结构中体现出非对等性,在接收查询消息的数量上具有非均衡性.研究了结点连接度分布、数据流行程度与搜索成功率之间的关系,并针对数据...
  • 作者: 廖明宏 石高涛
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2235-2244
    摘要: 数据收集是无线传感器网络的一个基本功能.然而,现有的数据收集模式大都是基于静止基站的网络结构,导致基站周围的节点由于担负着网络内的所有负载而快速死亡,成为网络性能的瓶颈.研究如何利用移动基站...
  • 作者: 姜举良 孙知信 焦琳
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2245-2258
    摘要: 提出了基于聚集和协议分析防御分布式拒绝服务攻击(aggregate-based protocol analysis anti-DDoS,简称APA-ANTI-DdoS)模型来检测和防御DDo...
  • 作者: 张历卓 杜文峰 贾维嘉 陆文彦
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2259-2270
    摘要: 目前,IEEE 802.16标准推荐采用基于截断二进制指数回退算法的竞争解决方案.分析了该方案同IEEE 802.11竞争机制的区别,给出了传送机会利用率u、带宽请求延时d以及带宽请求丢失率...
  • 作者: 云晓春 方滨兴 杨武
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2271-2282
    摘要: 为了在更高带宽的网络中进行有效的入侵检测分析,研究了入侵检测中的数据获取技术,提出了一种可扩展的高效入侵监测框架SEIMA(scalable efficient intrusion moni...
  • 作者: 张力 肖薇薇 钱恭斌
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2283-2294
    摘要: 提出了一种基于原始图像的Tchebichef矩实现的几何攻击不变性第二代盲水印算法,利用原始图像的Tchebichef矩估计图像可能经历的几何攻击的参数来还原图像,其中,原始图像的Tcheb...
  • 作者: 叶修梓 张引 彭维 方萃浩
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2295-2305
    摘要: 提出一个专门针对协同环境下CAD模型的多层次动态的安全访问控制(multi-level and dynamic security access control,简称MLDAC)模型.该模型利...
  • 作者: 冯结青 李云夕 金小刚
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2306-2317
    摘要: 提出了一种以代数B-样条曲线为表达形式、基于有向距离场的隐式曲线重建方法.首先给定一个表示封闭曲线、可能带有噪音且分布不均匀的平面点云,采用移动最小平方(moving least squar...
  • 作者: 何晓光 张瑶瑶 杨鑫 毋立芳 田捷
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2318-2325
    摘要: 复杂光照条件下的人脸识别是一个困难但需迫切解决的问题,为此提出了一种有效的光照归一化算法.该方法根据面部光照特点,基于数学形态学和商图像技术对各种光照条件下的人脸图像进行归一化处理,并且将它...
  • 作者: 曹娟 汪国昭 陈文喻
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2326-2335
    摘要: 基于Bézier三角曲面的de Casteljau算法,同时运用一些恒等式和基本不等式,给出了两类有理Bézier三角曲面片低阶导矢的上界.第一类上界是用控制顶点凸包直径表示的,在一阶偏导的...
  • 作者: 冯结青 周廷方 彭群生 肖春霞 郑文庭
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2336-2345
    摘要: 提出了一种基于几何细节映射的点模型的形状编辑方法.几何细节是曲面的一个重要属性,定义几何细节为原始曲面及其基曲面之间的向量差,该基曲面由多层次B样条所构成.通过基曲面上的局部仿射坐标,则可以...
  • 作者: 伯彭波 刘丽 张彩明 杨兴强
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2346-2355
    摘要: 提出了四边形网格的三分细分模式.对于正则和非正则四边形网格,分别采用不同的细分模板获得新的细分顶点.从双三次B样条中推导出正则四边形网格的三分细分模板,极限曲面C2连续;对细分矩阵进行傅里叶...
  • 作者: 洪炳熔 高全胜
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  2356-2364
    摘要: 利用运动捕获数据,通过学习获得虚拟人运动的统计模型,从而创建真实、可控的虚拟人运动.提出了一种方法:通过对原始运动数据聚类,提取出局部动态运动特征--动态纹理,并用线性动态系统描述,有选择地...
  • 作者:
    刊名: 软件学报
    发表期刊: 2007年9期
    页码:  封3
    摘要:

软件学报基本信息

刊名 软件学报 主编 李明树
曾用名
主办单位 中国科学院软件研究所 中国计算机学会  主管单位 中国科学院
出版周期 月刊 语种
chi
ISSN 1000-9825 CN 11-2560/TP
邮编 100190 电子邮箱 jos@iscas.ac.cn
电话 010-62562563 网址 www.jos.org.cn
地址 北京8718信箱

软件学报评价信息

期刊荣誉
1. 百种中国杰出学术刊物

软件学报统计分析

被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊