• 2000年第11卷第12期文章目次
    全 选
    显示方式: |
    • 基于约束优化的NURBS曲面形状修改

      2000, 11(12):1567-1571.

      摘要 (4131) HTML (0) PDF 879.05 K (5049) 评论 (0) 收藏

      摘要:提出了一种修改NURBS曲面形状的新方法.利用约束优化方法,得到计算曲面新的控制顶点的显式公式,并给出例子以比较所提出的方法和Piegl方法的效果.

    • 几乎最快与渐近最优的并行分枝界限算法

      2000, 11(12):1572-1580.

      摘要 (4441) HTML (0) PDF 519.45 K (4626) 评论 (0) 收藏

      摘要:分枝界限算法是求解组合优化问题的技术之一,它被广泛地应用在埃运筹学与组合数学中.对共享存储的最优优先一般并行分枝界限算法给出了运行时间复杂度下界Ω(m/p+hlogp),其中p为可用处理器数,h为扩展的结点数,m为状态空间中的活结点数.通过将共享存器设计成p个立体堆,提出了PRAM-EREW上一个新的一般并行分枝界限算法,理论上证明了对于h<p2p,该算法为最快且渐近最优的并行分枝界限算法.最后对0-r背包问题给出了模拟实验结果.

    • 金融数据挖掘中的非线性相关跟踪技术

      2000, 11(12):1581-1586.

      摘要 (3983) HTML (0) PDF 337.44 K (5636) 评论 (0) 收藏

      摘要:金融数据挖掘是信息社会中一个极具挑战性的研究方向.金融数据的随机特性使得隐藏在数据中的内在规则难以被发现.指出了经典相关分析的缺陷,进一步讨论了高阶相关系数的性质,证明了高阶相关不仅能描述隐藏的非线性相关信息,而且正好刻画了线性相关与独立之间的空白.因此,完全可以利用高阶相关性的计算简单性对金融数据中的时变非线性相关特性进行实时跟踪,克服了Brock W.等人于1987年和1992年提出的Granger-Causality独立性检验方法中需要正态假设和非实时性的缺点.最后,将上述结果应用于股票价格与成交量之间的相关分析.数值结果显示高阶相关能跟踪隐藏在数据中的时变非线性相关特性.

    • 并集问题的一个随机算法

      2000, 11(12):1587-1593.

      摘要 (3520) HTML (0) PDF 380.87 K (4642) 评论 (0) 收藏

      摘要:随机算法由于其简洁和高效的特点正在计算中占据越来越重要的位置.但有时随机算法的优良性能并不要求用完全独立的随机变量作为它的输入.仅用成对独立的随机变量作为输入,得到了一个关于估计并集的基的问题的随机算法.这一方法可以减少随机算法中使用的随机位.对于固定的精确度ε和确信度δ,此算法需要O(t1/2)的随机位,比标准的随机算法所使用的随机位数O(tlogtM)要少得多.而算法的执行时间并没有显著地增加O(t2logM).

    • 一种数据仓库联机维护的集合刷新算法

      2000, 11(12):1594-1597.

      摘要 (4245) HTML (0) PDF 223.64 K (4346) 评论 (0) 收藏

      摘要:提出了一种版本控制集合刷新算法(VSRA).它采用增量维护、版本控制和批处理机制保证数据仓库的联机维护和数据一致性.VSRA不仅减少了数据库和数据仓库之间的通信流量,而且提高了实体化视图的刷新效率.用户可以随时使用VSRA进行联机分析处理,并能得到正确的结果.

    • >综述文章
    • 空间推理与地理信息系统综述

      2000, 11(12):1598-1606.

      摘要 (6406) HTML (0) PDF 625.73 K (7358) 评论 (0) 收藏

      摘要:对空间推理SR(spatial reasoning)和地理信息系统GIS(geographic information system)进行了全面的综述.介绍了空间推理和地理信息系统的应用和国内外发展概况,在对大量资料进行分析的基础上,给出了空间推理和地理信息系统的关键属性、主要研究方向和研究热点.

    • 基于高斯球的近似共面合并层次细节模型

      2000, 11(12):1607-1613.

      摘要 (4497) HTML (0) PDF 1.76 M (4515) 评论 (0) 收藏

      摘要:构造场景多层次细节模型是加速图形显示的有效途径.给出一种基于共面合并自动生成场景多层次细节模型的算法.此算法将一单位球定义为高斯球,并按一定的规则对其进行层次分割.然后根据各景物面片的法向在高斯球上的分布,将具有近似一致法向的面片划分为面片族;在面片族内对相邻面片进行合并,生成近似共面区域;然后移去其内部点,对区域边界重新三角化.算法还结合临近边界点合并等原则,删除对表达场景几何特征重要度低的顶点.算法利用平面九叉树进行合并操作,生成具有多层次细节的场景模型.实验结果表明,算法能实现较理想的场景简化效果.

    • 判断检测点是否在多边形或多面体内的新方法

      2000, 11(12):1614-1619.

      摘要 (3682) HTML (0) PDF 440.35 K (6975) 评论 (0) 收藏

      摘要:提出一种新方法,以检测一个点是否在多边形或多面体内.该方法通过将多面体的面片和多边形的边组织成层次结构,在检测时运用二分查找算法,不必处理每个面片和每条边.试验结果表明,这种方法简单、有效,有较高的检测速度.

    • 视频服务器网络中影像对象映射问题的研究

      2000, 11(12):1620-1627.

      摘要 (3802) HTML (0) PDF 535.74 K (4224) 评论 (0) 收藏

      摘要:视频服务器网络中的影像对象映射问题是一种新的组合优化问题.服务器网络可以建立在基于局域网的工作站网络之上,也可以建立在广域网之上.基于对用户的服务请求模式、服务器网络的存储容量和通信带宽等因素的综合考虑,研究了服务器网络中影像对象映射问题,利用局部搜索算法给出了一套对该映射问题的解决方案.然后用一套基准集实例对给出的算法集进行验证.结果表明,在较短的计算时间内,该算法可以得到近似最优解的方案.

    • 公平的非否认密码协议及其形式分析与应用

      2000, 11(12):1628-1634.

      摘要 (3734) HTML (0) PDF 461.84 K (4852) 评论 (0) 收藏

      摘要:在安全数据通信中,数据发送和接收的非否认性是一个极为重要的问题.近年来,实现这种类型的密码协议主要是通过可信第三方参与数据的加密与传送,因而,可信第三方的可靠性和安全性是系统性能的瓶颈.提出了一个公平的双方不可否认的密码协议——NCP(non-repudiation cryptographic protocol).这个协议解决了可信第三方的性能瓶颈问题,是一个更为有效的、安全的密码协议.用信任逻辑对其进行了形式分析,最后探讨了它在电子邮件中的应用.

    • KDD中规则提取的收敛网络方法及其应用

      2000, 11(12):1635-1641.

      摘要 (3399) HTML (0) PDF 409.69 K (4499) 评论 (0) 收藏

      摘要:提出一种新的基于神经网络的规则提取方法.提出的网络由一个主网络及其映射网络组成,具有二次收敛过程.通过主网络的学习(第1次收敛)完成知识学习和网络构造,在此基础上构造了其网络映射,通过该映射网络的收敛过程实现规则的提取.该方法在规则提取时无须遍历解空间,从而很好地提高了搜索效率,降低了计算复杂度.同时,还提出估计规则数下限的信度差方法.模拟实验和应用实验也验证了所提出方法的有效性和正确性.

    • 多媒体同步中QoS到QoP的模糊映射

      2000, 11(12):1642-1647.

      摘要 (3632) HTML (0) PDF 779.35 K (4319) 评论 (0) 收藏

      摘要:针对多媒体实时传输的质量要求,提出了同步QoP映射器的思想,即通过建立QoS(quality of service)到QoP(quality of presentation)的模糊映射,从感知的角度为分布式多媒体提供同步质量的度量工具.从分析Ralf Steinmetz博士的感知实验出发,提出了构造同步QoP映射器的算法.此算法以拟合感知困惑曲线为基础,通过提取模糊隶属度函数来实现QoS到QoP的模糊映射.在此基础上,给出了将此模糊QoP映射器应用于实时媒体传输的同步时间模型的实例,实例以模糊QoP映射器的模糊隶属度函数作为模糊控制机制的条件来控制同步语义的变迁,以实现媒体同步质量的调整.

    • 顺序扫描实现程序并行化

      2000, 11(12):1648-1655.

      摘要 (3613) HTML (0) PDF 526.29 K (4657) 评论 (0) 收藏

      摘要:提出扩展选择调度,统一处理循环和非循环代码,对它们不加区分但却分别产生软件流水和全局压缩的效果;程序并行化不需要分层简化,只要顺序扫描一遍即可.该方法打破了有环调度和无环调度的界限,是一种基于一般图而不是路径或有向无环图的全局调度算法.它从一个全新的角度来看待多重循环,通过恰当地计算可用集合和活变量集合,实现了多重循环的直接调度,对任意控制流程序都是适用的.

    • 基于线图的无β环混合依赖分解条件及算法

      2000, 11(12):1656-1659.

      摘要 (2985) HTML (0) PDF 268.52 K (4444) 评论 (0) 收藏

      摘要:β环数据库模式具有很多优良的特性,以往的研究都局限在图论的范畴内,而没有考虑数据库的其他规范化特性.在混合依赖基概念的基础上,定义了严格无冲突、扩展严格无冲突等概念,并证明了在混合环境下得出的无损联接、保持依赖、无β环且满足4NF的分解的充要条件是,混合依赖集是扩展严格无冲突的.据此,给出了判断严格无冲突及混合环境下无β环分解算法,并分析了算法时间的复杂度是线性的.最后,给出基于线图的实例验证.这一结论可直接指导数据库的模式设计.

    • 类BAN逻辑基本模型及缺陷

      2000, 11(12):1660-1665.

      摘要 (4092) HTML (0) PDF 422.83 K (4534) 评论 (0) 收藏

      摘要:类BAN逻辑是一种用于分析密码协议安全性的逻辑.在分析了BAN,AT,MB,GNY,SVO等类BAN逻辑之后,指出这些逻辑的缺陷,包括若干新发现的缺陷.首先把类BAN的模型抽象出来,形成一个五元组模型,然后分析该模型的各个要素,并依据该模型对类BAN逻辑的缺陷进行分类,最后指出进一步发展类BAN逻辑应解决的问题.

    • 颠簸环境下的快速障碍物检测算法

      2000, 11(12):1666-1673.

      摘要 (3730) HTML (0) PDF 1.16 M (4637) 评论 (0) 收藏

      摘要:障碍物检测是智能车辆研究中的一个重要内容.用射影几何的方法给出了用重投影变换进行障碍物检测的一般原理,并引入摄像机的内、外参数和姿态参数,建立了重投影变换的参数化模型.为了满足颠簸环境的要求,提出了一种新的基于立体视觉视差分析的障碍物检测算法.实验结果表明,算法具有计算量小和可靠性高的特点.

    • 负载平衡无关的并行程序最适处理器网格选择

      2000, 11(12):1674-1680.

      摘要 (3636) HTML (0) PDF 463.70 K (4811) 评论 (0) 收藏

      摘要:用户在编写并行程序时,通常是把物理处理器看成逻辑的处理器(进程)网格,以便于算法的实现.随着用户可用处理器的不断增多,可选择的网格形状也随之增加,如何为基于消息传递的并行程序选择合适的、能发挥出并行机潜在性能的处理器网格形状,是一个迫切需要解决的问题.在提出基于通信点概念的最小度数通信点集合法之后,通过对并行程序通信模式的分析,试图解决与负载平衡无关的并行程序的最适处理器网格选择问题.通过对ScaLAPACK软件包中的一个并行测试程序——并行Cholesky(对称正定矩阵分解)通信点集合度的分析,此方法成功地选择了最适处理器网格形状,并与实验结果相一致.

    • 并行计算通信库测试方法研究及实践

      2000, 11(12):1681-1684.

      摘要 (3054) HTML (0) PDF 308.04 K (4456) 评论 (0) 收藏

      摘要:并行计算通信库的测试在并行计算系统中起着重要的作用.对通信库的测试一般都是通过设计一些测试程序对库的各个或几个部分分别进行单独隔离测试.但是有许多库中的错误用这种隔离测试方法测不出来,只有当库的多个部分以某种复杂的、有机的方式组合运行时才会暴露出来.而这种复杂的、有机的组合方式,从设计库的测试角度看很难形成.提出两种新的测试方法,根据通信库结构的分层特性,利用可移植的上层库的测试程序来测试下层库.上层库的测试程序也可看做是下层库的应用程序,但与一般的下层库应用程序不同,它几乎覆盖了下层库的各个部分,且有机地将它们组合起来,运行时形成某种复杂的形态,而仅用下层库的测试程序往往达不到这种形态.这样,逃过下层库测试程序的错误就可能暴露出来.

    • 基于样图的排样及其样图检索方法

      2000, 11(12):1685-1691.

      摘要 (3396) HTML (0) PDF 449.29 K (4594) 评论 (0) 收藏

      摘要:为解决不规则图形排样问题,讨论了基于实例(样图)的推理方法在零件排样问题中的应用,给出了基于样图的排样系统结构.此方法的一个关键问题是在已知待排的零件组和板料的前提下,如何从样图库中检索出相应样图的图形匹配方法.为此提出了基于图形(组)简化骨架的模式编码的串间Findler距离的图形(组)之间相似性检索算法,并给出了算例验证.

当期目录


文章目录

过刊浏览

年份

刊期

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