高效计算网格壁面距离的KD树方法

计算流体动力学的一些领域中经常要用到流场点到壁面的最小距离,为了提高壁面距离计算的精度和效率,将KD树应用于非结构网格的壁面距离计算,计算了若干三维外形的壁面距离,结果表明:基于KD树的网格壁面距离计算方法鲁棒性好,计算效率和结果精度高,适应复杂外形的能力强;算法的通用性好,可以拓展应用到多种网格类型。     

考虑卫星位置误差的增广脉冲星方位误差估计算法

为了解决脉冲星方位误差估计中卫星位置误差对估计结果的影响,提出一种考虑卫星位置误差的增广脉冲星方位误差估计算法。为满足可观测性条件和保证尽可能低的矩阵运算维数,算法将卫星的位置误差标量作为增广状态。结合脉冲星方位误差估计基本原理,重新推得增广算法的状态及观测方程,并通过理论分析证明了算法的可观测性。最后仿真结果表明,当卫星位置误差导致传统算法的估计结果偏差较大时,该算法依然能够保证0. 01 mas的赤经和0. 3 mas的赤纬估计精度。不同方向的位置误差对方位误差估计精度影响较小。     

采用正交分集的灵巧噪声干扰对抗方法

针对数字射频存储干扰机多通道宽带转发模式下的灵巧噪声干扰,提出了基于混沌调制信号、多谐波相位调制线性调频信号的正交分集抗干扰方法。混沌调制信号与多谐波相位调制线性调频信号具有"图钉"形模糊函数,除了具有良好的距离、多普勒分辨力,还对回波频率敏感,通过正交分集设计,能够更好地适应宽带转发灵巧噪声干扰。通过计算机仿真对新方法的抗干扰性能进行了分析和验证,结果表明:在多通道宽带转发灵巧噪声干扰环境下,新方法的抗干扰改善因子能够达到10 d B以上,抗干扰性能明显优于传统的频率捷变、斜率捷变方法。     

时序驱动的详细布局方法

针对超大规模集成电路布局过程中时序优化问题,提出一种时序驱动的详细布局方法。对设计进行时序分析并获取时序违反路径集合,对路径上两个连续固定单元间的线网进行平滑处理,以减小路径曲折度以及减少线长。再针对每一个可移动单元与其相邻的线网建立二次规划时序模型,求解局部最优布局位置。对于给定的测试电路,实验结果表明,最差的时序违反与总的时序违反均有明显改善,采用ICCAD2015竞赛的测试模板和评价方法,总的时序性能有45~350 min的提升。     

应用锤击法的大型复合材料桁架结构段自由振动分析

复合材料桁架结构以其轻质和优异的力学性能应用于大型航天航空飞行器结构,其承载能力和振动特性是决定其应用效果的关键因素。本文考察了大型碳纤维/环氧复合材料方形截面桁架结构段的自由振动特性。采用锤击法实验测试得到了复合材料桁架结构段自由振动的模态和频率,并与有限元数值模拟结果进行对比分析,论证了锤击法测试振动特性在复合材料桁架结构上应用的可行性和准确性。     

不可能差分分析时间复杂度通用计算公式的改进

研究Boura等和Derbez分别提出的不可能差分分析时间复杂度计算公式,根据实际攻击过程优化密钥排除的步骤,给出不可能差分分析实际攻击的时间复杂度计算的改进公式,进而利用两个分组密码算法模型将改进后公式计算的实际结果分别与Boura等的公式和Derbez的公式的计算结果进行对比,结果表明Boura等的公式计算结果既可能高于优化公式的实际分析计算的结果,也可能低于优化公式的实际分析计算的结果,而在轮子密钥独立时改进后公式的实际计算结果是Derbez公式的计算结果的2-1.2倍。     

少数民族骨干计划研究生定向就业的履行倾向与 完善举措

定向就业是少干计划的强制规定,少干研究生是否履行这一规定事关该项政策的有效达成.对219人进行调查后发现,意欲履行定向就业的比例并不理想;倾向于在非定向地区就业的人数同样不高;态度不明,在定向与非定向就业之间犹豫不决的群体也占据一定比例.同时,少干研究生履行定向就业的稳定性不够,容易受到外在条件的影响.履行义务、拿回双证以及能找到合适工作是定向就业的主要原因;而违约则主要缘于少干研究生能够在非定向地区找到合适工作以及定向地区工作条件差、对人才不够重视、工作匹配度不高.打造适合少干研究生的就业体系和就业环境是切实落实定向就业的重要着力点.     

基于故障树分析的航空装备体系结构贡献率评估方法

针对航空装备体系构成复杂的特点,将故障树分析引入航空装备体系结构贡献率评估问题,提出基于故障树分析的评估方法.从作战装备、信息支援装备和保障装备三个方面构建航空装备体系结构,建造航空装备体系结构故障树;采用底事件的关键重要度指标来计算航空装备的体系结构贡献率,建立基于关键重要度的航空装备体系结构贡献率评估模型;以某航空...     

船舶降噪工程技术集成优化方法

在用船舶降噪工程受总体约束强、声学异常多等因素影响,传统新船建造的声学设计方法不能被直接应用。为此,提出了在用船舶降噪工程技术集成优化方法。根据需求设计顶层降噪指标,并通过四项标准进行检验;基于改装前测试数据和降噪技术储备情况,制定初步降噪技术集成方案;通过声学评估迭代,形成优化的指标分配体系和最终的降噪技术集成方案。模型试验验证结果表明,该方法能够有效实现在用船舶降噪工程的技术优化集成。     

基于扩展标记变迁模型的时钟同步协议正确性验证

时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性,也表明了扩展标记变迁模型对于协议验证的有效性。