1999, 10(3):225-230.
摘要:文章对美国国家标准和技术研究所(NIST)最近公布的15个AES候选算法的基本设计思想作了简要介绍,同时也介绍了对这些算法的最新分析结果.
1999, 10(3):231-234.
摘要:VMDP(visual mode for distributed programming)模型是一个基于图标的面向分布式程序设计的图示化模型.它用图标表示分布式系统中的对象及其控制,例如,用车辆、路口和红绿灯等图标分别表示进程、资源和进程控制,从而使分布式系统中进程之间的同步、异步、互斥、共享等协调关系变得十分直观和易于理解.VMDP模型可以广泛应用到分布式系统模型、网络程序设计、并行程序设计和分布式程序设计等领域.
1999, 10(3):235-240.
摘要:交互式图像分割方法因其能够处理复杂的图像而得到了广泛的研究.文章提出了一种基于代理机模型的交互式图像分割方法.代理机是完成特定功能的模块,它通过控制界面和汇报界面实现与操作者的交互.该代理机以欲分割区域的特征作为其组成部分之一.该方法在医学图像分割问题中的应用取得了较好的结果.
1999, 10(3):248-252.
摘要:分析了协议性能测试需要解决的主要问题,并以随机Petri网为形式化工具,描述了网络协议的服务质量.提出从随机Petri网模型到TTCN(tree and tabular combined notation)测试集的转换规则,并根据随机Petri网模型生成了协议性能测试例.
1999, 10(3):253-256.
摘要:文章探讨了怎样在纯函数式语言中加入赋值操作,而又不丧失引用透明性特征的问题,给出了这些操作的指称语义,并用这些赋值操作定义了一个简单的命令式语言的解释程序.
1999, 10(3):257-263.
摘要:最大熵方法是建立统计语言模型的一种有效的方法,具有较强的知识表达能力.但是,在用现有的最大熵方法建立统计模型时存在计算量大的问题.针对这一问题,提出了一种改进的最大熵方法.该方法使用互信息的概念,通过Z-测试进行特征选择.将该方法应用于汉语的义项排歧中,实验表明,该算法具有较高的计算效率和正确率.
1999, 10(3):264-269.
摘要:Join操作是数据库中最昂贵和最常用的操作.排序合并Join算法是实现Join操作的重要算法,得到了普遍接受并广为应用.在重新研究了排序合并Join算法后发现,同时对两个Join关系进行外排序是不必要的,会带来很大的额外开销.针对这个问题,提出了一种基于单关系外排序的分治Join算法,并在该算法的基础上提出了基于单关系外排序的并行分治Join算法.理论和实验结果证明,基于单关系排序的分治Join算法高于排序合并Join算法.特别是在并行计算环境下,基于单关系排序的并行分治Join算法的效率远远高于排序合并
吕建 , 陆陪 , 于大川 , David L.Shang
1999, 10(3):270-276.
摘要:为了支持并行程序设计,几乎所有的程序设计语言均通过提供并行与同步通信机制来支持某一高级并行计算模型,如Ada语言的任务与会合机制以及Java语言的线程和同步方法.显然,这样的程序设计语言仅能支持一种高级并行计算模型.尽管单模型的途径对某些应用来说简单而有效,但由于现实世界中的问题往往较为繁杂而难以完全用单一模型来解决.文章采用面向对象的语言机制和框架技术来解决此问题.通过分析现有各种语言中高级并行计算模型的共性,提出了若干新的面向对象语言机制.以此为基础,提出了并行面向对象框架的概念,并讨论用其表达和使用
苏运霖 , 管纪文 , David A.Bell
1999, 10(3):277-282.
摘要:约集论用于处理模糊性与不确定性.在某些方面,它同Dempster-Shafer的证据论相重迭,但约集论使用分划来描述约集、下界近似及上界近似,从而获取知识表示中的不确定性,而证据论使用证据函数来实现同一目的.该文针对两个理论表述上的差异,揭示出其内在的关系,以有助于人们对两者的理解,从而为开拓它们的应用铺平道路.此外,在证据论中,组合证据的基本操作是正交和,而在约集论中,基本操作是分划的交,因而存在“证据组合是否对应于分划的交”的问题.通过一个例子来说明回答是否定的.
1999, 10(3):283-287.
摘要:现有的软件复用技术通常是围绕着库来组织利用标准的和通用的可复用资源.例如,面向对象编程环境中的类库和通用构件库.然而,这种以库为中心的复用方式在一定程度上忽略了可复用资源的项目相关信息,而项目相关信息记录了可复用资源的应用语境(Application Context).应用语境有利于可复用资源的理解和使用.为此,提出了一种围绕着一个项目的文档来组织和利用可复用资源的复用途径,即以项目为中心的文档复用,用以支持在相同应用领域中一族软件的开发.探讨了当前的面向对象方法在支持文档复用方面的一些局限性,提出了一种
1999, 10(3):288-292.
摘要:图的最大团问题是一个著名的NP-完全问题.现有求解图的最大团的算法或者只适用于某些特殊的图,或者需要指数级时间代价,效率较低.以图的区间表示的概念为基础,提出了一种求解最大团的算法.该算法能够适用于任意的简单图,并且在一定的条件下,该算法只需要多项式时间就可以完成运行.
1999, 10(3):293-298.
摘要:讨论了复值小波基的解法以及相应滤波器组的构造.从得到的复值滤波器组的结果来看,其滤波器组的实部具有偶数长的对称性和线性相位.同时,将复小波对应的滤波器组和其他几种小波在图像编码上利用相同的量化器进行了对比,复小波在图像压缩性能上有较好的结果.
1999, 10(3):299-303.
摘要:通信子系统是影响工作站机群系统整体性能的主要因素.文章在分析和比较了3种常用的网络性能之后,指出上层协议的处理是影响工作站机群系统性能的主要瓶颈.在由640Mbps的Myrinet连接的8台Sun SPARC工作站组成的机群系统上实现了一个用户层的高性能的精简通信协议——RCP(reduced communication protocol).通过精简协议的冗余功能、减少数据拷贝次数和直接操作硬件缓冲区等方法,达到低延迟、高效率.RCP的回路延迟时间比TCP/IP小得多(200μs vs 1 540μs),
1999, 10(3):304-309.
摘要:不完全信息下的近似推理是知识工程面临的困难问题之一.文章提出了一种具有非单调性质的优先逻辑程序理论.该理论能够对知识的解释进行综合评判,进而优选解释,使其成为现有知识的最佳理论逼近,达到在择优意义下的理论完全化,避免了对知识的完全性及一致性要求.为获取应用领域的优先逻辑程序,基于归纳逻辑程序设计技术设计了一种多方法归纳学习算法,该算法具有较强的归纳能力.此理论与算法已应用在863农业专家系统中,并获得满意结果.
1999, 10(3):310-316.
摘要:计算性能和合成性能对于基于工作站网的软件十分重要,但由于缺乏相应的开发环境,现在这类软件在这两方面还做得很不够,尤其是合成性能十分薄弱.该文提出并实现了一种基于分布对象的并行程序设计框架,力图使分布对象能提供高性能的并行计算服务,同时也使并行算法获得一种良好的封装和复用机制.经过一些并行算法的测试,表明该框架具有实用价值.
1999, 10(3):317-323.
摘要:提出一种用于频域的快速B小波变换方法和阶跃谱分析理论,并把它们用于磁共振缺损频谱数据中提取高频频谱、恢复完整频谱,重建图像.在此方法中,首先用快速B小波变换方法,从低频磁共振数据中提取、恢复缺少的高频分量的特征信息;然后用阶跃谱分析理论,由这些特征信息构成高频磁共振频谱、恢复完整频谱数据;最后用FFT(fast Fourier transform)重建磁共振图像.实验和模拟结果都表明,重建图像质量优于现有方法.
1999, 10(3):324-326.
摘要:定义了两类有向网络——ORC-网络和IRC-网络,并且提出一个计算它们的根通信可靠性(网络的一个特定结点(根点)能与其余每个结点通信的概率)的多项式时间算法.对于ORC-网络和IRC-网络,该算法的时间复杂度分别是O(|E|)和O(|V|·|E|),这里,|V|,|E|分别表示网络所含结点和边的数量.
1999, 10(3):327-331.
摘要:研究曲线拟合和编辑中的分段Bézier曲线的简化问题.定义了3类Bézier曲线的节点缩减算子以及基于其上的算法.实现了分段曲线的最简Bézier表示,并给出严格的数学证明.上述方法已被应用到所开发的软件中.
1999, 10(3):332-335.
摘要:首先介绍两个概念:主同余类的弱可定义性以及次直不可分解类的可定义性.证明了任一有穷代数A,若V(A)具有弱可定义的主同余类以及可定义次直不可分解类,则它的等式系是可以有穷公理化的.进一步的讨论揭示出其结果是新的,是对已有工作的有意义的扩充.