β-PSML语言中的混合推理算法

研究了由描述逻辑和Horn子句组成的β-PSML语言逻辑基础的理论问题,给出了基于可确定描述逻辑的混合推理算法.在无递归情况下,β-PSML语言中单步的Horn子句推理需要由一个更为复杂的推理步骤所取代,称这个推理步骤为β-PSML语言中的混合推理.β-PSML语言中的混合推理问题可以描述为:通过结合Horn子句的前件与描述逻辑的术语是否可以推导出Horn子句集中一些Horn子句的前件.     

扩展OWL处理模糊知识

为了解决模糊Ontology的表示和推理问题,本文结合网络本体语言OWL的特点,在模糊描述逻辑的基础上,构建了RDF/XML式的模糊算子和公理．用来表达Ontology中的模糊概念和模糊声明;提出了OWL到模糊算子的转换规则,统一了模糊Ontology中确定知识的表示方法．最后,利用新增模糊词汇和转换规则解决了视频提取领域的模糊知识表示和推理任务．     

“或者”、“OR”逻辑特征对比分析

通过对语词联结词“或者”、“OR”在日常语言中实际使用情况的统计分析,可以看出,“或者”比“OR”在更高的频率上表达逻辑联结词“析取”的涵义;“或者”和“OR”在前后项的可交换性方面差别不大;“OR”比“或者”更多地表现出选择的倾向性;作为不相容选择关系的“OR”比“或者”其前后项更多地满足逻辑排中律;在与其他联结词的相互转化方面,“OR”比“或者”表现更为明显。     

从种群增长模型的建立探析美国微积分教材的特色

从实际问题入手,分析了美国微积分教材中的种群增长模型与逻辑斯谛函数的建立,以及其所蕴含的数学思想方法、计算技巧,以及解决实际问题的思想。这些思想对我国高职数学教育思想转变和高职数学教材建设有积极作用。     

浅谈高职院校数学教学中问题情境创设的原则与方法

为了让学生能够将所学的数学知识联系实际,解决生活中的实际问题,将数学学习应用到生活生产中,创设问题情境是解决数学教育的前提也是关键。依据适合的原则创设问题情境,让学生们将实际中的问题提炼出数学问题,使数学知识具体化。因此,学生可以将数学知识联系到实际中,提出问题,建构数学模型,运用数学知识解决实际问题,真正地做到学以致用。     

逻辑承载网构建中的数学建模

讨论了一类新型的基于一体化承载网络环境的逻辑承载网构建过程中的若干数学问题,提出在不同物理网络资源状况下逻辑承载网构建所涉及的数学模型及需解决的关键问题,为逻辑承载网的具体构建提出相关的原则和建议。     

一种基于神经网络的专家系统的推理机研究

传统的推理方式存在推理效率低和冲突消解问题．提出一种新的解决这一问题的方法．即由正向神经网络推理和反向逻辑推理所组成的混合推理系统．利用种经网络所具有的并行性、可学习性、知识可存储性不但可以解决推理冲突,而且还可以利用并行性提高推理的收敛速度和推理效率．为了说明问题,设计了一个实验系统,经实验取得了较理想的效果,并有实用性．     

基于ALC的空间语义知识库

基于经典描述逻辑ALC,提出了空间语义知识的表示方法和可判定的推理算法。将空间关系表达为一类特殊的概念,空间关系的基本运算采用公理系统表达,空间约束满足问题求解和逻辑术语推理可以在同一个推理机下进行。首次实现了空间关系和语义知识相结合并且可判定的推理,同时支持多元空间关系结合推理。此前的同类方法都是不可判定的。理论分析、应用实例和相关工作对比均显示该方法解决了空间语义知识库的关键问题,具有一定的理论意义和应用价值。     

航天器故障诊断中的时态问题

讨论了知识表示中时间因素的表达问题,研究了知识的时间标志、数据及事件间存在的时态逻辑关系,在Allen时态逻辑的基础上建立了一种基于时态逻辑面向对象的知识表示方法,通过对实时数据进行时态标识并进行解释,建立动态知识库,对实时信息进行表达、管理及推理,可为具有时态性质的系统状态分析奠定基础,为解决大型复杂实时领域中的诊断问题提供一条可行的途径。     

使用范例推理的服务组合方法研究

为了解决自动服务组合过程中的知识表示和知识积累问题，提高对已有的成功服务组合的可重用性与服务组合的效率，研究了一种基于范例推理的web服务组合方法。该方法将范例推理技术用于服务组合的发现阶段，并且将现有的服务组合引擎的推理工作移至范例推理系统中，设计适当检索，修改，重用和存储机制获取满足用户需求的组合服务逻辑集成，并提交服务执行引擎处理，实现自动服务组合。通过与其他方法的对比试验与定性分析结果表明基于范例推理的服务组合方法在一定条件下能够有效减少服务组合的代价，提高服务组合的成功率和效率。     

一种面向服务的统一授权管理机制

针对面向服务体系结构(Service-O riented Arch itecture,SOA)的授权管理中存在的安全问题,提出了一种面向服务的统一授权管理机制,阐述了授权原理,定义了数据模型,描绘了算法流程。该机制以RBAC(Role-Based Access Control)模型为基础,通过引入用户域概念和三种授权偏序关系,支持用户间代理,具备推理能力,为各SOA应用提供强访问控制。实践表明,该机制是简单、安全、有效的,具有很好的应用前景。     

Triple I method and interval valued fuzzy reasoning

The aims of this paper are.- (i) to show that the CRI method should be improved and remould into the triple I method, (ii) to propose a new type of fuzzy reasoning with multiple rules of which the premise of each rule is an interval valued fuzzy subset, (iii) to establish the "fire one or leave (FOOL)" principle as pretreatment for solving the fuzzy reasoning problem mentioned in (ii), and (iv) to solve the problem mentioned in (ii).     

基于方程的椭圆轮廓度的评定

提出了一种基于椭圆数学方程的用于椭圆线轮廓度误差评定的数据处理方法.该方法采用外包容和内包容,建立了椭圆线轮廓度评定的模型,实现了最大实体条件下最小外接椭圆和最大内接椭圆的误差评定.根据椭圆的数学方程,提出了数据迭代的原则和迭代终止的条件.实例验证了该方法的正确性和可行性.     

一种演绎数据库系统的设计与实现

为了构造高效的演绎数据库系统,提出了在关系数据库系统之上增加规则处理层,构造一种基于关系数据库SOL Server的演绎数据库系统的设计方案.系统主要由语言分析器、规则管理及一致性维护器、递归查询推理机等部分组成.讨论了规则维护器的设计思想,完整性维护的算法及关键问题的解决方案,实现递归查询的推理机的设计原理,递归查询算法及实现中的优化技术.规则推理从已知事实推导出未知信息;完整性维护用来表示规则之间的各种制约关系,避免不协调和不相容的信息内容.推理机模块能正确地完成演绎推理功能,尤其对线性递归查询的实现是有效的.     

基于关系的模型动态组合推理设计

在关系化模型框架的基础上,对用于定量计算的数学模型进行关系化的分析与表示,使其便于用关系数据库系统存储与管理．依据关系化模型的特点,重点对其推理机制进行设计与讨论．该推理机制除以模型的输入／输出为纽带实现模型的自动连接外,还可以交互式的提示系统信息及完成数据输入,并可依据用户设定的模型特征对模型组合序列进行优选,实现了模型、数据和对话的有机结合．最后应用一数学模型对关系化模型的组合推理过程作实证性的分析．     

应用最小二乘支持向量机预测煤的发热量

为解决现有的煤发热量预测神经网络法的过学习与局部极小点问题,通过对煤热量数据的分析,在统计学习理论和结构风险最小化准则的基础上,建立了基于最小二乘支持向量机(LS-SVM)的煤发热量预测数学模型。在算例分析中与BP神经网络、RBF神经网络预测法进行对比,发现该方法比BP和RBF神经网络具有更高的预测精度,且具有收敛速度快、泛化能力强等优点,为燃煤发热量的预测提供了一种有效的方法。     

一种基于演进规则的工作流引擎

尽管当前工作流技术的使用已比较广泛，但对于工作流引擎的形式化模型却很少定义．为此．提出了一种工作流引擎的框架结构，其中包含有利用XML语言实现的工作流过程定义模型、一个基于关系结构的工作流引擎的控制模型以及可以用来支持复杂的业务逻辑的工作流引擎的演进规则．详细论述了这些模型及规则的设计原理以及实现方法．并通过实例论述如何通过演进规则实现工作流引擎的演进推理过程。     

工程进度智能控制

提出了网络压缩的算法。该算法适用于所有肯定型和非肯定型网络的压缩。在压缩过程中充分考虑了非关键工序的总时差使网络压缩的费用尽量减小。在考虑了建筑施工过程中运用知识的方法后,本文设计实现了反向推理机,并根据建筑施工中许多因素的不确定性设计了相应的不确定推理程序。本文对网络资源均衡优化方法作了改进,用一种启发式的方法进行资源均衡优化,较好的解决了以往用线性规划解这类问题时所遇到的对计算机内存要求很高的问题。最后,给出了利用CPICS对宝钢3号高炉热风炉系统进行跟踪控制的实际情况。     

电火花加工工艺数据库的设计

分析了基于关系数据库模型的基本概念和实现原理，以此为依据采用Visual Foxpro开发了关系型电火花加工工艺数据库，实现了用简单的查询代替复杂的推理过程，有效的解决了电火花加工中工艺参数的选择问题，使用关系数据库系统可以进行强有力的关系演算，为用户提供较为合理的工艺规划方案，在工艺数据库开发方面具有良好的应用前景．     

基于概率的不确定时态信息的表示模型

时态信息表示和推理是时态数据库的研究重点之一,现实生活中很多时态信息是不确定的,现有的时态数据库模型在处理不确定时态信息方面仍存在较大困难.本文提出一种用概率的方法表示不确定时态信息的模型,用于描述各种具有确定或不确定时态信息的事件,定义了各类时态对象(如时间点、时间区间)以及它们之间的关系,并给出了不确定时态推理的例子.