主动信息系统中终止性规则的研究

研究主动信息系统中主动规则及实现技术。介绍主动信息系统体系结构及ECA规则,基于ECA规则分析规则集行为的三个特性,给出终止性规则的触发图、活化图、惰化图分析方法。     

主动规则执行终止性分析算法的修正

指出基于触发图和活化图主动规则终止性分析算法的错误,提出触发可达和触发可达集,并在此基础上对原算法进行修正。     

主动数据库的规则终止性分析

提出一种基于进化图的规则终止性静态分析的方法，全面考虑了触发图、活化图和惰化图。这种基于进化图的分析方法比传统基于图的分析方法分析更为精确，之后提出了规则终止性分析算法并证明了其正确性。     

一种改进的规则终止性分析方法的研究

提出一种新的规则终止性静态分析方法REG,它在全面考虑触发图、活化图和惰化图的基础上引入事务的思想。对于规则的终止性分析,采用REG方法比基于进化图的分析方法更具体、精确,接着给出了REG的算法并证明其正确性。     

一种关系数据库系统中主动规则的实现策略

在关系数据库系统ＤＭ２ 的基础上，提出了一种实用的主动规则语法定义和语义执行模型，在事件定义中加入了时间事件，给出了加入主动规则后的数据库系统的体系结构，以及在创建规则时，为了保证规则执行的可终止性，用于分析规则之间触发关系的三个原则     

一种关系数据库系统中主动规则的实现策略

在关系数据库系统ＤＭ２的基础上,提出了一种实用的主动规则语法定义和语义执行模型,在事件定义中加入了时间事件,给出了加入主动规则后的数据库系统的体系结构,以及在创建规则时,为了保证规则执行的可终止性,用于分析规则之间解发关系的三个原则。     

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

针对两种典型的主动数据库系统的ＨｉＰＡＣ和Ｓｔｒａｂｕｒｓｔ系统中主要动规则模型的不足,提出主动数据库的Ｅ－ＲＧ规则模型,该模型由规则间基本时序关系导出控制结构,形成高层次的主动规则,即支持Ｃ－Ａ规则的并发执行,又易于规范规则集的行为特性,同时给出由规则间基本时序关系导出Ｓ,Ｙ与Ｐ的关系,并保证时间语义无损的转换算法。     

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

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

基于Petri网的ECA规则集终止性分析

对于ECA(event-condition-action)规则集,由于其行为特性较为复杂,终止性分析比较困难.在Petri网理论的基础上,提出了一种扩展Petri网系统,建立了ECA规则集模型,能够较好地表示ECA规则的行为特性;利用Petri网分析方法,对ECA规则行为进行了分析,并利用可达图和T_不变量方法对ECA规则集的终止性进行了分析.经过实例验证,该方法效果良好.     

基于Petri网的ACDB中规则终止性分析

介绍了基于TG和AG的主动数据库规则分析方法，提出了基于Petri网用EG(execite graph）分析规则的方法。     

主动数据库管理系统的设计

提出了将传统的关系数据库管理系统转换成主动数据库管理系统的设计思想．构造了表达主动规则的基于ＳＱＬ的扩展语言，给出一种统一存储和管理规则的方法，设计了实现主动规则系统的总体框架     

基于规则的数据校验在数据库应用系统中的实现

本文给出了一种规则库的概念来扩充数据库应用系统的校验的功能,使系统能够对规则进行动态读取和分析,并根据分析结果对输入数据进行动态校验.本文介绍了数据库报表系统中的校验模型,并运用一种规则库执行流图REBF描述了规则库图模型,之后论述了该系统中具体的规则库的建立及规则表结构,并通过对推理过程的不确定性的分析,证明了规则的有效性,最后给出了基于规则的动态分析及推理过程.     

基于主动数据库体系的仿真实时性和交互性的实现

为了适应计算机仿真系统对实时性和交互性的高要求，提出一种新的提高体系仿真实时性和交互性的方法——主动机制数据库技术。主动机制数据库动态监视后台数据库中的数据状态的变化，通过主动机制对这些数据进行管理，形成主动数据库管理系统。首先介绍了主动数据库的概念和典型的代表系统；然后从主动数据库的定义、规则的表示、规则的存储结构、规则的处理等方面详细说明了主动数据库技术的设计思想；最后以飞机控制数据库系统（FCS—DBS）为例，说明了主动机制数据库的应用。     

用MTLAB分析流体输配管肉的初步研究

在暧通空调领域，涉及大量的流体输配管网分析问题。要进行系统设计优化分析、运行调节方案分析等等，都需要对管网的水力工况进行定量分析。文章运用图和流体管网的基本理论，用MATLAB对流体输配管网的分析进行了初步研究。根据管网的基本回路分析法，提出了一种方便可靠的将管道系统转化为网络图的描述方法，以及从管网的网络图直接生成管网分析所需要的一些基础矩阵的方法。对MATLAB的功能及其对于求解管网分析问题的高效率特性进行了分析，并开发了相应的程序。     

有源网络连通片集分析法

本文介绍利用封闭网络的概念找出网络函数的通用公式,从混合图概念出发引出连通片集的找树规则,提出一种求节点导纳行列式的简便方法,使有源网络分析大大简化,并给出例题分析。