高能氧化剂二硝酰胺铵的热分解研究

为深入了解二硝酰胺铵(ADN)的热分解，为该氧化剂在推进剂中应用提供必要的技术保障和实验依据，采用热重分析法(TG)及差示扫描量热法(DSC)，实验研究了氮气流量、合成中间体烷基羰基N-硝酰胺铵(AUN)及硝酸铵(AN)对ADN热分解过程的影响，并利用model-free isoconversional方法模ADN热分解过程的活化能曲线。结果表明：氮气流量和硝酸铵(AN)对ADN的热分解过程有显著影响，而AUN可使ADN热分解曲线产生肩峰，但基本不影响ADN的热分解过程。     

变频信号的测量方法

本文阐述了单片机测量车用电子警报器变频信号的原理和方法。     

热冲击再时效对Al—Zn—Mg—Cu合金组织及性能的影响

用高压电子显微镜对LC4-CS合金进行不同温度下的高温同位组织观察,证明该合金的晶间析出和基体沉淀可以同时固定在时效沉淀序列的不同阶段,使晶间呈过时效状态,而基体组织处于峰值时效状态。通过本文提出的热冲击再时效工艺方法可以获得以上组织状态,从而达到高强度铝合金主要性能的最佳组合。     

一种新颖的瞬时浮点放大器

介绍了瞬时浮点放大器的原理及构成，并给出一种结构新的具有２５６阶的瞬时浮点放大器，可有效地提高数据采集系统的测量范围。     

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

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

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

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

中介公理集合论系统与经典公理集合论系统的关系——形式证明部分

在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经典数学也能奠基于ＭＳ之上，从而最终回答了中介数学与经典数学的包含关系问题。     

悬索桥颤振主动抑制研究

选用二次型性能指标，把悬索桥颤振主动抑制问题转化为线性二次型高斯问题，设计了颤振主动抑制的最优滤波器及最优控制律，其中，经ｏｇｅｒ有理近似拟合气动力自激项，对脉动风的描亭旭结为成型滤波器设计；稳定性判定归结为根轨迹图的判断；抖振响应计算归结为Ｌｙａｐｕｎｏｖ方程求解，以某悬索桥为算例，计算结果表明：对该类桥梁进行颤振主动抑制，效果良好，最优控制设计所得结论对工程具有一定参考价值。     

非线性随机动态系统学习建模方法

在动态神经网络及扩展卡尔曼滤波算法的基础上，提出了对非线性随机动态系统进行学习建模的迭代算法，用这种方法对非线性随机系统建模，可以获得更准确伯系统模型，并可对非线性随机系统进行状态估计。最后给出相应算法及仿真结果。     

Early analysis of precise orbit and clock offset determination for the satellites of the global BeiDou-3 system

Eight new-generation BeiDou satellites (BeiDou-3) have been launched into Medium Earth Orbit (MEO), allowing for global coverage since March 2018, and they are equipped with new hydrogen atomic clocks and updated rubidium clocks. Firstly, we analyzed the signals for the carrier-to-noise-density ratio (C/N0) and pseudorange multipath (MP) by using international GNSS (Global Navigation Satellite System) Monitoring and Assessment System (iGMAS) station data, and found that B1C has a lower C/N0, and B2a has the same level of C/N0 as the B1I and B3I signals. For pseudorange multipath, compared with the BeiDou-2 satellites, the obvious systematic variation of MP scatters related to the elevation angle is greatly improved for the BeiDou-3 and BeiDou-3e satellites signals. For the signals of the BeiDou-3 satellites, the order of the Root Mean Square (RMS) values of multipath and noise is B3I?<?B1I?<?B2a?<?B1C. Then, the comparison of the precise orbit determination and clock offset determination for the BeiDou-2, BeiDou-3, and BeiDou-3 experimental (BeiDou-3e) satellites was done by using 10 stations from iGMAS. The 3D precision of the 24?h orbit overlap is 24.55, 25.61, and 23.35?cm for the BeiDou-3, BeiDou-3e, and BeiDou-2 satellites, respectively. BeiDou-3 satellite has a comparable precision to that of the BeiDou-2 satellite. For the precision of clock offset estimation, the Standard Deviation (STD) of the BeiDou-3 MEO satellite is 0.350?ns, which is an improvement of 0.042?ns over that of the BeiDou-2 MEO satellite. The stabilities of the BeiDou-3 and BeiDou-3e onboard clocks are better than those of BeiDou-2 by factors of 2.84 and 1.61 at an averaging time of 1000 and 10,000?s, respectively.