符合民机适航标准的形式化方法研究

描述了形式化方法的定义、目的、作用和软件开发流程。以发动机仪表盘显示布局风格需求为例,通过四变量形式化方法对需求进行形式化建模,通过形式化分析证明模型的完备性和一致性。以发动机油量周期计算需求为例,通过Event-B形式化方法对需求进行形式化建模,通过形式化分析发现需求模型的缺陷。对民机适航标准形式化方法相关的三份补充文件进行了解读,对采用形式化方法进行民机软件开发具有指导意义。     

国防科技工业计量培训考核资料

正~~     

Temperature effect on buckling properties of ultra-thin-walled lenticular collapsible composite tube subjected to axial compression

This paper seeks to outline the temperature effect on the buckling properties of ultra-thin-walled lenticular collapsible composite tube(LCCT) subjected to axial compression.The buckling tests of the LCCT specimens subjected to axial compression were carried out on INSTRON-500 N servo-hydraulic machine in dry state and at the temperatures of 25 C, 100 C and 80 C. The load–displacement curves and buckling initiation loads were measured and the buckling initiation mechanism was discussed from experimental observations. Experiments show that the buckling initiation load, on average, is only about 2.2% greater at the low temperature of 80 C than at the room temperature of 25 C due to the material hardening, demonstrating an insignificant increase in the buckling initiation load, whereas it is about 19.5% lower at the high temperature of 100 C than at the room temperature owing to the material softening, implying a significant decrease in the buckling initiation load. The failure mode of the LCCT in axial compression tests at three different temperatures can be reckoned to be characteristic of the buckling initiation and propagation around the central region until rupture. The finite element(FE) model is presented to simulate the buckling initiation mechanism based on the eigenvalue-based methodology. Good correlation between experimental and numerical results is achieved.     

男女航天员的性别差异

现在世界上在职的航天员共有158名，其中35名是女性，占航天员总数的22％。这些女航天员的平均年龄为42岁，而男航天员为43岁；女航天员的平均体重是60．7千克，而男航天员为81．2千克；女航天员的平均身高比男航天员矮10厘米，脂肪比男航天员多11％，肌肉质量少8％；女航天员的血红蛋白质量比男航天员少10％～14％，有氧运动能力比男航天员低得多。虽然男女航天员的选拔和训练都是一样的，但是他们除了年龄、体重和身高这些表面差别以外，在生理、生活和工作方面也存在许多差异。     

基于三维设计环境下某型教练机管路系统设计技术

通过对国内外飞机管路系统设计技术以及传统管路设计制造方法的分析表明，管路数字化设计技术不仅是飞机协同设计的重要环节，也是实现模拟星向数字量转换的有效途径。本文针对管路系统设计技术应川现状，提出了飞机管路系统数字化设计技术应用方案，阐述了实现飞机管路系统数字化设计的技术方法     

长生不老的秘密

秘密:端粒端粒(Telomeres)是染色体末端的重复DNA序列和蛋白质组成的复合物。众所周知,人类细胞核内共有23对由为双股螺旋DNA组成的染色体,决定人头发的直与曲,眼睛的蓝与黑,个子的高与矮,甚至性格的暴躁和温和。细胞通过DNA复制不断生长,人的生命得以维持。不过,DNA的复制有一个小瑕疵:每次细胞分裂都会损失一部分遗传物质。为解决这个问题,"端粒"作为一段保护性区域在进化中出现了。     

大尺寸测量系统配置中包络性与可达性分析

构建了包络性和可达性分析的原理与公式，定量判定当前测量设备空间位置是否合理，为实现在大尺寸测量方案规划阶段对测量设备的可行空间进行快速有效的规划提供依据。阐述了大尺寸测量系统总体架构与阶段任务划分，定义了包络性与可达性的输入输出关系。论述了包络性与可达性的原理与公式，包括可测量体素和外包络体的定义、数学模型和推导公式以及判定公式。最后，在CATIA环境下开发包络性和可达性分析工具，并以机翼翼肋为例，对该翼肋上待测关键特征进行包络性和可达性仿真分析。仿真结果表明，该包络性与可达性分析的原理与公式是可行的。     

多喷口环量控制翼型流动的研究

提出了多喷口环量控制翼型的想法，并进行了数值研究。结果表明，多喷口环量控制方法可以在中、小Ｃμ吹气时提高翼型的升力和减小能耗，并能改善环量控制翼型在较高来流马赫数下的气动性能，避免“压缩性失速”。     

窄体客机及其发动机将推动MRO市场的增长

今年是窄体客机机体和发动机的维修高峰年，预计IAE公司的V2500及CFM国际公司的CFM-56-5B发动机将创下大修纪录，空客A320系列和波音737NG的维修量也将攀升。     

科技论文写作常涉及的国家标准

我国曾先后制定和发布了一系列与新闻出版编辑工作有关的法律、法规、标准和规范,对其认真贯彻执行是出版活动过程控制中实现全面质量管理的基本保障,有利于出版物创作、加工、制造、质检和管理实现规范化、标准化和国际化。兹将其中科技论文常涉及的国家标准目录整理如下,供广大读者学