基于分类优化的离散证据推理

离散信息在专家系统、模式识别、决策分析等领域普遍存在, 为了解决这类信息融合问题, 提出一种离散证据推理方法. 首先, 将每个离散证据拆分成一类单点值证据; 然后, 以冲突最小化为目标修正类内证据, 并采用证据推理进行组合; 最后, 以同样的方法对类间证据进行修正与组合. 所提出方法不仅可以解决离散证据的内外部冲突问题, 而且能够克服运算量过大的问题. 算例分析表明了所提出的方法是合理且有效的.

     

考虑偏好反转的区间不确定多属性决策方法

针对实际决策中的不确定性和偏好反转问题, 提出一种区间不确定多属性决策方法. 该方法先用证据推理方法集结区间不确定评估信息, 采用累积前景理论代替主观期望效用理论以构建方案的综合前景价值, 从而应对不确定环境下可能的决策偏好反转, 最后区间可能度用于方案综合前景价值排序. 介绍了决策过程, 给出求解方案综合前景价值的非线性规划模型, 并通过实例验证了方法的可行性、合理性和有效性.     

考虑方案有效性的应急案例决策方法

针对基于案例推理的应急方案生成问题, 从方案有效性判断和实施效果融合两个角度出发, 提出一种考虑方案有效性的应急案例决策方法. 首先, 依据决策者给出的预估方案生成有效的案例集, 利用检索方法计算有效历史案例与目标案例的相似度; 然后, 根据距离熵方法对多时期的方案实施效果进行融合, 集结相似度和实施效果, 进而得到每个案例的综合评价值, 并根据综合评价值的大小确定最优备选方案; 最后, 通过一个高层建筑火灾算例验证了所提出方法的可行性和有效性.

     

A*算法在车辆导航系统中的应用研究

在十分复杂的交通地形图中,通过分析完备性、最优性、时间复杂度、空间复杂度性能问题,使用当代流行的智能语言-Mathematica,提出三组不同估价函数对基于启发式搜索的A*算法进行优化,从而实现了车辆导航的高效率化.实验结果表明:优化后的估价函数是切实有效的,在应用导航系统中得到了较满意的选路方案.     

四种最短路径算法实例分析

通过理论分析,结合实际应用,在GIS节点数很大的数字地形图中,从完备性、最优性、时间复杂度、空间复杂度几种性能问题实例分析,较系统地总结出深度优先搜索(DFS)、广度优先搜索(BFS)、双向广度优先搜索(DBFS)、A★算法四种算法代价及优缺点.     

异质信息环境下基于案例推理的应急决策方法

针对在突发事件应急决策中,信息表述为精确数、区间数、语言术语、直觉模糊数、中智数、梯形模糊中智数等多样性的特点,同时鉴于案例推理方法的简单易用,提出一种异质信息环境下基于案例推理的应急决策方法.首先,引入异质数据的距离及相似度测度,并基于偏差最大化方法计算异质信息属性权重;然后,基于综合相似度测度,采用案例推理的方法从案例库中找到与目标案例相同或者相似的历史案例,从而获得有效的解决当前突发事件的应急预案和处理措施;最后,通过一个应急突发事件案例验证所提出决策方法的可行性和有效性,同时与其他方法相比较验证其优点.     

Dijkstra和A-star算法在智能导航中的应用分析

Diikstra算法是最经典的最短路径算法,A-star算法是最有前景的启发式搜索算法.深入分析和比较两种算法,在复杂的交通地形图中,通过改进估价函数,证实了A-star算法在智能导航中更加高效.     

证据的分组合成法

为了提高证据融合的精确度并降低融合的运算量,结合批量式融合和序贯式融合的优点,提出证据分组合成法.该方法首先判断证据间是否可用Dempster组合规则进行合成,若可以,则两证据归为同组;否则归为不同组.对于同组证据,利用Dempster组合规则直接合成,即组内证据序贯式融合;对于不同组证据,通过最优化模型修正各组证据源,再利用Dempster组合规则合成,即组间证据批量式融合.算例分析验证了该方法具有运算量小、稳定性好、精确度高的特点.     

一种考虑区间直觉模糊集的多属性匹配决策方法

针对属性及属性权重均为区间直觉模糊数（IVIFN）的多属性匹配决策问题,提出一种匹配决策方法．首先根据区间直觉模糊数加权绝对值距离的定义,以逼近理想解法的思想,构建一方主体与另一方潜在对象最优匹配度的分式规划模型,并通过Charnes-Cooper变换,将原模型化为线性规划模型并求解模型得到双方的匹配度矩阵;然后,以匹配度最大为目标,建立一种双目标区间优化模型,通过线性加权转为单目标优化模型并求解得到匹配结果．最后,算例说明了所提方法的可行性和有效性．     

一种基于状态机的形式化验证技术

状态机作为一种描述实体间交互或者单个实体行为的建模图,它具有丰富的直观图形化的符号。在许多模型的设计阶段都采用它来建模。但是因为缺乏精确完整的语义定义,给它的形式化验证带来困难。本文给出一种形式化操作语义,并概述基于形式化规则的验证技术。