洛尔定理的推广和柯西中值定理的证明

本文对洛尔定理进行了推广，并给出了柯西中值定量的三种证法。     

备份设计的可靠度

文章在两类不同的验前分布情况下,用贝叶斯定理推断并联、待机和多数表决系统的可靠性置信下界。其解可供电子系统设计者参考。     

面向GEO目标的快速在线在轨服务任务规划

针对地球同步轨道多对多在轨服务任务规划问题,提出了一种基于拍卖算法和先验知识的改进启发式拍卖算法(IHAA)。首先,建立了基于Lambert变轨的任务规划问题表征,设计了给定变轨时长约束下的快速燃料最优估计策略。其次,针对考虑J 2摄动影响的航天器在轨服务规划问题,提出了一种基于拍卖算法的快速求解流程。其中,为确定每一轮拍卖算法任务列表,提出了基于变轨先验知识的目标优先级排序启发式策略,实现了快速的服务时序确定方法;此外,为减少因部分航天器服务能力低导致的分配失败情况,设计了一种基于失败任务再分配的重拍机制。最后,将所提算法与遗传算法、模拟退火算法进行了对比,结果表明IHAA可以快速给出相对适应度较高的规划结果,可用于突发事件星上在线自主规划,亦可提供优化算法初值以提升规划效率。     

缝隙宽度对频率选择表面透波特性的影响

从物理本质上分析了频率选择表面FSS(Frequency Selective Surfaces)单元的缝隙宽度对FSS平板透波特性的影响.FSS平板单元的缝隙越宽,则单元的谐振波长缩短就越多,谐振频率也随之升高.利用Floquet定理,计算分析了缝隙宽度对FSS平板透波特性的影响;采用蚀刻技术加工FSS平板小矩形缝隙单元.实验测试的结果表明,缝隙宽度变大时,谐振频率升高,同时,FSS平板的透波率和谐振带宽变大.实验数据与计算结果在误差允许的范围内基本一致.      

密码协议的分层安全需求及验证

将密码协议的安全需求分为浅层需求和深层需求2个层面,阐述了密码协议的分层安全需求.采用近世代数和时序逻辑的方法定义了形式化描述语言,并形式化地描述了密码协议的分层安全需求.将类BAN逻辑与模型检查相结合,在Abadi-Tuttle模型的基础上建立密码协议的计算模型.以Otway-Rees协议为例,利用该计算模型和定理证明技术对密码协议进行了多层需求验证.     

机制设计理论及其在中国的应用

机制设计理论是博弈论和社会选择理论的综合运用,其基本思想就是对于一定的经济环境和社会目标,研究如何设计一个机制,使得人们在自利行为驱动下采取行动,使预定目标得以实现。赫维茨提出机制设计理论的基本概念和框架,马斯金和迈尔森进一步发展完善,田国强运用数学工具做了一般化的证明。机制设计理论的提出,弥补了亚当·斯密“看不见的手”的可能性缺失,从而进一步完善了经济学理论体系,论证了市场机制的有效性。对经济改革和社会制度变迁的中国而言,设计有效的机制是中国改革的主要任务之一,机制设计理论在其中有着广泛的应用领域和直接的借鉴价值。     

应用数字滤波技术处理直升机地面靶试数据的研究

本文介绍在直升机地面靶试数据处理中应用FIR数字滤波器的设计和算术平均值滤波方法,通过合理选择滤波方法和巧妙设计有效抑制干扰信号,保证了试验数据的精度.     

红外光学式二氧化碳分压传感器

介绍一种红外光学式二氧化碳分压传感器，该传感器基于朗伯－比尔定律，采用光源稳流，单片机温度偿及选用高性能红外探测器等技术，能够对二氧化碳气体进行有效准确地测量和分析，且结构简单，体积小，重量轻，功耗低，响应速度快，可靠性高，具有广阔的应用前景。     

受多种约束时航天器再入走廊的计算分析

给出了一种求解同时受升力、气动加热（率）和动压约束时，航天器再入走廊的近似计算方法。文中采用格林函数法，导出了再入过程中三种典型约束（气动加热率、升力和动压）条件之间关系的近似定量描述，在该三种约束取极限的条件下求得了再入走廊的上下边界。文中还介绍了上下边界近似解及相应控制规律的结构。     

判断矩阵的一个恰当的校正方法

 本文首先证明了成对比较矩阵在相容性矩阵集合中的最佳逼近的存在性和不唯一性。然后通过微分同胚,把原来的非线性逼近转化成一个线性逼近,从而用投影定理获得解决。算例证明该方法简易可行。