BL分析下的管制员差错本体建模研究

为分析识别空中交通管制任务中管制差错问题,结合BL(body loop,BL)压力产生模型研究管制员压力来源.提出领域本体的建模流程,确立推理模型的内部逻辑关系,构建管制差错领域本体模型.采用FaCT++推理机针对实际案例进行语义推理,从而识别管制差错类型,提出了基于本体的管制差错专家系统的系统框架.结果验证了构建推理模型的有效性和合理性.     

跑道侵入严重度本体建模及等级划分研究

为研究致险因素对跑道侵入严重度的影响,从知识建模角度出发,构建了跑道侵入严重度划分的领域本体模型.采用石川图针对跑道侵入严重度划分问题进行因果分析;进而以跑道场景要素为导向构建本体模型;应用FaCT++推理机对实际案例分析推理,结合DL query 模块辅助验证推理结果.结果表明,本体推理可以支持跑道侵入严重度划分,验证了模型的有效性.     

考虑扰动的无人机集群协同态势感知一致性评估

无人机（UAV）集群协同态势感知（SA）一致性是无人机集群协同作战的关键,对一致性进行评估至关重要。针对态势感知过程中面临的强不确定性等问题,在一致性评估指标体系的基础上,提出了基于证据推理规则的态势感知一致性评估方法,将各类指标信息统一至置信结构,并充分考虑指标的权重与可靠度。采用扰动分析法对复杂战场环境进行模拟,提出考虑扰动的态势感知一致性评估方法,并对算法进行了总结。最后,通过仿真算例和对比研究验证了所提方法在不确定性表达、一致性评估和无人机集群的环境适应性研究等方面的有效性。     

基于粗糙集与证据理论的防空作战态势评估方法

针对防空作战战场态势评估问题,提出一种基于粗集与证据理论综合评判的评估方法,并建立战场态势评估指标体系.通过对联合防空作战过程这一是实例的分析,表明此方法对当前战场态势可给出有效的综合评价和理解,具有较高的可信性.     

面向航电系统容错特征的任务可靠性建模方法研究

基于AADL语言和GSPN模型面向DIMA系统开展任务可靠性建模研究,考虑系统的容错特征及其模式转移逻辑,建立AADL系统建模语言与GSPN模型的转化规则,进行系统可靠性定量分析,并以典型航电产品为例进行了方法应用和仿真。本文提出的方法和规则可实施性强,为存在重构或备份等容错技术的航电产品进行多模式转移 的系统任务可靠性建模提供参考。     

基于本体和SWRL的飞机线束协同研制知识集成框架及实现

以我国军用飞机线束研制为背景,应用本体技术针对设计与制造的协同方法展开研究。针对飞机线束工程更改频繁的特点,以及不同机型对相同工艺知识共享的需求,总结了研制过程中一致性校验知识、元器件适配知识和制造工艺知识,采用本体模型、SWRL规则工艺知识表达和描述,通过基于规则和约束的本体推理、本体映射等知识管理方法的研究,实现了设计和工艺之间的产品数据一致性验证以及知识集成方法,提高了产品并行研制效率。     

集成时间信息的液体火箭发动机故障诊断推理

提出一种液体火箭发动机集成时间信息的定性建模和故障诊断推理方法。该方法以谓词逻辑公式和子句的形式对发动机定性特征和试车过程中的观测信息加以描述，同时基于归结原理和假言推理规则的演绎推理方法进行诊断问题求解。结合实际试车数据的检验结果表明，该方法为液体火箭发动机试车过程中动态诊断知识的表达和组织，提供了一种简洁有效的方式．计算量小．检测速度快，且具有较强的诊断能力。     

基于事件本体的CGF飞机实体作战计划模型

以海空作战仿真中的CGF为研究对象,在分析BDI Agent中的信念、愿望、意图与作战计划之间关系的基础上,分析了其中的动作序列的关系问题,利用时间关系公理对作战实体的思维状态进行了刻画,以CGF飞机Agent实体编队进行对海突击为想定,建立了基于事件本体的CGF飞机Agent实体作战计划模型,并利用Protégé本体建模工具进行了实现。应用实践证明,虚拟海战场中的CGF作战计划本体模型,可以为虚拟海战场综合环境建模和仿真中的作战实体作战计划提供语义上的支持,提高了作战实体的智能水平和对战场环境的认知能力,为CGF实体智能建模提供了新的手段和途径。     

基于证据网络因果分析的空中目标意图识别

目标意图及时准确的估计对战场指挥决策具有重要的影响。考虑到战场环境复杂多变,其检测数据、信息、知识具有较高的随机性和认知不确定性,本文面向目标意图知识推理,基于结构因果模型,利用证据网络在不确定性处理方面的推理优势,提出了一种基于证据网络因果效应分析的空中目标意图识别方法。该方法通过d-分离检验构建兼容信息特性与意图多样性的因果证据网络模型,使模型同时考虑领域知识和数据间的条件独立关系,并将认知不确定性内嵌于推理引擎中,推理实现不确定战场环境下空中目标意图估计。此外,基于提出的因果证据网络模型和干预算子计算目标意图与属性之间的因果效应,挖掘目标意图估计蕴含的因果逻辑关系。仿真分析表明：本文提出的方法能够同时处理随机不确定性与认知不确定性,克服了传统意图识别方法缺乏因果分析的缺陷,是对目标意图和战场态势要素的深层次认知,实现了意图识别的“由果溯因”和“由因识果”。     

基于FCM的多无人机协同攻击决策建模方法

针对复杂不确定战场环境下多无人机协同任务的需求,提出了一种基于模糊认知图(FCM)及其扩展模型的多无人机协同攻击决策建模方法。基于人的决策心智模式,采用智能体模糊认知图(ABFCM)建立了包含感性和理性2种决策模式的多无人机协同攻击决策系统模型框架。采用模糊灰色认知图(FGCM)对多无人机的态势感知和协同攻击决策开展了建模工作。借鉴人脑杏仁核机理建立了态势-决策模板快速匹配的感性攻击决策模型。为降低建模工作对专家知识的依赖,采用直觉模糊集的决策阈值算法提高理性攻击决策模型的客观性,并采用动量梯度下降(MGD)学习算法进一步提高了决策模型的学习进化能力。通过仿真验证分析表明,基于FCM的多无人机协同攻击决策建模方法能够较好地应对复杂不确定战场环境,发挥知识和数据在建模中的综合作用,可为提升多无人机执行任务的决策优势提供理论指导和建模方法参考。     

基于本体的航空制造企业异构知识集成研究

在分析军工制造企业的知识需求的基础上,提出了基于本体的制造企业知识集成架构.并在集成开发环境中构建了制造企业初步本体.研究了基于本体的企业知识建模、知识在知识库中的存储模型以及基于概念的知识检索等关键技术.原型系统的初步验证表明,基于本体的知识集成可以有效解决飞行器制造企业异构知识源的语义集成问题.     

范例推理在口腔创伤诊断系统中的应用

鉴于传统口腔创伤诊断专家系统在知识获取上存在的瓶颈问题,提出一种基于范例推理(CBR)的口腔创伤诊断系统.首先,针对传统口腔创伤诊断的思维推理过程,给出了口腔创伤诊断问题中各要素的系统化定义,建立系统的的概念模型.然后,具体讨论了口腔创伤诊断系统中范例库和结果库的建立,并将其用关系数据库的格式存储.最后,应用模糊集和灰色关联理论,给出了关联度的定义和计算方法,从而能够准确地检索到相似诊断范例,进而对口腔创伤诊断给出定性或定量的分析结果.     

基于规则推理的空间站太阳翼机构控制方案研究

针对空间站上使用的太阳翼展开流程复杂的问题,提出一种基于规则推理技术的太阳翼展开流程控制方案:运用Rete算法设计了太阳翼展收控制推理系统,给出了空间站太阳翼按程序展开流程策略库设计方法,并根据按程序展开工况构造模拟事实序列来验证规则推理系统对于展收流程控制的正确性。仿真结果表明,规则推理技术可以有效的完成空间站太阳翼机构展收流程控制工作。     

基于多维特征的战场实体目标分群方法

目标分群问题也称为群形成过程,是态势估计中的一个重点和难点问题,属于信息融合中的高层融合范畴。现有的目标分群方法大多是将空间位置相近的目标聚为一类,极少有分群方法考虑到进行战场态势分析所需的位置、速度、航向、属性和类型等多维特征。为此,首先根据海战场态势分析需求,基于目标的特征属性定义了多维度欧式距离;然后综合利用分类与密度聚类两种分析方法,提出了一种战场实体目标分群方法,以综合实现战场实体目标的实时分群处理;最后,将该算法应用于一个军用场景的数据集上进行仿真实验。仿真结果表明了该方法在海战场环境中实现目标分群处理的可行性和有效性。     

某型飞机平显故障诊断系统的设计与实现

提出了基于知识库的某型飞机平显故障诊断系统.文中给出系统总体结构模型和面向对象模型,介绍了规则推理、神经网络推理和模糊逻辑推理的特点,并提出了三者并行推理的方法,其优点在于能节省推理时间并且各模块之间可以相互学习提高诊断能力.最后给出了系统的功能和实现方法.     

基于BDI模型的管制员Agent行为建模研究

针对空中交通仿真系统中的管制员Agent建模问题，通过分析管制操作行为特点，采用BDI结构，建立了基于决策树模型的管制规则知识库，设计了慎思型管制员Agent。基于Jadex平台，构建了管制员Agent模型，将由JADE平台建立的航空器Agent和模拟空管自动化系统Agent与Jadex平台建立的管制员Agent进行通信与协调，通过仿真系统构建仿真场景并验证管制员Agent的BDI推理过程，实现了对管制员的日常指挥行为的模拟。实验结果表明，所构建的管制员Agent模型可以顺利进行推理过程并对飞行冲突进行探测与解脱。     

基于规则和故障树的故障案例库构建方法研究

基于案例推理的故障诊断方法适用于经验丰富的决策环境,在飞机维修保障领域应用广泛,但由于缺乏解析模型和诊断规则的支持,难以满足复杂故障诊断要求。而故障树分析法建立在设计原理的基础上,可信度高。为了提高故障诊断效率和准确性,以实现基于规则和故障树模型与基于案例推理相融合的诊断方法为目的,研究案例的组织和案例库的构建。根据飞机维修保障实际需求,采用基于故障树分析的方法,结合故障诊断推理规则,建立飞机故障诊断模型;将模型和经验知识相结合,提出一种基于规则和故障树的案例库构建方法,进一步完善基于案例的推理机制,提高故障诊断的精确性和有效性。该案例库已应用于飞机故障诊断系统,实现了交互式故障诊断和排故引导,验证了研究方法的可行性。     

基于DEVS的柔性制造系统逻辑建模与PLC程序设计

针对柔性制造系统控制方案设计过程中逻辑复杂、调试周期长、调试成本高等问题,提出一种基于可试验数字孪生体的虚拟调试方法.该方法以分层的方式建立物理系统的孪生模型,基于离散事件系统规范的扩展形式构建设备层、单元层、系统层3层的逻辑模型,通过仿真对逻辑模型进行重复验证与修改.建立了逻辑模型到PLC程序的映射规则,实现了PLC...     

机场跑道最大容量模型研究

目前,存在着三种比较知名的跑道最大容量评估随机解析模型,即FAA,LMI及MACAD,其建模逻辑各有不同.通过对管制规则进行分析,综合了这三种模型中的合理建模逻辑,构建了新的单跑道容量评估模型.该模型考虑了飞机进近速度、公共进近段长度、飞机位置不确定性、跑道占用时间、间隔标准、机型组合等参数,最终输出结果为跑道容量包络...     

面向航天器在轨管理的混合智能诊断系统设计

针对目前航天器专家系统普遍存在的"知识获取瓶颈"、"处理效率低"、"知识结构直观性差"等问题,介绍了一种新的混合智能诊断系统。该系统在使用基于规则推理进行故障征兆识别的基础上,一方面利用案例推理技术实现故障的快速诊断;另一方面利用故障树分析法给出详细的推理过程和推理结果。文中介绍了这种混合智能诊断系统的系统构成、诊断流程和推理算法。