复杂对象标识文法及演算

面向对象数据库及其信息系统研究的难点之一是缺乏形式化的概念和理论基础。根据复杂对象数据表示的常用结构,本文提出了用标识文法来表示复杂对象及其数据。给出了相应文法与对象的部分演算规则。引入标识文法有利于实际系统的计算机表示对象     

专家系统规则启发式划分和并行推理

本文提出了一个启发式规则划分办法并分析了并行规则推理的代价,设规则集合被划分为π=(π_1,π_2,…,π_k),则对于任何一个规则R_i∈π_i,在π_(i-1)中至少有某个R_i,R_i与R_i在某种代换下相关,如果串行推理对规则进行一次遍历所费时间代价为C,对于同样规则划分π进行多处理机或进程并行推理一遍遍历代价至多为C′,C′≤(k/~#R)C。其中~#R是规则集合R的基数,同时给出一个实例和推理代价的实验数据。     

实化外连接视图的增量计算

针对实化外连接视图的增量维护问题,提出了利用独立计算表达式计算辅助增量的算法。该方法利用外连接运算的连接析取范式,为各个析取项建立独立计算表达式,然后利用多个独立表达式之间的公共子表达式来计算实化外连接视图的辅助增量。该方法对实化外连接SPOJ（select project outer join) 视图定义没有其他的限制条件,试验结果表明,与相同条件的算法比较起来,该算法有效地降低了计算代价。     

用标识文法并行处理复杂对象

本文依据复杂对象的内部状态,用标识文法表示其结构,将形式语言的概念和对象层次结构联系起来;阐述复杂对象权的概念以及对象和标识文法之间的等价关系,讨论了关于对象演算的并行处理,给出了在特定并行环境下,顺序执行与并行执行的复杂性;在构造对象公式和相关文法形式模型的基础上,研究了非常复杂对象(如对象数据库)的操作和准则。     

实时任波流的一个接入控制算法

研究具有实时限制的任波流的接入控制算法，对给定时间要求的任波流，当该算法运行结果给出成功信息时，就找到了满足要求的任波路径和其目的地，接着只需检验对应道路上的带宽是否足够即可。该接入控制算法是可规模扩充的。     

基于延时预测的TCP实时视频传输方法

对TCP实时视频传输过程进行分析,指出发送延时是影响基于TCP的实时视频传输端到端延时的关键因素,并可通过其大小来判断视频帧的播放质量;提出一种递阶式马尔可夫预测模型,该模型通过输入视频帧长度、丢包率、网络往返时间和TCP拥塞窗口大小预测视频帧的发送延时,使用NS2(Network simulator 2)进行模拟。研究结果表明:在RED(Random early detection)策略下,可以通过模型的预测值来判断视频帧是否适合采用TCP传输,能为基于TCP的流媒体传输策略提供重要参考。     

中文文字格式器及其几个算法实现

文字处理,是中文办公自动化的一个重要方面。本文叙述了一个在M20微型机上实现的中文文字格式(排版)处理系统,并给出了其中几个主要的算法和分析。     

并发Smalltalk中的并行规则推理

本文着重讨论如何用并发Smalltalk-80来实现产生式规则的并行处理,规则推理主要应用于专家系统,这种机制是建立在顺序推理之上,同时讨论了前向、后向的归纳、演绎推理和规则匹配的复杂度。     

FTALM:一种高效的树结构应用层组播协议

提出一种可扩展、高效的树结构应用层组播协议——FTALM,通过将组播组成员构成的列表进行递归分割,构造一棵可高效传送组播数据的层次化斐波那契树.引入新的概念＂本地区域＂,通过考虑底层的拓扑结构特点来减少在高代价链路上的数据传输.在构树过程中,考虑本地区域的成员数目以获得一棵平衡的树结构.底层拓扑结构的考虑以及斐波那契树的构造使FTALM的组播延迟性能得到提高.模拟实验结果证实了FTALM在组播延迟性能上的优势,在大型组播组的情况下优势更强.