证据网络模型及其推理算法

本文在证据理论与图模型研究的基础上,针对不确定性与关联性相结合的系统建模问题,提出并建立了证据网络模型,定义了证据网络的参数,总结了证据网络的建模特点;分析了证据网络模型的推理问题,建立了其推理策略和推理过程,推导出其正向推理算法和反向推理算法,并通过示例进行了计算验证;证据网络模型将为管理决策分析、系统工程管理等领域的问题分析和求解提供一种有效的技术方法支持.     

基于公差推理的零件聚类装夹规划方法研究

针对计算机辅助工艺设计中的装夹规划问题,提出一种面向制造特征的基于公差推理的装夹聚类规划方法.通过分析零件的制造过程,对加工单元进行定义,建立零件的装夹规划数学模型.随机生成装夹规划的初始解,计算加工单元之间的装夹相异度,通过进行反复迭代的聚类分析获取最少的装夹分组.基于公差的推理方法,获得加工单元的加工顺序约束关系,进行装夹的组间及组内排序,生成最优装夹规划方案.同时,基于CATIA设计平台实现了零件的装夹规划原型系统,通过实例对所提算法进行了验证.      

充分条件假言推理在刑事侦查中的运用

侦查学是在认识犯罪活动、侦查活动及其互动关系的基础上,研究揭露、证实犯罪的方法和对策的应用性学科.在还原犯罪真相的过程中,需要通过现场勘查,调查访问来获取犯罪发生的情况以及作案人的线索,充分条件假言推理在此过程中发挥着重大的作用.     

步进电动机的故障诊断及其实现

针对步进电动机运行中的某些主要故障，设计了ＦＮＮ模糊神经网络故障理机及其单片机实现，提出随机寻优训练算法，并对此对该ＦＮＮ进行了训练，仿真结果表明，该处 仅计算速度快、推理精度高，而且具有工程应用的价值。     

剩余型直觉模糊推理的三I方法

要本文研究了由左连续三角模所生成的直觉三角模的性质，给出了与直觉三角模相伴随的剩余型直觉蕴涵算子的等价刻画，揭示了直觉模糊蕴涵算子和模糊蕴涵算子的关系．结合模糊推理的三I方法，针对剩余型直觉蕴涵算子，提出直觉模糊推理IFMP问题的三I方法和分解方法，给出两种方法的求解公式，并讨论了它们的还原性，证明了三I方法和分解方法具有良好的还原性．最后提出了IFMP问题的a-三I方法．并给出相应的算例分析．     

古希腊千古迷案“半费之讼”的法律探讨

古希腊著名的思想家和哲学家普罗泰哥拉向学生欧提勒士传授辩论技巧,教他替人打官司并约定,剩下的另一半学费则在他毕业后第一次替人打官司赢了之后再交.欧提勒士毕业后,总不去代理别人打官司,普罗泰戈拉只好到法院起诉学生欧提勒士.师生两人均运用诡辩技巧各执一词,据说成千古“迷案”.其实,无论是根据当时的古希腊自然法,还是根据古罗马的诚实信用原则或附生效条件契约,均可裁决学生支付另外一半学费.逻辑推理在法律思维中有局限性,更不可被诡辩误导.在实践中要善于破解诡辩.     

一种基于黑板模型的猜测推理方法

针对黑板结构中的猜测现象提出了一种基于数据依赖图的猜测推理方法，并给出了这种方法的模型及实例     

结合区间和时域信息的定性模拟方法

针对传统ＱＳ方法中存在的歧义分枝问题，希望能利用区间定量信息和时域信息来减少模拟过程中的歧义性．在传统ＱＳＩＭ算法的基础上，提出了区间界标的概念和区间传播算法，并给出了有效表达时域信息的时域逻辑谓词，最后以一个水库管理的实例来说明如何利用区间信息和时域信息进行定性模拟     

不精确推理机制的模糊逻辑解释

本文采用真值取在布尔代数上的模糊逻辑从理论上解释了专家系统中的不精确推理机制.     

集成范例推理系统的研究

首先研究了与范例推理相集成的多种技术,并着重研究了基于范例推理和规则推理的集成方法,以及基于范例推理和归纳技术的集成方法,以此来充分利用范例推理、规则推理和归纳学习技术的各自优势,提高智能系统求解问题的能力。