教学点播(EOD)的SOCP子空间模型与实现

总结了教学点播的概念,分析了目前教学点播研究中存在的问题。在对教学活动原型深入分析的基础上,提出了教学点播的SOCP子空间模型,概括了SOCP子空间模型的设计目标,详细介绍了SOCP子空间模型实现的总体架构和各个子空间的实现技术。最后叙述了在目前教学点播实现的基础上进一步的工作设想。     

音乐数据库的基于内容检索及一种基于ICA算法的按调查询系统的提出

目前音频数据库的研究相对于图象处于滞后,文中侧重音乐角度,结合MPEG标准和基于内容检索的应用,综述了音频检索的研究现状,分析了音频方面研究的特殊性和相关应用中的问题;并提出基于独立分量分析（ICA）的按调查询（QBH）的系统,较好地解决了特征提取中的鸡尾酒会效应问题。系统的查询结果置于三维声效环境中加速了查询。     

基于Linux的文件系统对连续媒体的支持

从操作系统角度考虑了底层文件系统对连续媒体的支持,并详细介绍了Linux下设计和实现的BLOB(Binary Large Obiject)文件系统的设计思想及其实现技术细节,并讨论它对连续媒体的支持情况。     

关于CORBA消息机制的研究

介绍了CORBA的异步消息机制和新CORRA消息规范,在新CORBA规范中包括异步方法调用（AMI）、与时间无关调用（TⅡ）和通用的消息服务质量（QoS)策略,这些新的特征大大地增强了CORBA所采用的标准的请求/响应通讯模式的功能。     

基于代理的信息共享模型

提出了一个基于代理的信息共享系统模型.该模型借助客户端/服务器端的代理机制,使信息的共享变得灵活,易于控制和实现.它的集中分布式结构,使系统便于扩充,有很好的鲁棒性.     

分布式系统中信息内容安全的通用模型研究

提出了分布式环境下确保应用程序中不同形式的信息内容安全的通用模型,并以Word应用程序为例实现该模型,论证了该模型的可行性。     

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

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

形式语义学发展简介

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

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

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

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

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