基于分离逻辑的程序分析技术

分离逻辑是John C Reynolds和Peter O’Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。     

基于小波变换的直升机声目标识别

综述了小波变换的原理和性质以及它在直升机声目标识别当中的应用。主要论述了利用小波变换进行信号分解与滤波、目标特征提取等方面的应用,最后给出了计算机模拟仿真结果。结果表明,利用信噪分离方法和目标特征提取方法可以在低信噪比情况下准确识别目标。     

滚动轴承含噪声谐波信号的欠确定盲源分离方法研究

目前使用的大多数盲源分离方法都依赖于观测传感器数量大于或等于信号源数目这样一个基本假设。算法主要针对传感器数量m小于源信号数量n(欠确定)情况下旋转机械含噪声谐波信号的盲源分离问题展开研究。它在输入信号频域稀疏性假设和源信号之间线性混合假设的前提下,提出了一种势函数聚类的源数目估计方法,并对通道衰减和延时进行了计算。实验信号仿真结果证明了该方法的可行性和可靠性。     

线性模型的海基制导系统误差分离方法性能分析

利用传统制导工具系统误差线性回归模型,对Bayes估计、主成分分析以及正则化分析三种改进的分离方法进行了比较,分析了它们在工程应用上的优缺点,给出了实际应用时的限制因素;同时结合海基导弹特有的初始状态误差,设计了整体估计、分段估计以及迭代估计三种估计策略,给出了相应的分离步骤。仿真结果表明,文中给出的三种误差分离方法在不同的评价标准下具有不同的实际应用意义;而在弹道差评价标准以及方差评价标准下,分段估计和迭代估计策略下的误差分离结果要明显好于传统整体估计结果。     

吸气式高超声速飞行器助推分离过程数值仿真

针对吸气式高超声速冲压发动机验证性试验特殊的飞行环境和助推分离条件,以某轴对称吸气式高超声速飞行器级间分离问题为具体研究对象,采用非结构网格局部网格重构技术和非定常问题非定常六自由度问题仿真方法,对该复杂构型飞行器助推分离过程进行数值计算。研究得到弱干扰冷态分离状态下飞行器及助推器的运动参数和气动力参数在分离过程中的发展规律。对0.3 s内助推器的位移轨迹进行分析,判断分离方案的可行性,并给出最佳的分离工况条件。     

信源数动态变化的一种稳健超定盲分离算法

针对大多数现有盲分离算法都假定信源数已知,分析了信源数未知且动态变化时的超定盲分离(接收天线数多于信源数)算法,通过奇异值分解在线估计信源个数,并修正自适应神经网络的维数。文章在经典Cichocki-Unbenauen算法中加入动量项,设置可变步长,使分离性能得到较大的改进,同时避免训练陷入局部最小。与文献[1]新提出的ANA算法相比,仿真结果证明本文算法具有更快的收敛速度和更小的稳态误差。     

相同高度两相邻建筑防火间距设计

防火间距设计是建筑工程消防安全设计中很重要的一项内容。通过相同高度两相邻民用建筑防火间距设计工程实例，结合国家现行《建筑设计防火规范》中的有关规定，探讨了《建筑设计防火规范》对相同高度两相邻建筑防火间距设计要求方面存在的问题。     

典型线性火工分离装置作用过程数值模拟及试验研究

针对目前线性火工分离装置的优化设计主要依靠试验验证,成本高且设计优化迭代慢的问题,采用任意拉格朗日-欧拉方法建立典型线性火工分离装置的数值模型。通过火工分离试验和光子多普勒测速试验对上述数值模型进行验证,发现该数值模型具有较好的精度。使用该模型研究上述火工分离装置分离瞬态过程的力学机理,并定量分析多种因素对分离装置重点部位等效塑性应变等关键特征量的影响。研究发现,芯药线密度、分离板削弱槽底部的圆角半径对分离装置的作用过程有重大影响。此外,保护罩材质、削弱槽开口角度、分离板槽结构尺寸等因素对分离过程也有一定影响,但其影响相对较小。研究结果可以为典型线性火工分离装置的优化设计提供基础。     

排液槽对折板捕雾器性能影响数值模拟

为研究气液分离器内使用的折板式捕雾器的流场特性及排液槽对其性能的影响,利用流体动力学计算软件Fluent,采用Low-Re Stress-Omega模型和DPM两相流模型,对捕雾器气液两相流流场进行了数值模拟。通过对比安装排液槽前后捕雾器内流场,分析了排液槽对捕雾器流场速度、液滴运动轨迹的影响;发现排液槽能大幅提高捕雾器的除雾效率,10μm以上液滴基本能够全部去除,但是也会使除雾器压降急剧增大。最后研究了排液槽主要结构参数——折弯直径和长度对捕雾器性能的影响,发现增大排液槽折弯直径和长度均能增加除雾效率,但同时也会增大进出口压降。     

基于联合时频滤波的多目标回波信号分离算法

针对弹道中段多目标回波信号分离的问题,提出了基于联合时频滤波的多目标信号分离算法。该算法先对多目标回波信号进行自相关处理和峰值提取,得到目标信号的周期,接着用该周期对回波信号的Gabor变换和PWVD变换结果进行分段,然后将各段时频图相乘,获得新的时频支撑域,最后用新的时频支撑域对回波信号进行时频滤波,克服了交叉项的干扰和时频聚集性不高的缺点,分离出了不同周期的目标信号。仿真结果证明了该方法的有效性和先进性。