CFD软件可信度评价知识库系统构建研究

针对气动数值模拟及可信度评价对知识库建设的迫切需求,综合调研并对比分析了国内外不同CFD知识库发展现状、知识库构建等相关技术,同时结合构建的气动力/热CFD软件可信度评价知识体系,重点开展了基于Wiki的知识库构建技术研究和基于Neo4j图数据库的知识图谱构建研究,形成基于开源Wiki框架的气动力/热CFD软件可信度评价知识库原型系统的建设方案。在此基础上,从制定知识入库流程、确定权威知识来源、制定标准档案模版、组织知识评审机构等四个方面明确了知识库建设的基本原则,确保知识库系统建设工作顺利展开,并为CFD知识库的后续发展提供应用示范和技术储备。     

嵌入式多核操作系统的形式化建模与验证

在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。     

一种涡扇发动机测温R型热电偶高精度采集方案

设计了一种涡扇发动机测温R型热电偶高精度采集方案。根据热电偶中间温度定理,结合数字电子控制器实际运行场景,选取温度可测量的控制器插头作为热电偶传感器的冷端,这种新型冷端补偿方法解决了数字电子控制器内外温度差带来的冷端测量误差。同时,通过分析热电偶分度表,分段选取不同插值表,采用线性拟合评估方法,保证了软件运算速率和计算精度。利用FLUKE多功能检验仪,对R型热电偶信号采集回路进行了验证。结果表明,其性能指标满足要求,对于工程应用是一个合理可行的方案。     

一种拉索结构张力测量方法

为了准确获取较高精度星载网状天线上柔性索网结构的张力,提出了一种通过两次做动的接触式索网结构张力测量方法;该方法通过两次做动,消除因测量过程中绳索三点弯对测量结果的影响,实现两端固支预张力绳索张力值的确定;提出了张力测量系统的设计思路,设计出了张力测量系统,具有一定的应用价值.     

航天发射故障基本分析方法

阐述航天发射故障诊断基本程序,提出航天发射故障分析方法和故障诊断方法。     

可拓优度评价方法在创新项目选择中的应用

创新项目选择是否得当，直接关系着企业的生存和发展。针对创新项目选择的可行性问题，文章将可拓工程中的优度评价方法应用于创新项目的选择过程之中，运用定性与定量相结合的方法，对项目方案进行评价，为决策提供可靠依据。     

一种基于概率的双星无源定位算法

针对双星无源定位系统采用时差、频差对地面固定辐射源进行无源定位的问题,提出了一种基于概率的双星无源定位算法。通过公式推导,将复杂的定位方程组化简为简单的二元一次方程组。在介绍定位原理的基础上对该算法进行仿真,通过仿真,分析了定位误差与时差测量精度、频差测量精度的关系。     

高速航空拖靶的总体方案和气动外形优化

针对某高速、低空恒高拖靶系统研制的需求,设计了一种有良好气动特性、结构简单、工艺性好、成本低的拖靶总体方案.为了进一步减少气动阻力,采用基于Kriging模型的优化方法对高速拖靶气动外形进行了优化设计.优化结果表明:在满足操纵力和稳定性要求前提下,优化后拖靶的气动阻力明显减小.本文研究结果为整个拖靶系统的进一步设计和论证奠定了基础.     

热流计1:1分度装置与敞开式大平板分度装置分度差异的研究

分析了所研制的1:1热流计分度装置与常规的敞开式大平板热流计分度装置由于分度方法不同而导致的分度差异,并用差分方法对这种差异进行了计算。理论计算和实际测试结果都表明:对同一热流计,1:1分度装置的分度值比敞开式大平板分度装置的分度值高出20％左右。