XML中的主动规则的模型及其可终止性分析

在对XML数据模型主动机制研究的基础上,结合规则实例提出了一种新的分析规则终止性的静态判定算法。此算法基于触发环的概念,首先对触发环中每一个被修改的节点产生一个递归等式,然后通过展开递归等式并检验其可满足性,就可以分析规则集的可终止性,这样不仅可以得到更高的精确度及更小的复杂度,而且可以得到有效的判定主动规则可终止性的条件。     

主动数据库规则集的Petri网建模

讨论了利用Petri网作为建模工具对主动数据库中ECA规则集的建模问题.建立了存储ECA规则状态的Pelri网子网结构,用此子网可构造出单奈规则的Petri网结构,再由单条规则的Petri网构造整个规则集的Petri网模型.结果表明,用Petri网建模能准确地表达主动数据库规则集的语义,并且有利于进一步分析规则集的动态行为特征.     

面向执行的工作流控制流建模技术研究

工作流系统中的控制流建模一般注重描述活动间的路由语义,通过组合分支和汇合结点构造过程路由结构。这种描述方法不便于执行,导致工作流引擎的实现复杂。直接从过程和活动本身及相邻两个活动间的控制响应关系和路由关系入手,开发了一种基于ECA规则的控制流建模方法。使得过程和活动能响应外部事件,从而实现对工作流的动态行为建模。而且,用链接和控制点实现了活动间复杂路由语义的建模。统一了工作流引擎对控制流的执行方法,使得工作流引擎的实现机制大大简化。     

基于触发器机制的主动数据库模型研究

触发器是当前商用DBMS用于完整性实施和主动控制的一个主要机制。为了满足许多应用系统对数据库系统的主动性需求,提出了一种基于触发器机制的主动数据库的新模型,并且在此模型基础之上,运用了一种简单的、易于实现的方法来建立基于触发器机制的主动数据库。     

具有最大并行度的合流性主动规则执行模型

合流性反映了主动规则集确定性行为特性。目前保证合流性的主动规则执行算法基本是串行的,而已有的并行规则执行算法并不保证合流性结果。本文扩展了已有的主动规则执行模型,给出具有最大并行度的合流性主动规则处理算法,并证明了该算的正确性。     

基于情景分析的ECA规则提取方法研究

事件条件动作(ECA)规则的提取方法难以规范化,导致其生成过程过于复杂。为此,提出一种基于情景分析的ECA规则提取方法。定义ECA规则中事件、条件和动作的模板规范以及ECA规则的语法结构,采用情景分析法进行研究分析,并做一致性检测。实例分析结果表明,该方法能规范ECA规则的提取过程,保证ECA规则的准确性。     

采用ECA介体实现数据库触发器功能

封装了ECA规则的介体程序,不修改客户应用程序和数据库管理系统内核,可实现数据库触发器的事件检测、条件判断、动作执行等主动功能.其实现方式有轮询、层次化、远程过程调用等.将ECA介体引入XBase数据库,介体语言过滤器则将客户请求分离为ECA规则、过程调用和SQL命令等部分.介体同时封装了ECA规则解析器、事件检测器和动作执行器.     

基于GSM的被动雷达系统信号处理技术研究

目前利用非合作辐射源的被动雷达系统得到了前所未有的重视。论述了一种基于第二代手机信号(GSM)的被动雷达定位方法,详细地分析了GSM信号特征。重点研究了系统的关键技术之一直达波抑制,提出一种开环式直达波自适应对消方法——扩展关联法(ECA)应用于GSM被动雷达系统,并与传统的抑制方法做了比较,仿真结果验证了所提方法的有效性。     

冲突检测中的主动规则技术

提出主动数据库技术的一个新应用——主动规则应用于虚拟装配中的冲突检测，使虚拟装配具有了主动能力；论述分析了虚拟装配过程中冲突检测的主动功能需求；分析了虚拟装配环境的事件、每件、动作；提出了规则模型；对规则进行了描述。     

Onset of electrical conduction in isotropic conductive adhesives: a general theory

A new theory is introduced for the onset of electrical conduction in isotropic conductive adhesives, based on the observation that conduction is a result of the creation of conducting contacts in metal–insulator composite adhesives. The present theory resolves several prevalently contradicting issues including the onset dependency of electrical conduction on the volume fraction of filler particles, the particle size, the pressure effect, and the type of insulator matrix of an adhesive. The theory also predicts the condition for the occurrence of two percolation thresholds.