2002年第13卷第10期文章目次

  • 显示方式:
  • 简洁模式
  • 摘要模式
  • 1  全光双向网络中的波长转换
    张少强 李国君 李曙光
    2002, 13(10):1899-1904.
    [摘要](3522) [HTML](0) [PDF 341.31 K](4612)
    摘要:
    在许多光学路由中,对于给定一组通讯路的集合,必须对有公共边的路安排相同的波长.为了充分利用光学的带宽,目的是安排尽量少的波长数.但有时候也考虑使用波长转换器. 如果一个顶点安装转换器,任何经过这个顶点的路都可以改变其波长.因此在某些顶点安装波长转换器后可以将波长的数目减少到一个拥塞界,因此,Wilfong和Winkler定义了一个顶点集 S,在S上安装转换器后,任何路集都可以分配数目等于拥塞界的波长,这样的集合S被称为充分集.研究在双向网络中的最小充分集问题,并把他转化为最小顶点覆盖问题.对此问题给出几个算法.
    2  关于切换回归的集成模糊聚类算法 GFC
    王士同 江海峰 陆宏钧
    2002, 13(10):1905-1914.
    [摘要](3946) [HTML](0) [PDF 576.25 K](5181)
    摘要:
    已经有多个方法可用于解决切换回归问题.根据所提出的基于Newton引力定理的引力聚类算法GC,结合模糊聚类算法,进一步提出了新的集成模糊聚类算法 GFC.理论分析表明GFC 能收敛到局部最小.实验结果表明GFC在解决切换回归问题时,比标准模糊聚类算法更有效,特别在收敛速度方面.
    3  样本依赖与连接依赖的等价性
    李星野 王书宁 岳占峰
    2002, 13(10):1915-1920.
    [摘要](3690) [HTML](0) [PDF 463.08 K](5008)
    摘要:
    以抽象代数为工具,探索了全样本依赖与全连接依赖之间的关系.首先,分别在全样本依赖集和全连接依赖集上建立等价关系,这两种等价关系都将作用相同的依赖视为等价依赖. 然后证明了在这两个等价关系下的商集分别构成么半群,并且这两个么半群是同构的.这就等于证明了全样本依赖类本质上等同于全连接依赖类.最后给出了一个关于全无环连接依赖的有趣结果.有关结果可以在关系数据库的设计中发挥积极作用.
    4  软件性能工程方法在交互式软件开发中的应用
    杨耘 程家兴
    2002, 13(10):1921-1932.
    [摘要](3981) [HTML](0) [PDF 646.90 K](5182)
    摘要:
    在诸多交互式软件系统中,包括软件开发工具及基于万维网的工具,性能问题是至关重要的.然而在软件开发过程中,性能问题并未得到足够的重视.主要目的是展示一种有效方法, 使得经过细致设计后交互式软件有满意的性能.展示如何应用软件性能工程方法于交互式软件工具开发中,特别注重在设计阶段的性能估算及其在决定实现方案时之效果.除了源于软件性能工程的严格的量化估算方法,提出性能亦可半量化或非量化方法进行有效而经济的估算. 基于结果的描述,最终建议为源于软件性能工程方法学中苛求采用系统环境参数进行细化定量性能估算未必是惟一手段.演示了在软件工具开发早期阶段中一种用以评估性能的基于分析和实验的有效综合途经.希望能反映出了良好的实验计算机科学之本质.
    5  基于邻接矩阵的全文索引模型
    周水庚 胡运发 关佶红
    2002, 13(10):1933-1942.
    [摘要](4321) [HTML](0) [PDF 600.78 K](5308)
    摘要:
    文本信息的急剧增加和越来越多的用户通过在线方式获取文本信息,使得查询效率成为信息检索系统一个突出瓶颈.提出两种新型全文索引模型,用于改善信息检索系统的查询效率.通过使用有向图表示文本串,引出关于文本串的邻接矩阵;采用两种不同的方式实现文本串邻接矩阵,导出了两种基于邻接矩阵的新型全文索引模型,即基于邻接矩阵的倒排文件和基于邻接矩阵的PAT数组.给出了基于新模型的文本查询算法;分析了新模型的存储空间和查询时间的开销,并分别与两种传统索引模型进行了比较.对实际文本库进行了测试以证实新模型的效能.新模型能够以相对于原文较小的空间代价获得较大幅度的查询效率的提高,因此适合于在大规模文本检索系统中应用.
    6  两类层次模糊Mass-Assignment系统是全局逼近器
    王士同 J.F. Baldwin T.P. Martin
    2002, 13(10):1943-1951.
    [摘要](3519) [HTML](0) [PDF 590.29 K](4949)
    摘要:
    基于mass assignment 理论,提出了两类层次模糊mass assignment系统,并运用构造性证明过程证明了其全局逼近性质.由于类型1层次模糊系统的规则数与输入变量数呈线性关系,类型2层次模糊系统按逼近精度要求引入子模糊系统,因此,此两类层次模糊mass assignm ent系统可被用来有效地克服模糊规则爆炸问题,即所谓的规则数与输入变量数呈指数关系问题.
    7  个性化服务技术综述
    曾春 邢春晓 周立柱
    2002, 13(10):1952-1961.
    [摘要](13276) [HTML](0) [PDF 570.96 K](14856)
    摘要:
    对个性化服务技术中用户描述文件的表达与更新、资源描述文件的表达、个性化推荐技术、个性化服务体系结构以及该领域的主要研究成果进行了综述.通过比较现有原型系统的实现方式,详细讨论了实现个性化服务的关键技术.此外,分析了3个具有代表性的个性化服务系统.最后对个性化服务技术进一步研究工作的方向进行了展望.
    8  移动环境下的低开销自动数据收集算法
    周桓 李京 冯玉琳
    2002, 13(10):1962-1968.
    [摘要](3598) [HTML](0) [PDF 387.81 K](5096)
    摘要:
    移动计算的一个重要难题是断连操作.数据收集过程是指在断连前把用户将来可能访问的数据预先存储到本地缓存的过程.收集过程的结果将明显影响断连操作的性能.提出了一种低开销的通用数据收集算法,在访问数据时同步建立数据之间的关联,并在数据关联的基础上自动选择要收集的数据集.模拟试验结果表明,该算法可以有效地提高断连操作时的cache 命中率,尤其适用于计算速度慢、存储容量小的手持移动设备.
    9  基于广义超曲面树的相似性搜索算法
    张兆功 李建中
    2002, 13(10):1969-1976.
    [摘要](3706) [HTML](0) [PDF 509.57 K](4844)
    摘要:
    相似性搜索是数据挖掘的主要领域之一.它在数据库中检索出相似的数据,发现数据间的相似性.它可以应用于图像数据库、空间数据库和时间序列分析.对于欧氏空间(一种特殊的度量空间),相似性搜索算法中基于R-tree的方法,在低维时是高效的,当维数增加时,R-tre e的方法将退化为线性扫描.该现象被称为维数灾难(dimensionality curse),主要原因是存在数据重复.当数据量很大且维数很高时,距离计算和I/O操作将非常费时.提出了度量空间上新的空间分割方法和索引结构rgh-tree,利用数据库的数据对象与很少几个固定参考对象的距离信息进行数据分割和分布,产生一个各节点没有数据重复的平衡树.另外,在rgh-tree的基础上提出了相应的相似性搜索算法,该算法具有较小的I/O代价和距离计算次数,平均复杂性近似为o(n0.58).解决了目前算法存在的一些问题.
    10  一种面向对象的领域工程方法
    王千祥 吴琼 李克勤 杨芙清
    2002, 13(10):1977-1984.
    [摘要](3850) [HTML](0) [PDF 431.15 K](5973)
    摘要:
    介绍了一种面向对象的领域工程方法--"青鸟领域工程方法".领域工程是对一个领域中的若干系统进行分析,识别这些应用的共同特征和可变特征,进行面向复用的开发,产生出特定于领域的构件和构架.领域工程给软件复用提供了有力的支持."青鸟领域工程方法"以" 青鸟面向对象开发方法"为基础,明确规定了领域工程中各个阶段的活动和产品,并针对每个阶段和活动给出了操作指南.
    11  基于对象视图模型WebView的Web应用框架
    张波 冯玉琳 黄涛
    2002, 13(10):1985-1990.
    [摘要](3251) [HTML](0) [PDF 297.80 K](5238)
    摘要:
    作为Web应用的基础,资源模型的抽象能力明显不足,使得成熟的软件开发方法无法被应用到Web应用的开发过程中.提出了Web应用的对象视图模型WebView,并在现有Web技术的基础上实现了基于WebView的Web应用框架.对象视图模型以对象视图作为统一的概念对Web实体进行建模,有效地增强了可复用性,并提高了开发效率.基于WebView的Web应用框架具有将不同类型的对象视图映射为相应的HTML实现的能力.
    12  移动Agent系统的安全性研究
    李新 吕建 曹春 冯新宇 陶先平
    2002, 13(10):1991-2000.
    [摘要](3268) [HTML](0) [PDF 572.46 K](5445)
    摘要:
    移动Agent系统中的安全问题是阻碍其广泛应用的原因之一.通过对Agent的安全问题及其研究现状的分析,提出了解决一些安全问题的方法,并在自行研制的移动Agent系统Mogen t中实现,对防止和解决移动Agent系统中的安全问题有一定的作用.
    13  基于贝叶斯分类器的图像检索相关反馈算法
    苏中 张宏江 马少平
    2002, 13(10):2001-2006.
    [摘要](3885) [HTML](0) [PDF 460.93 K](5801)
    摘要:
    由于图像底层特征及其本身所包含的上层语义信息的巨大差距,使得基于内容的图像检索很难取得令人满意的效果.作为一种有效的解决方案,在过去的几年中,相关反馈在该研究领域取得了一定的成功.提出了一种新的具有学习能力的反馈算法.该算法基于贝叶斯分类原理,运用不同的反馈策略分别处理正、负反馈,同时它具有学习能力,可以运用用户的反馈信息不断地修正检索参数,使系统的检索能力得到不断的提高.通过在大图片库上的检索实验 ,该算法产生的效果大大优于当前其他的反馈方法.
    14  一种训练支撑向量机的改进贯序最小优化算法
    孙剑 郑南宁 张志华
    2002, 13(10):2007-2013.
    [摘要](3552) [HTML](0) [PDF 472.34 K](6542)
    摘要:
    对于大规模问题,分解方法是训练支撑向量机主要的一类方法.在很多分类问题中,有相当比例的支撑向量对应的拉格朗日乘子达到惩罚上界,而且在训练过程中到达上界的拉格朗日乘子变化平稳.利用这一统计特性,提出了一种有效的缓存策略来加速这类分解方法,并将其具体应用于Platt的贯序最小优化(sequential minimization optimization,简称SMO) 算法中.实验结果表明,改进后的SMO算法的速度是原有算法训练的2~3倍.
    15  基于插值的Bernstein多项式复合及其曲线曲面应用
    冯结青 彭群生
    2002, 13(10):2014-2020.
    [摘要](3819) [HTML](0) [PDF 533.88 K](6071)
    摘要:
    在曲线曲面造型中,Bernstein多项式复合被广泛用于许多几何操作,因而具有重要的理论和实际意义.基于多项式插值和符号计算的思想,研究了Bernstein多项式函数复合问题, 并将其应用于曲线曲面的情形.与两种已有方法相比,新方法具有速度快、易于编程实现、占用存储空间少的特点,但数值精度低于基于广义de Casteljau算法的多项式复合结果.
    16  Verilog操作语义研究
    李勇坚 何积丰 孙永强
    2002, 13(10):2021-2030.
    [摘要](4136) [HTML](0) [PDF 548.32 K](5678)
    摘要:
    提出了一个结构化操作语义模型,用于描述Verilog核心子集的语言特征,此子集包含了事件驱动、基于共享变量的并发特性、时间延迟等Verilog的主要语言成分.在此操作语义模型中,所有的Verilog程序将被统一地认为是开放式系统,所以在此操作语义模型的基础上能够进一步提出Verilog开放进程的观察模型,并提出基于互模拟的观察等价概念来判定进程之间的等价关系.最后证明了所定义的观察等价关系对所有的Verilog构造子而言是一个同余关系,从而为发展相应的进程代数理论提供了一个可靠性基础.
    17  基于颜色-空间特征的图像检索
    王涛 胡事民 孙家广
    2002, 13(10):2031-2036.
    [摘要](4475) [HTML](0) [PDF 384.94 K](7245)
    摘要:
    虽然基于颜色直方图特征的图像检索方法简单、高效,但却丢失了颜色的空间分布信息.提出了一种基于颜色-空间特征的图像检索方法.该方法将图像内容看成由若干对象组成的集合,首先利用图像分割得到主要对象,然后根据对象的颜色、位置和形状特征计算图像间内容的相似度,再进行检索.实验结果表明,当图像中有明显的物体时,该方法与颜色直方图相比,能够更加准确和高效地查找出用户所需内容的图像,明显地提高了检索精度.
    18  多比例尺下细节层次可视化的实现机制
    李军 景宁 孙茂印
    2002, 13(10):2037-2043.
    [摘要](4085) [HTML](0) [PDF 375.49 K](5081)
    摘要:
    基于空间数据库技术提出了一种多比例尺下细节层次可视化的实现机制.通过建立V-R eactive树索引结构,可以表示不同的细节层次,同时集成了实现多比例尺综合技术.通过采用透视查询算法,简化了该机制实现的复杂度.根据三维可视化的特点,对V-Reactive树进行优化,增强了图像质量.实验结果表明,该机制适用于具有海量数据的三维GIS中.
    19  基于随机扰动梯度近似的图像复原与重构算法
    刘传才 傅清祥
    2002, 13(10):2044-2050.
    [摘要](3645) [HTML](0) [PDF 513.28 K](5700)
    摘要:
    为了复原缺乏先验知识的降质图像以及探索层析X射线图像重构的新途径,借鉴Spall 和Cristion的随机扰动近似(SPSA)方法,将其扩展到高阶和多元的情形,进而提出了一种新的随机扰动梯度近似算法.此算法无须先验知识或后验概率,具有良好的稳定收敛性.对比实验表明,将此算法用于图像的复原和重构可获得良好的效果,而且性能稳定.
    20  基于虚拟人合成技术的中国手语合成方法
    王兆其 高文
    2002, 13(10):2051-2056.
    [摘要](3944) [HTML](0) [PDF 376.13 K](5833)
    摘要:
    介绍了一种中国手语合成方法,实现了文本到中国手语的自动翻译,并使用虚拟人合成技术,实现了中国手语的合成与显示,以此帮助聋人与听力正常人之间实现自然交流.在该方法中,首先应用两只数据手套和3个6自由度位置跟踪器,基于运动跟踪的原理,记录真实人体演示每个手语词的运动数据,建立一个初始的手语词运动数据库.然后,应用一种基于控制点的人体运动编辑方法,对每个手语词的运动数据进行编辑与微调,最后得到一个高质量的手语词运动数据库.当给定一个文本句子时,应用人体运动合成方法,对每个手语词的手语运动片段进行拼接合成,最终生成一个完整的手语运动,并基于VRML的人体运动显示方法将合成的运动逼真地显示出来.基于该方法,在PC/Windows/VC6.0环境下实现了一个中国聋人手语合成系统.该系统采集了<中国手语>(含续集)中收录的5 596个手语词,可以合成一般生活与教学用语.经聋校的老师和学生确认,合成手语准确逼真,可以广泛应用于教学、电视、Internet 等多种大众媒体,帮助聋人参与其他听力正常人的活动,具有广泛的应用前景和重要的社会意义.

    当期目录


    文章目录

    过刊浏览

    年份

    刊期

    联系方式
    • 《软件学报 》
    • 主办单位:中国科学院软件研究所
                       中国计算机学会
    • 邮编:100190
    • 电话:010-62562563
    • 电子邮箱:jos@iscas.ac.cn
    • 网址:https://www.jos.org.cn
    • 刊号:ISSN 1000-9825
    •           CN 11-2560/TP
    • 国内定价:70元
    您是第位访问者
    版权所有:中国科学院软件研究所 京ICP备05046678号-3
    地址:北京市海淀区中关村南四街4号,邮政编码:100190
    电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
    技术支持:北京勤云科技发展有限公司

    京公网安备 11040202500063号