软件工程课程教学中的抛锚式教学法

分析软件工程教学中学生“学难致用”问题产生的原因,基于建构主义学习理论,提出将抛锚式教学法用于软件工程课程教学,阐述教学中各种“锚”的设计思路,最后通过教学效果评价说明教学实践中抛锚式教学设计的有效性。     

分布式实时数据库系统中一种新的复制控制策略

为了更好地满足实时分布式数据库系统的实时性和一致性这两个基本要求 ,本文介绍了一种新的集成了实时任务调度和复制控制的复制控制算法 .     

多媒体会议系统分层通信结构及共算法研究

目前,多媒体会议系统的通信结构主要分为两种：集中式通信结构和全分布式通信结构。在远程多媒体会议系统中,这两种通信结构都很难满足多媒体会议系统的实时性要求。针对这两种通信结构的缺点与不足,该文提出了一种新的通信结构：分层通信结构。这种通信结构可有效减少远程多媒体会议系统的时间延迟。对于不同的媒体混合技术,我们分别给出了构造其最佳分层通信结构的方法及相应算法。实验数据表明,：相对于集中式通信结构和全分布式通信结构而言,分层通信结构可以有效减少远程多媒体会议系统的时间延尺,从而更好的满足远程多媒体会议系统的实时性要求。     

程序代码中隐含数据与控制的Petri 网建模技术

应用一种Petri网扩展CNets,描述程序代码中所隐含着的数据与控制,分别给出了程序代码的数据视图和控制视图.在CNets规范的基础上,研究程序中的数据与控制流之间的交互以及程序中数据、操作和资源之间的关系,同时给出CNets规范向经典Petri网规范的转换规则.在不运行程序的前提下,根据这一映射机制,通过CNets规范,利用经典Petri网理论对程序的性质进行分析.     

一种基于Agent的软件服务框架模型ASF

针对当前Agent系统在Agent服务环境方面研究的不足，提出了一个基于Agent的软件服务框架模型ASF，定义了ASF模型的基本械念和结构，并描述了ASF模型中服务的管理和运行机制．介绍了ASF模型的一个实现原型，并对其中的查找服务的实现方法做了较详细的介绍．     

利用单播实现组播的策略

分布式多媒体会议系统的组成员通过组播方式进行消息发送,利用单播实现组播基本策略的关键是组召集,文章用网络模型分析其性能,提出了一种改进策略,从而减少组召集和会议阶段信息传输量。     

大规模分布式系统的一种层次式命名方案

针对大规模分布式系统中对象迁移、网络和系统动态重构的要求,文中介绍了一种层次式的命名和编址方案,它将对位置透明的标识(OID)和表示位置的地址(OAD)二者结合起来标识对象.从局部唯一的ID和地址出发构造全局ID和地址,它们是相对表示,当在命名上下文中传送时被转换,从而保证了ID的唯一性,也缩短了对象标识符的大小.尤其在网络和系统动态重构时,其优点更为突出,用户无需了解对象地址的改变就可进行正确通信,实现了位置透明性.文中还就命名方案的实现问题进行了探讨.     

基于有色网的多Agent计划建模

有色网能够描述资源和操作的具体语义。首先,由于计划中的操作和状态的个数的有限性,与有色网的元素个数有限性约束完全一致。另外,计划中的动作与有色网中的变迁语义类似,以及计划中的操作和状态和有色网中的库所语义非常类似。因此,有色网应用到计划的形式化中,有其独特的优势。本文根据约定的前提条件,计划建模从操作、状态和交互3个方面来具体实现,并给出了建模方法。计划的规范描述、有效性验证以及计划的模拟都可以直接应用经典Petri网或有色网的理论技术。