SAW相关器与扩频同步信号的时间估计

给出两种ＳＡＷ器件：存贮式和双输入式ＳＡＷ相关卷积器，并分析它们作为解扩器件对同步信号到达时刻的估计精度。同步问题是对同步信号的检测和对信号到达时刻的估计。当扩频同步信号被检测到且满足（τ为码元宽度）时，同步信号被捕获（即达到了粗同步）。通过对两种器件时间估计精度的分析可以看出，在相同的检测概率下，双输入式ＳＡＷ相关卷积器的估计精度比存贮式的高。最后利用双输入式ＳＡＷ相关卷积器对信号时间轴压缩的性质进一步提高了估计精度。     

某涡喷发动机防喘控制的试验研究

介绍了某涡喷发动机针对武器发射的防喘控制系统的试验研究,包括发动机在进口温度瞬变条件下稳定工作边界的试验、短时增稳防喘系统控制规律的优化、飞行试验验证和对试验结果的初步分析。     

定时定量自动润滑在设备上的应用

文章介绍了定时定量自动润滑装置,比较了机械式和电气式定时润滑的优缺点及两种装置在设备上应用的发展趋势.     

固体火箭发动机特性对空射滑翔式弹道飞行器性能影响分析

为研究空射滑翔式弹道飞行器固体火箭发动机特性对飞行器综合性能的影响,构建了基于序列二次优化法(SQP)的弹道优化模型,设计了多套不同推力形式、不同特性参数的固体火箭发动机方案。通过开展空射滑翔式弹道飞行器弹道仿真分析,获取了不同动力特性下的最优爬升攻角变化规律,对比分析了相关弹道特征指标。结果 表明:采用长时间-小推力...     

基于NuSMV的AADL模型形式化验证技术

结构分析描述语言(AADL)是一种描述任务关键嵌入式系统架构和行为的建模语言，在航空航天领域广泛被应用。为验证AADL模型的任务关键属性和系统行为的正确性，提出基于NuSMV(新符号模型检查器)的AADL模型形式化验证方法。首先，覆盖AADL模型的所有软件构件和行为特征，提出了AADL模型到NuSMV模型的映射规则和转换算法；其次，采用图同构方法分析了转换算法的正确性；然后，在NuSMV模型中采用时态逻辑公式对AADL模型中待验证属性进行描述，以验证AADL模型中安全性、活性和嵌套模态配置的正确性；最后，以飞行控制系统为例，详细阐释了基于NuSMV的AADL模型形式化验证方法，并给出验证属性的统计信息。