一类非线性脉冲时滞抛物型偏微分方程组解的振动性

讨论了一类含脉冲的时滞抛物型方程组非零解的振动性,利用了Green定理以及Jensen不等式,得出了该方程在Robin边界条件下非零解振动的若干准则。     

AES轮变换的代数正规型及其应用

每个布尔函数的代数正规型(ANF)是唯一的,对于研究布尔函数有重要意义.利用Mathematica软件得到了高级加密标准的轮变换(Sbox,ShiftRow和MixColumn的复合)的128个分量函数的代数正规型.每个分量函数都是32元布尔函数,其项数在448 ～ 545,平均为496,远远小于随机32元布尔函数的平均项数231.这表明AES轮变换与随机置换有巨大偏差.得到这些ANF的时间复杂度在一个2GHz的PC机上只用几分钟.该方法优于通过真值表得到ANF的经典算法——其得到128个分量函数的时间复杂度为0( 128×32 ×232)=0(244).作为应用,利用得到的ANF建立了一轮AES的一个方程系统,并用Cryptominisat 2.9.0进行求解.使用Guess-and-Determine的方法,利用一个已知明密对,可以在PC机上233h内得到全部128比特密钥.     

非均匀光强对曲率型自适应光学系统的影响

在高斯光强和光强存在正态随机起伏情况下,研究了一种37单元的曲率型自适应光学系统对低阶Zernike像差的校正效果,并和均匀光强时的校正效果进行了比较.光强为高斯分布时,光强的不均匀性对Zernike像差的校正带来了一定的影响,对于曲率为零的Zernike像差影响较小,对曲率不为零的Zernike像差影响较大.光强存在正态随机起伏时,对各阶Zernike像差的校正影响较小,曲率为零的Zernike像差的校正效果好于曲率不为零的Zernike像差的校正效果.结果表明在光强起伏不严重的情况下,该37单元曲率型自适应光学系统对低阶Zernike像差可以较好地校正.     

考虑相位噪声影响的单阵元被动合成阵列算法

考虑到现有单阵元被动合成阵列算法对阵元的运动模型假设过于理想且对相位噪声的适应能力不足,首先,提出一种适用于阵元任意机动方式的单阵元被动合成阵列通用算法,进而通过相位噪声模型分析,给出最大相参时间及有效合成阵元数的选取方法,重建了合成阵列的流形矢量,得到了与相位噪声模型相匹配的改进算法.然后,在相位噪声影响条件下,推导了单阵元被动合成阵列波达方向的理论估计方差下限.仿真分析表明,较未考虑相位噪声影响的算法,改进算法能够有效提高相位噪声影响下的单阵元被动合成阵列测向精度.     

装备采购中预防合谋寻租的机制设计

军事装备采购中存在多重委托代理关系,由于各方信息的非对称性以及经济人本性,为合谋型寻租创造了条件。对此,军方可以通过设计有效的激励机制,在无代价的条件下防止合谋型寻租行为的发生。     

无源双基地雷达系统直达波抑制算法

无源双基地雷达系统目标时延和多普勒频移估计,一般采用直达波通道信号与目标回波通道信号作互模糊函数处理,通过搜索互模糊函数的峰值来检测目标。虽然直达波干扰信号的互模糊函数峰值出现在零时延和零多普勒频移处,但其能量远大于目标回波信号,导致信号检测噪声门限增高,旁瓣电平增大,从而淹没目标信号。利用矢量空间的最小二乘算法抑制目标通道中的直达波信号,针对计算速度问题,提出了改进算法。仿真结果表明,该算法能够明显抑制直达波信号,同时该算法也可以完成弱目标的检测,因而具有重要的应用意义。     

火箭发动机应储数量的研究

火箭发动机应储数量的确定是其维修保养工作中的一个重要问题。在满足一定精度的前提下,以可靠性评估为中心研究寿命服从逆威布尔分布的火箭发动机的应储数量问题。在具有二项移走的逐步增加I型区间截尾模型下(被随机移走的产品数目服从二项分布),采取不同方案给出决定火箭发动机寿命的关键性参数的可靠性估计,据此确定其应储数量。最后,通过随机模拟方法给出在一定精度指标下火箭发动机的应储数量。     

绿卡制度研究

立足"借鉴国际通行做法,建立中国‘绿卡'制度"的实践需要,揭示了"绿卡"的实质,对主要国家现行的"绿卡"制度作了概括的分析和比较,并论述了"绿卡"制度的国际通行做法.     

具有倒“Y”型吊挂的降落伞系统动力学建模

具有倒"Y"型吊挂的降落伞系统在回收领域具有广泛的应用.建立了这类系统的动力学模型,包括考虑附加质量的一般刚体动力学方程和基于"平衡点"假设的吊挂系统建模方法.利用该模型对某型飞船空投试验情况进行了仿真分析,通过与试验数据对比,验证了模型的有效性.     

瓦楞纸板同步剪切控制系统的设计与研制

介绍了微机控制瓦楞纸板同步剪切控制系统的设计研制。该系统由直流电机调速系统和单片微型计算机控制系统两大部分组成。直流调速系统采用线性二次型最优调节器方法设计,计算机控制系统采用单片微机双ＣＰＵ技术。它是一个大功率高精度机电控制系统,具有响应速度快,剪切精度高,可靠性好,操作方便的特点。