基于变量混合特征的分支启发式策略

先进的SAT求解器能够通过有效的分支启发式策略解决大型应用实例.目前VSIDS策略是最具有代表性的基于冲突分析的分支策略,它因其稳健性而被广泛使用,但在每次冲突分析中其判定变量活性的增量方式过于单一.针对此问题,本文提出了一种基于变量混合特征的分支启发式算法,目的是充分地利用参与冲突分析的变量所携带的不同信息特征来区分变量,来进一步指导变量活性增长.并将所提出的分支策略算法嵌入到Glucose4.1中形成求解器Glucose4.1+MFBS,通过对比测试,实验结果表明改进的分支算法比原本的VSIDS策略,具有一定的优势,求解明显个数增加.     

基于多传感器的运动员训练信息融合分析系统设计

在运动训练过程中,采集工作是关系到运动员训练水平的关键。将多传感器的思想应用到信息融合技术上,通过多个传感器和摄像机分别对运动员的关键指标进行采集。前者是利用小波变换实现对人体表面肌电信号的特征提取,然后使用人工神经网络法对关键的特征的进行识别,得到初步人体运动评估结果。后者是对图像视频经过前景提取、特征提取、识别姿态及评估进行处理。提高了人体疲劳评估准确率,从根源上解决了传统系统的采集准确率地下的问题,经过科学指导,提高运动员训练水平,对于信息融合技术具有重要的作用。     

基于证据推理规则的无线传感器网络数据可靠性分析

无线传感器网络(Wireless Sensor Network, WSN) 在精密工程中具有广泛的应用,对数据精度的要求严苛,因此对WSN可靠性进行评估具有实用价值。本文以WSN实际监测数据为研究对象,通过对WSN数据提取特征,选取所测环境数据的时间相关性和空间相关性以及节点电压为可靠性指标,提出了基于证据推理规则(Evidential reasoning rule, ER)的WSN数据可靠性评估模型。该模型采用变异系数法和基于距离的方法,确定评估指标权重和可靠度,以基于规则的方法将指标数据统一成置信分布形式。利用证据推理规则对指标和参数进行融合,得到WSN数据可靠性状态。最后,通过实例分析验证该模型的有效性。     

基于常量条件函数依赖的冲突消解算法

目前绝大部分冲突消解方法都是基于迭代计算数据源可靠度和事实可信度的机制。当数据源较少时,数据源的可靠度难于进行评估,仅凭投票来消解冲突往往会造成较大误差。针对数据源较少时的冲突消解问题,提出基于常量条件函数依赖的冲突消解算法。根据多个数据源之间的冲突,找出冲突匹配对及对应的冲突候选值集合。考虑常量条件函数依赖中具体到部分实例子集的约束关系,将常量条件函数依赖集作为先验知识,通过判断候选值是否符合常量条件函数依赖来选择正确的候选值,避免了错误数据比例较大时直接投票选择产生的误差。通过两个真实数据集上的对比实验验证了上述算法的有效性。     

多特征融合的异视角目标关联算法

目标关联在协同多目标探测中具有重要意义,受视角变换等因素的影响,传统目标关联算法在异视角目标观测情况下效果较差。本文提出了一种基于拓扑特征与颜色特征融合的无人机协同侦查目标关联算法,通过利用无人机提供的位置、姿态及其搭载传感器获得的多维特征数据,提取出目标的拓扑特征及颜色特征,并通过D-S证据理论融合多维特征,完成对异视角目标群的关联。实验表明,这种算法框架能够有效帮助无人机完成对目标群的关联任务。     

基于SVM与改进D-S理论电路板故障诊断算法

为了解决传统电路板故障诊断方法耗时长、难度大、准确度不高的问题,该文充分利用不同检测设备提供的电路板故障特征信息,提出基于支持向量机(SVM)与改进D-S证据理论相结合的电路板故障诊断算法。首先,将各证据体提供的故障数据输入SVM诊断模块,获取该证据体对各个故障模式的可靠度与加权系数;其次,利用"一对一"SVM多分类方法构造证据体对各个故障模式的基本概率分配;最后,对基本概率分配进行加权处理,完成基于D-S理论的多信息融合,获得故障诊断结果。实验结果表明,所提算法可以有效降低各证据体对诊断结论的冲突,增强正确诊断结果的信度,显著提高故障诊断准确率。     

一种考虑等级语义关联的证据推理决策方法

现有证据推理方法以证据理论为信息融合规则,并未考虑评估等级在语义上的关联关系,导致以正交求和方式进行信息融合时出现信息流失现象。从评估等级的语义和级别出发,提出一种基于等级语义关联的证据分类融合方法。基于新的证据融合模型,构建一个基于改进证据推理方法的多属性决策框架,并给出决策模型和决策流程。最后,通过一个案例演示了新方法的决策过程,并通过比较新旧方法在案例上的应用分析了新方法的特点。     

支持软件过程可信评估的可信证据

近年来,软件可信一直是人们争论的焦点.一种比较共识的观点认为,软件可信是软件行为符合预期的程度.质量形成于过程,显然,建立质量信心的证据也散布于过程.软件开发过程中,主体、行为和各种保障手段则是建立软件可信的基本依据.基于证据的决策和管理是现代质量理论的核心,基于证据、数据驱动的软件工程都是试图从客观数据的角度去解决问题.在国家自然科学基金等计划的支持下,从过程保障的角度提出了软件过程可信度模型,其中,证据作为建立软件可信、支持可信评估的基础要素,是模型非常重要且基础的组成部分.主要研究该模型中的证据体系,遵循完整性、必要性、兼容性和可持续性这4项原则,基于过程管理的基本要素,通过调研以及与CMMI等软件过程参考模型的对接来提炼、定义和质证模型中的可信证据,使证据具备良好的公信力和可比性;同时,增加了部分目前其他模型都没有涉及的证据来刻画对软件过程的可信增强,从而建立了一个从可信实体、可信行为、可信制品这3个目标进行可信保障、并覆盖软件过程全生命周期的证据体系.该证据体系科学、客观并具有良好的公信力,结合可信度模型的其他部分,可以实现基于证据的、自底向上的软件过程可信评估,可供软件组织广泛采用.