基于D-S证据推理的车辆导航系统地图匹配算法

研究地图匹配算法中的匹配道路的选择问题,提出基于D-S证据推理理论的地图匹配算法.根据D-S证据推理的基本原理,结合车辆行驶情况,给出当前时刻车辆位置信息和方向信息的基本概率分布函数的设计方法.按照D-S合成公式,对位置和方向信息进行融合,并根据融合结果选择匹配道路.在设计方法中,引入位置信息和方向信息的可靠性参数.仿真结果表明,该方法是行之有效的,通过适当地调整可靠性参数的值,就能识别出车辆所在的道路.     

基于事例推理的注塑模成本评估系统

探讨了利用基于事例的推理技术来评估注塑模的制造成本。讨论了事例的索引、检索、改写、学习机制和神经网络的应用。提出了考虑模具的制造成本、税收、管理费、设计费等各个方面的综合成本模型，此模型可用于模具的报价。     

注塑模模架设计KBE系统及其智能关键技术

结合当前工程设计领域 KBE技术的发展和模架设计的数据流图 ,给出了注塑模模架设计KBE系统的基本框架 ,并对其关键技术进行了分析 :模架设计知识采用框架 -规则的方法表示 ,并给出了推理的流程图 ,通过面向子目标的方法提高了 KBE系统的知识表示和推理能力 ;将事例推理的方法结合在 KBE系统中 ,提高了系统对以往成功事例的参考能力 ;利用神经网络的自学习能力 ,解决了模架中镶块和前后模设计的计算问题 .通过实际的应用 ,该系统能够有效地提高模具企业的模具设计和分析能力     

Computational manufacturing

This paper presents a general framework for computational manufacturing. The methodology of computational manufacturing aims at integrating computational geometry, machining principle, sensor information fusion, optimization, computational intelligence and virtual prototyping to solve problems of the modeling, reasoning, control, planning and scheduling of manufacturing processes and systems. There are three typical problems in computational manufacturing, i.e., scheduling (time-domain), geometric reasoning (space-domain) and decision- making (interaction between time-domain and space-domain). Some theoretical fundamentals of computational manufacturing are also discussed.     

Development of High-speed Machining Database with Case-based Reasoning

Applying high-speed machining technology in shop floor has many benefits, such as manufacturing more accurate parts with better surface finishes. The selection of the appropriate machining parameters plays a very important role in the implementation of high-speed machining technology. The case-based reasoning is used in the developing of high-speed machining database to overcome the shortage of available high-speed cutting parameters in machining data handbooks and shop floors. The high-speed machining data...     

基于事例的自适应关联规则挖掘模型的研究

认为传统的关联规则挖掘模型主要是针对结构化数据 ,其可信度和支持度不能随环境的变化自适应调节 ,即缺乏自适应性 ,而现实中还存在大量非结构化的数据 .针对传统发现模型的不足提出了一个基于事例的自适应关联规则发现模型 ,它不仅可以处理对非结构化数据的数据挖掘 ,而且还可以随着环境的变化自适应调节支持度和可信度 .     

数学思想方法在大学数学教学中的应用

本文以“化归方法”和“类比推理”为例,详细论述了数学方法在大学数学教学中的应用,以此来培养和提高学生综合应用已有的数学知识、数学思想方法解决实际问题的能力。     

基于规则的专家系统诊断问题求解的一种模型

本文试图通过引进外推推理来克服基于规则的专家系统的不足,并为演绎推理和外推推理寻求一种一致的解释和理论基础.在讨论了规则的因果模型解释后,本文提出了诊断问题求解的最佳蕴含模型和基于该模型的循环生成-测试的推理方法.     

一种基于因果网络模型的诊断推理模型

提出一种基于因果网络的诊断推理模型.该模型用因果网络表示诊断对象的领域知识,不仅能有效地表达知识的不确定性,更重要的是解决了知识的不完备问题.该模型的推理过程分为领域相关的环境集识别和领域无关的诊断解产生两个阶段,增加了算法的柔性和通用性.     

相信逻辑的某些性质和定理

本文研究了相信逻辑在相信蕴涵下的某些性质．在相信蕴涵的定义下，相信逻辑是非单调的．本文给出了几个相信逻辑的单调性的充分且必要条件．还证明了一个默认理论的延伸恰好就是对应的相信理论的相信公式的所有相信蕴涵式的全体．从而给默认理论的延伸以一个较为直观、简洁的表述．