矢量图形的知识获取与XML文档的智能生成

提出了一种从矢量图形中抽取出图元关联规则知识,利用正向知识推理来完成整个图形中图元的搜索,并获取各个图元信息智能生成文本信息的方法。这是一种通用的图文转换的智能生成方法,不同类型的矢量图形只需更换图元关联知识,都能利用知识推理方法智能生成XML(ExtensibleMarkupLanguage)文本。通过舰艇编队突击方案图转换成突击方案XML文本的实例进行了说明。     

基于模糊时间Petri网的决策融合模型及时间推理

针对常规导弹旅作战指挥决策过程中伴随大量随机、并发情况的特点,提出利用线性逻辑给出的模糊时间Petri网来描述作战指挥决策融合过程。通过建立相应的FTPN模型,并利用时间推理的方法来分析模糊时间Petri网的运行行为,说明其在作战指挥决策融合中的应用。     

态势估计中一种基于最大后验概率估计的时间推理方法

态势估计中统计时间推理在许多应用中非常重要。Ｋｉｒｉｌｏｖ的基于极大似然估计（ＭａｘｉｍｕｍＬｉｋｅｌｉｈｏｏｄＥｓｔｉｍａｔｉｏｎ，ＭＬＥ）的推理方法将未知时间变量看作常数，忽略了它的先验信息，估计方差较大。针对这一问题，本文首先建立了已知时间信息和未知时间变量之间的关系模型，这一模型可用来解释Ｋｉｒｉｌｏｖ的方法；然后在这一模型下，将未知时间变量扩展为随机变量，采用基于最大后验概率估计（ＭａｘｉｍｕｍａＰｏｓ－ｔｅｒｉｏｒｉＥｓｔｉｍａｔｉｏｎ，ＭＡＰ）的方法进行统计时间推理。对两种推理算法的性能进行了分析和比较，发现在较宽的范围内，基于ＭＡＰ的方法性能优于基于ＭＬＥ的方法。     

测量船中心机实时监控专家系统建造技术

测量船中心机实时监控专家系统应用于测量船中心机系统执行海上测量任务的时节，旨在提高整个系统的实时性和可靠性。本文围绕实时专家系统的时序性、时变性、时效性等特征，从系统设计与实现两个方面讨论建造该专家系统的一些关键技术。     

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

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

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

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

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

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

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

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