检索结果-内蒙古大学图书馆

软件学报 1994年第9期5卷 23-29页

作者：何新贵北京系统工程研究所

本文提出了一种事件代数，它由一组基本事件和作用在事件上的运算组成．从而各种复杂事件都可用这种代数中的事件表达式表示．然后，本文在事件代数的基础上提出了主动知识库系统的概念，在这种系统中可以根据事件的发生主动触发执行各... 详细信息

本文提出了一种事件代数，它由一组基本事件和作用在事件上的运算组成．从而各种复杂事件都可用这种代数中的事件表达式表示．然后，本文在事件代数的基础上提出了主动知识库系统的概念，在这种系统中可以根据事件的发生主动触发执行各种功能，本文还讨论了主动知识库的用途、结构和实现技术等问题．

关键词：主动知识库事件代数数据库

来源：评论

学校读者我要写书评

暂无评论

主动数据库的时序事件代数

引用

小型微型计算机系统 2000年第6期21卷 653-656页

作者：左万利赫枫龄王庆凯吉林大学计算机科学系长春130023 吉林建筑工程学院计算中心长春130021

通过引入一元时序算子 ,表达事件之间任意复杂的相对次序关系 ,在此基础上重新定义了描述复合事件的时序事件代数 ,并证明了该事件代数良好的数学性质 .不仅增强了事件描述语言的描述能力 ,也为处理规则执行的合流性提供了新的方法 .

关键词：时序算子事件代数主动数据库数据完整性

来源：评论

学校读者我要写书评

暂无评论

一种用于Web服务合成过程建模的不确定性事件代数方法

引用

云南大学学报（自然科学版） 2008年第5期30卷 448-453,459页

作者：岳昆王贵松刘惟一云南大学信息学院计算机科学与工程系云南昆明650091 兰州理工大学计算机与通信学院

Web服务合成是目前的研究热点之一,是Web服务架构中的重要组成部分.Web服务合成过程模型用以描述Web服务合成中各服务组件应该满足的语义约束信息,是自动服务发现及合成的基础.以事件代数作为支撑理论,旨在为Web服务合成过程建模提供一... 详细信息

Web服务合成是目前的研究热点之一,是Web服务架构中的重要组成部分.Web服务合成过程模型用以描述Web服务合成中各服务组件应该满足的语义约束信息,是自动服务发现及合成的基础.以事件代数作为支撑理论,旨在为Web服务合成过程建模提供一种支持语义表示及推理的形式化方法.针对Web服务合成的特点及合成过程本身具有的不确定性,首先基于统计学习的思想对传统事件代数进行不确定性扩展,给出Web服务不确定事件代数(WSUEA)的定义、操作及语义,进而对服务合成中的顺序、分支及并行等基本情形分别给出其WSUEA表达式、以及相应的概率计算方法.实验验证了所提出方法的有效性.

关键词： Web服务合成过程建模事件代数不确定性

来源：评论

学校读者我要写书评

暂无评论

基于事件代数的入侵检测系统

引用

计算机工程与应用 2006年第2期42卷 151-155页

作者：乔韡韡徐辉浙江大学信息科学与工程学院杭州310027

该文提出了一种基于事件代数的多事件入侵特征的形式化定义机制,用一组事件运算来表示入侵特征,对多事件入侵检测特征定义中的若干普遍问题给出了系统化的解决方案。文章还提出了一种“带约束的有色Petri网模型”来构造事件检测引擎。

关键词：误用检测事件代数复合事件有色Petri网

来源：评论

学校读者我要写书评

暂无评论

动态模糊事件代数

引用

云南民族学院学报（自然科学版） 2000年第1期9卷 18-20,28页

作者：佘玉梅云南民族学院计算中心昆明650031

在数据库中，事件的运算是比较关键的问题．因此本文通过对动态模糊事件的研究给出动态模糊事件代数的基本运算方法．

关键词：动态模糊事件事件代数主动数据库数据库运算

来源：评论

学校读者我要写书评

暂无评论

InforSIB事件代数的形式化框架与代数性质

InforSIB事件代数的形式化框架与代数性质

引用

第26届中国数据库学术会议

作者：刘家红朱锐滕猛吴泉源国防科技大学计算机学院网络与信息安全研究所

复合事件处理对系统多节点处以及系统外部生成的大量的、连续到达的事件,通过规则匹配、推理等方法对事件模式进行检测,连续输出经过组合后的复合事件,以触发相应的后继处理。事件查询语言是规约事件模式的声明性语言,事件代数决定了事... 详细信息

复合事件处理对系统多节点处以及系统外部生成的大量的、连续到达的事件,通过规则匹配、推理等方法对事件模式进行检测,连续输出经过组合后的复合事件,以触发相应的后继处理。事件查询语言是规约事件模式的声明性语言,事件代数决定了事件查询语言的表达能力,同时也间接影响了事件检测的性能,因此,在权衡检测性能与事件查询语言的表达能力时,深入分析事件代数是非常重要的手段。基于White事件代数,扩展了事件代数的形式化框架,在形式化框架中考虑复合事件在更精细的时间关系下的语义定义,以增强事件代数的表达能力,同时考虑与应用相关的事件选择和消费策略-上下文策略,以提高事件检测的性能。讨论了InforSIB事件代数的代数性质,提出的上下文策略非常适合用于实时监控等领域,且具有良好的代数性质,保证了复合事件检测的时间和空间复杂度是有界的。

关键词：事件代数上下文策略事件消费策略代数性质 InforSIB

来源：评论

学校读者我要写书评

暂无评论

航天器故障诊断软件平台中诊断平台的研究和实现

引用

哈尔滨工业大学学报 1999年第6期31卷 67-69页

作者：姜兴渭张彦铎姜彩哈尔滨工业大学航天工程与力学系黑龙江哈尔滨150001

为解决多种复杂航天器系统的故障诊断问题，探讨建立航天器系统故障诊断的平台技术，分析了航天器故障诊断系统软件平台的总体结构．深入研究了作为软件平台核心部分的故障诊断平台的要求、结构、功能与系统组成，设计了诊断平台的系... 详细信息

为解决多种复杂航天器系统的故障诊断问题，探讨建立航天器系统故障诊断的平台技术，分析了航天器故障诊断系统软件平台的总体结构．深入研究了作为软件平台核心部分的故障诊断平台的要求、结构、功能与系统组成，设计了诊断平台的系统总体结构．应用事件代数的方法，分布式的思想与Ｐｏｗｅｒｂｕｉｌｄｅｒ技术，作为诊断平台任务管理策略与运算规则．最后，通过对航天器系统故障诊断系统的实际研究，证明该技术是有效的、可行的．

关键词：航天器故障诊断事件代数软件平台诊断平台

来源：评论

学校读者我要写书评

暂无评论

一个基于事件驱动的面向服务计算平台

引用

计算机学报 2008年第4期31卷 588-599页

作者：刘家红吴泉源国防科技大学计算机学院网络与信息安全研究所长沙410073

基于请求/响应调用模型的面向服务体系结构(Service-Oriented Architecture,SOA)的实现存在通信耦合程度高,协同能力不足的问题.事件驱动体系结构特别适合于松耦合通信和应用需要感知支持的环境.在面向服务的计算平台中提供事件驱动支持... 详细信息

基于请求/响应调用模型的面向服务体系结构(Service-Oriented Architecture,SOA)的实现存在通信耦合程度高,协同能力不足的问题.事件驱动体系结构特别适合于松耦合通信和应用需要感知支持的环境.在面向服务的计算平台中提供事件驱动支持,可满足计算平台的松耦合通信与协同需求.文中给出了面向服务计算平台中事件驱动的框架,针对需高效处理事件流上复合事件的需求,在框架中设计了基于SEDA模型的并发事件处理与基于事件代数的事件流处理机制.在事件代数中给出了上下文语义和相应的检测算法,以实现高效事件流处理.实验表明,设计的事件驱动面向服务计算平台具有松耦合通信、协同计算、高效事件流处理和复合事件处理的特点,适应了目前动态多变的大规模分布式计算环境的需求,有着广阔的应用前景.

关键词：面向服务的计算平台事件驱动体系结构事件流处理事件代数复合事件处理

来源：评论

学校读者我要写书评

暂无评论

时态角色委托代理授权图模型及其分析研究

时态角色委托代理授权图模型及其分析研究

引用

作者：王小明西北大学

学位级别：博士

访问控制(access control)是信息系统安全的核心策略之一,它与信息加密(cryptography),身份认证(authentication),安全审计(auditing),入侵检测(intrusion detection),系统恢复(system recovery),风险分析(risk analysis)和安全保障(assurance)等系统安全理论与技术有机结合,构成了信息系统中存储、处理和传输数据的安全基础设施(infrastructure),这种基础设施为防止非授权用户访问系统资源和防止泄密数据提供了有效机制,以确保国家政治、军事和经济以及个人隐私信息安全。访问控制模型用于表达信息系统安全的访问控制策略,对策略之间的一致性进行验证,并且为访问控制策略实施提供有效机制。实施访问控制策略的主要方法是授权(authorization)。由于90年代初提出的基于角色的访问控制模型RBAC(role-based access control model)具有策略中立、高效授权管理、组织结构与访问控制空间之间的自然映射关系等诸多优点,它已经被公认为目前最有发展潜力的新一代访问控制模型,正得到深入研究和广泛应用。现有的RBAC模型建立在一个共同假设基础上:授权管理任务(如创建角色、分配角色、撤消角色等)只能由授权管理用户完成,非授权管理用户对角色可能有使用权而没有管理权。然而,在分布式、网络和协同计算系统中,用户数量、权限数量和资源数量往往十分庞大,它们之间的关系复杂,因此集中式授权模型RBAC不能满足分布式、网络和协同计算系统的授权管理需要。访问控制模型必须具有用户与用户之间自主进行权限转移(授权)的能力,并且能够对这种权限转移进行有效控制,以确保分布式授权管理的安全性,增强分布式和大规模信息系统的访问控制灵活性和有效性。用户之间的权限转移称之为权限委托代理授权(delegation)。本文深入分析了现有的基于角色的委托代理授权模型的缺陷,提出了新的角色委托代理授权准则;运用图理论、一阶谓词逻辑方法和事件代数理论,以目前被深入研究和广泛应用的ARBAC97模型为基础,提出了一种时态角色委托代理授权图模型TRDG(temporal role delegation graph model)。由于图模型所固有的分布式建模特点,建立在图理论基础上的TRDG模型对角色委托代理授权能够进行分布式建模。提出了一系列新的角色委托代理授权概念,定义了新的角色委托代理授权支持关系和授权链(chain),并对它们的性质进行了研究;提出了新的角色委托代理授权策略和授权撤消策略,给出了相应的策略实施算法;研究了角色委托代理授权约束;对TRDG模型的性质进行了分析;讨论了TRDG模型原型系统设计与实现的关键技术、数据流和主要数据结构。本文的创新点主要包括: (1) 提出了8条新的角色委托代理授权准则,结合已有的7条委托代理授权准则,构成了一个比较完备的角色委托代理授权准则体系。 (2) 提出了新的角色委托代理授权概念、关系和图模型TRDG。定义角色委托代理授权为一个七元组:(委托代理授权时间,被委托代理授权角色,被委托代理授权角色的直接支持角色,委托用户,代理用户,委托代理授权直接支持用户,委托代理授权依赖的初始时态角色)。授权支持关系刻划了授权之间的局部依赖关系,授权链(chain)概念描述了授权之间的全局依赖关系。允许普通用户在其享有的时态角色基础上创建新角色,实现了完全/部分角色委托代理授权和可重复角色委托代理授权。 (3) 提出了单调和非单调角色委托代理授权策略、时间触发的角色委托代理授权撤消策略、级连与非级连角色委托代理授权撤消策略、带优先级的授权依赖角色委托代理授权撤消

关键词：信息系统安全访问控制 RBAC 角色委托代理授权模型约束图算法一阶谓词逻辑事件代数

来源：评论

学校读者我要写书评

暂无评论

基于CEP的证券交易异常事件监测系统研究

基于CEP的证券交易异常事件监测系统研究

引用

作者：程君浙江理工大学

学位级别：硕士

随着经济全球化和资本市场的逐步开放，我国的证券市场得到了很大的发展。证券作为一种特殊的商品，由于其虚拟性和特殊的效用和需求特性，使得证券市场存在很多的违法违规行为。建立一套开发先进的、实时的、快速响应的证券市场交易异... 详细信息

随着经济全球化和资本市场的逐步开放，我国的证券市场得到了很大的发展。证券作为一种特殊的商品，由于其虚拟性和特殊的效用和需求特性，使得证券市场存在很多的违法违规行为。建立一套开发先进的、实时的、快速响应的证券市场交易异常事件监测系统，是对证券市场监管、保证市场正常运行的前提。证券市场是个典型的“大数据”市场，具有数据量大、数据结构复杂、流动速度快、价值密度低等特点，此外，证券市场交易监测还需要对事件进行实时处理。复杂事件处理近年发展起来的一种新兴事件处理技术，证券交易处理是复杂事件处理中一种重要的应用领域。复杂事件处理平台有其专门的事件描述语言以及强大的处理引擎，而且该处理引擎能够独立完成大规模数据的接收、分析和处理，能够以组件的形式集成到系统中，具有低耦合、灵活性高等特点。本文在分析研究复杂事件处理技术的基础上，采用Visual Studio2010与微软复杂事件处理引擎StreamInsight的平台集成，开发一个面向证券交易可疑事件监测的控制台应用系统实例，实现了从交易数据流处理、复杂事件规则验证到证券交易事件判别等整个监测过程。论文首先对复杂事件处理以及大数据的研究现状和相关技术进行阐述，以及对复杂事件处理中的相关理论进行研究。其次，对证券交易中洗盘和对敲两种重要可疑行为的几种事件特征进行总结，并通过事件代数以及XML语言的方式对其进行描述和存储，作为复杂事件模式，存储于规则库中，来作为可疑事件监测规则。最后，对基于对敲和洗盘两类证券市场主要违法交易行为的代数定义和XML进行描述，并将其转化为StreamInsight应用程序中的LINQ查询语句，构建相应的StreamInsight复杂事件处理应用程序。同时采用计算实验方法，将股票池中的历史交易数据转换为数据流，模拟数据流进入应用程序，利用复杂事件处理引擎StreamInsight对其分析判断，查找出数据流中的异常行为事件。从而证实了复杂事件处理技术在处理证券市场“大数据”方面的优势。

关键词：证券交易异常复杂事件处理大数据事件代数 StreamInsight

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：