一个痛苦不堪的航班

3月底,洋飞了一个有史以来最痛苦不堪的航班。因为,洋突然生了重病,从上海飞回德国的航班上,根本就是彻底地挂了。那次从德国飞去上海,出发前。我就觉得不对劲了,头重脚轻,浑身无力,觉得应该是感冒了,但没有流鼻涕,只是嗓子很疼,估计是上火了。我曾经有过飞之前有点不舒服,但是到飞机上忙得四脚朝天工作时,突然就好了的经历。所以这次也希望奇迹会再     

折叠翼机构展开动力学仿真及优化

运用ADAMS软件建立了折叠翼机构的展开动力学模型,分析了折叠翼展开过程的动力学性能,探讨了机构各参数对展开时间和冲击过载的影响。结构参数化后进行了设计研究,并以冲击过载最小为优化条件进行了结构的优化设计。最后,对折叠翼的二次减震进行了初步探讨。     

基于网络的高速切削参数优化和管理系统

对高速加工中切削参数优化的理论和方法进行了研究,并对来自生产现场、实验室以及资料收集的数据进行了检验、评价和应用。提出了一种基于遗传算法的切削参数优化算法。与通常的优化算法相比,该算法计算量小,计算速度快,能适应自动化制造系统对优化切削数据快速响应的要求。切削实验表明：应用经过优化的切削数据,不仅提高了机床的利用率,减少了切削时间,而且提高了工件的加工质量。在上述理论研究的基础上,开发了切削参数优化和管理系统。该系统的完成提高了整个数控加工中心的生产率。     

通过矩形喷嘴的非稳定液体射流

绍了关于用矩形喷嘴进行的瞬态液体射流的实验研究结果。流动显示演示了在喷流过程中液体射流的种种不稳定现象。笔者推广了Ryhming的理论模型，计算了喷嘴出口的射流速度，并与实验结果进行了比较。     

此一去前路遥遥,山长水阔

5年过去了,我从北京搬到了南方。时过境迁,当我听着这些歌的时候,我明白了它的意义:它记录了我生命中的一部分。坎坷的乐手转型之路上,我迈出了个人的一小步。如今我追不及待地想拿出这张专辑,因为这样我才能和它告别。下一步,山长水远。"——张玮玮     

伞-载系统拉直过程动力学仿真研究进展

降落伞拉直过程是关系到伞-载系统安全可靠工作的关键阶段,涉及到三维空间多体系统动力学和变质量变自由度动力学问题。本文综述了柔性降落伞拉出过程动力学仿真技术中的一些关键问题。首先从拉直过程仿真方法进行介绍,通过具体算例分析了各自方法的特点。然后构建了动力学模型中主要因素之间的相互关系,分析了气动力的影响因素及风速对拉出过程的影响。同时阐述了绳段张力的几种计算模型及其特点,指出了它们的一般应用范围。最后,对伞-载系统拉直过程仿真减小数值计算误差的途径及未来需要关注的几个方面进行了探讨。     

假人空投试验六分量天平研究

依据救生伞假人空投试验中六分量应变天平的工作条件与载荷特点,确定了天平的设计载荷并完成了结构设计。针对实际应用中天平各种极限载荷情况,计算了天平各弹性元件的安全系数。对天平应力场进行了有限元分析,获取了天平整体应力分布状况。进一步对传统计算结果进行了验证,为天平结构设计提供了理论依据。     

小型太阳能无人机技术特点及关键技术研究

在国内外太阳能无人机的发展现状基础上,总结了小型太阳能无人机技术特点,给出了概念设计阶段主要参数的估算公式。根据某小型太阳能无人机概念设计阶段的参数,分析了太阳能无人机的关键技术,并展望了未来太阳能无人机的发展方向。。     

通用航空事故共享数据库建设研究

本文研究了我国近几年通航安全事故的现状,指出现阶段我国建设通用航空数据库的重要性。根据需求目标提出了数据库设计的3个总则,并深入分析了通用航空事故共享数据库的功能和结构。提出了可行的设计方案,利用java编程技术,实现了数据库的开发。旨在提高导航安全并对通航安全管理带来参考价值。     

一种非线性状态估计器的算法实现与解耦简化

本文以机载火控系统中的目标状态估计器(TSE)为例,探讨了一类非线性状态估计器的算法及简化方法。文中给出了TSE的数学模型,分析了其特点,并作了形式上的变换;而后用最优卡尔曼滤波算法实现了状态估计。最后,利用其结构特点,作了算法解耦,故大大减少了计算量和计算机内存,获得了令人满意的估值精度。     

基于中介逻辑的多模态逻辑系统

多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。     

基于聚类算法的模糊逻辑结构与系统性能分析

针对一类特殊的模糊逻辑系统，对模糊逻辑规则结构与系统性能之间的关系进行了深入细致的数学推导和分析，从而得出在采用聚类技术构造模糊逻辑结构中影响系统性能的主要因素。通过相关的论证与分析，为各种聚类算法在模糊逻辑结构辨识中的应用奠定了理论基础，避免了以往对模糊结构与性能之间表述的含糊性和不系统性，为模糊逻辑系统的合理设计及其应用提供了数学依据。     

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

一类非线性系统的模糊自适应跟踪控制

针对一类非线性系统，把模糊T—S模型和自适应模糊逻辑系统两种模糊逻辑方式结合起来，提出了一种基于观测器的跟踪控制方案。首先，应用模糊T—S模型对非线性系统建模，设计观测器用来观测系统状态；由线性矩阵不等式得到模糊模型的控制律。其次，构建了自适应模糊逻辑系统；应用基于权值、中心和宽度三个参数可调节的自适应模糊逻辑系统作为补偿器来补偿建模误差。文中证明了闭环系统满足期望的跟踪性能，实现了跟踪目的。两连杆机械臂的仿真结果表明该方案消除了建模误差对跟踪的影响。     

飞机穿越微下击暴流风切变的智能控制

在应用模糊逻辑建模与辨识方法建立微下击暴流风切变模型的基础上，根据恒定俯仰姿态改出微下击暴流的飞行引导策略，提出了一种改出微下击暴流风切变的模糊反馈控制系统，并将遗传算法应用于该模糊逻辑控制器的设计。结果表明，本文提出的建模方法能够更真实地反映出飞机穿越微下击暴流风场的动态特性；采用模糊逻辑控制器，可使得飞机在穿越微下击暴流风场时具有较好的改出性能；另外，遗传算法的应用对已设计的模糊逻辑控制器进行了优化，进一步改善了飞机穿越微下击暴流的性能。     

中介谓词演算系统ME与ME之间的化归算法及其应用

在经典二值逻辑中，带等词的谓词演算系统Ｆ１与Ｆ１＊的函词系统等价，在互推关系下这两个系统也等价，然而在中介逻辑中，带等词的中介谓词演算系统ＭＥ与ＭＥ＊函词系统不等价，本文定理１指出，在互推关系下，任何ＭＥ＊中的公式均可化为ＭＥ中的标准前束范式，因此在互推意义下两系统等价，在中介逻辑中，ＭＥ是一个较为特殊的子系统，它具有许多与二值逻辑相类似的性质，本文的结果为将这些性质进一步推广到ＭＥ＊上提供了基础     

论“两弹一星”精神融入高校思政课的三重逻辑

“两弹一星”精神是中华民族的宝贵精神财富,也是高校思政课不可或缺的重要内容。新时代下如何使“两弹一星”精神更好地融入思政课,需要全面理解并准确把握三重逻辑,即生成逻辑、价值逻辑和实践逻辑。首先,充分认识“两弹一星”精神的科学内涵,了解其与思政课教学内容的内在契合点。其次,深入明晰“两弹一星”精神在政治导向、教学需要和精神传承方面对推进思政课所具有的重大意义。最后,积极贯彻“两弹一星”精神融入课堂教学、实践教学和网络教学的有效途径。     

基于置换群的可逆逻辑门网络级联

n输入n输出可逆逻辑门的级联构成一个群,它与对称群Sτ同构。本文研究了生成Toffoli门集合的可逆逻辑门数的特点,证明了任意置换Sn可以由n-轮换δ和一个置换τ=（ij,ik）生成,同时证明了相邻2一轮换可由至多两个NOT门在不增加额外信息位的情况下生成。最后提出了一个基于上述理论的可逆逻辑门网络级联算法,并通过实例验证了该算法的正确性。     

基于概率的编队飞行的告警算法设计

在建立编队飞机并行飞行的模型基础上,提出了一种基于概率的报警逻辑,即只有当两架飞机的冲突危险度超过一定的门限值的时候才发布报警信息.基于这种逻辑,本文运用蒙特卡洛方法仿真出在一定的冲突概率下飞机的碰撞区域并对结果进行了分析,最后验证了算法的有效性.     

非定常气动力辨识的模糊逻辑方法

提出了用内部函数和二次型隶属函数对非线性非定常气动力进行模糊逻辑建模与辨识的方法 ,分别用 F- 18和 F- 16飞机强迫振荡的实验数据建立了非线性非定常气动力模型 ,讨论了隶属函数导数的连续性对模糊逻辑模型精度的影响 ,并与已有的 Fourier模型和非线性代数模型进行了比较。结果表明 ,文中提出的建模方法能够给出更为满意的结果。