一种炮瞄雷达故障诊断专家系统

依据炮瞄雷达故障诊断的需要,提出了一种智能化炮瞄雷达故障诊断专家系统设计方案。探讨了方案的组成,给出了实用诊断策略。     

智能工具机的性能分析

本文论述了提高智能工具机性能所采取的技术措施,并对其性能进行了模拟。模拟结果表明,智能工具机的平均推理速度可达500KLIPS 左右,比日本的PSI—Ⅰ约快一倍,比美国加州大学Berkeley 分校研制的PLM 约快两倍。     

基于主因素的近似推理的矩阵表示

提出了一个主因素近似推理方法 ,并以一个算例说明了该推理策略的矩阵表示形式。     

基于事例推理的海上编队风险评估系统模型

海上作战信息范围广、内容多,海上编队面临情况异常复杂.针对海上编队面临的威胁,运用人工智能的基于事例推理技术探索海上编队风险评估问题,建立起了基于事例推理的海上编队风险评估系统模型.该模型运用数据事例库对情报信息进行识别和分析,通过专家对各种情况进行打分,并运行推理机找出相匹配的事例,从而得出海上编队当前的风险指标.该模型能在多种复杂情况中,甄别关键影响因素,通过专家与机器的结合,较准确地定出编队风险值,为指挥员实施判断决策提供帮助.     

基于知识的某新型地空导弹装备的故障智能诊断

为保障系统可靠运行,及时正确地对系统的各种异常状态或故障状态做出诊断,提出一种基于知识的智能诊断方法,并运用该方法建立一个故障分析和诊断系统;在故障树层次诊断模型的基础上,形成了综合模糊推理和规则推理的混合推理方法.通过具体实例表明,采用该方法是可行的.     

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

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

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

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

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

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

不确定推理在雷达识别中的应用

通过对雷达的识别,既然可以及时识别对我方威胁较大的目标以便采取相应措施,同时雷达识别的结果也可进一步作为目标识别的知识源,用于对目标身份的识别,以满足辅助决策的需要.提出了不确定推理在雷达识别中的详细方法,给出了在选择载频、脉冲重复频率和脉冲宽度三个特征参数构成雷达特征向量情况下的识别结果.该方法具有较高的应用价值.     

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

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