黎曼流形中运动群不变量

黎曼流形运动群的研究是微分几何中一个重要问题。本文构造了黎曼流形中亏数为2的一个运动群，进而对黎曼流形度规运动群、共形运动群以及亏数为2的运动群的黎曼不变量进行了刻划。文中证明上述三个运动群之间存在着某种所谓“自相关性”。此外，还给出黎曼空间中共形运动群在共形于黎曼空间的空间中变为度规运动群的一个有趣的例子。     

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

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

A Novel Onboard-gateway-based Mechanism to Improve TCP Performance in Aeronautical Satellite Networks

The IP-based networks on aircraft serve to support Internet services via satellites. However, in aeronautical satellite hybrid net- works,the TCP protocol performance often deteriorates due to improper decreases and slow recovery of the congestion window. This paper proposes a window size determination and notification mechanism, onboard-gateway-based mechanism (OGBM), which is based on the onboard gateway in the networks on aircraft. A cross-layer approach is adopted by the onboard gateway to obtain the satellite link bandwidth information. And then, by the gateway, through changing the receiver’s advertised window field in ACK packets, TCP sources are notified of the window size of each TCP source calculated on the ground of bandwidth delay product and flow numbers. The mechanism is able to avoid improper changes of TCP window and serve multiple users. Simulation results show that the mechanism with the fairness index close to 1 improves TCP performance in aeronautical satellite networks.     

考虑星历误差的天文测角/时间延迟量测组合导航方法

基于太阳震荡的时间延迟是一种新型天文导航量测量,可以提供探测器相对反射天体的距离信息,与星光角距量测量结合,可以提高导航性能。然而,星光角距量测模型与时间延迟量测模型均含有火卫一相对火星的位置矢量,火卫一的星历误差将影响导航精度。针对这一问题,提出了一种基于在线估计的天文测角/时间延迟量测组合导航方法,建立了包含火卫一位置及速度的状态模型,利用星光角距及时间延迟量测量同时对火卫一的位置和速度进行在线估计,仿真结果表明,提出的方法可以有效抑制火卫一星历误差对组合导航精度的影响,为探测器提供高精度的自主导航信息。     

波形记录仪触发延迟线性的实验研究

提出了使用正弦波激励评价触发延迟线性度和触发抖动的新方法,通过一个波形在有触发延迟和无触发延迟时,采集序列间的相位差对应的时间差来最终判定触发延迟结果。用该方法实现的触发延迟线性度测量方法,将触发延迟直接溯源到激励信号的频率量上,无需额外的精密延时器等装置,减少了测量环节,并且可以实现任意延迟的精确测量。以不同频率、不同触发延迟、不同采集速率下的实验结果的对比给出了触发延迟线性校准的结论性意见,同时验证了所述方法的有效性和切实可行性。     

基于时滞分解的线性时滞系统主动容错H_∞控制

采用一种具有广义内模控制结构的反馈控制器,研究一类线性时滞系统的主动容错H∞控制问题。针对可由外系统描述其动态行为的故障,设计基于观测器的故障估计器,并将故障估计用于反馈控制的故障补偿。采用一种新的时滞分解方法选取Lyapunov-Krasovskii泛函,推导并证明问题可解的充分条件,最后给出主动容错控制系统的设计算法。最后通过算例验证了提出方法的有效性,并且利用时滞分解方法,保守性减小。     

考虑测试性设计缺陷修正延时的测试性增长模型建模与评价方法

针对现有测试性增长模型忽略了测试性设计缺陷的修正延时过程,进而导致测试性增长模型（TGM）跟踪与预计精度低的问题,提出了一种考虑测试性设计缺陷修正延时的测试性增长模型建模理论与方法。首先分析测试性设计缺陷识别与修正之间的延时机理,得到剩余测试性设计缺陷（TDL）具有先增后减的铃形变化趋势;在此基础上,分别以Gamma、Raleigh和Delay-S 3种曲线拟合剩余测试性设计缺陷（RTDL）变化趋势,研究建立基于以上3种曲线考虑修正延时的测试性增长模型;最后,以某机载稳定跟踪平台测试性增长试验数据验证测试性增长模型拟合、跟踪及预计效能。研究结果表明：基于该测试性增长试验数据,Gamma曲线可以精确地拟合剩余测试性设计缺陷变化规律,测试性增长模型跟踪和预计精度可达到10^-2数量级。     

卫星组播多组共享密钥管理方案

现有的多组组密钥管理方案应用于大型动态卫星多组组播环境时,受卫星资源的限制,密钥管理效率成为瓶颈。设计了一种卫星多组组密钥管理方案SMGKM（Satellite Multiple Group Key Management）,根据对组播源的访问能力对用户进行分组,并在子组中设置子组管理者,通过构造组播密钥管理图和子组密钥管理结构进行多组组密钥管理,具有良好的前向和后向安全性,与现有典型方案相比,SMGKM有效降低了卫星的通信和存储开销,更适合大型动态卫星多组组密钥管理。     

陆基无线电授时系统信号分析与解算

时间应用的广泛性以及授时战的提出,使国家更加重视授时服务体系的完备性以及灵活性。为顺应授时战要求,从我国整体授时体系出发,简单介绍授时系统的工作原理,从多方面对比各类授时系统;主要分析了我国陆基无线电授时系统的发播程序以及信号格式等,对BPM短波呼号以及时码结构进行补充与修正,并讲解对陆基无线电授时信号的解算过程,利用实际试验验证解算方法的可行性;最后根据我国目前授时体系的现状以及授时战的要求,给出应对授时战的技术路线,对未来我国授时体系发展方向提出建议。     

含纳米金属粉的推进剂点火实验及燃烧性能研究

利用CO2激光点火系统对含有纳米铝粉和纳米镍粉的AP／HTPB推进剂进行激光点火实验,测量了推进剂在不同激光功率和压强下的点火延迟时间,对推进剂的燃速、常压点火温度和爆热也进行了测量。同时,利用氧化还原滴定法测定燃烧残渣中活性铝含量。结果表明,纳米铝粉(n—Al)的点火阀值比普通铝粉(g-A1)的点火阀值小几个数量级,加入纳米铝粉可有效地缩短推进剂点火延迟时间。而在纳米镍粉为催化剂的协同作用下,推进剂燃速明显提高,点火延迟时间也大大减少,Al在推进剂燃烧过程中的燃烧效率得以提高,同时燃烧残渣中活性铝含量也明显降低。