用面向对象的方法构造异平台间通用图形界面编程接口

本文提出了一种基于面向对象方法，使异种平台间程序不需要移植而能够复用的一种技术，采用分别在不同平台开发类库的技术，对不同平台图形要素进行了合理的抽象，为用户提供一种通用图形界面编程接口，在开发过程中注重了系统的可扩展性，使系统的后继开发比较容易。     

Unix操作系统的国际化与本地化

本文阐述的主题是Ｕｎｉｘ操作系统的国际化与本地化，本文说明了ＵＮＩＸ操作系统国际化与本地化的问题的提出及背景，以及国际化和本地化的一些基本概念，最后论述ＵＮＩＸ操作系统国际化与本地化的实现机制及实现技术     

基于P2P网格的视频点播自适应性研究

研究了基于P2P网格的网络自适应视频点播的可行性及有效性．在提出的GridVOD系统中，点播用户在享受服务的同时也能够作为mini-server向他人提供服务，系统在利用P2P获得良好的可扩展性的同时，基于网格的安全策略为系统管理提供了保障．GridVOD将具有相似兴趣的关联结点组织在对等结点自治组中，利用基于网格环境的系统监测服务进行网络自适应视频组播，并且利用分布式协同缓存来增强本地服务能力．分析表明，网络自适应视频点播机制提高了系统的服务质量．     

联机事务处理中间件的设计与实现

中间件主要为解决分布计算环境中异构系统所引起的种种问题而设计。该文介绍了联机事务处理中间件的实现，特别讨论了，所用到的消息队列通信、数据依赖路由及负载平衡的实现及应用。     

一种克服磁盘存取受限的视频点播机制

1 引言在视频服务器中,大量的待点播视频流数据以分级存储模式被加以组织,其中点播概率小的节目被存放在低速廉价的光盘库中作为非在线视频(off-line)。为保证视频的播送质量,非在线视频必须先存放到硬盘缓冲区中才能被播放。进一步考虑到网络传输性能因素,将视频服务器按层次化结构进行组织,将待点播的视频数据靠近用户存放,保证缓存的数据     

32位应用程序在IA-64/Linux上兼容性的实现与测试

针对Linux操作系统进行探讨，包括它的实现意义、实现方式、进展、测试方法和结果等。而对于具体实现方式，给出了实例分析。文中还包括了实验结果分析。     

基于细胞膜演算的Web服务事务处理形式化描述与验证

采用细胞膜演算具体分析了当前比较主流的Web服务中原子事务协调协议WS-AT．针对WS-AT协议采用简单的状态转换表和转换图,无法描述协调者和多个参与者的复杂协调活动,采用细胞膜演算给出了其形式化描述,用于规范协调者和参与者的活动,并分析了该协议的活性和安全性,得到了38187个状态．模型检验的实验结果表明,该协议满足稳定性、一致性和非平凡性,而不满足非阻塞性．进而,分析出注册和协调协议混在一起是其不满足非阻塞性的原因．     

Multiparty Authentication Services and Key Agreement Protocols with Semi-Trusted Third Party

This paper introduces a new family of group key establishment protocols suitable for small or medium-sized groups.Five protocols are presented,using a semi-trusted server,with varying security service,The first one is a non-authenticated key agreement protocol suitable for applications with low security requirements.The second protocol adds an authenticated key agreement to provide collaborative authentication.The third and the fourth protocols provide key establishment with integrity and confirmation services,and the fifth protocol is the member adding protocol.A major advantage of the protocols is that they reduce the numbers of rouds from n to 5.     

软件体系结构的模糊聚类推断方法

软件系统是由许多组件组合而成,当软件系统逐渐扩大以一定程度,可能超过人的理解能力,这时需要有一种能够自动归纳软件组件组织和结构的方法,软件体系结构的语法推断提供了这一种手段,本文在软件体系结构模糊语法描述的基础上,提出一种按模糊聚类进行语法推断的算法。     

可视化分布组件协调环境

分布组件的协调是基于组件的分布系统开发中的一个基本问题。针对具体应用,提出了一种分布组件协调模型－－Ｃｏｎｃｅｒｔｏ。Ｃｏｎｃｅｒｔｏ模型以Ｐｅｔｒｉ网为理论基础,综合了现有的控制驱动和数据驱动两类协调模型。Ｐｅｔｒｉ网的变迁与分布组件系统中的事件、条件、操作和时间信息结合起来,提供了与计算机系统交互的方法。在Ｃｏｎｃｅｒｔｏ模型基础上,实现了可视化分布组件协调环境,对分布组件系统进行并发死锁验证