ISO／OSI运输层协议的形成描述

通信协议的形式描述是协议实现，正确性验证和一致性测试的基础，本文用一种混合式模型对ＩＳＯ／ＯＳＩ运输层协议进行了形式描述，为协议的实现打下基础。     

ISO/OSI运输层协议的形式描述

通信协议的形式描述是协议实现、正确性验证和一致性测试的基础．本文用一种混合式模型对ＩＳＯ／ＯＳＩ的运输层协议进行了形式描述，为协议的实现打下基础     

SUN工作站服务器与AXE移动交换机的通信

介绍了ＳＵＮ工作站与ＥＲＩＣＳＳＯＮ移动交换机之间的数据通信，描述了ＣＣＩＴＴＸ．２５协议和ＳＵＮＬＩＮＫＸ．２５协议，给出了如何按Ｘ．２５协议将移动交换机输入输出柜（ＩＯＧ）端口输出的计费数据实时采集到ＳＵＮ工作站中的方法，以实现计费数据的实时快速处理。     

TCP／IP,OSI及其转换

本文简要介绍了ＴＣＰ／ＩＰ及ＯＳＩ协议，讨论了ＯＳＩ的优越性与ＴＣＰ／ＩＰ不足，以及ＴＣＰ／ＩＰ向ＯＳＩ转换的必然性，并指出转化的策略。     

EIA RS-232-C/RS-485信号LonWorks节点

针对工业现场常用的ＥＩＡＲＳ－２３２－Ｃ／ＲＳ－４８５信号设计了一类基于Ｎｅｕｒｏｎ芯片的ＬｏｎＷｏｒｋｓ节点,该节点构成了ＥＩＡＲＳ－２３２－Ｃ／ＲＳ－４８５标准与ＬＯＮ的通讯协议之间的网关。     

注塑模CAD/CAE系统面向对象的设计

建立了基于ＯｐｅｎＧＬ的用户界面管理系统ＵＩＭＳ,ＵＩＭＳ提供了直接操作图形对象的语义反馈机制．阐述了ＵＩＭＳ中由对象操作集建立和编辑图形对象集的运作过程,以及图形对象集的组织形式——数据有向无环图的特点．以ＵＩＭＳ为基础,采用继承的构造方式建立了高级图形对象集和专业图形对象集及其相应的操作集,提供了高级用户交互的界面及高级Ｉ／Ｏ 接口．设计和实现了面向对象的有限元方法（ＯＯＦＥＭ）,介绍了在ＦＥＭ 领域中实施面向对象思想的策略．ＯＯＦＥＭ 计算结果的可视化由系统的ＵＩＭＳ和高级图形对象主题实现．集成了ＵＩＭＳ和ＯＯＦＥＭ 等五个主题,开发出应用于注塑模ＣＡＤ／ＣＡＥ的商品化软件包ＨＳＣ．     

基于软件编码的FLEX高速寻呼测试仪的研制

基于ＦＬＥＸ和ＰＯＣＡＳＧ寻呼协议,采用单片机ＡＴ８９Ｃ５５为控制核心,以ＭＣＳ－５１汇编程序实现软件编码,研制了一套兼容ＰＯＣＡＳＧ协议的ＦＬＥＸ高速寻呼测试仪。本详细讨论了实现ＦＬＥＸ高速寻呼协议的软件编码技术,在对数据块进行交织时,提出了一种简化的软件编码措施,将多相复用模式的交织数据块简化为单相模式进行处理,从而减小了编码难度。     

CIMS中集成MIS的设计及实现

本文基于ＳＯＩＳ（单项业务信息系统），从工程应用角度出发论述了开发集成ＭＩＳ（管理信息系统）的原理、体系结构及工程实现方法，如面向对象的问题求解与程序设计方法、混合编程与变参（实参、形参）策略等．利用文中介绍的方法设计的集成ＭＩＳ具有与ＣＩＭＳ良好的适应性和较强的工业应用价值．     

MIS关系查询程序自动生成工具的开发

文章分析了目前管理信息系统开发所存在的难点，提出了开发ＭＩＳ一种新的方法－程序自动生成工具。通过程序自动生成工具来开发ＭＩＳ．这种方法可以克服ＭＩＳ开发存在的难点；文章重点描述了关系查询程序生成工具的设计思想和原则。给出业已实现的基于ＦＯＸＰＲＯ２．５ＦＯＲＤＯＳ的关系查询程序自动生成工具的总体结构及其功能。     

注塑模CAD／CAE系统面向对象的设计

建立了基于ＯｐｅｎＧＬ的用户界面管理系统ＵＩＭＳ,ＵＩＭＳ提供了直接操作图形对象的语义反馈机制。阐述了ＵＩＭＳ中由对象操作集建立和编辑图形对象集的运作过程,以及图形对象集的组织形式－数据有向无环图的特点。以ＵＭＩＳ为基础,采用继承的构造方式建立了高级图形对象集和专业图形对象集及其相应的操作集,提供了高级用户交互的高级Ｉ／Ｏ接口。设计和实现了面向对象的有限元方法（ＯＯＦＥＭ）,介绍了应ＦＥＭ领域中实     

JSnet OSI运输层设计与实现

在开放系统互连中,运输层位于OS1的第四层,它是为不同的OSI端系统中的两个用户进程提供端-端可靠的通信服务.本文介绍了南京市城网(JSnet)开发的OSI运输层,它遵循ISO-8072和ISO-8073国际标准,分别在不同的计算机主机上实现;描述了JSnet运输层的设计与实现技术,包括:运输协议软件的结构、运输层与其相邻层的接口设计、运输协议软件的状态表、信息表以及运输协议软件的工作过程.     

THE APPLICATION LAYER AND FILE TRANSFER SERVICE

The authors, first of all, discuss the importance of implementing application layer protocol ofLAN. A study in this area is required in order to speed up its practical uses as well as further de-velopment in the direction. The present paper is a brief report of the authors' design methodologyand development of File Transfer Access and Management in reference to the ISO / OSI Moduleand implementation of its service protocol in a LAN,     

数据采集系统中串行通信协议的设计与实现

以设计开发的农田气象信息数据采集系统为背景,提出了一种基于开放系统互联(OSI)参考模型的串行通信协议,并阐述了组成协议的各层的具体功能和相互间的关系.通过验证分析,表明该协议能够较好地满足数据采集系统的通信需求.     

A VERIFICATION METHOD FOR COMMUNICATION PROTOCOLS MODELED AS COMMUNICATING EXTENDED FINITE─STATE MAC

本文建立了用于表述含有无限值状态成分的通讯协议机的抽象模型，给出了基于该模型的形式检证法，试制了检证系统．该检证法不需要假定信道的有界性．对于给定的通信协议，检证系统将判定其对指定状态的可到达性．做为检证例，从ＯＳＩ参照模型中抽出了大同步点设置功能单位，就“无死锁”、“无传输错误”等性质进行了实际检证     

一种基于协议组合的协议动态实现模型

在协议组合理论的基础上提出了一种可以动态扩展协议句法的基本协议实现模型,依据现有协议特征中的句法结构,将协议句法结构划分为4个不同的种类,针对这4种不同类型的协议句法结构具体提出了4种不同的可动态扩展的协议句法实现模型.基于该模型实现的协议软件在句法结构上具有灵活可扩展的特性.当该协议扩展句法结构时候,即使相应协议软件处于执行状态,也可以不中止协议软件的运行而完成句法结构的扩展.最后以SIP协议为例,使用VOCAL源码详细说明了如何在该模型的基础上实现协议句法动态扩展.     

利用“协议机退缩”的通信协议形式检证

针对提高优先度通信协议检证时生成协议机状数庞大，使检证难以进行的问题，本文给邮了协议机的退缩检证法，通过将给定协我机的检证问题转换为若干个较小义机的相应检证问题，简化了协议形式检证的复杂性，利用退缩检验证法及已建立的检证系统，证明了假我信道错误时ＯＳＩ参照模型中会话层协议的主要部分，满足“无死锁”、“无传输错误”等性质。     

协议描述和验证的基本方法

简要说明了协议描述和验证的基本概念，示例地介绍构造实现描述和协议验证的基本思想，最后以Ｐｅｔｒｉ网形式给出了ＡＢ协议一例。     

基于不同形式化模型的网络通信协议验证技术的分析与比较

协议是数据通信、计算机网络等分布式系统的灵魂。协议设计、开发的复杂性的增加导致了协议工程技术的出现，该文主要介绍了协议工程活动中的协议验证与分析阶段。阐述了验证技术的目的与方法，分析了当今常用的协议模型技术，重点介绍了基于FMS、Petri网、以及时序逻辑TL模型的协议验证技术。     

基于消息的加权负载均衡算法

在研究EAP协议与Diameter协议的基础上,为解决分布式认证系统节点间会话一致性的问题,以及尽可能减少服务节点数量改变时产生的会话迁移数量,提出了一种基于消息的加权负载均衡算法(MOLB)。该算法使用散列法、虚拟节点和红黑树相结合的技术,实现了客户端请求在服务节点间的合理分布。Diameter网络环境中的实验结果表明:与其他常用的负载均衡算法相比,本文算法具有较小的负载均衡度和会话破坏度以及较低的会话破坏分布度。