软件开发教学中知识演化和团队协作工具研究

研究一种能更好支持软件开发过程教学中团队构建和知识获取的工具。以协作式理论为基础,从团队协作的需要入手讨论相关的工具支持。该工具的核心是一个采用分布式架构的能够进行软件建模,并能有效支持冲突消解的电子白板系统,主要采用集中控制的方法对电子白板对象进行控制,以避免用户对白板对象操作的冲突;采用双令牌算法对用户语音发言进行控制,使用户的交流更加自然。该系统能够有效地提高学习者的参与积极性和对知识理解的一致性,能够大大提高软件开发教学的效果。     

形式语义学发展简介

一.前言最近十年,形式描述和说明技术有了迅速发展。从对程序设计语言的形式描述来说,最初的一次正规、严格的形式描述是Algol 60的文法描述,接着 IBM 的研究人员对 PL/I 的文法和语义作了严格的形式描述,Wirth 也和 Hoare 合作对其杰作 PASCAL 语言作了公理化语义描述,目前又发表了对 Ada 的形式描述。形势是,一种程序语言的推出,若无严格的形式(文法与语义)定义,似乎无法叫人信赖。与此同时,对各     

DDBMS C-POREL中涉网分析设计和实现

NOA是C-POREL系统的一个软件子系统.它主要负责面向网络的分析,实现系统的分布透明性.在本文中,主要描述了NOA的设计和实现原理.用我们提供的方法,可以有效地把分布式数据库的全局模式映射到系统的分割模式和分配模式.     

T.120数据会议与H.323多媒体会议融合的实现

如何快速合理地实现T.120数据会议与H.323音视频会议融合是一个热门的问题。该文分析了T.120数据会议在H.323多媒体会议系统中的实现方式，提出了改进的带外结合方式，具有开发简单、结构灵活的特点，并通过实际系统开发证明了该方式的可行性。     

基于T.120的协同GIS研究

首次把CoGIS分同步CoGIS和异步CoGIS两类，进一步阐述体系结构、功能模块，提出基于T．120数据会议系统的CoGIS原型，并详细分析了原型的层次结构和同步流程。进一步丰富了CoGIS的外廷和内涵，井为CoGIS系统的实现提供了切实可行的方案。     

CDM通信模型

CDM是一个嵌入式系统软硬一体化设计的计算模型,论文在CDM的基础上提出并定义了CDM的通信模型。     

无线局域网中的信息安全保护和安全漫游

在描述无线局域网中现有安全机制的基础上,提出了一个比较全面的信息安全保护和安全漫游解决方案。采用RADIUS和ESSID认证、MAC地址过滤、WEP加密并动态生成WEP密钥(128位加密密钥)等机制,来保护用户数据的私密性;采用基于MobileIP和RADIUS协议的漫游机制来支持用户在多个接入点之间的漫游,保证用户在进行安全漫游时不中断业务。     

一个分布式嵌入系统的系统级模型

在分析CDM的基础上提出了一个适合干对分布式嵌入式系统进行分布式模拟的软硬件协同设计模型。该模型可描述分布式嵌入系统的实时性、同步，也可对其进行参数化修正。     

无线局域网络安全性的研究

1.无线局域网简介无线局域网(Wireless local-area network,WLAN)是计算机网络与无线通信技术相结合的产物。WLAN利用了无线多址信道的一种有效方法来支持计算机之间的通信,并为通信的移动化、个性化和多媒体应用提供支持,使用无线电或红外线信号来处理数据传输,以替代传统线缆的同时,提供以太网或者令牌网络的功能。     

面向电子商务的分布式协同虚拟环境的研究

首先介绍了分布式虚拟现实、协同虚拟环境的基本概念、特征和技术需求，然后阐述了分布式协同虚拟环境的需求特性，最后分析并给出了一个面向电子商务的分布式协作虚拟环境的实现技术和系统应用框架。