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

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
文章浏览
目录
  • 作者: 孙钟秀 谢立 陈道蓄 韩杰 顾庆
    刊名: 软件学报
    发表期刊: 2002年11期
    页码:  2162-2168
    摘要: 测试分布式程序需要定义事件约束来检测程序执行产生的事件序列.事件约束需要根据程序的规约来推导.FSP是一类描述并发程序形式化规约的进程代数记法.它将并发进程描述为动作序列,其中动作可对应到规...
  • 作者: 方高林 王春立 陈熙霖 马继勇 高文
    刊名: 软件学报
    发表期刊: 2002年11期
    页码:  2169-2175
    摘要: 手语识别是通过计算机提供一种有效而准确的机制将手语翻译成文本或语音.目前最新发展水平的手语识别系统在实际应用中应解决非特定人连续手语问题.提出一种将连续手语识别分解成各孤立词识别的分治方法,...
  • 作者: 杨勋年 杨勤民 汪国昭
    刊名: 软件学报
    发表期刊: 2002年11期
    页码:  2176-2182
    摘要: 给出了高次区间B-B(Bernstein-Bézier)曲面的降阶逼近算法.这里主要采用了线性规划方法,对降一阶情况还给出了分析求解方法.降阶逼近的结果可用于满足不同CAD系统之间数据转换的...
  • 作者: 查建中 陆一平
    刊名: 软件学报
    发表期刊: 2002年11期
    页码:  2183-2187
    摘要: 解空间的序列对编码方法是解二维矩形体聚块布局问题的完整且有限(P-admissible)的编码方法.它产生于直观的分划过程(gridding procedure).受二维序列对编码方法的启示...
  • 作者: 杨勋年 汪国昭 钟纲
    刊名: 软件学报
    发表期刊: 2002年11期
    页码:  2188-2193
    摘要: 由无序离散点集重建出曲线曲面模型,在反求工程与计算机视觉中都有着广泛的应用.根据实际采样中离散点分布相对集中的特点,给出了一个用简单曲线拟合平面上的无序点集的跟踪算法.该方法仅从当前跟踪点的...
  • 作者: 张纪文 樊建华 邬义杰
    刊名: 软件学报
    发表期刊: 2002年11期
    页码:  2194-2200
    摘要: 提出了控制C-Bézier曲线形状的两种方法:修改控制参数(和修改控制顶点.在分析C-Bézier基函数导数曲线特性的基础上,得出了控制参数(对曲线形状的作用,提出了调节控制参数修改曲线形状...
  • 作者: 刘明业 吴清平
    刊名: 软件学报
    发表期刊: 2002年11期
    页码:  2201-2207
    摘要: VHDL(VHSIC(very high speed integrated circuit) hardware description language)是描述数字系统的硬件描述语言,C++...
  • 作者: 王天然 王晓峰
    刊名: 软件学报
    发表期刊: 2002年11期
    页码:  2208-2214
    摘要: 通过相关测度的定义,从理论上探讨了增量式规则发现问题,并把分类规则挖掘和关联规则挖掘联系起来进行研究,为该问题的深入研究奠定了理论基础.相关测度刻画了给定关系和相关集合的数字特征.对相关测度...
  • 作者: 何晖光 张晓鹏 李光明 田捷 赵明昌
    刊名: 软件学报
    发表期刊: 2002年12期
    页码:  2215-2224
    摘要: 网格模型的化简对于其存储、传输、处理以及实时绘制有着重要的意义.对国内外在这一领域的工作成果进行了较为系统的介绍,并对各方面典型算法的优缺点进行了分析,最后对这一技术的发展进行了展望.
  • 作者: 张信明 陈国良 顾钧
    刊名: 软件学报
    发表期刊: 2002年12期
    页码:  2225-2230
    摘要: 流量整形对QoS(quality of service)控制有着重要的影响.总结并优化了最近几年发展起来的能够深刻透视计算机网络业务流控制问题的网络演算技术,采用网络演算技术建立了包括贪婪无...
  • 作者: 李建江 王有新 王鼎兴 舒继武 郑纬民
    刊名: 软件学报
    发表期刊: 2002年12期
    页码:  2231-2237
    摘要: 为了解决叠前深度偏移计算量巨大这个问题,人们投入了很大精力来开发高效的并行算法.就此,在对一些相关并行算法进行分析之后,根据三维叠前Kirchhoff深度偏移的特点,提出了一种基于共享存储的...
  • 作者: 冯玉琳 张波 黄涛
    刊名: 软件学报
    发表期刊: 2002年12期
    页码:  2238-2243
    摘要: 在各种构件模型和构件标准定义中,接口描述信息的不足和隐含式的构件交互协议容易造成构件复用的失配问题,不利于构件的复用、验证和管理.提出了基于XML消息的体系结构描述语言XADL(XML-me...
  • 作者: 林东 蒋慧 谢希仁
    刊名: 软件学报
    发表期刊: 2002年12期
    页码:  2244-2250
    摘要: 许多大型系统在进行分析和设计时,均采用UML作为需求描述语言,尤其是一些对安全性要求较高的系统,更是广泛采用UML的动态行为描述机制--状态机来描述协议及控制机制.但是,由于UML没有形式化...
  • 作者: 乔颖 戴国忠 方亭 王宏安 邹冰
    刊名: 软件学报
    发表期刊: 2002年12期
    页码:  2251-2258
    摘要: 提出了一种实时异构系统的集成动态调度算法.该算法通过一个新的任务分配策略以及软实时任务的服务质量QoS(quality of service)降级策略,不仅以统一方式完成了对实时异构系统中硬...
  • 作者: 杨元生 王丹 陆维明
    刊名: 软件学报
    发表期刊: 2002年12期
    页码:  2259-2266
    摘要: 利用计算机对图的交叉数进行研究,给出了利用分支界限法计算图的交叉数的算法CCN(calculatecrossing number),并利用该算法计算出n≤12的所有四正则图的交叉数以及n≤1...
  • 作者: 姜云飞 林笠
    刊名: 软件学报
    发表期刊: 2002年12期
    页码:  2267-2274
    摘要: 在基于模型的诊断中,利用冲突集计算最小碰集是其关键的步骤,因为所有冲突集的最小碰集就是所考察系统的诊断.在Reiter的方法中,要用HS-树(图)来计算最小冲突集的最小碰集.HS-树的计算量...
  • 作者: 程锦 谭建荣 陆国栋
    刊名: 软件学报
    发表期刊: 2002年12期
    页码:  2275-2280
    摘要: 提出一种圆弧绘制算法.与传统的基于单个像素点的圆弧绘制算法不同,新算法每执行一次输出操作均可生成两个或多个像素点.该算法将圆弧离散轨迹看成是由一系列水平位移和对角位移构成,逐段找出并绘制这些...
  • 作者: 孟祥旭 葛敏 龚斌
    刊名: 软件学报
    发表期刊: 2002年12期
    页码:  2281-2285
    摘要: 提出了一种面向专色工艺的彩色图像分色及印制方法.该方法根据印制图像的颜色和油墨信息,通过遗传算法选择用以印制图像的油墨种类,采用数值优化算法解决定制油墨的图像分色问题.该方法能以较少种类油墨...
  • 作者: 李华 胡占义
    刊名: 软件学报
    发表期刊: 2002年12期
    页码:  2286-2296
    摘要: 提出了一种基于射影重建的线性摄像机自标定方法.该方法只需要摄像机作一次纯平移运动和两次带旋转的任意运动即可.该方法有3个主要特点.第1,由于该方法是一种线性方法,所以避免了大多数非线性方法的...
  • 作者: 刘启元 张聪 汪成亮 沈一栋
    刊名: 软件学报
    发表期刊: 2002年12期
    页码:  2297-2304
    摘要: 提出一种新的信度网结构在线学习算法.其核心思想是,利用新样本对信度网结构和参数不断进行增量式修改,以逐步逼近真实模型.本算法分为两个步骤:首先分别利用参数增量修改律和添加边、删除边、边反向3...
  • 作者: 丁志军 蒋昌俊
    刊名: 软件学报
    发表期刊: 2002年12期
    页码:  2305-2316
    摘要: 旨在研究利用网语言讨论Ada程序性质和由此而引起的Ada网的状态爆炸问题.研究了Ada网的同步合成与分解,讨论了它们的语言性质,并利用这一结果分析和验证了Ada程序的安全性和活性,从而为复杂...
  • 作者: 沈洁 秦玲 陈崚
    刊名: 软件学报
    发表期刊: 2002年12期
    页码:  2317-2323
    摘要: 针对蚁群算法不太适合求解连续性优化问题的缺陷,提出用蚁群算法求解连续空间优化问题的一种方法.该方法将解空间划分成若干子域,在蚁群算法的每一次迭代中,首先根据信息量求出解所在的子域,然后在该子...
  • 作者: 程成
    刊名: 软件学报
    发表期刊: 2002年12期
    页码:  2324-2330
    摘要: 虚拟装配的一个重要特性是交互性.要提高系统的交互性能,就要合理地分担人和机器的认知负荷,虚拟环境的感知机制是实现这一目标的重要方法.在形式地描述了虚拟装配系统结构后,提出虚拟装配中复合对象的...
  • 作者: 唐昆 崔慧娟 杜文 栗强
    刊名: 软件学报
    发表期刊: 2002年12期
    页码:  2331-2336
    摘要: 在视频会议等应用中,视频编码的速度是保证系统实时性的关键.为了减小视频编码的运算量并提高系统的整体性能,提出了多解析度的自适应零块发现判决算法.多解析度通过对图像的子采样从而大幅度降低了搜索...
  • 作者: 杨志敏 韩爱丽
    刊名: 软件学报
    发表期刊: 2002年12期
    页码:  2337-2342
    摘要: 对最大团问题的HEWN(hierarchical edge-weight network)算法进行复杂性分析.首先通过分析HEWN的结构特点和所需进行的操作,设计了一种实现HEWN算法的数据...
  • 作者: 程虎 詹剑锋
    刊名: 软件学报
    发表期刊: 2002年12期
    页码:  2343-2348
    摘要: 针对因特网环境下遗留系统需要不断引入新的需求和技术的需要,提出了一种基于Mobile Agent的遗留系统再工程方法.在该方法中,对遗留系统采用Agent思想重新建模,将频繁的需要与其他部分...

软件学报基本信息

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

软件学报评价信息

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

软件学报统计分析

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