• 2002年第13卷第12期文章目次
    全 选
    显示方式: |
    • >综述文章
    • 网格模型化简综述

      2002, 13(12):2215-2224.

      摘要 (6611) HTML (0) PDF 674.25 K (6811) 评论 (0) 收藏

      摘要:网格模型的化简对于其存储、传输、处理以及实时绘制有着重要的意义.对国内外在这一领域的工作成果进行了较为系统的介绍,并对各方面典型算法的优缺点进行了分析,最后对这一技术的发展进行了展望.

    • 基于网络演算的流量整形模型

      2002, 13(12):2225-2230.

      摘要 (3254) HTML (0) PDF 426.59 K (4088) 评论 (0) 收藏

      摘要:流量整形对QoS(quality of service)控制有着重要的影响.总结并优化了最近几年发展起来的能够深刻透视计算机网络业务流控制问题的网络演算技术,采用网络演算技术建立了包括贪婪无损失整形器、无缓冲区整形器及固定缓冲区长度整形器的一般性模型,获得了3种整形器的输入/输出特性以及整形器可提高QoS控制机制的效率等结果.

    • 一种基于共享存储的叠前深度偏移并行算法

      2002, 13(12):2231-2237.

      摘要 (3331) HTML (0) PDF 495.45 K (4027) 评论 (0) 收藏

      摘要:为了解决叠前深度偏移计算量巨大这个问题,人们投入了很大精力来开发高效的并行算法.就此,在对一些相关并行算法进行分析之后,根据三维叠前Kirchhoff深度偏移的特点,提出了一种基于共享存储的简化并行算法.其中Slave进程直接存储和读取射线旅行时,消息传递总量显著减少;同时合理地结合"任务池"技术与粗粒度级并行,前者确保动态负载平衡,后者使得Slave与Master之间的通信开销尽可能小.实际数据的测试结果表明,此并行算法高效且可扩展性较好.

    • 多解析度自适应零块判决算法

      2002, 13(12):2231-2336.

      摘要 (3807) HTML (0) PDF 449.37 K (3871) 评论 (0) 收藏

      摘要:在视频会议等应用中,视频编码的速度是保证系统实时性的关键.为了减小视频编码的运算量并提高系统的整体性能,提出了多解析度的自适应零块发现判决算法.多解析度通过对图像的子采样从而大幅度降低了搜索最佳匹配块的次数;而自适应的零块判决算法使得运动搜索速度收敛的更快,在不影响图像质量的前提下提高了编码的效率,并且减少了后续模块(DCT、量化等)所占用的时间.利用H.263算法进行了测试,结果显示在图像主客观质量基本不变的前提下,编码时间最多减少了近40%.

    • 体系结构描述语言XADL和组合失配检测

      2002, 13(12):2238-2243.

      摘要 (3411) HTML (0) PDF 356.81 K (4179) 评论 (0) 收藏

      摘要:在各种构件模型和构件标准定义中,接口描述信息的不足和隐含式的构件交互协议容易造成构件复用的失配问题,不利于构件的复用、验证和管理.提出了基于XML消息的体系结构描述语言XADL(XML-messagebased architecture description language),支持对构件交互协议和构件组合关系的描述,在此基础上给出了组合失配的定义和检测算法.XADL不仅丰富了构件的接口语义,能够有效地避免组合失配问题,并且便于实现系统的运行监控、性能分析和动态调整.

    • UML状态机的形式语义

      2002, 13(12):2244-2250.

      摘要 (3662) HTML (0) PDF 394.15 K (4867) 评论 (0) 收藏

      摘要:许多大型系统在进行分析和设计时,均采用UML作为需求描述语言,尤其是一些对安全性要求较高的系统,更是广泛采用UML的动态行为描述机制--状态机来描述协议及控制机制.但是,由于UML没有形式化的动态语义,不利于对其所描述的需求进行形式化验证和证明.为了解决这一问题,采用以下方法为UML状态机构建形式语义.把UML状态机中的状态映射到一种项代数上,用归纳的状态项表示状态机的状态.然后,把状态项映射到一种加标记的变迁系统LTS上,LTS-状态是状态机的状态项,LTS-变迁是UML状态机的微步.最后,用Plotk

    • 一种实时异构系统的集成动态调度算法

      2002, 13(12):2251-2258.

      摘要 (3448) HTML (0) PDF 463.50 K (3945) 评论 (0) 收藏

      摘要:提出了一种实时异构系统的集成动态调度算法.该算法通过一个新的任务分配策略以及软实时任务的服务质量QoS(quality of service)降级策略,不仅以统一方式完成了对实时异构系统中硬、软实时任务的集成动态调度,而且提高了算法的调度成功率.同时,还进行了大量的模拟研究.这些模拟以传统的近视算法为基准,将其应用在实时异构系统集成动态调度时的调度成功率与新算法进行比较,模拟结果表明,在多种任务参数取值下,新算法的调度成功率均高于传统的近视算法.

    • 四正则图的交叉数

      2002, 13(12):2259-2266.

      摘要 (3411) HTML (0) PDF 669.99 K (4022) 评论 (0) 收藏

      摘要:利用计算机对图的交叉数进行研究,给出了利用分支界限法计算图的交叉数的算法CCN(calculatecrossing number),并利用该算法计算出n≤12的所有四正则图的交叉数以及n≤16的随机四正则图的交叉数.同时计算出n≤12的所有四正则图的平均交叉数Aac(n)和n≤16的随机四正则图的平均交叉数Aac(n),根据计算结果提出四正则图的平均交叉数为O(n

    • 用对分HS-树计算最小碰集

      2002, 13(12):2267-2274.

      摘要 (4165) HTML (0) PDF 479.31 K (4491) 评论 (0) 收藏

      摘要:在基于模型的诊断中,利用冲突集计算最小碰集是其关键的步骤,因为所有冲突集的最小碰集就是所考察系统的诊断.在Reiter的方法中,要用HS-树(图)来计算最小冲突集的最小碰集.HS-树的计算量比较大,且又会因为剪枝的问题而剪掉真实解.提出了用对分HS-树(binary hitting set-树,简称BHS-树)计算最小碰集的方法.这种方法的优点是:(1)产生的树的节点数明显少于HS-树,因而效率较高;(2)解决了因为剪枝而产生的最小碰集丢失的问题;(3)在新增加冲突集时不必完全重新计算,只需在原BHS-树

    • 一种快速圆弧绘制算法

      2002, 13(12):2275-2280.

      摘要 (4108) HTML (0) PDF 458.45 K (6926) 评论 (0) 收藏

      摘要:提出一种圆弧绘制算法.与传统的基于单个像素点的圆弧绘制算法不同,新算法每执行一次输出操作均可生成两个或多个像素点.该算法将圆弧离散轨迹看成是由一系列水平位移和对角位移构成,逐段找出并绘制这些位移,从而减少了圆弧绘制过程中所需的输出操作,有效地提高了圆弧绘制速度.实验结果表明,新算法与著名的Bresenham算法相比,圆弧绘制速度提高近一倍.进一步地,新算法可以推广到其他二次曲线的绘制中

    • 面向专色工艺的彩色图像分色及印制方法

      2002, 13(12):2281-2285.

      摘要 (3355) HTML (0) PDF 381.31 K (4291) 评论 (0) 收藏

      摘要:提出了一种面向专色工艺的彩色图像分色及印制方法.该方法根据印制图像的颜色和油墨信息,通过遗传算法选择用以印制图像的油墨种类,采用数值优化算法解决定制油墨的图像分色问题.该方法能以较少种类油墨的印制出与传统印制结果同等或更为鲜明逼真的图像,可广泛应用于印刷、印染、陶瓷印花等行业.

    • 基于射影重建的线性摄像机自标定方法

      2002, 13(12):2286-2296.

      摘要 (3303) HTML (0) PDF 747.80 K (4708) 评论 (0) 收藏

      摘要:提出了一种基于射影重建的线性摄像机自标定方法.该方法只需要摄像机作一次纯平移运动和两次带旋转的任意运动即可.该方法有3个主要特点.第1,由于该方法是一种线性方法,所以避免了大多数非线性方法的局部极小问题.第2,该方法是一种基于射影重建的自标定方法,由于在射影重建过程中利用了所有图像的信息,因此比以前的方法具有更好的鲁棒性.第3,该方法对硬件设备几乎没有特殊要求,在实际应用中易于实现,比如人手持一个摄像机摄取一些图像即可.模拟实验和真实图像实验均证明了该方法的可行性.

    • 信度网结构在线学习算法

      2002, 13(12):2297-2304.

      摘要 (3444) HTML (0) PDF 516.41 K (3827) 评论 (0) 收藏

      摘要:提出一种新的信度网结构在线学习算法.其核心思想是,利用新样本对信度网结构和参数不断进行增量式修改,以逐步逼近真实模型.本算法分为两个步骤:首先分别利用参数增量修改律和添加边、删除边、边反向3种结构增量修改律,并结合新采集的样本,对当前信度网模型进行增量式修改;然后利用结果选择判定准则,从增量式修改所得的后代信度网集合中选择一个合适的信度网作为本次迭代结果.该结果在与当前样本的一致性和与上一代模型的距离之间达到一个合理的折衷.实验结果表明,本算法能有效地实现信度网结构的在线学习.由于在线学习不需要历史样本,

    • 基于网语言的Ada程序局部性质的分析和验证

      2002, 13(12):2305-2316.

      摘要 (3585) HTML (0) PDF 893.87 K (3883) 评论 (0) 收藏

      摘要:旨在研究利用网语言讨论Ada程序性质和由此而引起的Ada网的状态爆炸问题.研究了Ada网的同步合成与分解,讨论了它们的语言性质,并利用这一结果分析和验证了Ada程序的安全性和活性,从而为复杂的Ada程序的分析与验证提供了一个新的有效途经.

    • 蚁群算法求解连续空间优化问题的一种方法

      2002, 13(12):2317-2323.

      摘要 (3677) HTML (0) PDF 483.31 K (6921) 评论 (0) 收藏

      摘要:针对蚁群算法不太适合求解连续性优化问题的缺陷,提出用蚁群算法求解连续空间优化问题的一种方法.该方法将解空间划分成若干子域,在蚁群算法的每一次迭代中,首先根据信息量求出解所在的子域,然后在该子域内已有的解中确定解的具体值.以非线性规划问题为例所进行的计算结果表明,该方法比使用模拟退火算法、遗传算法具有更好的收敛速度.

    • 虚拟装配中感知机制构造

      2002, 13(12):2324-2330.

      摘要 (3345) HTML (0) PDF 391.00 K (3837) 评论 (0) 收藏

      摘要:虚拟装配的一个重要特性是交互性.要提高系统的交互性能,就要合理地分担人和机器的认知负荷,虚拟环境的感知机制是实现这一目标的重要方法.在形式地描述了虚拟装配系统结构后,提出虚拟装配中复合对象的感知机制,同时给出了装配交互中的感知模式,对感知过程给出了分析和构造.桌面虚拟装配的构造实践证明了所提出的感知机制具有很好的交互实时性,对于用户意图理解有较大的帮助作用

    • HEWN算法的复杂性分析——一点商榷意见

      2002, 13(12):2337-2342.

      摘要 (4024) HTML (0) PDF 451.04 K (4554) 评论 (0) 收藏

      摘要:对最大团问题的HEWN(hierarchical edge-weight network)算法进行复杂性分析.首先通过分析HEWN的结构特点和所需进行的操作,设计了一种实现HEWN算法的数据结构,指出了在HEWN算法中HEWN的存储宜采用邻接多重表和二叉链表相结合的链表表示法,然后从HEWN的存储结构入手,剖析了HEWN的构造过程,在剖析过程中,通过与MCST(maximum complete sub-graphtree)比较,指出了当2j>n时潜在的、指数的生成和修改GM的次

    • 基于Mobile Agent技术的遗留系统再工程方法

      2002, 13(12):2343-2348.

      摘要 (2795) HTML (0) PDF 352.02 K (3696) 评论 (0) 收藏

      摘要:针对因特网环境下遗留系统需要不断引入新的需求和技术的需要,提出了一种基于Mobile Agent的遗留系统再工程方法.在该方法中,对遗留系统采用Agent思想重新建模,将频繁的需要与其他部分交互的组件实现为移动Agent,并且允许以定制的Agent的方式添加新的需求,使得目标系统能够更加适应因特网环境.通过将一个单机环境下的单用户计算软件迁移到网络环境下,允许多个远程用户并发访问的再工程尝试,为遗留系统引入新的需求和技术提供了一条可以选择的途径.

当期目录


文章目录

过刊浏览

年份

刊期

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