武警总队应急车辆故障诊断系统研究

将人工神经网络和基于案例推理技术结合用于车辆故障诊断系统中，构建了ANN与CBR结合模型，阐述了各子系统的基本功能及相互关系，并对关键技术进行了详细解释。实例诊断表明，ANN和CBR方法的结合有效地弥补了它们各自的缺陷，提高了应急条件下车辆的维修保障能力。     

一种模糊学习Petri网模型及其收敛性分析

Petri网是对具有产生式规则的故障诊断系统建模的有力工具,但其学习能力不强。以Petri网的基本定义为基础,结合模糊逻辑和Petri网模型,并在此基础上引入人工神经网络技术,定义了模糊学习Petri网模型。模型中的隐含库所和变迁将人工神经网络中隐含神经元内部信息处理过程明确化,然后对该模型提出一种逐层调整变迁阈值的训练算法,该算法通过逐层调整的方式来获取变迁的阈值,改善了网络的学习效率,并对算法的收敛性进行了证明。最后,以故障推理实例验证了算法的有效性与实用性。     

波利亚解题理论在高考解题中的应用

波利亚"怎样解题表"具有较强的实践应用价值。本文以一道经典高考题为例,探索了波利亚的解题理论,具体实践了"弄清题意""拟定计划""执行计划""回顾检验"四个步骤。从核心素养培养的视角来看,在数学教学中坚决执行波利亚的解题理论,有助于学生学会用数学的眼光观察问题,用数学的思维分析问题,用数学的语言描述问题。     

内置谓词函数依赖及其推理规则

研究内置谓词函数依赖及其推理规则.首先提出内置谓词函数依赖,定义了内置谓词函数依赖的语法和语义;其次提出属性-约束集闭包概念,提出计算属性-约束集闭包的算法,判断内置谓词函数依赖逻辑蕴涵;然后提出内置谓词函数依赖的推理规则集A,证明推理规则集A是可靠且完备的,用于内置谓词函数依赖蕴涵分析的形式化证明;最后讨论了内置谓词函数依赖的应用.     

移动代理的分布式系统监控模型研究与实现

提出将一种移动Agent与专家系统技术相结合的分布式网络故障诊断系统模型,该模型能够提高故障诊断效率,缩短系统响应时间,降低诊断时网络流量.提高诊断的智能性与容错性,克服了传统集中式故障诊断的诸多缺点.     

定性过程推理的物资保障能力定性模型的建立

面对物资保障仿真领域中解决复杂、不确定问题存在困难,提出运用定性仿真的新思路研究,由定性过程理论和定性推理相结合提出定性过程推理的概念,分析了影响物资保障能力的因素,应用定性过程推理的方法抽象出物资保障能力定性模型,用符号定向图形象地表示该模型.并假设初始条件进行了推理论证,对推理结果的准确性和改进方式进行了分析,对下一步工作做了展望.     

基于规则推理的海战仿真实体决策方法

研究在海军战术仿真中应用基于规则推理的方法实现作战实体的自主决策行为,该方法用决策规则描述作战实体决策时所依据的军事决策知识,通过对决策规则的推理实现决策作战实体的决策推理过程.分别介绍了作战实体的决策模型、决策规则的知识表示方法以及决策模型的决策推理方法.基于规则推理的海战仿真实体决策方法推理机制接近人类的思维方式,结构逻辑容易为军事人员所掌握,易于理解和维护,便于实现.     

作战筹划方法研究

从逆向和正向筹划的角度分析了国内外主要作战筹划方法,研究了各种作战筹划方法的发展、原理及特点,探索了信息化作战筹划方法的发展趋势,提出并展望了一体化联合筹划方法。