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

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

网络文化境遇下大学生党员教育的研究

随着科技的进步，互联网的发展，网络文化成为当代全新、独立而又重要的文化表达形态。网络为人的发展与需要提供了无限的机会，也对我国当代大学生的价值观念、理想信念等产生了深刻的影响。因此，我们应正确认识网络文化的利弊，分析其对大学生党员教育的影响，提升大学生党员教育的实效性，引领党建工作创新开展。     

3R-3URU可展单元机构及其在构架式可展天线中的应用

提出了一种空间单自由度(DOF)可展单元机构3R-3URU。首先,基于螺旋理论和修正的G-K公式分析了RURUR单闭环机构的自由度,建立了该机构中主动关节和被动关节速度之间的解析关系式,基于此关系式和3个RURUR机构共用首尾转动副的结构特点推导了3R-3URU单元机构的自由度,得到了3R-3URU机构具有1个自由度时各运动副的方向和位置满足的几何关系式。其次,将3R-3URU机构应用于3RR-3RRR四面体可展单元及其组成的球面构架式可展天线中,得到了具有收拢和调姿两种自由度的新型可展机构。最后,利用Adams软件对3R-3URU可展单元机构的自由度和其在四面体构架式可展天线中的应用进行了仿真验证。该3R-3URU可展单元机构具有单自由度、铰链种类少、结构简单等优点,可用于曲面构架式可展天线的支撑机构中,实现大折叠比。     

从秭归到汨罗:端午之旅

秭归,屈原的出生地;汨罗,屈原投江之地。两地皆因屈原而成为著名的文化地标。端午时节,各地民俗文化大盛,而独以秭归、汨罗为最。无论龙舟还是饮食,在这两地的呈现都透露着最深厚的文化积淀。因此,以感受民俗文化的名义出行,此时正当时。     

五代“江姐”的故事

很难想象五代人会对同一个革命角色抱有相同的热情,但是,江姐是一个特例。45年中,五代女演员都在坚守着《江姐》最初的创作理念,使一个有着鲜明时代痕迹的革命形象,以最保守的方式延续了生命的发展,并奇迹般地被每一代观众所喜爱。但是,时代毕竟不同,"江姐"们的际遇也必然不同。那么,"江姐"们在面对怎样的生活,她们和"江姐"又有着怎样的交集。也许,这正是我们真正渴望知道的故事。     

新能源新技术新思路

本文介绍当前国内外空间电源的新技术,包括先进的光生伏打太阳电池、先进的太阳电池阵、太阳动力源、核电源;先进的蓄电池组、飞轮、电容以及先进的功率管理和分配单元。说明研究空间电源的新思路,分析我国空间电源的研究现状并提出建议。     

基于量子粒子群和流形学习的分类方法及其在发动机故障诊断中的应用

针对测量参数存在的非线性、参数间的耦合性以及噪声干扰,将量子粒子群算法引入到流形学习的参数选择中,结合径向基神经网络,提出了一种故障诊断方法。邻域个数和约简维数是流形学习中的关键问题。结果表明:该方法首先利用量子粒子群算法优选邻域个数、约简维数和径向基函数的参数,再利用等距特征映射(ISOMAP)对原始参数进行非线性降维,提取其低维流形特征,从而进行故障分类。结果表明:该方法能够有效地对发动机各种复合故障进行分类,精度达到97.33%,量子粒子群优于基本粒子群优化的分类结果;其分类精度明显优于主元分析(PCA)、核主元分析(KPCA)方法,且有很强的抗噪能力。     

符合ARINC661规范的DF文件生成技术的研究与应用

ARINC661规范定义了飞机座舱显示系统和用户应用之间的接口。它彻底解除了显示系统逻辑处理和图形显示的耦合关系,具有很好的灵活性、开放性和实用性,已逐步发展成为飞机座舱显示系统的行业标准。本文提出了一种符合ARINC661规范的DF文件的生成技术,并基于该技术完成了DF文件生成工具的开发。     

FMCW体制毫米波SAR实时信号处理方法研究

与脉冲体制合成孔径雷达(SAR)相比,调频连续波(FMCW)体制SAR具有体积小、重量轻、分辨率高、功耗低和低截获等一系列优点,目前小型或微小型SAR普遍采用FMCW工作体制。FMCW SAR在整个脉冲重复周期内都发射信号,其信号占空比达到了100%,为了减小数字接收机采样带宽,降低数据率,FMCW体制毫米波SAR一般采取解线频调接收的方式,但其数据量依然很大,而且机载平台受到气流的影响,运动误差很大,需要迭代估计与补偿,给实时处理模块带来了很大压力。为了提高整个机载FMCW SAR系统的信号实时处理性能,需要在算法层面进行改进。提出了一种两次子孔径误差估计和全孔径误差拼接补偿的FMCW SAR实时成像算法,使用相位梯度自聚焦(PGA)算法和图像偏置(MD)算法级联提取子孔径误差;然后进行子孔径误差拼接成全孔径误差补偿原数据,两维脉冲压缩后完成图像聚焦,提高了FMCW体制毫米波SAR成像算法的效率;最后使用机载Ka波段FMCW SAR实测数据,验证了该算法的有效性。     

面向3D打印的某航空液压壳体管路造型优化

航空液压壳体管路相互交叉,结构复杂,加工难度大,加工周期长,为了摆脱传统加工方式的限制,需对其进行面向3D 打印的造型设计优化。通过基于NURBS 的曲线、曲面算法建立一套适用于液压壳体管路的造型优化方法,采用边线提取方法得到特征线,依据尽可能减小流阻和能量损失的原则进行管路走向设计。以体现3D 打印技术优势为目标,以...