面向地表覆盖Web服务组合的知识建模及推理

随着语义网技术的快速发展和OGC服务的深入应用,地表覆盖Web服务组合成为地表覆盖领域的关键挑战之一。近年来,知识建模在解决Web服务组合方面取得了重要的研究进展,但尚缺少面向地表覆盖服务组合领域的知识模型,进而对地表覆盖服务组合的准确性和智能性造成一定影响。为此,本文提出了一个面向地表覆盖服务组合的知识建模与推理方法,构建了地表覆盖服务本体(land cover service ontology,LCSOnt),并实现了基于数据预处理规则和服务链组合规则的前向链接服务组合推理机制。以地表覆盖变化检测为例,使用LCSOnt对变化检测任务、数据以及服务进行实例化,构建了变化检测服务组合知识规则。最后通过规则推理实现了变化检测服务链的生成,证明了该方法的有效性和可行性。

自动推理技术在求解组合数学难题中的研究进展

自动推理是一种以符号演算的方式来自动模拟人类逻辑推理能力的技术,其总体目标是利用计算机构建一个将不同形式的推理机械化的系统。虽然该领域的理论框架尚未实现对人类全部推理能力的模拟,但该领域的发展已经可以帮助研究人员解决一些数学和逻辑领域的开放性问题,并提供了计算科学中的重要应用。文中简要回顾了利用自动推理技术处理组合数学开放性难题时的代表性方法,重点梳理了该领域的国内外最新进展,分析了各种方法的优势与不足,介绍了近年来出现的增强自动推理结果可信性的技术方法,并探讨了未来的研究方向和面临的挑战。

模糊推理-组合赋权的化工工艺本质安全度研究

为提高化工企业安全生产水平,基于本质安全指数法(ISI)选取10个指标,建立化工工艺过程本质安全评价指标体系,划分各评价指标等级,结合Matlab环境下的Mamdani模糊推理方法进行模糊推理;依据四级指标参数下的安全度等级评分数值,建立各三级指标下的规则输出矩阵,最大程度上保留模糊理论型本质安全评价结果的灵敏性,得到可视化三维模糊推理曲面图;为精确本质安全评价结果,建立兼顾主客观权重且距离最小的目标函数,优化利用归一法和熵权法计算出的各评价指标的主客观组合权重,减少组合赋权结果偏差;应用该方法评估4条工艺路线的本质安全度。结果表明:基于模糊推理-组合赋权的本质安全评价法,在兼顾主客观权重的同时,最小化主客观权重距离偏差,线性加权综合计算各项安全指标评分,精确输出组合赋权后的本质安全评估结果数值。该方法的评估结果与前人文献中评价结果基本吻合,证明该方法具有一定的科学性和有效性。

强基计划数学备考系列讲座(22)——组合分析基本路径

组合计数是组合探究的基础,基于组合计数构建推理论证与最值探究求解路径,是组合分析基本路径.当然组合分析还有其他探究路径,譬如分析组合结构与组合构造直击目标等.本文浅谈以组合计数支撑组合分析.

小学数学推理活动设计的要素与模块组合路径

数学作为一门重要的学科,对于培养学生的逻辑思维、推理能力和问题解决能力具有重要作用。本文探讨小学数学推理活动的设计要素与模块组合路径,旨在为教师提供指导和参考,使他们能够设计出有针对性的、符合学生能力发展需求的数学推理活动。通过研究数学推理活动的设计要素,可以深入了解数学推理活动设计的核心要点,并且通过模块组合路径的研究,能够有效地将不同的推理模块进行组合,提供多样化的数学推理活动设计方案。

二型模糊集下的推理模型及Mamdani推理算法

在二型模糊集理论的基础上,讨论了二型模糊集下的三种模糊推理模型,研究了模糊推理模型的Mamdani推理算法,证明了Mamdani推理算法具有单调性质。

基于Mamdani型模糊推理的电压暂降源识别

提出了基于Mamdani型模糊推理的电压暂降源识别方法。分析了三种主要的电压暂降源(短路故障、变压器投切和感应电动机启动)引起的不同电压暂降现象,从三相电压是否平衡、暂降结束时是否产生突变以及暂降中伴随产生的谐波大小三个方面总结了不同暂降源的特征,并将其作为判据输入模糊推理系统,利用Mamdani型模糊推理技术对电压暂降干扰源进行了区分。Mamdani型模糊推理通过事先掌握的一组推理规则实现从输入到输出的推理计算,从而建立准确的辨识系统。通过仿真验证,该方法能够较好地对电压暂降源进行准确辨识。

Fuzzy推理的Mamdani算法

研究 Fuzzy推理的 Mamdani算法 ,包括简单 Fuzzy推理的 Mamdani算法 ,多维 Fuzzy推理的 Mamdani算法 ,多重 Fuzzy推理的 Mamdani算法 ,多维多重 Fuzzy推理的 Mamdani算法等。

一种新的证据推理组合规则

证据推理是一种不确定推理的人工智能方法。首先研究几种组合规则的改进方法和造成其缺陷的机理 ,然后从分析冲突的来源入手 ,利用冲突信息提出一种新的组合规则——吸收法。仿真结果表明 ,新的组合规则在处理冲突方面的性能得到了明显改进 ,并且具有较强的鲁棒性。

基于实例推理的数控车床智能模块组合方法

随着经济全球化的发展,产品模块组合方法成为了快速设计出符合用户需求产品的关键技术之一。针对重要的基础装备制造产品——数控机床,以卧式数控车床为研究对象,以用户需求为驱动,提出基于实例推理的数控车床智能模块组合方法。在该方法中,建立卧式数控车床产品规划阶段质量屋及其优化模型,用来实现以定制产品的综合性能与客户技术需求相关度最大为目标的用户需求的获取与转化。采用模糊相似优先比算法进行卧式数控车床相似实例的检索。基于灰色关联分析法给出卧式数控车床相似实例的评价,从而高效智能地搜索出用户总体满意度最大化的卧式数控车床。以HTC系列数控车床为实例,验证了该方法的可行性和有效性。

一种按比例分配冲突度的证据推理组合规则

在分析证据理论不足和已有改进方法及其缺陷的基础上,根据指挥员在作战中处理冲突证据的一般习惯,提出一种按比例分配冲突度的证据组合推理规则.算例验证结果表明,新的组合推理规则在处理冲突方面的性能得到了明显改进.

一种基于信任推理与演化的Web服务组合策略

为解决动态复杂互联网中恶意、欺诈、不诚信服务实体造成的服务组合质量不高的难题,文中基于开放网格服务体系架构(OGSA),建立了以公共信任演化系统和实体信任演化系统为主体构成的信任推理与演化系统;提出了受限于可信实体的信任演化、实体集合的信任演化、逐步逼近评价实体的信任演化等信任演化方法,以改变信任推理中的信任缺失与信任泛化的不足;通过服务实体间信任关系的推导、反演与递推,极大程度地丰富了实体的信任关系,以识别共谋欺骗并克服信任演化中直接信任关系稀小、前期信任匮乏的问题.文中以新的信任推理与演化为基础,提出了一种Web服务组合策略.应用实例及测试结果表明该服务组合策略能够有效地识别实体行为中潜在的风险,克服实体经验差异,较大幅度地提高了服务组合的成功率.

带孔洞面域间的拓扑关系的组合推理

根据点集拓扑学理论,对带孔面域进行了定义。通过分析简单对象间拓扑关系的演变过程,提出一种能描述带一个孔的面域间的空间拓扑关系的方法,并用该方法详细推导了带一个孔的面域间有意义的拓扑关系。通过试验验证,该方法在理论上是可行的。

基于Mamdani模糊推理的槽罐车运输安全评价

针对危化品道路运输安全问题,利用Mamdani型模糊推理系统对其进行研究。为使安全评价模型满足实时性要求,以槽罐车状态监测系统监测的变量为依据构建评价指标体系,然后建立包含5种安全状态的评价集,确定了隶属度函数和推理规则,最后将该模型用于研究LNG槽罐车气体泄漏时的安全状态。该模型可以对槽罐车运输安全状态进行评价,对驾驶员决策提供指导,具有应用潜力。

基于实例推理的组合夹具自动拼装技术

在分析组合夹具拼装特征的基础上,将基于实例推理原理引入组合夹具计算机辅助拼装中,进行了基于实例推理原理的组合夹具实例描述模型、拼装实例库建立方法、组合夹具自动拼装设计流程等问题的研究。建立了一种新的典型路径存储实例的方法,以实现对组合夹具新实例的快速存储。提出了按照组合夹具拼装的特征参数和权重进行相似实例检索的方法,该方法可以较好地实现对组合夹具实例的快速检索。在此基础上,开发出了组合夹具计算机辅助拼装系统,并应用实例验证了该系统的有效性。

基于Mamdani模糊推理的无线传感器网络可信簇头选举算法

为了解决无线传感器网络中恶意节点成为簇头而引起的层次路由安全问题,提出了一种基于Mamdani模糊推理的可信簇头选举算法(TCEM)。TCEM算法根据节点的行为表现,采用贝叶斯原理评估节点信任值,在此基础上,结合密集度及向心度,使用Mamdani模糊推理方法计算节点优越度,选择最优者作为簇头,从而实现簇头的可信选举。仿真实验结果表明,该算法能有效阻止恶意节点成为簇头,且在簇头合理分布、网络整体能效等方面均有良好表现。

智能化系统的有机组合推理及优化

智能化系统中推理是其中的重要组成部分 ,推理算法决定了系统智能化水平的高低。针对智能化系统的推理 ,利用专家系统推理、模糊逻辑推理、神经网络推理的互补性 ,提出了由专家系统、模糊逻辑、神经网络有机结合构成的组合推理及优化的技术 ,充分发挥各个推理的优势和克服单一推理的不足。采用公用专家知识库供各个推理的有机组合和并行运行 ,利用优化算法优化各个推理结果 ,可实现知识的共享、推理算法的有机融合及组合推理的优化 ,同时解决组合推理的推理冲突并提高组合推理的效率。分析及应用结果表明 ,有机的组合推理与优化能有效地应用于工程实际 。

Mamdani与Sugeno型模糊推理的应用研究

从模糊控制系统中Mamdani和Sugeno两种模糊推理模型的结构着手,对其输入输出变量的形式和在模糊控制中的作用,以及两种模糊推理的推理结果和适用范围进行比较和分析.利用Matlab中Fuzzy工具箱的计算和图形化功能,通过实例进一步验证两种系统的优缺点和适用范围,为模糊控制器设计的模糊推理类型的选用提供方法.

基于加权案例推理模型族的软件成本SVR组合估算

精确地估算软件成本是软件项目成功开发的一个重要保证,直接影响着软件的风险控制和质量保证。为了更好地解决单一估算模型的不足,提出了集成多案例推理(CBR)模型的软件成本组合估算模型。首先,采用六种距离计算公式刻画新旧项目相似度,构建了六种CBR模型,并运用粒子群算法(PSO)来优化CBR模型族中的属性权重。其次,在CBR模型族的基础上,运用支持向量回归机(SVR)模型将不同CBR模型的估算结果进行集成,提高软件成本估算结果的精度。利用Desharnais数据库对模型有效性进行检验,实证结果表明,在六种CBR模型中Euc-CBR、Min-CBR、Gau-CBR和Mah-CBR模型估算结果没有明显差异,Gre-CBR和Man-CBR模型略优;提出的SVR组合估算模型估算精度明显优于单CBR模型和其他线性组合估算模型,能有效提高软件成本的估算精度。

基于Mamdani模糊推理的风电机组控制方法研究

针对风电机组复杂多变的工作条件和自身控制要求,文章提出了一种基于Mamdani模糊推理的风电机组控制方法。该方法首先对控制对象进行模糊化处理,然后制定推理规则并确定控制推理方式,最后对推理结果进行精确化模块处理,反馈给控制对象。文章以风电机组偏航系统控制为例,研究了在风速大小、风速变化和风速变化率3种因素下调桨量的模糊控制,试验结果证明了该方法可以满足变工况下风电机组变桨控制要求。