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

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

一个痛苦不堪的航班

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

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

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

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

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

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

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

飞行器典型结构中频分析参数识别及建模技术研究

以飞行器典型结构件为对象开展了中频力学环境预示参数识别及建模技术研究。设计了中频混合模型实验件,开展了统计能量分析参数获取实验,通过实验数据识别出了模态密度、内损耗因子等统计能量参数,可为统计能量子系统的模型修正提供输入。采用FE-SEA方法建立了噪声环境下实验件的混合模型,通过识别出的参数对中频混合模型进行了模型修正,获得了较准确的分析模型。开展了实验件在噪声环境下的响应分析,得到了实验件各部分子系统的振动响应,并与混响室噪声实验数据进行了对比分析,预示结果与实验结果吻合较好,验证了中频混合方法建模的合理性。     

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

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

磁悬挂天平主激磁绕组的恒流控制系统

国防科技大学研制的６０ｍｍ×６０ｍｍ磁悬挂天平的主激磁绕组，采用了保持激磁电流不变的恒流控制系统，克服了由于温度变化而引起的系统参数变化，提高了测试系统的准确性和稳定性。对实验过程中所出现的误差源，也逐一加以分析，从而找到了减少误差的方法。在恒流系统斩波器电路中，由于使用了集成电路加晶体振荡器的斩波信号源，大大提高了开关频率的稳定精度，改善了闭环系统的滤波效果，提高了系统的稳定特性。本文还介绍了值流系统的设计方法和主要系统电路。     

求解大型非对称特征问题的块Arnoldi方法

本文提出了计算大型非对称矩阵若干个模最大或模最小特征值以及相应特征向量的块Arnoldi方法。研究了块Arnoldi方法的收敛率,推广了Saad关于Arnoldi方法收敛率的一些结果,给出了块Arnoldi方法收敛率的一些估计。提出并讨论了由该方法所产生的数值结果。     

数传控制装备可靠性预计

分析了某型数传控制装置可靠性模型,采用应力分析法对该装置进行了可靠性预计,根据设备实际状况求得其各主要部件的失效率,评估了产品的可靠性,从数据分析得出了影响可靠性的主要环节,提出了改进措施。通过可靠性试验,对可靠性预计值进行了验证。     

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

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

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

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

中介时序逻辑系统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模型和非线性代数模型进行了比较。结果表明 ,文中提出的建模方法能够给出更为满意的结果。