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

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
文章浏览
目录
  • 作者: 孙济洲 李小图 綦朝晖
    刊名: 软件学报
    发表期刊: 2005年2期
    页码:  286-294
    摘要: 传统的Poisson统计流量模型对于以突发性流量为基本特征的Internet网络不再适应,而采用更加接近Internet网络流量特征的自相似模型,会具有复杂的建模过程和繁杂的计算.为此,从数...
  • 作者: 彭嘉雄 金聪
    刊名: 软件学报
    发表期刊: 2005年2期
    页码:  295-302
    摘要: 检测时无须原始图像的盲数字水印是实用的数字产品版权保护系统和隐蔽通信系统的关键技术之一.理论研究证明,图像的正交投影序列与图像是一一对应的.利用此结论,设计并实现了一种具有良好性能的盲水印检...
  • 作者: 戴国忠 滕东兴 陈由迪 马翠霞
    刊名: 软件学报
    发表期刊: 2005年2期
    页码:  303-308
    摘要: 基于笔式手势的自然交互是支持概念设计创新的有效方式.提出了一种笔式手势的层次概念模型,结合基于约束的自由勾画和上下文感知技术描述了手势设计方式,进一步讨论了手势内部的约束建立和求解算法;基于...
  • 作者: 冯结青 彭群生 杨文武 金小刚
    刊名: 软件学报
    发表期刊: 2005年2期
    页码:  309-315
    摘要: 二维多边形渐变在二维角色动画、模式匹配、几何造型等领域有着重要的应用.已有的方法大多根据多边形的边长、角度、面积、骨架等几何属性来完成多边形之间的最佳对应和渐变,而忽略了多边形的内在视觉特征...
  • 作者: 张春丽 张玉萍 蒋寿伟
    刊名: 软件学报
    发表期刊: 2005年2期
    页码:  316-323
    摘要: 根据汽车内饰等行业需求,对皮制品加工的优化排样问题进行了研究.创新地采用离散化处理方式,同时引进边界约束,使排样过程与皮料和样片的几何信息无关,使用基于顺序的启发式底左布局将样片顺次布置到皮...
  • 作者: 刘克 刘志勇 徐琳
    刊名: 软件学报
    发表期刊: 2005年2期
    页码:  324-326
    摘要: 重点项目是国家自然科学基金资助的一种项目类型,它以推动学科发展、促进国民经济与社会的可持续发展为目标,每年年初集中受理一次.介绍了2004年度国家自然科学基金委员会信息科学部计算机科学处重点...
  • 作者: 张健 黄拙
    刊名: 软件学报
    发表期刊: 2005年3期
    页码:  327-335
    摘要: 命题逻辑可满足性(SAT)问题是计算机科学中的一个重要问题.近年来许多学者在这方面进行了大量的研究,提出了不少有效的算法.但是,很多实际问题如果用一组一阶逻辑公式来描述,往往更为自然.当解释...
  • 作者: 许道云
    刊名: 软件学报
    发表期刊: 2005年3期
    页码:  336-345
    摘要: 合取范式(CNF)公式H到F的同态(是一个从H的文字集合到F的文字集合的映射,并保持补运算和子句映到子句.同态映射保持一个公式的不可满足性.一个公式是极小不可满足的是指该公式本身不可满足,而...
  • 作者: 茹祥民 陈意云 陈晖
    刊名: 软件学报
    发表期刊: 2005年3期
    页码:  346-354
    摘要: 在基于语言考虑代码安全性的工作中,往往需要将高级语言程序翻译成类型化低级语言的程序进行类型检查.许多高级语言具有类型调度结构,在向低级语言的编译过程中需要用标签机制来实现.针对具有多继承接口...
  • 作者: 徐启文 李宣东 裴玉 郑国梁
    刊名: 软件学报
    发表期刊: 2005年3期
    页码:  355-364
    摘要: 反应式系统通常是不终止的,其行为定义为系统状态的无限序列的集合.形式化验证时,检验需求一般使用时序逻辑给出.当使用诸如LTL(linear temporal logic)这样的逻辑时,由于这...
  • 作者: 吴福朝 李乡儒 胡占义
    刊名: 软件学报
    发表期刊: 2005年3期
    页码:  365-374
    摘要: 均值漂移是一种有效的统计迭代算法,已广泛应用于聚类分析、跟踪、图像分割、图像平滑、滤波、图像边缘提取和信息融合等方面.但是,其收敛性仍没有得到严格的证明,而收敛性是任何迭代算法的必要前提.推...
  • 作者: 吴俊 罗军舟 陈晴
    刊名: 软件学报
    发表期刊: 2005年3期
    页码:  375-383
    摘要: 输入队列因具有良好的可扩展性而广泛应用于高速交换机和路由器中,但输入队列需要精心设计调度算法以获取较好的性能.Round-Robin算法因其简单性和并行性而得到广泛的研究,但现有的Round...
  • 作者: 杨宏 杨广文 林东岱 武永卫 郑纬民
    刊名: 软件学报
    发表期刊: 2005年3期
    页码:  384-391
    摘要: 吴方法是由我国科学家吴文俊院士开创的一个新兴研究领域.考虑到吴方法"分而治之"的思想非常适合分布式计算,将分布式计算技术引入到该方法的计算过程中,给出一种既可以在集群环境下,也可以在网格环境...
  • 作者: 朱大铭 潘锐 肖进杰 马绍汉
    刊名: 软件学报
    发表期刊: 2005年3期
    页码:  392-399
    摘要: k-Median问题的近似算法研究一直是计算机科学工作者关注的焦点,现有研究结果大多是关于欧式空间和Metric空间的,一般距离空间k-Median的结果多年来一直未见.考虑一般距离空间k-...
  • 作者: 史美林 孙瑞志
    刊名: 软件学报
    发表期刊: 2005年3期
    页码:  400-406
    摘要: 支持多实例的工作流管理系统为工作流过程处理带来极大的灵活性,活动多实例要解决的主要问题之一是多实例的调度控制.在分析了多实例的分配和汇聚等问题之后,针对过程中活动间不同活动语义的上下文,对活...
  • 作者: 刘霞 李明树 王青
    刊名: 软件学报
    发表期刊: 2005年3期
    页码:  407-418
    摘要: 提出了一种支持软件过程控制与改进的主动度量模型AMM(active measurement model)和度量方法.模型形式化描述了软件过程的目标、特征和度量指标等关键元素以及相互间的关系,...
  • 作者: 王寿光 颜钢锋
    刊名: 软件学报
    发表期刊: 2005年3期
    页码:  419-426
    摘要: 针对基于Petri网离散事件系统关于标识向量和Parikh向量的不等式约束反馈控制器设计问题,提出一种新的控制器设计方法.该方法首先利用Petri网的状态方程把关于标识向量和Parikh向量...
  • 作者: 新藤久和 渡边喜道 熊伟
    刊名: 软件学报
    发表期刊: 2005年3期
    页码:  427-433
    摘要: 在用数量化理论3类(quantification theory of type 3,简称QT3)定量地分析软件需求的基础上,以质量功能展开(quality function deployme...
  • 作者: 冯彦君 孙利民 宋成 钱华林
    刊名: 软件学报
    发表期刊: 2005年3期
    页码:  434-444
    摘要: 传统TCP(transmission control protocol)本是为有线网络设计,它假设包丢失全是由网络拥塞引起,这个假设不能适应于MANET (mobile ad hoc net...
  • 作者: 周建新 沈晖 石冰心 石坚 石邹玲
    刊名: 软件学报
    发表期刊: 2005年3期
    页码:  445-452
    摘要: 在分析Ad Hoc网的单播QoS路由问题的基础上,提出了一种新的Ad Hoc网的分布式QoS路由算法--EBLLD(entropy-based long-life distributed Q...
  • 作者: 何云筱 吕克伟 李宝
    刊名: 软件学报
    发表期刊: 2005年3期
    页码:  453-461
    摘要: 首先将基于门限结构的彼得森可验证秘密共享方案(Pedersen-VSS)转换成可以抵抗一般结构敌手攻击的方案(Pedersen-VSS-General).指出R. Canetti等人在设计分...
  • 作者: 吴志美 张焕强
    刊名: 软件学报
    发表期刊: 2005年3期
    页码:  462-471
    摘要: Linux是目前广泛用于路由设备中的操作系统,而流量管理是这种网络操作系统的一个重要功能.研究了Linux系统的流量管理机制,发现当前Linux系统所采用的在网络接口的出口实现的基于网络包调...
  • 作者: 林宣治 黄振杰
    刊名: 软件学报
    发表期刊: 2005年3期
    页码:  472-476
    摘要: 分析了王尚平等人提出的群签名成员删除方案,给出在群管理员更换群密钥后,已被删除成员更新其特性密钥、证明其成员资格和产生有效签名的方法,说明该方案是不安全的,不能真正删除群成员.
  • 作者: 包崇明 谭湘 顾毓清
    刊名: 软件学报
    发表期刊: 2005年3期
    页码:  477-484
    摘要: 针对移动Agent数据保护这一特定的安全问题,提出了关联密钥链加密IKCE(interrelated keys chains encryption)机制,并对该机制进行了安全性分析和性能分析...
  • 作者: 何晖光 吕科 朱珣 田捷 薛健 赵明昌
    刊名: 软件学报
    发表期刊: 2005年4期
    页码:  485-495
    摘要: 随着VTK(visualization ToolKit)和ITK(insight segmentation and registration ToolKit)两个软件开发包的成功,医学影像领...
  • 作者: 周志华 唐伟
    刊名: 软件学报
    发表期刊: 2005年4期
    页码:  496-502
    摘要: 使用集成学习技术来提高聚类性能.由于聚类使用的训练样本缺乏期望输出,与监督学习下的集成相比,在对个体学习器进行结合时更加困难.通过对不同的聚类结果进行配准,并基于互信息权进行个体学习器的选择...
  • 作者: 李思昆 熊志辉 陈吉华
    刊名: 软件学报
    发表期刊: 2005年4期
    页码:  503-512
    摘要: 面向嵌入式系统和SoC(system-on-a-chip)软硬件双路划分问题,提出遗传算法与蚂蚁算法动态融合的软硬件划分算法.基本思想是:(1)利用遗传算法群体性、全局、随机、快速搜索的优势...
  • 作者: 周春光 王岩 邹淑雪 黄艳新
    刊名: 软件学报
    发表期刊: 2005年4期
    页码:  513-522
    摘要: 提出一种扩展的类覆盖问题,并将它归纳为一个有约束的多目标优化问题模型,该问题的解决对构建强壮的分类识别系统具有重要的意义.因此,通过对二进制粒子群算法参数特性的深入分析,阐明二进制粒子群算法...
  • 作者: 刘家锋 唐降龙 孙广玲 石大明 赵巍
    刊名: 软件学报
    发表期刊: 2005年4期
    页码:  523-532
    摘要: 提出了一种新的基于主动判别函数的手写体识别方法.首先,提出了主子空间中基于统计特征的主动原型模板并给出了对应于待识模式的最优主动原型模板.然后,提出了主动判别函数,它是两个加权距离之和;其中...
  • 作者: 施伯乐 谈子敬
    刊名: 软件学报
    发表期刊: 2005年4期
    页码:  533-539
    摘要: XML和关系的结合是一个重要的研究领域,讨论函数依赖和规范化在关系及XML间的传播问题.首先引入XML上函数依赖和键的定义,并进一步定义XML上的数据冗余和规范化DTD的概念.分别讨论在关系...

软件学报基本信息

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

软件学报评价信息

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

软件学报统计分析

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