实时流协议RTSP的浅析

简述了流媒体技术的基本概念及其组成要素，重点介绍了实时流协议RTSP，对其与HTTP协议作了比较，分析了RTSP具有的操作模式和状态，并且实现了RTSP，最后总结了RTSP具有的优势。     

基于高层软件协议栈的蓝牙实现

文章主要介绍了蓝牙开发应用的高层软件协议栈Bluestack，详细说明了基于Bluestack的应用程序的实现机制，并给出了一个利用Bluestack协议栈实现的基于RFCOMM的点对点数据通信的实例.     

OSPF路由选择协议研究

OSPF是新型的路由选择协议,被广泛应用于大型网络之中.从阐述OSPF的结构模型入手,分析了OSPF在一个区中的工作机制,以及各区之间路由信息的交换.     

IEEE 802.1x 认证技术的原理和应用

介绍了IEEE802．1x协议的起源、体系结构、技术特点等，指出了需要认证的端口有受控和非受控两种状态，没有通过认证前，只有EAP报文可以通过端口到达认证服务器，认证通过后，其他数据报文才可以通过。     

手性固定相合成中原料YWG-NH_2与Spher-NH_2性能的比较

利用液相色谱手性固定相进行手性分离的研究越来越多，因此手性固定相的合成也就成了该项研究中必不可少的关键问题．在手性固定相的合成中氨丙基硅胶作为手性固定相的键合基体，其性质的好坏直接影响手性固定相的手性分离能力．分别利用国产和进口分装的氨丙基硅胶作基体，合成结构完全相同的手性固定相，结果表明进口的氨丙基硅胶合成的手性固定相的性能优于用国产氨丙基硅胶合成的手性固定相，并论述了可能产生这种差别的原因．     

多功能单侧外固定支架治疗胫骨开放性骨折21例

采用ＳＧＤ骨科多功能单侧外固定支架治疗严重胫骨开放性骨折２１例，取得满意疗效。该多功能单侧外固定支架能方便准确地对骨折端进行复位和固定，对骨折端具有加压作用，固定牢靠；穿针部位避开骨折处，且穿针数目少，术中软组织损伤少；术后调整容易，不影响非固定部位的关节活动。     

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

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

有源层厚度对非晶硅薄膜晶体管特性的影响

研究了有源层ａ－Ｓｉ∶Ｈ的厚度对ａ－Ｓｉ∶ＨＴＦＴ特性的影响．研究结果表明，ａ－Ｓｉ∶Ｈ层的厚度对ａ－Ｓｉ∶ＨＴＦＴ的静态特性（如开／关态电流比、阈值电压等）有较大的影响．理论分析表明，这是由于钝化层固定电荷在有源层背面引入了背面空间电荷层造成的．详细分析了背面空间电荷层对ａ－Ｓｉ∶ＨＴＦＴ特性的影响，提出了一个ａ－Ｓｉ∶ＨＴＦＴ有源层厚度优化设计的下限值，理论与实验相符合     

一致性测试中的时间约束及测试用例生成算法

针对协议测试理论中的时间约束问题，从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束，同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法．在控制流测试中，先生成引导序列，然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置．在数据流测试中，等待时间只需按照需求描述和约束来设定．对边界网关协议进行测试的结果表明，所提算法能适应不同的网络拓扑环境，其生成的测试用例在测试中能够有效降低测试代价．     

基于NAT-PT的IPv4/IPv6转换网关的研究

随着Internet和IPv6的发展,出现了IPv4网与IPv6网共存的局面。使用NAT-PT、SIIT技术的转换网关可以实现IPv4网节点与IPv6网节点的直接通信。该技术包括3个功能模块:IPv4到IPv6地址绑定、IPv4与IPv6协议转换和应用层协议转换;转换网关是在Linux平台的Netfilter过滤框架相关钩子点挂载转换网关功能模块实现的。