主动数据库的时序事件代数_医网打尽文献搜索 关键词：时序算子；事件；事件代数；主动数据库 [gap=676]Keywords：Temporal operators; Event; Event algebra; Active database
基于20个网页-相关网页
条件事件代数 conditional event algebra
We designed the logic structures of events、conditions and actions which are the elements of the ECA rules. Acording to the event algebra theory,we made an effective solution for the optimization of the composite events.
在前人研究的基础上,作者从应用的角度,根据ECA规则模型理论,提出了针对于主动数据库的知识模型和执行模型,以扩充传统数据库模型,使之能够对ECA规则进行表示,适应主动机制的需求;对规则中,事件、条件、动作三元素的逻辑结构,进行了描述;根据事件代数的理论,对复合事件的优化表示,提出了有效的解决方案;同时,基于对提高执行模型执行效率的考虑,建立了规则的物理结构表示。
参考来源 - 基于ECA规则的主动数据库知识模型与执行模型的研究·2,447,543篇论文数据，部分数据来源于NoteExpress
本文中，我们采用概率事件结构作为语义模型，研究了概率进程代数的度量指称语义。
In this paper, we take probabilistic event structures as our semantic model and provide a metric denotational semantics for probabilistic process algebra.
事件结构是一种十分重要的真并发模型，非常适合于为进程代数提供一种具有可组合性的真并发语义。
Event structures are important true concurrent models and are well-suited to provide a true concurrent semantics for process algebra in a compositional way.
离散事件动态系统（DEDS）矩阵模型是一种逻辑运算与代数运算的混合系统。
Matrix model for discrete event dynamic simulation (DEDS) is a hybrid system with logical and algebraic components.
应用推荐