非自伴情形下时滞抛物方程的惯性流形

利用Lyapunov-Perron方法在适当的谱间隙条件和适当小的时滞假设下,证明了一类非自伴算子情形下半线性时滞抛物方程惯性流形的存在性。     

Optimal maintenance policies for serial,multi‐machine systems with non‐instantaneous repairs

We study optimal age‐replacement policies for machines in series with non‐instantaneous repair times by formulating two nonlinear programs: one that minimizes total cost‐rate subject to a steady‐state throughput requirement and another that maximizes steady‐state throughput subject to a cost‐rate budget constraint. Under reasonable assumptions, the single‐machine cost‐optimal and throughput‐optimal solutions are unique and orderable, and the multi‐machine optimal solutions have appealing structure. Furthermore, we establish equivalence between the two formulations and provide an illustrative numerical example. © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2006     

论薄弱学校的发展与学生、教师发展的关系

薄弱学校的改造、提升是时代的发展要求。在薄弱学校的建设中,处理好学校发展与学生发展、教师发展的关系是十分重要的。强化教师队伍建设,谋求教师、学生、学校的共同发展,薄弱学校的发展最终是人的发展。     

基于接触的捞雷具夹紧爪接触面形状优化

介绍了在捞雷具夹紧爪设计过程中引入的基于接触的有限元形状优化设计方法.传统的机械设计方法仅考虑了零件的几何尺寸,而对其形状的设计却考虑不够,导致设计结果不理想.文中将基于接触的有限元形状优化方法应用于传统的机械设计过程.对捞雷具夹紧爪建立基于有限元分析的优化设计模型,使夹紧爪既能满足打捞鱼雷的要求,又得到了优化的形状.结构的特性与受力状况均得到改善.     

一种针对HIGHT的改进差分故障的分析

为评估HIGHT轻型分组密码抗故障攻击能力,基于单字节故障模型,提出一种改进的HIGHT故障攻击方法．首先在HIGHT最后1轮注入单字节故障恢复SK124和SK1262个轮密钥,然后增加故障注入深度,在HIGHT倒数第5轮注入单字节故障恢复HIGHT另外10个轮密钥,从而恢复HIGHT的全部主密钥．实验结果表明：仅需22次故障注入即可恢复HIGHT全部128位主密钥,优于现有故障攻击方法所需的32次故障注入．     

塔架摆杆系统静动态特性研究

为研究航天发射塔架摆杆系统的静动态特性,利用Pro／E建立其三维实体模型,再将模型导入Abaqus中建立其有限元模型并对该塔架摆杆系统进行静、动态分析计算．通过静态分析,得到塔架关键部位的应力及位移值,对其安全性进行了校核;通过动态分析得到其固有频率及振型,与试验所得频率进行对比,验证有限元建模的正确性．     

考虑充放气过程的某型制导炮弹内弹道计算

考虑到弹底压强、尾翼汽缸内压强变化情况与汽缸张开式尾翼展开关系密切,研究了某型制导炮弹内弹道性能,建立了考虑汽缸充放气过程的内弹道两相流模型.针对尾翼张开异常现象,分析了尾翼汽缸气孔直径变化引起的汽缸压强变化情况,计算结果表明:张开式尾翼汽缸内外压强差随气孔直径的变化而变化,气孔直径变化到一定值时,汽缸尾翼在膛内开始外张.研究结果为分析气孔烧蚀引起的尾翼张开异常现象提供了理论依据.     

机动飞行条件下基于SIFFBP算法的机载UWB SAR成像

机动飞行条件下,运动误差的幅度较大,频域运动补偿精度难以满足机载超宽带合成孔径雷达(UWB SAR)高精度成像的要求,需要采用精确的时域后向投影(Back Projection,BP)算法,然而原始BP算法的巨大计算量限制了其实际应用。提出了一种基于子图像快速因式分解BP(Sub-image Fast Factorized BackProjection,SIFFBP)算法的机动飞行条件下机载UWB SAR成像方案,并对其子孔径和子图像划分的约束关系进行了推导,给出了算法步骤,并分析了算法的计算量。仿真和实测数据处理结果表明,SIFFBP算法能够在保证处理精度的同时,大幅度提高处理效率,非常适合于机动飞行条件下的机载UWB SAR成像处理。     

基于PC机的模拟训练装备效能评估方法

分析了基于PC机的模拟训练装备的组成结构,根据其效能评估指标的特点,充分考虑决策数据间的客观关系,同时兼顾决策者的主观偏好,采用基于最小二乘原理的组合赋权法指标权重确定方法,对该类装备的效能进行评估,验证了该方法的可行性和有效性。     

GPS接收信号中线性扫频干扰的抑制

研究了阵列接收的GPS接收信号中线性扫频(LFM)干扰的抑制问题。LFM信号瞬时频率的估计是抑制干扰的关键,而要准确估计信号瞬时频率,必须抑制接收信号时频分布中交叉项干扰。本文对接收信号矢量进行白化,得到信号矢量白化后的空时频分布(STFD)矩阵。文中推出一个与传统方法获得的判决变量不同的判决变量,用该判决变量可以更加清晰地选出LFM信号在时频分布中的自项。根据时频脊点的分布估计LFM信号频率参数以及信号瞬时频率,之后即可根据瞬时频率构建陷波器滤除干扰。仿真表明该方法能够将受交叉项严重干扰的接收信号时频分布映射为清晰的接收信号自项的时频分布,在数据快拍数满足一定要求时可以很好地抑制掉LFM干扰。