摘要:群通信在并行计算中起着重要的作用.ATM(asynchronous transfer mode)网络有许多特点使之适合群通信.如何有效地利用ATM的这些特点来实现群通信操作是一个重要的研究课题.该文提出了一种基于ATM的群通信结构——混合树(Hybrid-Tree),该结构适合动态组中的群通信,并且能有效地利用ATM的特点.文中提出的组管理协议和树结构维护方法很好地解决了树结构的维护问题.

摘要:该文提出了分布式WWW(world-wide web)数据源WWWDS(WWW data sources)概念,详细介绍了WWWDS的数据模型.该数据模型包括节点、节点容器、节点图和链接点等,简单且具有扩展性,同时提出相应的查询能力强的查询语言WWWQL(WWW query language),并进一步探讨了查询处理和优化问题.

摘要:新型网络应用要求通信协议提供多点投递和相应群组管理功能,同时,高速传输服务和新型网络层协议也开始具有数据多点传输和简单群组控制能力,跨越两者的运输层协议,从而又重新成为学术研究和标准化的热点和趋势.文章主要描述建立群组通信抽象模型的过程和结论以及参照新型运输协议XTP(express transport protocol)和计算机会议应用的模型映射和评价.

摘要:cache的使用缓解了CPU和主存储器之间速度差距太大的矛盾，同时，也使cache的命中率成为影响多处理机系统性能发挥的重要因素.人们对如何加强数据的局部性，提高cache命中率，使多处理机系统的性能得到更好的发挥进行了积极的探索.但过去的工作主要集中于如何加强并行循环内的数据局部性，减少甚至消除并行循环内真假共享cache行所引起的cache抖动，对多处理机系统中循环间数据重用的开发和利用却少有论述.该文对如何开发和利用这些循环间数据重用进行了分析和讨论，并提出了一些切实可行、易于实现的方法.这些方法的

摘要:该文给出了一种对C++进行并发扩充的方案.它基于这样的并发面向对象模型：系统由一组自治的并发对象构成,对象可以有一个体,一旦对象被创建,对象体就开始执行；对象间采用同步消息传递,允许对象内部的并发；对象的并发控制分散在各方法的激励条件中.文章还给出了一种转换策略,把扩充的C++描述转换成C++描述,使之能被现有的C++编译器识别.转换中利用了某些多任务操作系统(如Windows 95)所提供的多线程和同步设施.

摘要:句法分析的研究是自然语言处理领域的一个重要组成部分.该文提出并实现了一种有效的概率上下文无关文法SCFG（stochastic context-free grammar）的分析算法.首先对原有的GLR分析表加以改造，以便能够利用分析过程的控制结构来计算有关的概率；然后对分析过程中的每个状态增设了下标,以区分不同的归约路径.通过上述手段，成功地引入了状态的前向(Forward)概率和内(Inner)概率.利用这两个概率可以计算输入句子的所有可能分析树的概率，用于选择最佳的分析结果.通过对大规模真实文本进行实

摘要:以一阶谓词逻辑为基础,讨论约束满足问题.着重研究一阶逻辑公式可满足性的局部搜索法,并与命题逻辑中的可满足性过程加以比较.以皇后问题和哈密顿回路问题为例,说明基于一阶逻辑的方法能处理较大的问题实例.

摘要:文章介绍一个基于复用的上下文无关文法获取过程的设计和实现,该过程用于获取以上下文无关文法表示的概念.它从待获取概念的有限实例和句型以及可能复用的已知概念出发,通过一个交互式文法推断过程,最终得到概念的文法定义.

摘要:当Internet成为信息社会最重要的传递手段以后,应用系统的范围和客户端的结构就都多样化了.与Internet的集成成为数据库研究者面临的非常急迫和重要的研究问题.因为多数已经存放在计算机系统内的数据是驻留并由数据库系统管理的,并且大量即将进入计算机系统的数据也将通过数据库系统管理,目前的数据库系统并不支持与Internet的集成,它们将成为未来的遗留系统（Legacy System）.该文介绍了作者利用Internet实现TCPIMS系统数据库信息发布工作的设计思想,描述了基于WWW视图的Intern

摘要:文章介绍了作者在过去5年中在微内核技术上所做的工作.给出了3个算法.① 通过将任务调度和线程调度算法相结合的方法，来解决单纯以线程为单位的调度系统的效率和公平性问题；② 一个改进的写时拷贝算法，它结合写时拷贝算法和访问时拷贝算法的优点，来解决写时拷贝算法在I386体系结构上的适应性问题；③ 提出了一个微内核操作系统计时模型，它解决了传统计时算法在微内核系统中计时不准确的问题.

摘要:模型库管理系统是决策支持系统的核心，其基本功能包括模型的定义、组合、存储和调用.该文介绍一个支持客户/服务器模式的模型库管理系统的设计和实现，在这个系统中，模型被视为程序模块，通过运用面向对象的方法进行组织以及对模型的远程和动态的透明调用提供支持，使实现的系统具有良好的动态可扩充性.同时,通过提供模型定义语言和模型库管理，便于决策支持系统客户软件的开发.

摘要:提出两类新的组合Petri网,讨论组合网保持网的结构性质的条件,从而为Petri网的分析与综合提供了有效的方法.

摘要:约束满足问题广泛出现于人工智能领域.在问题求解过程中保持局部约束一致性以缩小问题搜索空间是十分必要的.过去研究者对约束一致性算法的研究仅着眼于改进单个约束关系的维护.该文立足于更高点,提出从求解层次、维护层次和约束层次优化约束一致性维护的原则及其相应策略,算法MAC-H和AC-I⁺进一步减少了约束一致性维护的总代价,并克服了原有算法空间复杂度大的缺点.文中以两个典型的约束满足问题：N-皇后问题和斑马难题为分析和测试的例子,证实了这些原则和策略的有效性.

摘要:该文针对分布式系统提出了一种描述任务动态特征的数据结构指派表AT(assignment table)及一个并行调度算法DRA(dynamic readjusting algorithm).经仿真运行,证明该算法能使分布式系统的并行处理能力得到提高.

摘要:该文引入了散列高阶字典的概念,提出了一个使用散列高阶字典实现数据压缩的模型.实验数据表明,该模型比传统的数据压缩字典方法具有更高的数据压缩能力.

摘要:该文提出了一种区间值属性决策树的学习算法.区间值属性的值域不同于离散情况下的无序集和连续情况下的全序集,而是一种半序集.作为ID3算法在区间值意义下的推广,算法通过一种分割信息熵的极小化来选取扩展属性.通过非平稳点分析,减少了分割信息熵的计算次数,使算法的效率得到了提高.