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

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
文章浏览
目录
  • 作者: 史忠植 汤庸 王驹 蒋运承
    刊名: 软件学报
    发表期刊: 2007年6期
    页码:  1257-1269
    摘要: 分析了语义Web语义表示理论的研究现状及存在的问题,提出了一种新的面向语义Web语义表示的模糊描述逻辑FSHOIQ(fuzzy SHOIQ).给出了FSHOIQ的语法和语义,提出了FSHOI...
  • 作者: 文艳军 王戟 齐治昌
    刊名: 软件学报
    发表期刊: 2007年6期
    页码:  1270-1281
    摘要: 模型检验和精化检验是两种重要的形式验证方法,其应用的主要困难在于如何缓解状态爆炸问题.基于分而治之的思想进行组合模型检验和组合精化检验是应对这个问题的重要方法,它们利用系统的组合结构对问题进...
  • 作者: 郭秀红
    刊名: 软件学报
    发表期刊: 2007年6期
    页码:  1282-1286
    摘要: 研究了基于量子逻辑的自动机理论(简称l-值自动机理论)的拓扑性质.给出了successor算子和source算子的另一种定义,讨论了successor算子、source算子和l-值子自动机之...
  • 作者: 史忠植 蒋浩 邝达 郑金华
    刊名: 软件学报
    发表期刊: 2007年6期
    页码:  1287-1297
    摘要: 针对多目标进化的特点,提出了用擂台赛法则(arena's principle,简称AP)构造多目标Pareto最优解集的方法,论证了构造方法的正确性,分析了其时间复杂度为O(rmN)(0<m...
  • 作者: 王建新 陈建二 黄元南
    刊名: 软件学报
    发表期刊: 2007年6期
    页码:  1298-1307
    摘要: 从DNA序列中发现基序是生物计算中的一个重要问题,序列条数K=20包含基序用例的序列条数k=16的(l,d)-(K-k)问题(记作(l,d)-(20-16)问题)是目前生物学家十分关注的基序...
  • 作者: 李建东 贺鹏 陈亮 陈彦辉
    刊名: 软件学报
    发表期刊: 2007年6期
    页码:  1308-1318
    摘要: 提出了一种基于方向性天线的分布式拓扑控制算法,可以同时通过调整网络中各节点的发射功率和改变节点天线的方向来对网络的拓扑进行控制,每个节点逐渐增大它的发射功率直到该节点在其方向性天线的每个扇区...
  • 作者: 李仁发 李庆华 李肯立 赵欢
    刊名: 软件学报
    发表期刊: 2007年6期
    页码:  1319-1327
    摘要: 将串行动态二表算法应用于并行三表算法的设计中,提出一种求解背包、精确的可满足性和集覆盖等背包类NP完全问题的并行三表六子表算法.基于EREW-PRAM模型,该算法可使用O(2n/8)的处理机...
  • 作者: 凌应标 吴向军 姜云飞
    刊名: 软件学报
    发表期刊: 2007年6期
    页码:  1328-1349
    摘要: 以规划领域中的动作为研究对象,提出了描述动作前提条件和效果之间关系的方法,定义了动作前提和效果之间的基本关系:直接伴随关系、条件伴随关系和直接阻碍关系等,这些基本关系反映了规划动作中所隐含的...
  • 作者: 吴福朝 段福庆 胡占义
    刊名: 软件学报
    发表期刊: 2007年6期
    页码:  1350-1360
    摘要: 引入了梯形的一个仿射不变量,并利用这个不变量,建立了梯形的相似不变量与摄像机内参数之间的约束关系.基于这个约束关系,利用摄像机内参数的知识或梯形相似不变量的知识,可以线性确定摄像机的内参数、...
  • 作者: 何申 王煦法 罗文坚
    刊名: 软件学报
    发表期刊: 2007年6期
    页码:  1361-1368
    摘要: 检测器生成是非选择算法的关键步骤.已有检测器生成算法在生成检测器时存在"漏洞"区域和冗余检测器问题.提出了一种检测器长度可变的检测器生成算法,不仅可以消除"漏洞"区域,还可以通过相应的检测器...
  • 作者: 俞研 黄皓
    刊名: 软件学报
    发表期刊: 2007年6期
    页码:  1369-1378
    摘要: 针对现有入侵检测算法中存在着对不同类型攻击检测的不均衡性以及冗余或无用特征导致的检测模型复杂与检测精度下降的问题,提出了一种基于改进多目标遗传算法的入侵检测集成方法.利用改进的多目标遗传算法...
  • 作者: 代亚非 田敬
    刊名: 软件学报
    发表期刊: 2007年6期
    页码:  1379-1399
    摘要: P2P(peer-to-peer)的组织模式已经成为新一代互联网应用的重要形式,它为应用带来了更好的扩展性、容错性和高性能.P2P存储系统一直是研究界所关注的热点,被认为是P2P最具前途的应...
  • 作者: 唐世渭 孔令波 杨冬青 王腾蛟 高军
    刊名: 软件学报
    发表期刊: 2007年6期
    页码:  1400-1418
    摘要: XML规范已成为当前网络应用(包括数字图书馆、Web服务以及电子商务)中事实上的数据表达、交换的标准.针对XML数据的查询在当前XML数据管理研究中占有重要的地位,也是当前XML数据处理研究...
  • 作者: 乔百友 于戈 王国仁 王斌 韩东红 黄健美
    刊名: 软件学报
    发表期刊: 2007年6期
    页码:  1419-1428
    摘要: 在基于高维索引技术的相似性查询处理中,通常通过过滤那些不包含任何查询结果的非活动子空间来不断缩减搜索空间.但是在活动子空间中,有些可能根本就不包含任何查询结果,这样的活动子空间被称为假活动子...
  • 作者: 周军锋 孟小峰 蒋瑜 谢敏
    刊名: 软件学报
    发表期刊: 2007年6期
    页码:  1429-1442
    摘要: 如何快速、有效地处理twig形式的查询是XML查询处理的关键问题,通过过滤与查询无关的元素可以减少查询中需要处理的元素数目,从而提高查询的执行效率.提出一种扁平结构索引F-Index,能够快...
  • 作者: 周傲英 徐林昊 钱卫宁
    刊名: 软件学报
    发表期刊: 2007年6期
    页码:  1443-1455
    摘要: 对等计算数据管理中的一个重要问题是如何有效地支持多维数据空间上的相似性搜索.现有的非结构化对等计算数据共享系统仅支持简单的查询处理方法,即匹配查询处理.将近似技术和路由索引结合在一起,设计了...
  • 作者: 周婧 李思昆 王意洁
    刊名: 软件学报
    发表期刊: 2007年6期
    页码:  1456-1467
    摘要: 针对大量数据副本所带来的资源管理问题,提出一种基于有限编码的多副本分簇管理方法.在该方法中,根据单副本复制产生新副本的过程对副本分级和分簇,通过定义"副本级别+副本顺序"的编码规则对划分后的...
  • 作者: 郝忠孝 韩启龙
    刊名: 软件学报
    发表期刊: 2007年6期
    页码:  1468-1476
    摘要: 通过对数据时态特性及其对事务调度的影响进行分析,提出了基于数据时态特性的实时事务并发控制算法.该算法根据数据截止期及事务的执行时间估算,改进了事务的验证规则,对事务的提交顺序进行调整,提高了...
  • 作者: 吴静 徐武平 晏蒲柳 江昊 郭成城 陈立家
    刊名: 软件学报
    发表期刊: 2007年6期
    页码:  1477-1490
    摘要: 车用自组织网络--VANET(vehicle ad-hoc network)作为移动自组织网络和传感器网络在道路交通领域的应用,不具备完整协议体系结构,没有专门的传输控制协议.为提供VANE...
  • 作者: 奚宏生 殷保群 江琦
    刊名: 软件学报
    发表期刊: 2007年6期
    页码:  1491-1500
    摘要: 基于强化学习的方法,提出一种无线多媒体通信网适应带宽配置在线优化算法,在满足多类业务不同QoS(quality of service)要求的同时,提高网络资源的利用率.建立事件驱动的随机切换...
  • 作者: 何建波 卿斯汉 王超
    刊名: 软件学报
    发表期刊: 2007年6期
    页码:  1501-1509
    摘要: 安全性和灵活性是各种改进的BLP模型追求的目标.如何在保持安全性的前提下增加BLP模型的灵活性,一直是安全操作系统研究人员研究的重点.安全模型是系统设计的基础,如果在系统中实现了不安全的"安...
  • 作者: 李小勇 桂小林
    刊名: 软件学报
    发表期刊: 2007年6期
    页码:  1510-1521
    摘要: 随着网格计算、普适计算、P2P计算、Ad Hoc等大规模的分布式应用系统的深入研究,系统表现为由多个软件服务组成的动态协作模型.在这种动态和不确定的环境下,PKI(pubic key inf...
  • 作者: 吴永东 王国军 贾维嘉 鲍丰 齐芳
    刊名: 软件学报
    发表期刊: 2007年6期
    页码:  1522-1530
    摘要: TLS(transport layer security)协议的基本设计目标是为两个通信实体之间提供数据的保密性和完整性.由于在传输层安全握手协议中最耗费计算资源的步骤是服务器RSA解密运算...
  • 作者: 刘保权 刘学慧 吴恩华
    刊名: 软件学报
    发表期刊: 2007年6期
    页码:  1531-1542
    摘要: 提出一种完全基于GPU(graphics processing unit)的实时深度图像绘制流程.该方法利用GPU的并行计算特性对深度图像的绘制过程进行加速.推导出一种在vertex sha...
  • 作者: 冯结青 刘圣军 叶晓丰 周艳 金小刚
    刊名: 软件学报
    发表期刊: 2007年6期
    页码:  1543-1552
    摘要: 提出了一种基于测地线的多边形网格模型的约束变形方法.首先给定一系列的变形约束源(可以是点、线或者面)以及约束源的有效半径及变形目标(偏移量、缩放比例、旋转轴和旋转角度),然后通过计算三角形网...
  • 作者:
    刊名: 软件学报
    发表期刊: 2007年6期
    页码:  封3
    摘要:

软件学报基本信息

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

软件学报评价信息

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

软件学报统计分析

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