实时流协议RTSP的浅析

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

广义和强广义一致凸Banach空间

引入了广义一致凸Banach空间和强广义一致凸Banach空间的概念．证明了一致凸Banach空间是强广义一致凸Banach空间，广义一致凸Banach空间X是弱局部一致凸和严格凸的；X中任一元在以0为顶点的闭凸锥中有惟一最佳逼近；强广义一致凸Banach空间中任一元在其闭凸子集中有惟一的最佳逼近元。     

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

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

OSPF路由选择协议研究

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

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

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

一致凸线性距离空间的最佳联合逼近性

本文证明了一致凸线性距离空间存在唯一的最佳联合逼近元。     

凸函数的次微分算子的一致连续性和一致单调性

该文给出了“有界－一致有界”（ｂ。ｃ。ｕ。ｂ），“有界－凸集－一致可微”（ｂ．ｃ．ｕ．ｄ）等概念，证明了凸函数及其次微分，微分在这些意义下的若干性质，建立了函数的次微分算子的单调性与该函数凸性关系的特征性质。     

算子值全纯函数的正族性质

在经典函数论的正族理论基础上给出了算子值函数的正族概念，由此得到了关于算子值正族的几个基本原则。     

关于函数列{u_n(x)}在区间I一致有界性判别定理

本文给出函数列{u_n(X)}在区间Ⅰ上一致有界性的有关引理及定理,解决了函数列{u_n(x)}在Ⅰ上一致有界性的判别问题.     

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

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