并发计算的元模型Ⅱ.对称通信

在并发计算图模型的基础上,提出了并研究了一新的进程演算,该演算的创新处在于它只有在业前缀操作,故通信是对称的,通过建立从ｐｉ演算到对称ｐｉ演算的翻译,证明ｐｉ演算是对称ｐｉ演算的子语言该翻译既保持前者的操作语义,又保持其代数语义,对称ｐｉ算的意义在于它既简化了ｐｉ演算,又不影响其表达能力。     

交互式多媒体板的研究与设计

针对在IP网络环境下开展大规模用户实时多媒体交互协作的需求,提出多媒体板的概念,给出了多媒体板系统的定义,并用Petri两描述了该系统的会话模型,提出了一种适合于多媒体板及其他CSCW应用系统的并发控制机制和算法,最后给出了一种基于该机制的Browser／Server结构多媒体板设计思路,并分析了多媒体板的应用场合与前景。     

ARTs-CS数据字典的并发控制技术

提出了通过将事务划分为不同的数据字典事务类型,分别采用不同的事务并发控制策略的并发控制技术。减少了事务因为对数据字典进行操作而需要进行全网络封锁的概率。在ARTs-CS原型系统上实现了该并发控制技术。模拟实现表明,并发控制技术能有效地提高整个系统的效率。     

共享信息机制及应用方法

简要论述了MTS中共享属性管理器（SPM）在分布式计算环境中解决并发问题时所起的作用,并以一个实例详细说明了SPM的使用方法。     

基于Lotus R5的OA系统的安全策略研究

讨论了Lotus Notes的安全设计策略,分析了办公自动化系统OA(Office Automation)信息流的两种流动方式:上下级之间的信息流和横向的信息流,提出了一个为构建OA系统的基于Notes安全策略和非结构化信息的快速安全的设计方案.     

协同工作中数据管理方法探讨

随着计算机和通讯技术的发展,计算机支持的协同工作(CSCW)显得越来越重要。它强调支持群体成员之间的各个层次的协同,而用户之间的协同是通过数据的交换和共享来实现的,因此有效地实现数据的管理是实现CSCW系统的关键因素。由于传统的数据库管理系统很少考虑到用户的群体性,不适合于成员之间协同工作环境。本文就协同工作环境中的数据管理问题进行探讨。     

基于无干扰理论的构件系统安全

研究一种构件系统中多安全等级的信息流无干扰问题。在现有接口结构的基础上,使用安全进程代数描述构件系统动态行为语法和语义来构建接口自动化计算模型。研究基于互模拟的无干扰属性,构造适用于构件系统的接口安全无干扰性质SIA_NI,并证明系统在添加、删除、组合算子等复杂操作下依然满足此安全性。最后举例分析了此无干扰属性在构件化系统中的具体应用,并使用CoPS工具自动检查多安全等级构件系统的安全性,验证接口安全无干扰性质的正确性。     

基于抢占阈值的嵌入式实时数据库事务调度

提出了一种嵌入式实时数据库事务处理模型，把抢占阈值应用到固定优先级可抢占的实时事务调度之中，并提出了一种冲突避免的实时事务并发控制协议，使实时事务调度和并发控制高度集成，降低了系统的事务管理开销．通过事务的可调度性分析，给出了可行的调度模型应具备的条件和相应调度参数的分配算法．     

面向连接的并发多路径转发算法

在分析数据流关系的基础上,通过动态链表给无连接的IP网络增加一定的面向连接的特性,并结合跨层的思想在IP层对TCP报文首部进行跨层操作,提出了一个面向连接的并发多路径转发算法(CCFA).CCFA通过动态链表统计的不同流的比例关系,对不同流的流量特征进行分类,在多路径上对不同流量进行分流转发.最后通过NS2仿真实验研究了不同转发粒度的特点及相关的应用场合,结果表明CCFA以一定的存储开销为代价,获得了较高的转发性能,提高了带宽利用率,降低了端到端延迟,而且本算法易于在下一代网络的可编程路由器中部署使用.     

一种基于事务冲突图的并发控制方法

提出了一种基于事务冲突图的并发控制方法，事务在执行前要提交其读集和写集，系统根据事务的读集和写集构造出一无圈的事务冲突图，并根据事务冲突图进行并发控制，这种并发控制方法上具有对数据主加无结构要求，无死锁，非两阶段等优点，讨论了其集中式并发控制方法和分布式并发控制方法。