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

计算机工程与设计 2008年第11期29卷 2886-2887,2966页

作者：杨爱琴刘一松江苏大学计算机科学与通信工程学院江苏镇江212013

事件演算是基于一阶谓词演算的行动推理理论。它可作为描述事件的一个工具,在行动推理的应用中显示出其强大的表示能力和实现能力。在事件演算中,可以对行动进行公理化,可以描述行动的时间性、并发性、连续变化及知识,而且还可用Prolog... 详细信息

事件演算是基于一阶谓词演算的行动推理理论。它可作为描述事件的一个工具,在行动推理的应用中显示出其强大的表示能力和实现能力。在事件演算中,可以对行动进行公理化,可以描述行动的时间性、并发性、连续变化及知识,而且还可用Prolog实现。讨论介绍与这些应用相关的基本概念、思想和方法等,并且通过一个送咖啡的例子说明了如何通过事件演算来描述和实现。

关键词：事件演算行动推理并发行动知识连续变化

来源：评论

学校读者我要写书评

暂无评论

多媒体层次模型的对象定义与事件演算

引用

计算机工程与应用 1998年第8期34卷 36-38页

作者：汤庸区海翔傅秀芬广东工业大学计算机科学与工程系

ＰＥＤＡ是我们提出的一种引入知识代理系统的多媒体应用系统的三层模型。本文主要讨论ＰＥＤＡ的对象定义层和事件演算层。

关键词：多媒体层次模型对象定义事件演算

来源：评论

学校读者我要写书评

暂无评论

作战进程的上下文感知模型研究

引用

系统仿真学报 2020年第8期32卷 1626-1635页

作者：邓巧雨何明王智学王中伟中国人民解放军陆军工程大学江苏南京210007

在传统的联合作战中,各协作方在作战前设定好协作规则,以更好地指导战争的进行。然而,战场环境不断发生变化且通常无法预料,因此作战组织应该对变化进行实时感知并及时做出响应,以保证作战行动的有序推进。针对这一问题,建立了作战进程... 详细信息

在传统的联合作战中,各协作方在作战前设定好协作规则,以更好地指导战争的进行。然而,战场环境不断发生变化且通常无法预料,因此作战组织应该对变化进行实时感知并及时做出响应,以保证作战行动的有序推进。针对这一问题,建立了作战进程的上下文感知模型。引入本体论,对上下文进行表示。在事件演算的基础上,对感知到的作战进程上下文进行分析推理,进而掌握各作战组织的能力变化及进程推进情况,为实现作战组织自同步提供决策依据。

关键词：联合作战互操作性本体上下文感知事件演算

来源：评论

学校读者我要写书评

暂无评论

动态不确定环境下专家系统的应用研究及实践

动态不确定环境下专家系统的应用研究及实践

引用

作者：郭宏飞东北大学

学位级别：博士

本文在时态演算的应用研究中,通过引入上下文相关概念和增加新谓词,扩充了传统EC的表示体系,建立了包含EC和SC的综合时态演算框架,称之为广义事件演算框架(记为GEC).给出了GEC的一种有效实现方案.在GEC基础上,通过对过去、现在和将来时... 详细信息

本文在时态演算的应用研究中,通过引入上下文相关概念和增加新谓词,扩充了传统EC的表示体系,建立了包含EC和SC的综合时态演算框架,称之为广义事件演算框架(记为GEC).给出了GEC的一种有效实现方案.在GEC基础上,通过对过去、现在和将来时态信息的特征进行分析,给出了时态黑板的基本结构,并关重研究了时间区间具有不确定端点问题的推理过程中的时间一致性问题.以实时专家系统BFESDA为背景,对实时专家系统设计中普遍遇到的一些问题进行了深入的分析,给出了具体解决方法.描述了一种\"反应-规划生成-规划执行\"的多Agent系统结构的设计.在规划生成方面,探索了一种基于事例的逐步生成的规划方法.在策略级规划生成时,给出了一个基于Gentzen系统的演绎规划重用系统(SPRS)的模型结构,重用过程的实现有一些特点:使用\"述词\"译码模式和启发策略进行有效的重用检索;在规划验证和规划修整阶段,使用一系列演算启发知识和规划修改策略简化演泽规划的sequent证明过程.BFESDA支持重规划能力,在生成的规划中引入了称做\"观察点\"的特殊规划行为,给出了各类规划行为的形式化表示和主要消息的基本结构.这些为两个系统的集成和交互提供了实现基础.为满足实际系统的时间要求,在黑板模型基础上作了改进,给出一个实时响应和诊断专家系统的控制结构,不同粒度的任务求解使用不同的参数化\"任务通道\".

关键词：实时专家系统时态推理时态约束事件演算响应诊断规划黑板模型 Agent理论高炉专家系统

来源：评论

学校读者我要写书评

暂无评论

动态不确定环境下专家系统的应用研制及实践

动态不确定环境下专家系统的应用研制及实践

引用

作者：郭宏飞东北大学

学位级别：博士

该论文主要进行了专家系统的时态演算的应用研究、时态知识和推理的应用研究、BFESDA的主要方法与系统设计.在时态演算的应用研究中,通过引入上下文相关概念和增加新谓词,扩充了传统EC的表示体系,建立了包含EC和SC的综合时态演算框架,... 详细信息

该论文主要进行了专家系统的时态演算的应用研究、时态知识和推理的应用研究、BFESDA的主要方法与系统设计.在时态演算的应用研究中,通过引入上下文相关概念和增加新谓词,扩充了传统EC的表示体系,建立了包含EC和SC的综合时态演算框架,称之为广义事件演算框架(记为GEC).给出了GEC的一种有效实现方案.在GEC基础上,通过对过去、现在和将来时态信息的特征进行分析,给出了时态黑板的基本结构,并着重研究了时间区间具有不确定端点问题和推理过程中时间一致性问题.最后,以实时专家系统BFESDA为背景,对实时专家系统设计中普遍遇到的一些问题进行了深入的分析,给出了具体解决方法.描述了一种\"反应-规划生成-规划执行\"的多Agent系统结构的设计.

关键词：实时专家系统时态推理时态约束事件演算响应诊断规划黑板模型 Agent理论高炉专家系统

来源：评论

学校读者我要写书评

暂无评论

面向环绕智能的可信服务组合关键技术研究

面向环绕智能的可信服务组合关键技术研究

引用

作者：张会兵北京工业大学

学位级别：博士

作为普适计算思想的深化和发展，环绕智能(Ambient Intelligence，AmI)的目标是实现物理空间、信息空间与用户空间的自然融合，以自适应、个性化及预判断的方式提供随需应变的服务。然而AmI资源具有自治、异构、动态、分布的特性;AmI应... 详细信息

作为普适计算思想的深化和发展，环绕智能(Ambient Intelligence，AmI)的目标是实现物理空间、信息空间与用户空间的自然融合，以自适应、个性化及预判断的方式提供随需应变的服务。然而AmI资源具有自治、异构、动态、分布的特性;AmI应用环境具有开放与非熟知的特点。这就要求有与其相适应的基础软件系统架构来支撑其功能需求。面向服务的计算(Service-Oriented Computing，SOC)能够以粗粒度、松耦合、跨平台的方式支持分布式系统应用的集成与开发，很自然地符合AmI系统需求。因此AmI与SOC的融合被认为是实现AmI愿景的有效途径，已经成为当前的研究热点。　　面向AmI的服务组合技术涉及到服务发布、服务性能与可信性评估、服务匹配与选择、服务动态组合、服务执行管理与监控等，是AmI与SOC融合的研究核心。很多著名的研究机构都在积极地开展这方面研究并取得了一些初步成果。然而由于该问题的复杂性，在AmI实践中面临着很多有待深入研究的挑战性问题，诸如服务可信性评估、个性化服务选择、动态自适应服务组合及组合服务方案选择、高效服务管理与访问等。针对这些问题，本文致力于4个方面的研究，解决了一些关键问题，取得了一定研究成果。主要工作和创新点如下：　　(1)AmI系统中服务信誉度聚合方法研究，提出了基于证据理论和动态衰减机制的多维评价信息服务信誉度聚合方法以支持AmI环境下可信服务选择与组合。现有的服务信誉度计算方法存在着评价信息类型单一、聚合方法简单等问题，使得服务信誉度往往不能准确反映其性能变化，无法提供有效预测信息。本文提出一种利用动态衰减机制的多维评价信息信誉度计算方法，它采用证据理论来聚合各种评价信息以动态生成服务信誉值。基于主观评价对信誉度的作用机理提出了评价信息动态衰减机制。利用服务发布、请求、使用过程中的三种服务质量信息提出了服务声明诚实度、服务客观评价两种评价信息生成算法。以评价信息为基础给出了用户主观评价可信度算法。用动态衰减机制对这三种评价的历史信息进行预处理，以预处理后的实际效用值为证据，以用户评价可信度为主观评价权重进行证据合成，得到服务的用户本地和全局通用信誉度值。实验测试表明本文的服务信誉度聚合算法能够及时准确地反映服务历史信息，有效预测服务未来行为，为服务选择提供可信预测信息。　　(2)可信的个性化服务选择研究，提出了快速偏好学习算法和基于用户偏好与服务信誉度的可信服务选择方法。从本质上讲，服务的可信性反映了实际运行效果与用户预期的差异度，个性化体现了不同用户的偏好差异。当前的服务选择方法往往是在假定服务可信基础上的“最优”推荐机制。这些方法不能适应AmI应用对可信和个性化服务选择的需求。本文提出基于服务信誉度和用户偏好的服务选择方法，首先提出了一种利用服务评价信息来反向学习用户偏好的机制，然后以此为基础，给出了基于信誉度和多属性决策的个性化自适应服务选择算法。该算法首先利用学习到的偏好信息来产生当前用户的服务请求偏好值，然后利用加权欧氏距离及服务信誉度值来选择“最合适”的服务推荐给用户。系统测试验证了算法的有效性和可用性，有效提高了服务选择的适应性和可信性，提升了用户体验。　　(3)AmI中动态自适应服务组合研究，提出了一种基于事件演算和概念图的具有上下文感知的自动服务组合框架和服务组合规划方法。研究了用概念图来形式化表示用户需求并将其转换成事件演算中目标状态的操作过程。提出了用事件演算公理来描述Web服务、上下文信息、领域规则以及用户偏好的基本操作和实现方法。以基于Prolog的事件演算规划器为平台，实现了自动服务组合，并基于可信服务选择实现了组合服务的局部可信。实验测试表明该方法能够提供偏序、并发、状态约束等机制以适应AmI系统对服务组合的特殊要求，并能同时实现信息提供类和改变世界类服务组合。　　(4)面向场景的服务管理、访问策略研究，提出了一种面向场景的多粒度服务存储访问策略(SMART)，有效提高了服务访问的实时性。由于本体语义推理的耗时性，使得在服务组合与发现时直接进行本体推理很难达到AmI系统中服务访问实时性的要求。针对该问题，本文提出面向场景的服务存储访问策略，它以面向场景的设计为指导，以预处理和服务缓存为技术手段，将服务组合的结果(含原子服务)进行多粒度分级存储，并实施动态演化来保证服务的可用性和有效性。实验测试表明，通过在AmI系统中部署SMART策略，在离线预处理和服务缓存的基础上实现了较好地实时访问性能，提升了资源利用率和用户体验。　　本文以智能空间AmI-Space为试验平台，针对AmI环境下服务组合过程中紧密相关的几个问题提出了相应解决方案，并测试验证了相关算法及策略的正确性。这些成果能够促进AmI与SOC的融合，为构建随需应变的AmI应用提供技术支持。

关键词：环绕智能服务计算可信服务组合信誉度事件演算计算机网络

来源：评论

学校读者我要写书评

暂无评论

面向Web组合服务的运行时监控技术研究

面向Web组合服务的运行时监控技术研究

引用

作者：韩仲志国防科学技术大学

学位级别：硕士

随着生产力和现代科学技术的飞速发展,软件已经渗透到社会各个领域,发挥着重要及不可替代的作用,然而,随着软件规模和复杂度的不断提高,软件失效和软件故障等问题日益增多,给人们的生产生活甚至是国家安全带来巨大的损失及影响。因此如... 详细信息

随着生产力和现代科学技术的飞速发展,软件已经渗透到社会各个领域,发挥着重要及不可替代的作用,然而,随着软件规模和复杂度的不断提高,软件失效和软件故障等问题日益增多,给人们的生产生活甚至是国家安全带来巨大的损失及影响。因此如何确保软件的安全可靠运行受到人们的广泛关注。针对软件的安全可靠运行,研究人员提出了多种解决办法,如模型检验、定理证明、软件测试、运行时监控等等。与此同时,网络技术飞速发展,互联网越来越深入到人们的生产和生活,由此导致软件发展呈现出分布性、开放性不断增加的趋势,出现了多种新兴的软件形式。Web服务便是这样一种新兴的、同时具有极大发展潜力的软件形式。 Web服务是自包含的、模块化的应用程序,在网络中被动态地描述、发布、查找以及调用,具有高度的动态性特征。多个自治的Web服务还可以根据应用需要进行组合,从而提供新的、功能更强的Web组合服务。Web服务具有松散耦合性和高度动态性,组合服务中的各基本服务可能会出现版本升级等不可预测的变化,从而影响整个服务的质量和功用。通过静态测试、验证技术可以保证正确的服务组合,但其实际执行行为仍然可能会与组合服务属性要求不一致,因而有必要实施Web组合服务运行时监控。本文首先研究了传统意义上的软件运行时监控技术,分析总结了运行时监控的基本原理,给出了监控器的基本视图,以此作为对Web组合服务进行监控的技术基础;其次分析研究了Web服务及Web组合服务相关理论及技术,对研究对象建立了整体把握;然后,通过引入基于一阶谓词演算的行动推理理论——事件演算,本文构建了Web组合服务系统的行为性质规约模型,模型对系统事件和流做出了具体定义,完整地表达了系统行为性质;通过对BPEL4WS技术的研究,本文设计了BPEL4WS活动到事件演算的转化模板,实现了从服务合成进程的BPEL4WS描述中自动提取出事件演算形式行为规约的转化算法;最后提出一种基于事件演算的面向Web组合服务的监控框架,并给出了相应的监控算法。

关键词：运行时监控 Web组合服务事件演算行为性质规约监控框架监控算法

来源：评论

学校读者我要写书评

暂无评论

基于QoS的Web服务选择和动态监控方法研究

基于QoS的Web服务选择和动态监控方法研究

引用

作者：卢元渤海大学

学位级别：硕士

随着科学和信息技术的飞速发展,互联网逐渐成为一个开放的分布式计算环境。互联网不仅改变了人们学习,工作和生活的方式,也极大地丰富了人们的精神世界,然而互联网的发展导致Web服务的应用变得更加的广泛。在Web服务的应用层面,越来越... 详细信息

随着科学和信息技术的飞速发展,互联网逐渐成为一个开放的分布式计算环境。互联网不仅改变了人们学习,工作和生活的方式,也极大地丰富了人们的精神世界,然而互联网的发展导致Web服务的应用变得更加的广泛。在Web服务的应用层面,越来越多的服务类型和服务数量的增加都给网络服务生态系统的良性发展带来了诸多问题。由于单个Web服务能够提供的功能有限,Web服务选择与组合技术应运而生。Web服务组合的前提是需要从大规模的Web服务中选择出符合用户功能需求、非功能需求的服务。使用静态测试和验证技术都可以确保服务组合的准确性,但实际执行的结果可能仍然与用户对整个服务组合的属性要求产生偏差。因此,有必要实现Web服务组合运行时监控。本文针对以上问题进行了研究:(1)将二阶隐马尔可夫模型用于Web服务选择的过程中。该方法基于两个服务质量参数-吞吐量和响应时间,通过考虑前两个时间Web服务的状态对当前状态的影响,最终选择出一组最优的Web服务。该方法能够根据设定的阈值来衡量Web服务质量,使最终得到的服务组合的服务质量得到保证。(2)基于事件演算理论,本文构造了一种Web服务组合运行时的动态监控机制。建立了服务组合的行为特征规约模型,定义了非法行为与特征行为规约模型不一致的判断标准,实现了Web服务组合操作行为的正确性监控。

关键词： Web服务选择二阶隐马尔可夫模型服务质量(QoS) 动态监控事件演算

来源：评论

学校读者我要写书评

暂无评论

模糊粒计算在工业动态复杂事件识别中的应用

引用

福建电脑 2023年第1期39卷 17-21页

作者：雷恒鑫吴爽于泳烟台南山学院山东烟台265713

工业动态复杂事件识别可以为决策者提供故障诊断、流程优化的参考依据。如何在不完备数据下进行可解释的推理和识别是一个非常有挑战性的问题。为了解决这个问题,本文提出了一个新的工业动态复杂事件识别模型。通过将该模型应用于合成... 详细信息

工业动态复杂事件识别可以为决策者提供故障诊断、流程优化的参考依据。如何在不完备数据下进行可解释的推理和识别是一个非常有挑战性的问题。为了解决这个问题,本文提出了一个新的工业动态复杂事件识别模型。通过将该模型应用于合成数据集以及真实数据集,结果显示,在不完备数据的工业场景下,本文模型的准确率和召回率均达到90%以上,预测未知事件的准确率也达到95%以上。

关键词：模糊集事件演算粒计算归纳逻辑

来源：评论

学校读者我要写书评

暂无评论

基于贝叶斯方法的事件推理

引用

科技信息 2010年第33期 I0219-I0219,I0225页

作者：朱景阳青岛科技大学数理学院山东青岛266061

为了处理逻辑推理中,事件信息不确定不完整的情况,本文在传统事件演算的框架下,引入了贝叶斯概率的算法思想,给出了基于贝叶斯方法的事件推理的方法,实现了对传统方法的有效扩展。该方法能在网络诊断、交通事故推断等重要领域得到很好... 详细信息

为了处理逻辑推理中,事件信息不确定不完整的情况,本文在传统事件演算的框架下,引入了贝叶斯概率的算法思想,给出了基于贝叶斯方法的事件推理的方法,实现了对传统方法的有效扩展。该方法能在网络诊断、交通事故推断等重要领域得到很好的应用。

关键词：贝叶斯事件演算

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：