基于事件条件动作规则的智能主体结构

为了增强智能主体能力及方便地实现一个智能主体系统,在抽象语言AgentSpeak(L)基础上,引入事件条件动作规则,并从功能和实现的角度对心智模型进行必要扩充和完善.定义了E-Agent的心智模型,设计了E-Agent的Agent描述语言,给出了E-Agent的解释执行过程.实现了一个包括可视化建模工具和运行环境的智能主体系统.该系统具有可视化建模、易于使用等优点.

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

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

迁移工作流系统中的工作位置异常处理模型

针对迁移工作流异常的本地特性和工作位置的体系结构,提出一种基于事件-条件-动作(ECA)规则和案例推理(CBR)的工作位置异常处理模型。该模型采取主动检测和异常检测混合的检测技术,利用本地异常规则库实现工作位置异常处理。应用结果表明,该模型增强了不可预测异常、可预测异常的处理能力。

基于着色Petri网的工作流建模

为了提高工作流模型的适应性,通过建立统一的资源管理器模型,解决了工作流网的资源分配问题,得到了一致的资源请求和资源释放过程。在引入着色Petri网的基础上,得到更加容易控制和计算机化的着色工作流网模型。最后,定义并将适合于工作流的事件-条件-动作规则引入着色工作流网,提出了基于ECA原语的工作流模型描述机制。

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

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

状态和数据双因素驱动的决策支持系统模型复合方法

针对决策支持系统(DSS)模型复合工程中存在着单一因素驱动方法适用范围窄、效率低以及多因素驱动方法缺乏对算法或子模型层次的逻辑关系的描述、黑盒抽象程度低等不足,提出了状态和数据双因素共同驱动的模型复合方法。该方法首先定义工作流过程模型,将DSS子模型生成为一个可移植的、逻辑独立的工作流活动,该活动内部包含了模型的求解算法,对外提供了参数接口;其次根据活动执行的依赖关系,制定相应的事件-条件-动作(ECA)规则来动态地绑定它们之间的复合关系;最后将规则转换为网络活动图,并借助自定义工作流平台进行复合。实验过程表明,该方法能解决一般性模型复合问题,具备较好的通用性及可扩展性。

主动数据库技术在冷连轧仿真系统的应用

讨论和分析了冷连轧仿真的重要性和仿真系统的主动性需求·指出主动机制是主动数据库的一个重要功能 ,即在系统运行过程中 ,当事件发生或条件变化时系统能够主动执行相应的动作或动作序列·将仿真系统的设计与主动数据库结合 ,采用事件 条件 动作的规则来实现其主动功能 ,并就仿真系统的事件、动作特点提出冷连轧仿真的主动数据库设计·最后 。

基于ECA的信息发布/订阅机制研究

分布式的监控环境中,基于发布/订阅的push模式能及时地反映用户关注的最新信息,很好地满足松散通信的需要。但当订阅条件关联多条数据信息时,传统的订阅描述方法和匹配算法难以满足要求。提出了基于ECA(event-condition-action)的信息发布/订阅机制,利用ECA规则描述复杂的订阅条件,并初步研究了匹配方法。介绍了在卫星测试中该机制的设计实现及应用。

级联触发器终止性的实现

通过给出触发器的形式描述,对级联触发器的终止性进行详细探讨,并分析了大型商用数据库系统终止级联触发器的方法。提出了一种避免级联触发器无限循环的方法,即采用限制触发器循环执行次数,并结合级联触发器上限参数,可以允许某些循环级联触发器的正常执行,同时又能有效地保证级联触发器的终止性。这种方法已在GKD国产数据库系统中得到应用和实现。