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

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

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

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

OSI协议软件的实现及迁移技术

本文从系统的设计和实现两方面讨论了ＯＳＩ协议软件的实现策略，并介绍了基于协议和基于服务等两种从ＴＣＰ／ＩＰ协议套实现向ＯＳＩ协议套实现的迁移方法以及一些实例。     

关于路由协议的一致性测试的一种形式方法

为了一致性测试Ｉｎｔｅｒｎｅｔ网上的一个标准路信息协议（ＲＩＰ协议），利用形式描述技术语言Ｅ－ＬＯＴＯＳ对其进行了描述，然后把广西描述的Ｅ－ＬＯＴＯＳ转换为ＧＥ－ＬＯＴＯＳ，并在此产生了ＴＴＣＮ测试套。     

TCP／IP,OSI及其转换

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

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

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

基于OSI网络管理信息模型的建立

ＯＳＩ网络管理信息模型结构ＳＭＩ（ＳｔｒｕｃｔｕｒｅｏｆＭａｎａｇｅｍｅｎｔＩｎｆｏｒｍａｔｉｏｎ）在开放系统工连ＯＳＩ标准里已成为重要角色．这里论述了管理对象如何命名的描述方法，并给出ＯＳＩ管理对象标识参考．提出了一种基于ＬＡＮ互连网间网管理信息模型的建立方法．     

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

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

浅析INTERNET利用TCP/IP高层协议进行跨平台传输

跨平台传输是ＯＳＩ的瓶颈问题,本文主要介绍了为解决该问题的而制定的ＡＳＮ．Ｉ数据描述标准。具体就ＳＵＮ公司研究开发的ＸＤＲ如何实现ＡＳＮ．１的编译机制进行了详细分析。     

关于通信协议测试生成形式方法的探讨

结合作者最近提出的基于ＵＩＯ序列的形式叠加测试方法，通过一个实例讨论了基于ＦＳＭ的５种主要的测试生成形式方法，它们分别：ＵＩＯ方法、ＳＵＩＯ方法、ＭＵＩＯ方法、叠加方法和形式叠加方法，并且，针对以上五种方法分别给出各自生成的测试序列的长度的上界。     

执行力--企业核心竞争力不可或缺的部分

“执行力”是企业核心竞争力的重要组成部分，人们已把构建“执行力”提到了战略地位的高度。对执行力的定义和如何提高执行力以及构建执行力的基础等3个方面进行了分析和阐述。     

基于史密斯模型的高校毕业生就业政策执行过程分析

结合史密斯模型,将高校毕业生就业政策的执行过程分为政策制定、执行机关、目标群体、环境因素和理想化的政策五个方面,提出基于史密斯模型的高校毕业生就业政策的执行过程模型.同时,对执行过程进行问卷调查,指出执行机关、目标群体和环境因素对高校毕业生就业政策执行过程的影响较大,并提出相应的政策建议.     

系统实施:SCM系统项目中最为复杂的环节

SCM系统项目的成功实施需要经历从项目调研到项目验收等多个阶段，其中系统实施是历时最长且最为复杂的环节，系统实施阶段能否成功直接决定着整个项目的成败。简要介绍了保证系统成功实施的几个关键步骤。     

可复用的状态模式设计

总结了UML状态机的设计应该满足实现层次上的复用能力,这可以是UML状态机的模块化机制解决“状态爆炸”问题的有益补充．最常见的状态机实现技术是状态模式,并且有很多基于该模式的扩充来解决不同的问题．但是它们大多数都没有考虑状态机在实现层次上的复用问题．提供了一种有效的、轻量级的可复用状态模式,它可以满足这一需求．基于适当的封装机制,该方法可以实现对状态机实现层次上细粒度和大粒度的两种复用能力．     

校本化课程实施制度分析

校本化课程实施是在坚持国家课程标准基本精神的前提下,针对学校的实际情况,对学校课程进行的适合学校师生特点的课程开发。三级课程管理政策的有效落实、校本化课程实施的有效开展和校本化课程实施研究的深入都需要进一步探讨校本化课程实施的制度需求和校本化课程实施制度的意蕴。     

工程项目建设实施策划的理论与实践

工程项目的建设实施策划是在项目立项以后,对项目建设的全部工作内容及工作开展方式与方法所作的总体规划,是指导项目实施的依据。随着建筑业对建设水平及建设集成化管理要求的不断提高,项目实施策划的作用也日益突出。但在现阶段,实施策划的理论尚不成熟,方法也仅掌握在少数行业专家手中。这种现象既不利于项目的建设,也不利于我国工程管理水平的提高。文中论述了实施策划的概念、内涵及其内容,并结合工作经验,介绍了实施策划在城市道路改造项目中的应用。     

面向对象数据库管理系统中方法调用机制的实现

方法是面向对象数据库系统有别于关系型数据库的重要特色一,其实现方法也是面向对象数据管理系统（ＯＯＤＢＭＳ）实现过程中需要重点解决的问题。本文对ＯＯＤＢＭＳ中方法调用机制的实现进行了探讨,并较为详细地介绍了ＳｕｐｅｒＯＯＤＢ系统中方法调用的实现。     

草地承包政策及在藏区实施情况的调查研究——以甘肃玛曲县、西藏当雄县为例

草地承包政策是近年来国家在藏区实施的一项范围广、影响大的政策。在具体实施过程中,不同藏区的实施力度和实施效果等方面有着很大不同。文章通过分析甘肃玛曲县和西藏当雄县两个调查点的政策执行情况,在理论层面上进行反思,为草地承包政策更好地执行提出了建议。     

课程实施研究理论综述

课程实施是伴随着课程改革的不断深入而出现的一个重要的研究领域。课程实施是课程改革中的一个关键环节,课程改革的成败与否关键取决于课程实施。文章将近年来国内外关于课程实施的一些研究成果进行了理论归纳,以期为我国课程改革寻找理论支撑。     

Linux TCP/IP协议栈的设计及实现特点

L inux是一个单一内核操作系统,协议栈的实现嵌在系统内核中,用户程序通过系统调用进入内核,通过多次函数调用,实现内核里的各层协议.主要分析了L inux2.4.X内核TCP/IP协议栈的实现特点,同时归纳并提出了协议栈的设计方法.