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

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
文章浏览
目录
  • 作者: 唐稚松 李广元
    刊名: 软件学报
    发表期刊: 2000年3期
    页码:  285-292
    摘要: 指针是一种重要的数据类型,使用指针能使程序更加有效和优美.可是指针却以不易驾御而闻名,至今在时序逻辑语言中未见到对它的形式化工作.XYZ/E既是一个时序逻辑系统也是一个程序设计语言,它能表示...
  • 作者: 周立柱 王克文 陈火旺
    刊名: 软件学报
    发表期刊: 2000年3期
    页码:  293-299
    摘要: 该文探讨争论推理在扩充逻辑程序中的实现及其关系问题.基于"相干原理",建立了扩充逻辑程序的争论推理框架,多种争论推理形式都可以嵌入其中.特别是提出了一种谨慎语义Acc.同时又定义了良基语义的...
  • 作者: 甄强 陆维明
    刊名: 软件学报
    发表期刊: 2000年3期
    页码:  300-307
    摘要: 活性与安全性是网系统重要的行为性质.对于位置/变迁网系统的一些子类,人们已为之导出许多有意义的结果.该文贡献在于为一种称为加权扩充自由选择网的网系统子类找到活性与安全性的一般性质.文章先给出...
  • 作者: 宋今 赵东岩
    刊名: 软件学报
    发表期刊: 2000年3期
    页码:  308-314
    摘要: 自动文摘研究作为自然语言处理研究的一个重要且实用的分支,目前逐渐成为Internet信息检索等应用领域的重要研究课题之一.该文提出的基于语料库的文摘试图将传统的基地语言学分析的文摘方法和基于...
  • 作者: 刘大有 杨鲲 陈建中
    刊名: 软件学报
    发表期刊: 2000年3期
    页码:  315-321
    摘要: 对有关Agent理论和实践两方面的研究现状、关键技术和发展趋势进行了综述和讨论,试图勾画出目前Agent研究的脉络、重点及其发展趋向.主要内容包括:(1)智能Agent的特性、表示和推理;(...
  • 作者: 吴恩华 张晓鹏 陈彦云
    刊名: 软件学报
    发表期刊: 2000年3期
    页码:  322-327
    摘要: 毛发的造型和绘制技术是当今计算机图形学中的一个突出难题.因为头发形状精细、数量庞大,传统的造型和绘制技术很难达到令人满意的效果.针对人的头发,提出并在数学上表示出了弯曲体纹理.接着参照理发师...
  • 作者: 李丛蓉 王鼎兴 田范江
    刊名: 软件学报
    发表期刊: 2000年3期
    页码:  328-333
    摘要: 进化式信息过滤方法从多个角度描述用户的信息需求,通过类似自然选择的过程,达到系统整体过滤性能的优化.同时还从面向对象程序设计语言的设计思想中获得启发,引入了继承、类树的概念,增加了过滤系统的...
  • 作者: 凌冰 朱传琪 胡世亮 臧斌宇
    刊名: 软件学报
    发表期刊: 2000年3期
    页码:  334-341
    摘要: 用计算函数模型进行精确的数据流分析,条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系.该文讨论在各种常见的程序构造下如何表示、计算和传递Ω区域、Φ区域,并在数据流分析过程中,利用Ω区域、...
  • 作者: 王一川 石纯一
    刊名: 软件学报
    发表期刊: 2000年3期
    页码:  342-345
    摘要: HCR(highest cumulative reward)是多agent系统中的一种规范生成机制,但在该机制下,系统的规范不能随条件的变化而变化.文章建立了规范的定义,分析了规范的稳定性,...
  • 作者: 张师超 王驹 白硕 陈庆锋 隋立颖
    刊名: 软件学报
    发表期刊: 2000年3期
    页码:  346-362
    摘要: 作者在以前所做的工作中,已对电子商务安全(secure electronic transactions,简称SET)中抽取的片段进行了证明,也对SET中可能存在的问题进行了初步探讨.该文在此...
  • 作者: 严涛 冯金辉 吴恩华 陈彦云
    刊名: 软件学报
    发表期刊: 2000年3期
    页码:  363-367
    摘要: 树木的结构和物理性质的复杂性使得人们很难对其进行动态模拟.该文提出一个深度优先的数值积分遍历算法,把树作为一个整体考虑,求得整棵树协调一致的位移,较好地表现了树的整体动感.此算法作为一个整体...
  • 作者: 唐文彬 张新晖 朱淼良 王寻羽
    刊名: 软件学报
    发表期刊: 2000年3期
    页码:  368-371
    摘要: 该文提出了基于多Agent的面向任务集成的自组织结构IRASO(intelligent robotic architecture with self-organization).该系统利用事...
  • 作者: 叶懋东 王申康 章高清
    刊名: 软件学报
    发表期刊: 2000年3期
    页码:  372-378
    摘要: 提出了一种基于特征曲线的快速人面识别方法.该方法首先对不同姿态和大小的人面进行定位和归一化,然后在归一化后的人面图像上建立多种特征曲线.作为对人面特征的描述,最后利用傅里叶描绘子对特征曲线进...
  • 作者: 田捷 罗希平
    刊名: 软件学报
    发表期刊: 2000年3期
    页码:  379-385
    摘要: 最大熵原则是图像处理中阈值选择的最常用方法之一.很多研究者针对最大熵原则作了各种研究,但一般都回避了用最大熵原则进行多阈值选择时运算量太大的问题.该文提出了解决这一问题的条件迭代ICM(it...
  • 作者: 李庆华 睢海燕 邓冲
    刊名: 软件学报
    发表期刊: 2000年3期
    页码:  386-392
    摘要: 该文研究了基于Shared-Nothing结构的几种常用并行连接算法,分析了影响查询响应时间的各种因素.在此基础上,以多种硬件成分作为参数建立一个代价分析模型.使用该模型计算并行Hash算法...
  • 作者: 张冰 李赣生 王华民
    刊名: 软件学报
    发表期刊: 2000年3期
    页码:  393-397
    摘要: 基于Ada 95参考手册附录E"分布式系统"中的思想,提出了实现分布式Ada语言系统的一些概念和设计思想,并给出了实现分区通信子系统的具体方案.在此基础上,通过一些前置处理,并利用已实现的分...
  • 作者: 金人超 黄文奇
    刊名: 软件学报
    发表期刊: 2000年3期
    页码:  398-400
    摘要: 基于拟物拟人思想的Solar算法是一个求解SAT问题的快速算法.实验和理论分析表明,Solar算法具有易并行化的特性.将Solar算法并行化可大幅度地提高求解SAT问题的效率.
  • 作者: 容红波 汤志忠
    刊名: 软件学报
    发表期刊: 2000年3期
    页码:  401-409
    摘要: 寄存器结构及其分配是软件流水算法的关键之一.为支持多重循环的软件流水,该文提出一种新颖的寄存器结构:半共享跳跃式流水寄存器堆.它可以有效地解决多重循环软件流水下的特殊问题,即:同层次和跨层次...
  • 作者: 史忠植 焦文品
    刊名: 软件学报
    发表期刊: 2000年3期
    页码:  410-415
    摘要: 该文用时序逻辑语言XYZ/E刻画了若干种常见的体系结构风格.在刻画风格之前,首先通过研究常见组件及连接方式间的关系分析了风格之间的关系,然后通过对特定组件和连接方式的组合产生了完整的体系结构...
  • 作者: 刘君华 吴浩扬 常炳国 朱长纯
    刊名: 软件学报
    发表期刊: 2000年3期
    页码:  416-420
    摘要: 模拟退火和多种群并行遗传进化是两种较好的改进遗传算法性能的方法.将这两种思想有机地结合起来,提出了一种基于模拟退火机制的多种群并行遗传算法.仿真结果表明,该算法不仅能增强算法的全局收敛性,还...
  • 作者: 康延东 郭朝珍
    刊名: 软件学报
    发表期刊: 2000年3期
    页码:  421-425
    摘要: 群体间通信问题是群决策支持系统(group decision support system,简称GDSS)研究中所要考虑的一个重要问题.目前,实现群体间通信主要采用通用的群件产品,但这类产品...

软件学报基本信息

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

软件学报评价信息

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

软件学报统计分析

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