• 2001年第12卷第10期文章目次
    全 选
    显示方式: |
    • 带时间约束的UML序列图的分析工具

      2001, 12(10):1423-1433.

      摘要 (3910) HTML (0) PDF 964.32 K (4758) 评论 (0) 收藏

      摘要:统一建模语言(UML)是一种多用途的可视化建模语言,它可用于软件系统的规约、可视化的构造和建档.UML序列图描述了交互对象间的协作,如在实时和分布式系统中通讯实体间的信息交互.与其它的规约和设计过程类似,UML序列图的规约也易出错,所以对它进行分析是很有必要的.文章描述了一个对带时间约束的UML序列图进行分析的工具.

    • 一个用于数据并行语言计算划分的时序优化模型

      2001, 12(10):1434-1446.

      摘要 (3473) HTML (0) PDF 1.13 M (4347) 评论 (0) 收藏

      摘要:一个程序中数据并行语句的计算划分(CP)对该程序的运行性能有决定性的作用.尽管人们对这一问题已经进行了广泛的研究,但这些研究的重点都集中在如何提高被选择计算划分的空间局部性上.针对并行循环结构的计算划分问题,提出了一个时序优化模型.在该模型中,一个计算划分被表示成一个有向图,在把并行语句中的操作映射到各个处理器的同时,给出了被分配到不同处理器上的操作之间的相关性.对于一条数据并行语句,时序优化模型对它的每个计算划分选择方案分别采用多种有效的优化策略进行优化;并综合考虑各个计算划分选择方案的负载平衡性、处理器间的操作依赖性、数据访问的空间局部性和时间局部性四个方面的因素,估算每个方案的执行效率;最后从这些方案中选择一个执行效率最优的方案作为该语句的计算划分.作者已在HPF编译器p-HPF采用时序优化模型实现了对FORALL结构的支持.实验结果表明,该模型具有非常好的通用性,对不同领域多种数据并行问题均取得了理想的加速比.同时,只需略微改动,该模型也可用于其他类型数据并行语句的计算划分.

    • 完善验证的凝聚力测量方法以提升软件品质

      2001, 12(10):1447-1463.

      摘要 (3522) HTML (0) PDF 1.76 M (4086) 评论 (0) 收藏

      摘要:无适当使用软件测量将可能引起软件低品质且高成本的窘态.凝聚力是软件品质重要因子之一如同维护度,可靠度和再利用度.软件模组品质的优劣必影响整体系统之品质的优劣.为了设计和维护高品质软件,软件专案经理人和软件工程师无可避免需引用软件凝聚力测量以衡量和产生高品质软件.提出以活路跃变量及视觉化变量纵距为分析基础之功能导向凝聚力测量方法.进而,以一系列实际案例来作实验验证,并以一组性质来作理论辩证所提的测量方法.因此一经完善定义,完善实验和完善辩证之凝聚力测量方法被提出用于当软件凝聚力强度的指标和因此增进软件品质.这凝聚力测量方法能容易嵌入CASE以帮助软件工程师确保软件品质.

    • 从多幅参考图像合成目标图像的逆映射算法

      2001, 12(10):1464-1471.

      摘要 (3368) HTML (0) PDF 2.56 M (4653) 评论 (0) 收藏

      摘要:提出了一种从多幅参考图像来合成新视点目标图像的逆映射算法.这种方法不但成功地填补了由于投影区域扩张而产生的第1类空洞,而且还成功地填补了由于空间非深度连续物体相互遮挡而产生的第2类空洞,从而方便地实现了虚拟环境中的漫游.基于物体表面深度的连续性,提出了一种位移预测方法.该方法可以从单幅参考图像获得逆映射过程中所需要的目标图像的位移信息,从而大大提高了算法的效率.与通常的正向映射算法相比,该算法克服了多幅参考图像所带来的计算量成倍增长等问题,而且误差较小.

    • 区分服务中的分组标记策略研究

      2001, 12(10):1472-1478.

      摘要 (3267) HTML (0) PDF 495.88 K (4754) 评论 (0) 收藏

      摘要:区分服务是近两年的一个研究热点,其目的是为用户提供较大粒度的服务质量(QoS)保证.与集成服务模型相比,区分服务不仅具有良好的可扩展性,而且更容易在传统IP分组交换网络上实现.研究了区分服务的一个关键机制——分组标记策略,并提出了一个具有公平性的分组标记算法(fairmarkingpacketalgorithm,简称FMPA),通过仿真把该算法与现有的等比例的标记算法进行比较.此外,还提出了一种分组再标记(remarking)算法,该算法可尽可能地维护分组原有的服务语义.通过仿真对该算法进行了验证.

    • 基于神经网络自学习的图像检索方法

      2001, 12(10):1479-1485.

      摘要 (3901) HTML (0) PDF 1.19 M (5157) 评论 (0) 收藏

      摘要:相关反馈技术是近年来图像检索中较为活跃的研究方法之一.提出了一种基于神经网络自学习的图像检索方法,即在检索阶段利用人-机交互技术选出与检索图像相似的正例样本,然后构造出前向神经网络,进行自学习,以逐步达到提高查询效果的目的.神经网络的构造过程即是学习的过程,而且可以不断地学习.使用由9918幅图像组成的图像库进行实验,结果表明,该方法有助于用户表达查询意图和语义概念,可以通过交互式检索逐步求精地查找出更多、更准确的图像,并且具有较强的鲁棒性,可以结合各种特征表示和相似性匹配方法,交互地提高检索性能.

    • 高效的动态组播群通信认证签字方案

      2001, 12(10):1486-1494.

      摘要 (3606) HTML (0) PDF 588.39 K (4555) 评论 (0) 收藏

      摘要:由于组播群组的动态性和数据传送的不可靠性,相对于点到点通信,组播通信的安全认证更为复杂.在组播数据发送源认证问题中,签字的速度和长度是实现认证的主要障碍.为了解决这个问题,通过引入新的认证技术——认证矩阵,提出了一个有效的适用于大数量动态的群组和不可靠数据传送的组播认证签字方案.相对于目前的组播包认证方案,该方案可显著地降低签字长度,提高签字速度,并可提供不可抵赖服务,可应用于如多媒体数据传输、多方会议以及远程教育等广泛的应用领域.

    • 基于Strip-Tree的无级比例尺GIS多边形化简技术

      2001, 12(10):1495-1502.

      摘要 (3404) HTML (0) PDF 530.58 K (4069) 评论 (0) 收藏

      摘要:无级比例尺GIS(geographicinformationsystem)多边形化简的基础是多边形弧段的线综合,而直接对多边形的弧段施加线综合操作可能造成输出数据的拓扑错误,主要表现为化简后弧段出现相交.以往的研究并未对这个问题给予足够的重视和给出自动化的解决方法.在对此问题进行全面分析的基础上,提出了一种基于Strip-Tree的多边形图层化简策略,在保持输出数据拓扑结构正确的前提下化简多边形图层,且保持了较高的时空效率.该策略成功地应用于国家863项目“时空一体化智能城建信息系统”,并获得了满意的效率和结果.

    • 基于用户访问事务文法的序列关联规则发现

      2001, 12(10):1503-1509.

      摘要 (3689) HTML (0) PDF 458.73 K (4538) 评论 (0) 收藏

      摘要:在Web挖掘中,应用关联规则发现方法可以发现Web页面之间用户访问的关联度.由于Web站点内含丰富的页面结构信息,也由于用户的访问总是要遵循一定的访问顺序,因此提出一种新的可以发现用户访问序列之间关联度的方法——序列关联规则发现方法.该方法首先得到用户访问事务;然后根据正则文法,定义了一种新的用户访问事务文法,用于从用户访问事务中得到用户序列访问事务;最后应用关联规则发现算法进而发现序列关联规则.为了进一步评价所发现的序列关联规则,引入了互信息的概念.发现的序列关联规则可以帮助Web站点的设计者更好地理解用户的访问,以用于调整Web站点的结构.

    • 凸多面体的快速形态和算法

      2001, 12(10):1510-1515.

      摘要 (3804) HTML (0) PDF 1.13 M (4204) 评论 (0) 收藏

      摘要:在研究传统形态算法的基础上,将凸多面体的形态和算法简化为面与面的形态和,结合三维物体的法矢球模型,引入参考平面的概念.参考平面将三维空间的凸多边形分解成两部分,分别计算对应的两部分的形态和,并去掉重复边和面.提出一种凸多面体的快速形态算法,与传统方法相比,该方法简单、直观,算法效率可提高6~10倍.实验证明,该方法是可行的、有效的.

    • 部分数据缺失环境下的知识发现方法

      2001, 12(10):1516-1524.

      摘要 (3814) HTML (0) PDF 588.82 K (5005) 评论 (0) 收藏

      摘要:介绍了目前的不完全数据环境下的知识发现研究工作,分两个部分提出了一个不完全数据库中的知识发现方法.首先具体讨论了如何猜测丢失的数据,给出了基于距离的关联规则的定义及挖掘方法.然后在此基础上详细描述了一个不完全数据库中的知识发现算法,分析了算法的复杂度,并给出了相应的实验结果.最后,将所提方法与其他相关方法进行了比较.

    • 通用分组无线业务中基于测量的接纳控制算法

      2001, 12(10):1525-1533.

      摘要 (3643) HTML (0) PDF 514.82 K (4502) 评论 (0) 收藏

      摘要:GPRS(generalpacketradioservice)通过使用类似于ATM中采用的QoS管理算法来为用户提供预留服务。许多学者的研究表明:基于测量的链接接纳控制算法与其他链接接纳控制算法相比,对GPRS网络具有更好的适应性和更高的效率。利用优先级队列的最坏延迟计算模型、等效漏桶近似和延迟标准化,在充分分析GPRS特性的基础上,提出了一种适合于GPRS的基于测量的接纳控制算法。通过仿真发现,该算法能在满足GPRS的QoS要求的同时获得80%的资源利用率。

    • 面向提高图像分辨率的遥感数据融合新算法

      2001, 12(10):1534-1539.

      摘要 (4440) HTML (0) PDF 1010.40 K (4305) 评论 (0) 收藏

      摘要:在遥感应用研究中,数据融合技术有着非常广泛的应用.主分量分析方法(principalcomponentanalysis,简称PCA)是一种经典的遥感数据融合技术,在主分量分析方法的基础上,将小波变换与其结合起来,提出了一种新的基于小波叠加的PCA融合算法(addingwaveletcoefficientsprincipalcomponentanalysis,简称AWPCA).实验证明,与原来的PCA和IHS方法相比,基于小波叠加的PCA融合算法进一步提高了融合信息的质量,并能应用于其他需要高分辨率图像的场合中.

    • 一种具有强分类能力的离散HMM训练算法

      2001, 12(10):1540-1543.

      摘要 (4209) HTML (0) PDF 302.70 K (4292) 评论 (0) 收藏

      摘要:提出了一种具有强分类能力的离散HMM(hiddenMarkovmodels)训练算法.该算法利用矢量量化技术将来自不同话者的训练数据进行混合训练,以生成包含各个话者特征的话者特征图案.用该特征图案代替经典的离散HMM中的VQ码本,可以提高观察值符号序列的模式辨识能力,从而提高了离散HMM的分类能力.给出了该方法用于文本有关的话者识别的实验结果,表明该算法可提高系统的识别性能,并要降低HMM对训练集大小的依赖程度,且识别时计算量明显小于经典HMM训练算法,具有较大的实用价值.

    • 基于广义形态内插的非刚体运动描述方法

      2001, 12(10):1544-1551.

      摘要 (3886) HTML (0) PDF 771.72 K (4884) 评论 (0) 收藏

      摘要:提出一种基于形态变换的非刚体运动的广义内插方法.通过对非刚体的凸剖分及凸子集全局优化匹配,与传统的线性内插方法相比,解决了任意非同拓扑结构(包括有孔及凹多边形)的内插问题.理论证明,此种内插方法是一种全局优化的内插方法,并证明了此方法的正确性,讨论了不同凸剖分对内插的影响,把非刚体的运动分解为非刚体的变形与刚体的旋转.实验证明,此内插方法效果自然,质量好,速度快,可用于非刚体运动描述及二维动画关键帧的内插.

    • 基于最大秩距离码的Stern方案

      2001, 12(10):1552-1554.

      摘要 (3499) HTML (0) PDF 642.56 K (3963) 评论 (0) 收藏

      摘要:基于最大秩距离码,提出了一种新的Stern方案,讨论了它的安全性,证明了通过参数的适当选取,此基于最大秩距离码的Stern方案是安全的.

    • 动态优先系统及其应用

      2001, 12(10):1555-1561.

      摘要 (3464) HTML (0) PDF 485.26 K (4320) 评论 (0) 收藏

      摘要:优先关系是并发系统控制的重要手段,常用于解决并发系统设计中的冲突问题.在有界P/T系统的基础上提出一种动态优先系统,并分别给出它们的交错语义与真并发语义.动态优先系统既可以作为并发与分布式系统的建模工具,也可以作为定义程序设计语言中优先算子的语义基础.最后,基于动态优先系统的概念,为Occam语言扩充了一种动态优先选择算子.

    • 基于多虚空间多重映射技术的并行操作系统

      2001, 12(10):1562-1568.

      摘要 (3678) HTML (0) PDF 504.36 K (4474) 评论 (0) 收藏

      摘要:高性能计算机系统的可扩展性是系统设计的一大难题,NUMA(non-uniformmemoryarchitecture)结构正是为了解决共享存储体系的可扩展性问题而提出来的.研究和实践表明,整机系统的可扩展性与操作系统的结构有着密切的关系.典型的多处理机操作系统通常采用两种结构,基于共享的单一核心结构以及基于消息的多核心结构.通过分析得出结论认为,这两种结构都不能很好地适应可扩展并行机尤其是NUMA结构并行机的需求.针对存在的问题,提出了新的结构设计思想:多虚空间多重映射与主动消息相结合.测试和运行结果显示,该结构成功地解决了系统的可扩展问题.

    • 五次PH曲线的Hermite插值

      2001, 12(10):1569-1572.

      摘要 (3660) HTML (0) PDF 271.99 K (4230) 评论 (0) 收藏

      摘要:应用复分析和曲线积分方法研究了满足Hermite插值的五次PH曲线的构造,导出了其相应的Bézier表示.所得五次PH插值曲线不但具有连续的单位切矢和有向曲率,而且其弧长函数是原参数的多项式函数,具有精确的有理Offset代数表示和优美的几何解释,可灵活处理拐点.

    • Verilog语言形式化语义研究

      2001, 12(10):1573-1580.

      摘要 (3741) HTML (0) PDF 560.99 K (4605) 评论 (0) 收藏

      摘要:在连续离散混合时间模型中考虑Verilog的语义行为,将混合模型中的一个区间作为Verilog程序一次运行过程的指称.提出了一种扩展的ITL来描述这种混合区间,从而给出Verilog的形式语义.这种语义定义不仅考虑到了各种语言成分的最终执行结果,而且能够很好地给出语言成分执行的时序特征.

当期目录


文章目录

过刊浏览

年份

刊期

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