实时主动数据库系统中复杂触发器条件的评价

给出了复杂条件的结构及其表达式的形式描述，并利用状态自动机的原理进行相应的初步处理．在此基础上提出了条件评价优先级及评价路径的概念与相关算法，开发了一种基于条件评价优先级的路径选优法，以实现复杂条件评价的有效性和及时性．     

中国-欧盟合作远程高等职业技术教育项目有关问题的思考

目前国内现代远程教育需求升温 .本课题对符合国情的现代远程教育建设的发展模式进行了研究 ,并通过参与欧盟第五框架合作计划 ,利用欧盟的援助 ,实现跨国及国内三大直辖市的网上大学的建设 .     

新的模糊似然函数

模糊似然函数是刻画两个模糊集之间相似程度的重要工具，众多学者给出了多种形式的计算方法，但由于实际问题的复杂性，有些方法在某些情况下会产生违反直觉的结论．首先就闫德勤在2001年建议的方法进行讨论，然后证明了一个引理，提出一种新的模糊似然函数，其本质是由模糊集合间l^p距离导出的贴近度．与相关公式比较，发现它们能导出相同的模糊熵，最后给出一个它在模式识别中的应用实例．     

偶合不动点定理的推广

本文给出了混合单调算子的偶合不动点定理，它推广了文［１］～［２］中的结果．     

仿真网格中预防死锁的资源分配方法及其仿真分析

仿真网格中资源协同分配是资源组织和调度的一个重要组成部分,如何避免仿真应用之间的死锁是资源协同分配过程中需要解决的重要问题。通过对仿真网格中死锁原因的分析,对死锁的特点进行了描述。根据解决死锁问题的不同策略,提出了仿真网格中基于原子事务预防死锁的资源协同分配方法,并根据应用的不同资源分配方案给出了具体算法。通过理论分析并结合仿真试验研究了该算法在资源协同分配过程中的性能,试验证明使用该方法不仅能够避免应用资源分配过程中的死锁,与其它方法相比,还能获得好的资源分配性能。     

分布式仿真系统非阻塞式协同检查点协议

联邦存储是实现分布式仿真系统容错的基础,IEEE1516-2000中提供了一种阻塞式的系统状态存储协议,实际使用时会给系统带来很大开销。根据对系统状态存储过程中仿真组件状态变化影响因素的分析,提出了一种非阻塞式的系统状态存储协议,该协议完整地解决了由于在系统状态存储期间允许时间推进导致所保存的RTI状态和对应成员状态时间上的不一致、由于成员间消息传递导致不同成员状态的不一致及in-transit消息问题。先完成状态保存的成员不需阻塞,该协议在一定程度上降低了联邦存储的开销。证明了该协议的正确性。     

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

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

基于图的主动数据库规则模型E-RG

针对两种典型的主动数据库系统HiPAC和Starburst系统中主动规则模型的不足,提出主动数据库的E-RG规则模型.该模型由规则间基本时序关系导出控制结构,形成高层次的主动规则,既支持CA规则的并发执行,又易于规范规则集的行为特性.同时给出由规则间基本时序关系导出S,Y与P的关系,并保证时间语义无损的转换算法.     

内存数据库系统的恢复技术

讨论内存数据库管理系统ＡＲＴｓ－ＭＭＤＢＳ的恢复机制，包括ＣＨＥＣＫＰＯＩＮＴ算法、重装算法和事务的提交处理算法。它们力图将数据库的恢复活动与事务处理并行，尽量不仿碍事务的处理，从而缩短了系统的响应时间，为满足实时事务的时限约束提供了有力支持。