基于知识推理的航天器自主故障诊断方法

面向深空探测这类型号任务,提出一种基于知识推理的航天器自主故障诊断的智能方法,采取直接线性存储的知识库结构、主动监测事实更新并触发推理以及基于散列算法的事实管理三项关键技术,适用于航天器硬件处理能力和存储容量受限的应用环境.采用C语言在基于TSC695处理器的嵌入式系统上实现了该故障诊断方法,实验的结果表明该方法有效.     

基于两层元数据与本体的异构数据共享技术

针对多源、多类、异构数据难以同时共享的问题,提出了一种两层元数据结合本体的信息共享技术.首先,分析了两层元数据的结构,介绍了如何通过两层元数据统一描述多类异构数据.其次,针对元数据缺乏语义信息不能描述数据类别之间的隐含关系的问题,在元数据之上建立本体层,对元数据进行语义描述和本体推理.最后,在数据检索方面,利用Lucene全文检索引擎与SPARQL(Simple Protocol and RDF Query Language)本体查询语言相结合,在关键词查询过程增加了SPARQL检索操作,提高了查全率,并优化了检索时间.实验选取了2014-2015赛季欧洲足球冠军联赛数据作为测试数据,证明了本文方法在异构数据共享上的有效性和元数据查询性能的改进.      

基于知识图谱和自动机器学习的软件缺陷预测

不稳定和召回率低效的软件缺陷预测模型难以在行业领域应用,为解决稳定和高效各项性能评价指标的软件缺陷预测模型在工程实践应用的问题,提出了一种基于知识图谱和自动化机器学习的软件缺陷预测方法AutoKGGAS,首先获取软件缺陷预测模型数据,对知识建模、知识获取、知识融合、知识储存与知识计算等知识图谱构建技术研究,实现知识图谱...     

黑板框架的知识表达方法

本文介绍了黑板框架知识表达方法的设计思想和技术。黑板框架是由框架、知识源和黑板模型组成,是产生式规则、谓词、框架等多种知识表达功能的组合形式,它将知识表达和知识处理结合成一体,既能表达静态的知识,又能表达动态的知识;既能方便地表达断言性知识,又能自然地表达结构性知识。表达功能强、灵活性大;方便知识调度,加快推理速度,提高推理效率;方便知识获取并有利于机器学习。 黑板框架是一种能表达特定领域复杂知识结构的良好的方法,具有表达充分、推理充分、推理效率和获取效率高的特点。 文中还对目前各种知识表达方法进行了评价,对黑板模型、知识源、黑板框架的概念进行了描述,并对黑板框架给出了严格的BNF定义。 黑板框架的知识表达方法,已在医学专家系统开发工具BFBEST中获得了成功的应用,并取得满意的效果。     

卫星组播多组共享密钥管理方案

现有的多组组密钥管理方案应用于大型动态卫星多组组播环境时,受卫星资源的限制,密钥管理效率成为瓶颈。设计了一种卫星多组组密钥管理方案SMGKM（Satellite Multiple Group Key Management）,根据对组播源的访问能力对用户进行分组,并在子组中设置子组管理者,通过构造组播密钥管理图和子组密钥管理结构进行多组组密钥管理,具有良好的前向和后向安全性,与现有典型方案相比,SMGKM有效降低了卫星的通信和存储开销,更适合大型动态卫星多组组密钥管理。     

考虑桩与地基土共同承载的复合桩基受力性能分析

复合桩基是考虑桩与承台底地基土共同承载的一种桩基础形式,在沿海地区得到了广泛的应用.本文建立了竖向荷载作用下的复合桩基的有限元模型,分析了承载过程中的受力性能,并揭示了桩距对桩土分担比的影响规律.     

基于信息熵的舰艇编队反导作战效能

介绍了利用信息熵描述交战网络中信息总量的方法。根据作战任务实际完成时间与期望完成时间之间的关系描述了信息传递的质量。说明提高网络中信息总量可以缩小反舰导弹所在的不确定区域;提高信息传递质量可以提高舰艇编队反导作战预警雷达的探测概率,并结合具体作战想定给出实例仿真结果。     

基于知识库的路径规划辅助系统研究

为降低飞机驾驶员在路径规划任务中的工作负荷,提出了基于知识库的路径规划辅助系统结构。采用基于网格的启发式A*搜索技术完成路径规划任务。利用知识库中的规则进行推理,调节启发函数的加权因子,提高求解最优性,并调节规划网格大小,获得最佳求解速度和精度。知识库中的知识规则根据具体条件的累积和计算,在训练及使用中不断得以补充,减少不确定因素对驾驶员的影响。通过系统仿真验证,表明了该方案和算法的有效性。     

航空发动机制造仿真数据管理集成应用系统实现

基于航发集团工程数据中心协同、共享环境,结合航空发动机制造仿真业务特点和需求,构建了制造仿真数据管理集成应用系统,涵盖了制造仿真结果数据管理、仿真数据定义和管理、仿真资源库管理、数据协同等方面的业务功能,面向航空发动机制造仿真数据的统一管理、协同共享进行了有益的探索。     

航空薄壁结构有限元建模的智能化求解模型研究

介绍了利用CAD、网络自动剖分和人工智能技术相结合进行航空薄壁结构有限元建模的问题求解框架，着重论述了建模过程中模型演变的四个不同阶段的任务，提出了适应于建模各阶段的整体式知识表达模型，并对采用黑板机制来组织知识推理和算法任务调度的过程求解模型做了描述。该问题求解框架有助于构造高效实用的复杂薄壁结构有限元建模专家系统。