手写笔电子白板系统中协同工作机制的研究实现

讨论了手写笔电子白板系统中协同工作开发需要解决的并发控制、协同感知和协同记录与再现问题及解决途径,在系统实现中使用有人管理的悲观加锁并发控制、光标标识法协同感知和基于手写笔交互参数的协同记录再现及截图记录归档,较好地完善了手写笔电子白板系统中协同工作机制．     

扩展Petri网在实时数据库并发控制中的应用

提出了初始化弧的概念,并将这一概念引入高级时间Petri网中,从而给出了扩展的高级时间Petri网(Extended High-Level Time Petri Nets-EHLTPN).此外,在EHLTPN模型中,变迁所附加的常量时间区间扩展为变量时间区间.用EHLTPN对实时数据库系统的并发事务进行了建模,所建模型不仅可以描述并发事务在数据存取中所出现的各种现象,而且还可以实现2PL-LW协议所具有的可避免并发事务的无用重启、无用等待、无死锁的等功能.     

一种针对长事务的两步锁的改进方法

给出了一种两步锁的扩充，称为利它锁，即让长事务较早地释放其占用的锁，使需要存取这些被锁数据的事务在长事务处于唤醒状态时，遵循一定的锁规则同时运行。     

并发计算的元模型Ⅲ.互模拟格

在有关ｃｈｉ演算的基础上,用统一的方法在ｃｈｉ进程上引入一大类互模拟等价关系,即Ｌ－互模拟等价关系,证明了只有４个不同的Ｌ－互模拟等价,在包含关系下,它们构成钻石格。许多常见的互模拟等价都可定义的Ｌ－互模拟等价。     

并发计算的元模型Ⅳ.公理化

在ｃｈｉ进程间互模拟格的基础上,利用Ｌ－互模拟的开刻划,给出所有４个Ｌ－互模拟等价诱导的同余关系的完全公理化系统。４个Ｌ－互模拟等价中最小的同余关系的公理系统,由强互模拟等价的公理系统与３条ｔａｕ规则构成,在此基础上,分别加入一条输出规则和／或其对偶形式,即得其他３个公理系统。     

并发计算的元模型Ⅴ.并发模型间的关系

讨论 pi演算和 chi演算之间的关系问题 .通过构造从 pi演算到 chi演算的翻译 ,证明了 chi演算的表达能力不亚于 pi演算 .该翻译保持操作性质和开互模拟等价的代数性质     

交互时态逻辑下的三种模糊信念算子

前期工作交互时态信念逻辑ATBL仅在二值语义下刻画了三种信念算子,没有探?讨它们的模糊语义问题.利用可信度函数给出模糊并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种模糊信念算子,在模糊并发博弈结构下给出其语义,建立了模糊交互时态信念逻辑FATBL,使得ATBL成为FATBL的特殊情况.对Agent认知形式化作了进一步探索,为多Agent系统研究提供了一个较好的形式化工具.     

面向对象数据库中的类层次并发控制技术

讨论面向对象数据库中的1种基于锁定的并发控制模式.类的层次性是面向对象数据库的1个重要属性.目前的类层次并发控制技术只适合于一些特定的环境 .在这些特定的类的基础上研究1种不管是单继承还是多继承, 可以适合所有类的并发控制技术.     

面向对象数据库系统中的类层次并发控制技术

为了改进传统面向对象数据库 (OODBs)中并发控制模式的不足 ,提出了一种基于特殊类的类层次并发控制技术 ,这种模式可以用于无论是单继承还是多继承的任何应用程序 ,而用的锁开销却比传统的模式要少     

P2P网络通信树群发算法研究

深入分析P2P通信规则,以并发通信时间最短为目标,提出了一种新型的群发通信树构建算法——“困难节点”优先通信树算法.对比支路优先试加节点通信树算法,更加合理的布局各个节点在通信树中的位置,模拟结果表明,“困难节点”优先通信树算法的通信效率优于支路优先试加节点通信树算法.