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

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
文章浏览
目录
  • 作者: 刘剑 林惠民
    刊名: 软件学报
    发表期刊: 2003年1期
    页码:  1-8
    摘要: 诊断信息自动生成是模型检测方法的基本特征之一,对分析和排错具有重要的意义.讨论了传值进程模型检测中诊断信息的生成问题.引入了两种诊断信息的表示结构:证明图和示例;提出了两种诊断信息构造算法....
  • 作者: 邱道文
    刊名: 软件学报
    发表期刊: 2003年1期
    页码:  9-15
    摘要: 澄清了各类量子自动机之间的相互关系,并给出了量子自动机的各种等价刻画定理.引入G-量子自动机、g-量子自动机、(广义)量子自动机及G-量子文法和g-量子文法,并阐明了它们与其他量子自动机之间...
  • 作者: 金成植 金英
    刊名: 软件学报
    发表期刊: 2003年1期
    页码:  16-22
    摘要: Action演算簇(action calculi)作为描述不同并发交互行为的数学框架,可以表示一大类具有某些相同特性的并发形式化模型.试图把(演算(一种基于约束的高阶并发计算模)也包含在ac...
  • 作者: 邱道文
    刊名: 软件学报
    发表期刊: 2003年1期
    页码:  23-27
    摘要: 初步建立了基于量子逻辑的自动机和文法理论的基本框架.引入了量子文法(称为l值文法),特别是证明了任意l值正规文法生成的语言(称为量子语言)等价于某种基于量子逻辑且含动作(的自动机(称为l值自...
  • 作者: 张艳秋 李建中
    刊名: 软件学报
    发表期刊: 2003年1期
    页码:  28-34
    摘要: 在数字图书馆和数据仓库中,需要解决海量数据的排序问题.利用蛇型磁带自身的物理特点,实现了一种高效的磁带排序算法STESort(serpentine tape external sort).与...
  • 作者: 周智 邹鹏 陈国良 顾钧
    刊名: 软件学报
    发表期刊: 2003年1期
    页码:  35-42
    摘要: TSP(traveling salesman problem)问题是最经典的NP-hard组合优化问题之一.长期以来,人们一直在寻求快速、高效的近似算法,以便在合理的计算时间内解决大规模问题...
  • 作者: 汪东升 邵明珑
    刊名: 软件学报
    发表期刊: 2003年1期
    页码:  43-48
    摘要: 协调检查点设置及回卷恢复技术作为一种有效的容错手段,已广泛地运用在集群等并行/分布计算机系统中.为了进一步降低协调检查点设置的时间和空间开销,提出了一种基于消息计数的协调检查点设置算法.该算...
  • 作者: 刘旭民 苏运霖
    刊名: 软件学报
    发表期刊: 2003年1期
    页码:  49-53
    摘要: DTD(distributed termination detection)是分布式算法研究中的一个重要问题.如果不能探测计算的终止,算法就失去了其现实意义.Mattern提出的credit...
  • 作者: 唐稚松 郭亮
    刊名: 软件学报
    发表期刊: 2003年1期
    页码:  54-61
    摘要: 使用XYZ/E描述和验证三机冗余容错系统.考虑每台计算机加载了一个不断向外界环境输出数据的确定性顺序程序P,用XYZ/E程序SingleProcessorP刻画程序P在单机上运行,用时序逻辑...
  • 作者: 史美林 孙瑞志
    刊名: 软件学报
    发表期刊: 2003年1期
    页码:  62-67
    摘要: 支持动态可变并具备灵活性是人们在实际应用中对工作流管理系统提出的新要求,已有的相关研究工作都集中在对工作流中发生变化的某个具体问题上.提出了支持动态特性的工作流过程元模型,可以为动态过程模型...
  • 作者: 刘超 孙昌爱 金茂忠 靳若明
    刊名: 软件学报
    发表期刊: 2003年1期
    页码:  68-75
    摘要: 软件时间性能分析与评估技术是实时软件开发中的一个重要课题.提出了一种基于控制流程图的程序执行时间的可视化分析框架,研究了中间代码段与源程序中语句的对应关系的自动分析、源程序语句行的CPU周期...
  • 作者: 洪帆 邓集波
    刊名: 软件学报
    发表期刊: 2003年1期
    页码:  76-82
    摘要: 目前的访问控制模型都是从系统的角度出发去保护资源,在进行权限的控制时没有考虑执行的上下文环境.然而,随着数据库、网络和分布式计算的发展,组织任务进一步自动化,与服务相关的信息进一步计算机化,...
  • 作者: 李明树 王青 邹勇
    刊名: 软件学报
    发表期刊: 2003年1期
    页码:  83-90
    摘要: 随着实时系统应用的日益广泛,多类型实时和非实时任务并存的情况给系统调度机制带来了新的需求和挑战.开放式实时系统的相关研究因为解决这一问题而受到关注,也为调度理论与方法带来了新的思路.在阐述了...
  • 作者: 孙玉芳 石文昌
    刊名: 软件学报
    发表期刊: 2003年1期
    页码:  91-96
    摘要: 对安全政策灵活性的支持是现代安全操作系统追求的目标之一,DTOS(distributed trusted operating system)项目提出了安全政策格的思想,为安全政策灵活性的研究...
  • 作者: 孟祥文 张文娟 赵俊峰 麻志毅
    刊名: 软件学报
    发表期刊: 2003年1期
    页码:  97-102
    摘要: 讨论了青鸟面向对象软件建模工具JBOO(Jade Bird object-oriented)的设计和实现方法.对JBOO所支持的青鸟面向对象规范作了简介,对JBOO的系统结构和功能进行了详细...
  • 作者: 秦晓 章恒翀 陈思功
    刊名: 软件学报
    发表期刊: 2003年1期
    页码:  103-109
    摘要: 详细分析了Chonlameth Arpnikanondt提出的基于UML约束的嵌入式系统的软、硬件协同设计方法(CBC/UML),并指出了它运用于复杂的嵌入式系统设计时的不足.针对这些不足,...
  • 作者: 姜誉 张宏莉 张树峰 方滨兴 胡铭曾 詹春艳
    刊名: 软件学报
    发表期刊: 2003年1期
    页码:  110-116
    摘要: Internet的测量与分析为加强网络管理、提高网络利用率、防范大规模网络攻击提供了技术平台,已成为学术界、企业界和国家政府部门所普遍关心的重要问题之一.介绍了网络测量与分析的主要研究内容,...
  • 作者: 林曼筠 钱华林
    刊名: 软件学报
    发表期刊: 2003年1期
    页码:  117-123
    摘要: 介绍了提高Web服务器性能的前沿技术--分布式Web服务器系统,讨论了现有各种方案的优缺点,在此基础上提出一种新的分布式Web服务器系统.该系统使用基于标记的缓存协作用户请求分发方法(tag...
  • 作者: 翟明玉 顾冠群
    刊名: 软件学报
    发表期刊: 2003年1期
    页码:  124-131
    摘要: 研究了通用多速率组播加权公平速率分配问题.首先,给出了一个形式化的多速率组播网络模型,在该模型中考虑了接收者的异构性.在此基础上,定义了通用多速率组播加权Max-Min公平概念,建立了通用多...
  • 作者: 冯永新 刘治国 姜月秋 王光兴
    刊名: 软件学报
    发表期刊: 2003年1期
    页码:  132-138
    摘要: 移动Ad hoc网络(mobile Ad hoc network,简称MANET)作为一种新型移动无线通信网,与其他通信网络相比独有的特性增加了网络管理的难度.目前对MANET网络管理的研究...
  • 作者: 刘云生 夏家莉 廖国琼 李国徽
    刊名: 软件学报
    发表期刊: 2003年1期
    页码:  139-145
    摘要: 在移动分布式计算环境中,事务移动性和无线网络固有的缺陷使得传统的分布式实时事务管理机制不足以支持移动分布式实时事务的执行,故有必要为移动实时事务研究新的事务处理机制,以提高其成功率.着重研究...
  • 作者: 王丽娜 费如纯
    刊名: 软件学报
    发表期刊: 2003年1期
    页码:  146-150
    摘要: 对门限秘密共享体制中的防欺诈措施进行了研究,将门限秘密共享体制与RSA与单向函数相结合,充分利用RSA和单向函数进行数据合法性的验证.提出了基于RSA防欺诈的门限秘密共享体制,对该体制的欺诈...
  • 作者: 屈劲 葛建华 蒋铭
    刊名: 软件学报
    发表期刊: 2003年1期
    页码:  151-156
    摘要: 密钥管理系统是安全组播的重要组成部分,而用户密钥存储量和密钥更新代价又是衡量密钥管理系统性能的关键因素.一个高性能的密钥管理系统应具有较小的用户密钥存储量和密钥更新代价.利用信源编码理论深入...
  • 作者: 刘鹏 张力 施遥
    刊名: 软件学报
    发表期刊: 2003年2期
    页码:  159-165
    摘要: 排序是计算机事务处理的重要操作之一.前人已经就内部排序、外部排序和并行排序提出各种方法.从一种全新的视角研究了排序算法,提出一种在单机上实现的并行排序算法THSORT(Tsinghua SO...
  • 作者: 周智 蒋承东 顾钧 黄刘生
    刊名: 软件学报
    发表期刊: 2003年2期
    页码:  166-174
    摘要: 在有障碍时求两点间的最短路径是VLSI设计、机器人设计等领域中的基本问题,连接图是研究此问题的基本工具.现有算法构造的最好的连接图GF是基于自由区的概念而设计的,其顶数和边数分别为O(t)和...
  • 作者: 温冬婵 舒继武 郑纬民 钟洪涛
    刊名: 软件学报
    发表期刊: 2003年2期
    页码:  175-182
    摘要: 减少通信开销对于并行化编译器生成高效的分布代码是非常重要的.首先提出了一个冗余并行执行模型(RPEM)作为通信优化算法生成的目标程序的执行模型,之后给出了区域图的概念和区域最大化算法,在最大...
  • 作者: 朱大铭 栾峻峰 马绍汉
    刊名: 软件学报
    发表期刊: 2003年2期
    页码:  183-189
    摘要: 讨论翻转距离星树问题,将3SAT问题归约到目标序列部分固定的翻转距离星树问题,证明实例中当有向符号序列个数为3时,若目标序列符号顺序固定,且有部分符号方向给定,则只确定其余符号方向以使得目标...
  • 作者: 张宏江 苏中 马少平
    刊名: 软件学报
    发表期刊: 2003年2期
    页码:  190-193
    摘要: 作为一种有效的解决手段,相关反馈(relevance feedback)技术在基于内容图像检索(content based image retrieval)的研究中得到了深入的发展.尽管有效...
  • 作者: 叶榛 张钹 陶品
    刊名: 软件学报
    发表期刊: 2003年2期
    页码:  194-201
    摘要: 研究了基于覆盖的构造型神经网络(cover based constructive neural networks,简称CBCNN)中的双交叉覆盖增量学习算法(BiCovering algor...
  • 作者: 徐迎庆 沈向洋 郑南宁 陈洪
    刊名: 软件学报
    发表期刊: 2003年2期
    页码:  202-208
    摘要: 介绍了一个基于样本学习的人脸线条画生成系统.该系统可以根据用户给定的正面人脸照片自动生成相应的人脸线条画.在系统中有两个关键技术,即非参数化采样方法和灵活的线条画模板.对于给定图像上的任意像...

软件学报基本信息

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

软件学报评价信息

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

软件学报统计分析

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