2001, 12(6):791-801.
摘要:把智能体(Agent)技术引入地理信息系统中,用以增强地理信息系统的人机交互能力和多信息源的可扩展性.用户的问题与用户的查询目标和领域知识相关,因此,交互界面智能体能通过匹配知识库的过程引导用户细化问题,最终提供给用户满意的答案.而且,基于智能体体系结构的建立能够更好地集成各种异构信息源,由于各种异构信息源的集成,所以可以提供给用户数量更多和质量更高的信息.此外还详细描述了一个基于智能体结构的原形系统GXGIS.
2001, 12(6):802-815.
摘要:使用扩展的持续时间演算(EDC)模型,给出了时间化的RAISE描述语言(RSL)的一个子集的指称语义.在扩展的持续时间演算模型中加入了一些新的特征,并探究了它们的代数定律.这些定律在形式化实时程序和验证实时性质中起着重要作用.最后还给出了时间化RSL的一些代数定律.这些定律可以从其指称语义证明,并用于程序的转化和优化.
王士同 , J.F. Baldwin , T.P. Martin
2001, 12(6):816-821.
摘要:基于J.F.Baldwin等人提出的mass-assignment理论,提出了新的基于mass-assignment的模糊CMAC神经网络,接着研究了其学习规则.理论研究结果揭示出,此新模糊CMAC是一个全局逼近器,并且具有学习收敛性.故此新模糊CMAC有非常重要的应用潜力.
2001, 12(6):822-829.
摘要:近年来,面向对象语言的并行化技术取得了许多重要进展.以Mentat,CC++,pC++,HPC++和ICC++等几个典型系统为代表,从并行执行模型、语言并行设施、优化技术和运行时支持等几个方面归纳、总结了近年来这些语言和编译器支持并行的新技术.同时,还给出了对这些技术的分析和评价,总结了需要进一步研究和解决的问题.
2001, 12(6):830-839.
摘要:数据压缩是提高多维数据仓库性能的重要途径,联机分析处理是数据仓库上的主要应用,Cube操作是联机分析处理中最常用的操作之一.压缩多维数据仓库上的Cube算法的研究是数据库界面临的具有挑战性的重要任务.近年来,人们在Cube算法方面开展了大量工作,但却很少涉及多维数据仓库和压缩多维数据仓库.到目前为止,只有一篇论文提出了一种压缩多维数据仓库上的Cube算法.在深入研究压缩数据仓库上的Cube算法的基础上,提出了产生优化Cube计算计划的启发式算法和3个压缩多维数据仓库上的Cube算法.所提出的Cube算法直
2001, 12(6):840-845.
摘要:提出了一个集成了COM和COTBA两种分布式对象系统的简单脚本语言——GSCRSIPT,该语言使用自动化编程接口和动态调用接口来分别操纵在网络中的COM和COTBA对象。GSCRIPT是平台独立的,同一GSCRIPT程序可以在多种操作系统和硬件平台上运行,同时,也详细介绍了GSCRIPT解释器的体系结构和提供事件服务的方法,它们也是GSCRIPT实现平台钎立性的途径。
2001, 12(6):846-850.
摘要:分析了WWW用户的浏览活动规律,提出了有关WWW浏览路径优化的一些基本概念,设计了一个基于用户访问模式的浏览路径优化算法,并与相关的工作进行了比较.
2001, 12(6):851-855.
摘要:许多实际的模式识别问题如对手写体汉字的识别,都属于大规模的模式识别问题.目前,传统的神经网络算法对这类问题尚无有效的解决办法.在球邻域模型的基础上提出一种可用于大规模模式识别问题的神经网络训练算法,试图加强神经网络解决大规模问题的能力,并用手写体汉字识别问题检验其效果.实验结果揭示了所提算法是解决大规模模式识别问题的一个有效且具有良好前景的方法.
2001, 12(6):856-863.
摘要:提出了一种基于距离场插值的三维Morphing算法.该方法通过解析距离场来实现三维Morphing,使过渡形体的光滑性不依赖于原模型的离散剖分精度.同时,给出了基于约束点对和变形控制体的交互形状过渡算法,用户可由此直观而方便地对变形过程实施有效的控制.多个变形实例证明,该算法能够方便地实现两个任意定向流形模型间的可控三维Morphing.
2001, 12(6):864-871.
摘要:群体感知理论的研究与应用是计算机支持协同工作的重要研究内容之一.在研究分析了当前群体感知模型研究工作现状的基础上,提出了一种基于角色的群体感知模型.该模型通过分解群组任务,把群组成员扮演的角色细化,对成员的具体活动进行基于角色的集合划分,并根据角色之间的差别程度来确定成员对不同活动的感知强度.最后对该模型的实现机制和应用领域进行了分析,并讨论了下一步研究中需要解决的若干问题.
2001, 12(6):872-877.
摘要:针对Kerberos认证协议由对称算法所带来的局限性,在保持原有协议框架的基础上,采用基于ElGamal公钥算法的Yaksha安全系统对Kerberos协议进行一定程度的改进.
2001, 12(6):878-883.
摘要:介绍了在实现加密算法时改进性能的方法,给出若干加密算法以及使用这些方法实现后的效果实测数据.
2001, 12(6):884-888.
摘要:One-Way函数在计算复杂性和密码技术中均有重要的应用.将Grollmann和Selman的结果推广到相对化和非一致复杂类的情形,证明了复杂类UP/poly,UP,P/poly等之间的包含关系与强相对化one-way函数、弱相对化one-way函数存在问题的等价性.
2001, 12(6):889-893.
摘要:归纳总结了网络演算,阐明了网络演算的两个基本工具——进入曲线和服务曲线,得出了服务曲线存在瓶颈效应、端到端延迟的理想与近似确定性上界、提供保证服务网络节点的服务曲线需求等结论,计算了服务曲线以速率等待时间及PGPS(packetizedgeneralizedprocessorsharing)形式表示的保证服务端到端延迟确定性上界.
2001, 12(6):894-906.
摘要:最差路径是有分支循环软件流水的一大障碍.对于有分支循环,某些数据相关(称为弹性相关)在循环的动态执行中可能产生、也可能不产生实例.据此,可将严重限制并行性的弹性相关用限制较松的虚构相关代替,再进行软件流水.若调度没有遵守原来的弹性相关,则使用下推变换修正.从而缓解或者完全解除了最差路径的限制.该方法与经典的控制猜测互补,特点是允许调度含错,然后纠错.
2001, 12(6):907-913.
摘要:给出了针对3个认证协议的6种新攻击方法,分析了这些攻击产生的原因,并对相关协议作了改进.
2001, 12(6):914-921.
摘要:提出了一种适合于纯软件H/PC语音压缩与重放的高音质、低复杂度的5kbps语音编码器——PS-ACELP(pre-searchalgebraic-code-excitedlinear-prediction).这个编码器的语音质量与ITU-T的G.723.1的5.3kbps编码器的语音质量相当,算法复杂度约为G.723.1的三分之一,约7MIPS.详细分析了所提出算法取得低运算复杂度的原因和过程.由于具有高音质、低复杂度、低码速率的特点,PS-ACELP算法可以广泛地应用于纯软件实现的语音压缩与重放、Voi
2001, 12(6):922-927.
摘要:分析了Chen给出的一种度量Vague集(值)之间相似程度的度量方法,指出了这种相似度量方法所存在的缺陷.在此基础上,给出了一种新的相似度量方法.由于该方法具有较好的性质,更具合理性,因而是一种较为理想的检测Vague集(值)之间相似程度的度量方法.
2001, 12(6):928-935.
摘要:针对分布式应用的性能要求,引入了负载平衡机制,以便对activere plication和primary backup容错算法进行权衡.提出一种基于冗余服务的动态容错算法RAWA(read-any-write-any),能根据系统负载状况动态改变请求的quorum,不但提高了请求的处理速度,而且以一种简单、有效的方式实现了负载平衡.结合所提出的一致性维护和互斥访问机制,该算法可以适用于嵌套访问和状态服务.另外,还分析了RAWA算法的性能,并通过在CORBA平台上与其他容错算法的对比测试,证明RAWA算法在
2001, 12(6):936-942.
摘要:向量场可视化是可视化研究的一个焦点.流线能够很好地表现向量场的局部信息,并被用于二维向量场的全局显示.从信号分析的角度讨论了基于流线的全局向量场可视化方法的频域特点,指出其结果图像视觉效果的优缺点.在此基础上提出和分析了一种新的方法:纹理流线方法.新方法的频域意义更为明确,计算简单且开销小.
2001, 12(6):943-948.
摘要:提出一个从多波段遥感图像中提取道路网的算法.首先,从多波段图像中提取直线段和平行线段,再进行融合处理,以克服图像中道路表示的不精确性.然后根据线段的局部特性,识别与道路约束模型符合程度好的路段.最后根据道路网的全局连接约束,识别与道路约束模型符合程度较弱的路段.该方法应用于三波段的卫星遥感图像,处理结果表明该方法是有效的.