一个新的快速检索树结构及其算法

一、引言众所周知,平衡树,2—3树等快速检索树结构是这样一些数据结构,它们的最坏情况检索复杂度为0(log_2N),同时空间复杂度为0(N)。Knuth在其专著中也曾证明:一个随机存取机对一实数有序序列的检索问题,其最坏情况复杂度不会比0(log_2N)更好     

ISO／OSI会话层标准的形式化描述和开发

本文通过对形式化描述技术LOTOS语言和ISO/OSI会话层标准的简要介绍,较详细地讨论了用LOTOS语言对OSI会话层的形式化规范描述,给出了其结构模型及一些重要的模块结构描述。     

协议形式描述及验证的时态系统

本文通过对网络协议形式化描述和验证问题的研究,针对网络协议的特性,给出了一种基于时态逻辑的模型系统。用该系统能较为方便地对协议进行形式化的描述,并通过建立演绎系统而进行协议性质的有效验证,最后还对一个简单例子进行描述和验证。     

OSI会话层标准模型及其在分布式网络DIRN上的设计与实现

本文通过对 OSI 参考模型的简要介绍,概述了会话层国际标准的服务功能和协议要求.然后给出了一个在分布式网络 DIRN 上实现了的会话层软件系统。本文着重于标准的分析和乐统实现的具体考虚,为深入理解和消化 OSI 国际标准及发展我国的网络互连技术作些有益的探索和实践。