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

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

备份设计的可靠度

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

基于自适应伪谱法的升力式飞行器火星进入段快速轨迹优化

针对升力式火星飞行器定点着陆任务的轨迹优化问题,给出了基于自适应伪谱法的快速优化算法.综合考虑探测器火星大气进入过程中的动力学约束、边界约束、路径约束以及控制约束条件,利用自适应伪谱法将轨迹优化问题转换为离散的非线性规划问题,采用序列二次规划算法进行求解,得到性能指标最优的进入轨迹.通过仿真验证,给出了实现火星进入过程燃料消耗最优的状态量和控制量轨迹.仿真结果表明,在Matlab中采用自适应伪谱法,能够在800s内采用267个配点,给出近似精度为10-6的火星进入过程中消耗能量最优的参考轨迹.      

基于Lagrange方程三自由度并联机构动力学研究

针对一种三自由度的并联机构采用Lagrange方程建立了动力学方程,得出了机构驱动力显式解.用计算机程序模拟了动平台做圆周运动时驱动力的变化情况以及机构简化所产生驱动力误差的大小,给出了可以对机构进行简化的条件.分析了机构的结构参数与驱动力的关系,为这种机构动力学特性的深入分析和结构优化设计提供了参考.      

基于Hopfield网络的飞机设计

Hopfield神经网络与增广拉格朗日乘子法相结合来求解非线性约束优化.神经网络作为求解乘子法的子问题的动力学方法,仅需计算一阶导数.引入逐渐衰减的高斯噪声信号构造随机神经网络.同时针对随机网络受初始温度制约,跳出局部极小值能力有限的问题,网络运行采用结合模拟退火的欧拉法.用该方法对某喷气教练机进行总体优化设计,结果表明,算法的数值稳定性较好,求解精度高.并基于拉氏乘子提供的约束敏度信息,做了设计要求权衡.最后研究了某型干线旅客机的机翼气动/结构综合设计问题.      

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

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

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

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

关于整系数不可约多项式

在文[1]中，作者推广了著名的Eisenstein的判别法，给出了在有理数上判断整系数不可约多项式的两个定理，并且形式比较简单，应用也比较方便。本文把文[1]中的定理作了进一步的推广，推广到更为一般的形式，相应也给出了几个判断整系数不可约多项式的定理，而形式与文[1]中的形式同样简单，比文[1]中给出的定理更具有一般性。