高性能同步通信板TH—X25的设计与实现

Ｘ．２５同步通信板是高档微机访问公用公组数据网的有效手段，目前Ｘ．２５板正在向智能化、高速化及大容量存储器方向发展，本文论述了一种高性能同步通信版ＴＨ－Ｘ２５的设计与实现，包括它的系统结构、服务原语以及驱动程序的设计实现等方面的内容。     

基于STREAMS的同步通信板TH-X25驱动程序的设计与实现

ＳＴＲＥＡＭＳ是ＵＮＩＸ系统为开发通信服务而提供的一套通用、灵活的开发工具,同步通信是分组交换网访问协议软件的主要通信方式。该文在简单介绍了同步通信板及其主要部件ＳＣＣ（串行通信控制器）之后,讨论了基于ＳＴＲＥＡＭＳ机制的通信软件开发方法,重点论述了一个基于ＳＴＲＥＡＭＳ的同步通信板驱动程序的设计与实现。     

媒体同步技术*

人们可以用多种媒体形式表达同一段内容，这样，在输出这些内容的时候就会碰到媒体同步的问题．本文就多种媒体输出同一内容但有多种表达形式时的媒体同步问题进行了一些探讨，提出了一种媒体同步输出的控制模型，并且根据此模型给出了具体工作中媒体同步控制的实现．     

群组通信模型及运输协议映射*

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

X.25分时传输的研究与实现

本文简要介绍了Ｘ．２５协议，从远程数字信息的实际要求出发，针对当前的Ｘ．２５软件现有技术，结合ＵＮＸＩ操作系统的特点，提出了Ｘ．２５的多类信息分时传输和网络共享的设计思想，介绍了Ｘ．２５在ＳＵＮ工作站分时传输与网络共享软件ＳＸＴＲＡＮ的实现方法。     

X·25分组层与IP的接口设计

本文较详细地讨论了X-25协议的分组层与在该分组层之上实现的IP协议之间的接口。在X-25之上实现IP,不仅可以融合X-25虚呼叫和IP数据极的特性,而且使这两种业已被世界上许多国家广为接受和普遍运用的协议可以协同工作,为计算机网络网间互连的进化提供一种新的手段,对于我国目前已引进了上述两种网络或协议软件的部门和单位有较大的实际意义。     

爱立信移动交换机X.25数据链路的设计与实现

爱立信公司是目前世界几大著名交换机生产厂家之一，本文以爱立信公司蜂窝移动交换系统ＣＭＥ２０为对象，阐述基于Ｘ．２５协议的数据链路的设计与实现。该系统可应用于计费文件的传输，建立远程操作维护终端。     

STREAMS机制及IP协议实现*

STREAMS是UNIX操作系统中一种新的字符I/O机制，利用这种机制实现网络协议具有程序开发容易、可移植性好、易于集成的特点．本文阐述了关于STREAMS的组成和原理的几个基本概念,给出了用STREAMS实现IP协议的总体设计，讨论了实现中的重要细节．     

底层通信协议中内存映射机制的设计与实现*

在底层网络通信协议中使用内存映射机制为用户层应用提供了虚拟网络界面,使用户层能够方便地访问快速通信设备;通过减少系统软件的协议处理开销,有效地减少了网络通信的延迟.讨论了通信协议中的内存映射机制的设计思想和实现过程,提出了通信区的概念,利用通信区有效地完成核心与用户之间的数据交换.同时给出一个实例,对其实现与性能进行了分析.     

支持智能体的通信原语库系统的研究与实现*

GKD)—APS是我们基于面向智能体程序设计范例(AOP)设计并实现的一个支持智能体相关概念及智能体间消息通信的Prolog解释器．它同时引入了智能体、精神状态、知识、信念、承诺、能力及智能体间的消息通信等概念，并提供了对这些概念的直接支持．GKD—APS为实现多智能体间的知识通信和合作运行，构造多智能体系统提供了基础，有效地支持了分布式知识系统的研究和开发．     

基于ATM的群通信问题的研究*

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

基于串口的多协议通信板的设计与实现

本文以基于ＲＳ４２２Ａ／ＲＳ２３２Ｃ的串口通信板ＵＳＢ为背景，讨论了面向位传送和异步传送协议的硬件设计以及支持存储转发的高层软件设计。该通信板能成功地完成系统启动，诊断、消息转发及异常处理等多种功能，是分布式多处理机系统中的一块智能部件。     

数据库加密管理工具的设计与实现*

本文提出了一种新的密钥管理方法——两级转换表，并以此方案为基础，实现了数据库加密管理工具DBEMT．文中详细介绍了DBEMT的总体设计和主要功能，根据不同方式的安全类划分，分别讨论了字段、记录和属性分类方式下密文数据库的设计．与以往的方案相比，该方案具有安全性好、易于实现、运行效率高的特点，具有较好的实用前景．     

模型库管理系统的设计和实现*

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

基于STREAMS机制的IP／X.25软件的设计与实现

ＳＴＲＥＡＭＳ机制是ＵＮＩＸ系统为开发通信服务而提供的一套通用、灵活的开发工具。，ＩＰ／Ｘ．２５软件则是ＴＣＰ／ＩＰ网络与Ｘ．２５公用数据网互连以及通过Ｘ．２５公用数据网实现ＴＣＰ／ＩＰ网络之间的互连的重要途径。文中在介绍基于ＳＴＲＥＡＭＳ机制的通信软件开发的一般思路后，着重叙述了ＩＰ／Ｘ．２５软件的功能和结构以及基于ＳＴＲＥＡＭＳ机制的设计与实现，并对基于ＳＴＲＥＡＭＳ机制的通信软件开发方法作了     

认证协议的形式化分析*

认证协议的设计是一项十分困难的工作。国际标准化组织(ISO)一直致力于不同环境的认证协议标准的制定．本文研究用BAN逻辑形式化地分析认证协议的方法，指出BAN逻辑分析并非总是推导出正确的结论．在此基础上，本文讨论了认证协议的设计原则以及改进BAN逻辑的设想．     

面向对象数据库的推理查询实现*

上文介绍了面向对象数据库系统FOOD的推理查询语言O—Datalog，本文继续讨论对O—Datalog程序的几种变换，并证明这些变换是语义等价的，从而证明了对于一个O—Datalog程序，可以为它构造一个相应的Datalog程序。并能利用该Datalog程序对原程序进行计值．最后本文还给出了对O—Datalog程序计值的算法．     

KBASE—P：一个知识库程序设计语言*

KBASE—P是一个知识库程序设计语言．它以KBASE作为查询语言，以FD—PROLOG为过程性的宿主语言．二者具有相同的编程风范，都是Horn子句风范，并且系统对任何磁盘数据访问都是以“每次一个集合”的方式进行，因此在KBASE—P中．查询语言与宿主语言之间的“阻抗不匹配”问题尽可能地减小了．KBASE—P以RDBMS来管理事实(包括中间求值结果)和规则，因此能够有效地管理大容量的数据，并且数据是可共享的，适合于处理大规模的知识密集型应用．本文介绍了KBASE—P语言及其特点，并与相关的系统进行了比较．     

面向对象的PROLOG程序测试工具的研究与实现*

本文首先对Prolog程序中的错误进行了系统的分类，并对各类错误提出了相应的测试算法．接着介绍了一个面向对象的Prolog程序测试工具的设计与实现．     

基于STREAMS的X．25分组交换网访问软件的设计与实现

随着远程通信需求的不断增长和我国公用分组交换数据网的扩容，实现微机ＵＮＩＸ环境下的分组交换网访问协议软件，使我国成千上万的微机用户实现远程通信已迫在眉睫。本文在简单介绍了基于ＳＴＲＥＡＭＳ机制的通信软件开发的一般思路之后，着重叙述了基于ＳＴＲＥＡＭＳ机制的Ｘ．２５分组交换网协议访问软件的设计与实现．并对基于ＳＴＲＥＡＭＳ机制的通信软件开发方法作了简单评价．