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

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

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

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

民用飞机复合材料结构在位修理环境控制方法研究

在深入解读波音787、空客A350飞机修理手册不离位(以下统称在位)修理相关章节的基础上,结合波音787大翼复合材料结构某类修理工作,研究开发出一种用于民用飞机复合材料结构在位修理环境控制的方法.该方法经过多次修理验证有效,较好地满足了波音787复合材料结构在位修理工艺要求.     

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

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

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

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

飞机蒙皮与内饰组合结构热阻预测方法研究

针对由蒙皮、隔热层、空气层、内饰板组成的组合结构,本文提出了利用隔热层等单一成分的少量试验实测数据计算其整体等效热阻的预测方法.该方法采用"热流微调、温度逼近"的计算思路,将组合结构沿厚度方向离散化,调整热流计算平衡温度,同时能够进行考虑界面接触热阻以及隔热层含水情况下的组合结构热阻计算.采用"实测热流、双向逼近"的方...     

影子工资理论的发展与应用

影子工资是为实现一定的经济发展目标而人为确定的,比名义工资或实际工资更能准确地反映劳动力资源的真实价值,并能促进其合理流动与利用的经济价格。它不仅能合理地反映劳动力价值,而且还能反映社会消耗、劳动力市场的供求关系和劳动力资源的稀缺或过剩程度,有利于资源的优化配置。影子工资理论的发展经历了线性规划对偶法、市场均衡价格理论及其拓展、按贸易货物口岸价调节的国际市场价格理论等阶段。国际通用的影子工资测算方法有UNIDO法、L-M法、S-V-T法和阿拉伯法,等等。     

博物志

蕙兰属是兰科植物．分布于亚热带和热带亚洲以及澳洲北部。通常生长于气候凉爽的高海拔地区。温带产者多为地生兰。在中国古代有数千年栽培鉴赏的历史。世界上最早的二部兰花专著是作成于1233年的《金漳兰谱》和作成干1247年的《兰谱》。专门论述了蕙兰属地生兰种类及栽培经验方法。热带产者多为附生兰，体型较大，栽培品种众多。一般称为大花蕙兰。图为蕙兰属的变种“奥斯汀一最佳粉红”的花串。     

谐振电路中品质因数的计算方法

从品质因数的原始定义出发,分别计算出简单RLC串、并联电路的品质因数,得到两个结论,并将其推广,提出了两种简单的计算品质因数的方法,最后通过求解一个实际的LC并联谐振电路的品质因数得到验证。