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

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

柔性工作流动态行为建模方法

针对现有工作流动态行为建模柔性差的问题，研究工作流动态行为的柔性定义方法。将活动的动态行为分为自身行为、嵌套行为和协作行为。自身行为实际上是活动的状态转移的过程，通过ECA规则描述活动的状态转移图可实现自身行为的定义；活动间协作行为实质上是参与活动间状态变化关联的过程，通过定义活动间状态的关联关系并用ECA规则描述协作语义，可实现对嵌套和协作行为的细粒度柔性定义。文中提出的可扩展方法适用于复杂或特殊环境下的流程建模。     

ECA规则在工作流管理系统中的应用

针对工作流管理系统的实现复杂性及模型可靠性的验证问题,提出了一种结合工作流网和ECA规则来创建工作流管理系统的方法。这种基于ECA规则的工作流描述和执行机制较好地实现了工作流网模型的语义描述和控制的统一。通过建立基于ECA规则的工作流描述表,将ECA 规则引入到工作流路由机制中,灵活地控制了工作流的流程。通过事件触发和消息处理机制,工作流描述表处理可以被实际系统加以执行和控制。     

基于ECA规则推理的故障诊断技术

为适应故障诊断系统的主动性需求,扩展基于产生式规则专家系统的描述能力,将Event-condition-action(ECA)规则引入故障诊断系统,提出了基于ECA规则推理故障诊断系统的基本框架。形式化故障,分析故障要素与规则的关联,定义利用ECA规则对故障进行建模的方法,在此基础上阐述了基于ECA规则推理进行故障诊断的过程。以高速列车地面故障诊断系统为例验证了该设计的有效性与准确性。     

基于Pi演算和EECA规则的跨组织工作流建模研究

针对跨组织环境下的工作流形式化建模技术的不足问题,提出了一种基于Pi演算和EECA(Extended-ECA)规则的跨组织工作流建模方法.将ECA规则在时间上进行扩展,解决了ECA规则在描述与时间相关的复杂过程时能力不足问题.利用Pi演算技术,对跨组织的本地工作流的协同方式进行了形式化描述.分析了协同模型及其执行过程,并给出了一个应用实例验证了提出的模型具有较好的柔性,可以有效用于本地工作流间的协同工作,并且适合于对分布式协同环境下的工作流进行建模.     

基于LabWindows/CVI的数据采集处理系统

在工业测量和实时控制中,经常需要对一些信息设备发出的信号进行采集并进行分析处理,为了能够实现上述功能,以GPIB总线为连接接口,采用硬件与软件相互结合的方法,开发了基于LabWindows/CVI平台的数据采集处理系统。提供了数据采集处理系统的GPIB接口的功能设置,硬件设备组成和软件设计过程及系统关键技术的实现,针对不同的功能给出了相应的运行结果。     

基于ECA规则的BPEL异常流程定义方法

当前进行Web服务编排的首选标准流程语言是BPELgWS.在流程编排过程中,除了关注正常情况下的流程定义场景,如何清晰、快速地描述BPEL流程中出现的异常也同等重要.文中把数据库领域的ECA技术用于BPEL异常流程定义中,通过对实际业务流程进行分析,把流程中出现的异常分支都映射成ECA规则;此外,提出了BPEL规范中的...     

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

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

基于缓冲器的编码器接口扩展方法研究

在数据采集测控系统中,用于检测的绝对值角度编码器的输出很多是基于SSI接口,采用SSI接口的绝对值角度编码器输出有时需要连接到多个不同的独立测控系统,由于SSI接口是单访问接口,多主机共享往往是较难解决又不得不解决的问题,本文提出了一种缓冲式并行读取绝对值角度编码器值的方法,实现了信号的并行读取,并给出了硬件和软件设计的思想和方法。     

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

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

An intelligent database for engineering applications

Many engineering applications need to response to unpredictable events in a timely manner. Active database systems provide an event-driven rule processing capability to meet this requirement. In this paper, we present an intelligent database which integrates an object-oriented database (OODB) with an expert system, CLIPS. The paper describes the design and implementation of the rule manager of this intelligent database. In the rule manager, event-condition-action (ECA) rules are represented as first class objects of the OODB. A rule definition language (RDL) has been developed to manipulate ECA rules in a declarative way. A graphical user interface (GUI) also supplies a template to interactively define, delete, update and check ECA rules. Detection of time events, method events, absolute events and composite events is supported by the rule manager. The CLIPS inference engine is used to control condition evaluation and action execution after an ECA rule is triggered. Finally, a typical workflow application is used to illustrate the functionality of the system.     

An imperative language for task-level planning: Definition in temporal logic

The problem of the execution of plans of actions by a robot inspired the conception of various representations. Some of them concern the problems of control theory and geometry involved in the execution of each task of a robot. We are interested in the task-level sequencing of such actions, from the point of view of planning in artificial intelligence and languages for the synchronisation of tasks. Planning formalisms are often based on predicate logic and sometimes temporal logic. Robot programming languages, at the task-level, have classical control structures derived from computer programming languages, as well as ones more specifically related to real-time execution. We propose a logical and temporal model of plans of actions augmented by an imperative control structure. We therefore define, on the basis of an interval-based temporal logic, a set of imperative control primitives that define the temporal arrangement of the actions. After that, primitives for the reaction to evolutions in the environment are defined in the same formalism, in order to respond to constraints concerning interaction and adaptation to the external world. The application of the model in a simulation system is described, as well as its use in execution monitoring systems.     

电梯安全部件试验塔测控系统研究设计

根据电梯安全部件试验塔功能,对测控系统进行了结构设计,系统被分解成执行层、驱动层、控制层和管理层。根据试验性能指标、可靠性以及试验环境的要求,分别对每层结构进行了详细设计,确定每层结构中设备的选型、参数以及通信接口。在试验塔上对安全装置进行了试验,验证了测控系统的科学性。     

基于Arduino和Machtalk的温棚环境监测系统设计

为了便于实时掌控温棚养殖环境的变化,基于Arduino开源平台,结合WiFi模块和Machtalk物联网平台设计了一种体积小、性价比高的温棚养殖环境监测系统。利用独特的过采样技术和低功耗的传感模块,结合Arduino开源环境对温湿度、土壤湿度、PH值、光照强度、CO2等温棚养殖系统中常用环境参数进行实时采集测量,与正常养殖系统的环境参数对比,进行预警动作。实验表明,该监测系统可以对温棚环境参数进行实时采集,并得到精确的测量数据。     

专用测试设备综合校准系统的设计

专用测试设备综合校准系统是为保证生产线专用测试设备测量数据准确可靠而研制的。基于校准参数的分类特征设计接口测控单元，外加集成通用标准设备、计算机组成硬件系统，系统在专用程序的控制下，实现对专用测试设备的自动校准。系统经验证人机界面友好，使用方便，适合于现场校准。     

基于物联网技术的材料实验加热炉测控系统的设计

材料实验加热炉是实现材料加热工艺过程非常重要的热工设备,为改变传统加热实验长时间现场值守带来的劳动强度大,排放气体危害科研人员身体健康不利的状况,该文根据物联网测量与控制的基本理论,设计包含感知执行层、网络传输层、控制服务层、移动应用层等4层结构的物联网测控系统,并对各层的设计组成与功能进行了详细的论述。该文重点讲解了控制服务层、移动应用层中软件各模块组成,最后讨论了该物联网系统中数据采集数字滤波算法、加热炉数字增量型PID控制算法以及系统上下层通信算法设计。     

全自主移动机器人分层递阶控制研究

本文提出了一种基于多CPU的分层递阶控制策略,应用于全自主移动机器人的结构化设计。以分层递阶控制为核心思想的自主机器人采用智能级、协调级和执行级级连的结构,其中智能级和协调级配备独立的微处理器。实验表明,所设计的自主机器人系统具备良好的环境感知能力和控制精度,可以通过开放的VC++平台实现对机器人的控制。     

普适计算中的服务访问控制模型

随着无线移动终端的迅速发展和广泛使用,结合移动Agent的优势,本文提出了一个基于移动Agent在固定设备和移动设备组成的普适计算混合环境中提供服务访问控制的模型。该模型主要包括基于Jess推理机的逻辑规则控制引擎,用户隐私信息存储层,供点对点Agent使用的查询接口和获得更多外部资源的服务接口。最后通过一个约会订餐的场景来对本模型进行分析。     

Defining Dynamic Graphics by a Graphical Language

A graphical language which can be used for defining dynamic picture and applying control actions to it is defined with an expanded attributed grammar.Based on this a system is built for developing the presentation of application data of user interface.This system provides user interface designers with a friendly and high efficient programming environment.