• 2002年第13卷第6期文章目次
    全 选
    显示方式: |
    • 分布式交互系统中连续媒体的延迟一致性模型

      2002, 13(6):1029-1039.

      摘要 (3572) HTML (0) PDF 645.93 K (4324) 评论 (0) 收藏

      摘要:随着多媒体和网络技术的发展,分布式交互系统被广泛应用.在这种系统中,多个客户端通过局域或广域网交互连接.为使响应时间短,本地节点产生的操作立即在本地执行,并广播到其他远程节点执行.在该系统中,一致性维护是一个关键问题,而文献中研究的一致性问题几乎都是基于不连续媒体的.通过一个实例,指出连续媒体中的一种不一致问题.虽然该问题可以通过绝对一致模型解决,但绝对一致模型应用在广域网中将导致长响应时间.为解决绝对一致模型中响应时间过长的问题,提出了延迟一致性模型(简称为DCM模型).在DCM中,如果节点i产生了作用于对象x上的操作,该操作到达远程节点后强行延迟一段时间并要求在统一规定的时间执行.通过该方法,对象x在其他远程节点上的状态将最终保持一致.DCM很灵活,因为不同的对象可以有不同的强行延迟时间.如果分布式交互系统建立在实时网络上,这种强行延迟时间将成为实时通信中实时消息调度的重要参数.

    • 网站浏览路径预测

      2002, 13(6):1040-1049.

      摘要 (3322) HTML (0) PDF 618.60 K (4896) 评论 (0) 收藏

      摘要:用户浏览因特网网站点击某个链接后,该链接的网页往往需要一段时间才能传送到用户端.为了缩短用户的等待时间,利用网站服务器的空闲CPU时间,对用户下一个HTTP请求进行预测,以便预处理下一个网页是一种可能途径.使用已分类的网页信息、用户配置文件和网站日志进行预测,介绍并且分析了16种预测算法.实验结果证明某些算法是比较有效可信的.

    • 一种基于主动轮廓模型的医学图像序列分割算法

      2002, 13(6):1050-1058.

      摘要 (3607) HTML (0) PDF 774.29 K (6127) 评论 (0) 收藏

      摘要:介绍了一种结合live wire算法和活动轮廓模型的医学图像序列的分割方法.通过把live wire算法和图像分割中一般的区域增长方法结合,对传统live wire算法进行了改进,并用改进后的算法对医学图像序列中的单张或多张切片进行交互式地准确分割.然后计算机利用活动轮廓模型自动分割相邻的未分割切片.还通过在活动轮廓模型的边缘点中引入记录已分割物体边缘附近局部区域特征的灰度模型,把已分割切片中的物体与背景的局部区域特征带入相邻的未分割切片中,并用由灰度模型定义的区域相似性代替活动轮廓模型中的外能来引导边缘轮廓收敛到物体的实际边缘.最后介绍了一种基于live wire算法思想的简单的分割结果交互式修复方法.实验结果表明该算法仅需少量用户交互就能快速准确地从医学图像序列中分割出感兴趣的物体,在医学图像分析中具有实用价值.

    • 用非常快速模拟重复退火算法实现的模拟电路模块布局

      2002, 13(6):1059-1068.

      摘要 (3666) HTML (0) PDF 683.13 K (4343) 评论 (0) 收藏

      摘要:提出了基于非常快速模拟重复退火算法实现模拟电路模块布局的方法,该算法指数倍地快于传统的Cauchy 或 Bolzmann退火算法.其中使用一个滑行函数将绝对布局问题转化为相对布局问题,这样极大地减少了算法的搜索空间,而不会降低搜索成功率.价值函数根据模拟集成电路固有的特点设计而成,模拟电路设计者可根据电路的具体要求选择合适的网络长度估算器.使用最小steiner树方法的全局布线器与布局器同时工作,减轻了后续细节布线环节的工作量,并保证最后布局结果的可用性.最后,给出了使用该布局方法实现运算放大器的版图事例.

    • 基于约束优化的Bézier曲线的形状修改

      2002, 13(6):1069-1074.

      摘要 (3595) HTML (0) PDF 527.87 K (4642) 评论 (0) 收藏

      摘要:在计算机辅助几何设计和计算机图形学中,Bézier曲线是一种常用的参数曲线,如何方便地设计和修改Bézier曲线是一个重要研究课题.研究了基于几何约束的Bézier曲线的优化的形状修改,提出一种基于修改曲线控制顶点的约束优化方法.该方法通过修改初始Bézier曲线的控制点来满足给定的约束,并理想地修改曲线的形状.同时给出了一些实例.

    • 利用数据库技术实现的可扩展的分类算法

      2002, 13(6):1075-1081.

      摘要 (3333) HTML (0) PDF 506.59 K (4494) 评论 (0) 收藏

      摘要:重点研究将数据挖掘中的分类技术与数据库技术紧密结合的高效的可扩展的分类算法.提出一种基于分组记数技术构造分类器的方法,利用数据库系统的结构化查询语言来实现主要计算任务.为了提高算法的执行效率,还提出了优化策略和冗余规则的剪裁策略,并将分类规则的发现过程与相关属性的选择方法有机地结合在一起.使用这些方法和策略,分类算法能够从大规模数据集中快速地发现一组简洁的规则.除了具有与现有分类算法相当的准确度和较高的执行效率以外,该分类算法还具有良好的基于训练集元组个数和属性个数两方面的可扩展性和易于实现的特点.

    • 基于向量空间模型中义项词语的无导词义消歧

      2002, 13(6):1082-1089.

      摘要 (4131) HTML (0) PDF 517.15 K (5349) 评论 (0) 收藏

      摘要:有导词义消歧机器学习方法的引入虽然使词义消歧取得了长足的进步,但由于需要大量人力进行词义标注,使其难以适用于大规模词义消歧任务.针对这一问题,提出了一种避免人工词义标注巨大工作量的无导学习方法.在仅需义项词语知识库的支持下,将待消歧多义词与义项词语映射到向量空间中,基于k-NN(k=1)方法,计算二者相似度来实现词义消歧任务.在对10个典型多义词进行词义消歧的测试实验中,采用该方法取得了平均正确率为83.13%的消歧结果.

    • 多维数据实视图的动态选择

      2002, 13(6):1090-1096.

      摘要 (4143) HTML (0) PDF 437.83 K (4619) 评论 (0) 收藏

      摘要:提出了多维数据中实视图的动态选择方案.其基本思想是由系统跟踪查询的分布情况,并据此动态地调整实视图集合.具体实现了该方案,并证明了在一定条件下,单次选择算法的效果与最优效果的差具有一定的上限.实验结果表明,动态方案的效果优于已有的其他选择方案.

    • 多媒体组通信机制——服务质量受控型组管道

      2002, 13(6):1097-1102.

      摘要 (3308) HTML (0) PDF 391.12 K (4165) 评论 (0) 收藏

      摘要:提出一种服务质量受控型组管道,作为基于服务质量的平台层多媒体组通信抽象,以支持分布式多媒体组通信机制的描述与开发.给出了服务质量受控型组管道的形式定义,详细讨论了其工作过程.该抽象已被成功地用于指导分布式多媒体信息系统、计算机会议系统、远程教学系统等系统中的组通信机制的开发工作.实验结果表明,服务质量受控型组管道可以作为分布式多媒体组通信机制的开发指南.

    • 多媒体组通信机制——服务质量受控型组管道

      2002, 13(6):1097-1102.

      摘要 (3680) HTML (0) PDF 421.14 K (4309) 评论 (0) 收藏

      摘要:提出一种服务质量受控型组管道,作为基于服务质量的平台层多媒体组通信抽象,以支持分布式多媒体组通信机制的描述与开发.给出了服务质量受控型组管道的形式定义,详细讨论了其工作过程.该抽象已被成功地用于指导分布式多媒体信息系统、计算机会议系统、远程教学系统等系统中的组通信机制的开发工作.实验结果表明,服务质量受控型组管道可以作为分布式多媒体组通信机制的开发指南.

    • 一次身份认证可访问多个应用服务器

      2002, 13(6):1111-1116.

      摘要 (3847) HTML (0) PDF 338.95 K (4339) 评论 (0) 收藏

      摘要:一个企业网中的应用服务多种多样,各自都提供了安全措施,这必然给用户使用和管理员的权限管理带来不便.为此,设计和开发了一套一次身份认证系统.该系统可与各个应用服务很好地集成在一起,在保证安全的前提下方便了用户的使用和权限的管理.

    • 翻转距离星树问题的计算复杂度和近似算法

      2002, 13(6):1117-1122.

      摘要 (3452) HTML (0) PDF 492.53 K (3964) 评论 (0) 收藏

      摘要:讨论基于基因组翻转距离的星型进化树问题的算法和复杂性.首先证明星树问题是NP-难解的,再证明该问题不存在绝对近似求解算法,最后给出一个求解星树问题的常数近似算法,近似性能比为2.

    • 低功耗多线程编译优化技术

      2002, 13(6):1123-1129.

      摘要 (3709) HTML (0) PDF 491.09 K (5230) 评论 (0) 收藏

      摘要:提出了在多线程体系结构中通过降低执行频率有效减小功耗的理论模型和方法.首先研究识别可降频运行的线程的计算模型和降频因子的计算,然后给出在编译过程中基于对应用程序行为的分析,结合线程划分的低功耗编译优化算法和实现策略.该模型和方法可用于具有执行频率可动态调整的多处理器类多线程体系结构,既可开发TLP(thread level parallelism),又可有效减小功率消耗.

    • 求解有度约束多播路由问题的分布式算法

      2002, 13(6):1130-1134.

      摘要 (3379) HTML (0) PDF 285.96 K (4051) 评论 (0) 收藏

      摘要:在应用多播(multicast)时,有效的多播路由是关键.现有的多播路由算法一般假定每个节点都支持multicast,但在实际网络中,某些节点并不支持多播,而为了保证网络速度,需限制进行多播所要复制信息的数量.为此,采用度约束来表示每个节点的多播能力,提出了一种有度约束的分布式多播路由算法.算法的复杂度和所需传递信息的数量都低于已有的同类算法.

    • 一种自动分析网络软件时延的工具

      2002, 13(6):1135-1141.

      摘要 (3973) HTML (0) PDF 407.19 K (5228) 评论 (0) 收藏

      摘要:网络软件实现的复杂性及运行的动态性增加了精确分析时延出现原因的难度.利用先进微处理器提供的性能监视功能和操作系统网络软件实现的特点,NetSlice提供了一种新颖、模块化且具有良好扩展性的自动分析网络软件时延的方法.首先介绍NetSlice的体系结构、各组成部分的功能和关系,然后分析其性能开销和应用策略,最后给出Linux操作系统中TCP发送过程的时延分析结果.实验结果表明,NetSlice非常有助于发现造成网络软件时延的真正原因.

    • KDD中因果关联规则的评价方法

      2002, 13(6):1142-1147.

      摘要 (3799) HTML (0) PDF 396.98 K (4739) 评论 (0) 收藏

      摘要:在KDD(knowledge discovery in database)中,对所发现的知识进行评价是一个很重要的环节.提出了一种针对KDD中因果关联规则的自动评价方法.该评价方法采用了全新的、有效的知识表示方法(语言场和语言值结构)和推理机制(因果关系定性推理机制),并且具有通用性和交互性的特征.给出了此评价方法的理论依据和构造过程,并提供了相应的算法.通过对具体实例的运行检验,证明了此评价方法的有效性.通过与相关工作的比较,证明了其先进性.

    • 并发面向对象中的继承反常现象

      2002, 13(6):1148-1154.

      摘要 (3642) HTML (0) PDF 408.80 K (4334) 评论 (0) 收藏

      摘要:如果不考虑继承性,并发性与对象技术的结合是很自然的.继承反常(又称继承异常)现象是继承性和并发性不相容的主要原因之一.现阶段人们对继承反常现象的认识有许多模糊之处,出发点不尽相同,形式化的工作也很少.对不同的subtyping关系考虑其特有的渐增式继承方法有利于把握继承反常现象的实质,也丰富了"在并发面向对象语言中应将inheritance层次和subtyping层次区别对待"这一认识的内涵.在阐述基本观点之后,采用范畴论的术语对相关的概念和定义做了形式化工作.一些观点和结论适用于区分和解释相关工作的出发点和贡献,并对并发面向对象技术中继承性的建模问题有所启示.

    • SEA算法的有效实现

      2002, 13(6):1155-1161.

      摘要 (4055) HTML (0) PDF 455.14 K (5872) 评论 (0) 收藏

      摘要:选取安全椭圆曲线的核心步骤是对椭圆曲线阶的计算.SEA(Schoof Elkies Atkin)算法是计算椭圆曲线阶的有效算法,同种圈(isogeny cycles)方法是Morain对SEA算法改善的一种重要局部优化技术.在实现了Fp上SEA算法的前提下,对同种圈方法作了进一步改进,就SEA算法中各方法的综合运用提出一种方案,并且对用SEA算法选取素数阶和拟素数阶椭圆曲线速度上的优化作了一些讨论,所获得的一些速度指标和国际公开资料上的指标有可比性.

    • 高速因特网中含卫星单向链路的路由研究

      2002, 13(6):1162-1168.

      摘要 (3894) HTML (0) PDF 533.00 K (4205) 评论 (0) 收藏

      摘要:由于多数卫星地面站只具有接收能力而形成了单向链路,无法应用现有的路由协议.为了解决含有卫星单向链路的路由问题,首先针对卫星直播系统的拓扑结构建立了网络模型,并在简化模型的基础上提出了基于环路发现的链路状态路由算法和一种基于服务器的协议--SERP(sever-based routing protocol).通过证明路由算法的收敛性,并利用Network Simulator工具对协议进行仿真的结果,得出SERP的正确性和具有协议开销小的特点,可用以支持在高速因特网中集成宽带卫星网络的动态路由.

    • 回归型支持向量机的简化算法

      2002, 13(6):1169-1172.

      摘要 (3299) HTML (0) PDF 290.16 K (6348) 评论 (0) 收藏

      摘要:针对支持向量机应用于函数估计时支持向量过多所引起的计算复杂性,提出一种简化算法,可以大幅度地减少支持向量的数量,从而简化其应用.采用简化算法还可以将最小平方支持向量机算法和串行最小化算法结合起来,达到学习效率高且生成的支持向量少的效果.

    • Internet密钥交换协议的安全缺陷分析

      2002, 13(6):1173-1177.

      摘要 (3318) HTML (0) PDF 264.36 K (4644) 评论 (0) 收藏

      摘要:IKE(Internet key exchange,RFC2409)提供了一组Internet密钥交换协议,目的是在IPSec(IP security)通信双方之间建立安全联盟和经过认证的密钥材料.随后有学者发现IKE协议存在一个安全缺陷,并给出相应的修改建议.指出了修改后的IKE协议仍然存在类似的安全缺陷,并描述了一个成功的攻击.在给出修改建议的同时,成功地利用BAN逻辑分析了导致这两个安全缺陷的原因.

    • 一类不规则问题的自动并行性识别

      2002, 13(6):1178-1186.

      摘要 (3238) HTML (0) PDF 481.49 K (4357) 评论 (0) 收藏

      摘要:传统的数据相关性分析主要针对线性数组下标表达式,并不适用于不规则计算中的循环并行性识别.利用间接数组特征分析和基于严格数组私有化定义的运行时动态测试技术来解决包含间接数组下标引用的循环并行性判断问题,给出性能估测,并与相关工作进行了比较.

当期目录


文章目录

过刊浏览

年份

刊期

联系方式
  • 《软件学报 》
  • 主办单位:中国科学院软件研究所
                     中国计算机学会
  • 邮编: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号