锌渣的固化处理及浸出毒性试验研究

采用药剂稳定化、水泥固化以及二者结合等方法对锌渣进行了处理研究。结果表明重金属螯合剂的药剂稳定化和水泥固化相结合的方法处理锌渣,其重金属含量可以低于固体废物毒性浸出标准的限值,能有效控制对周围环境的污染。所以,采用药剂稳定化和水泥固化结合的方法处理锌渣是完全可行的。     

热惯性对热冲击半无限体热应力影响非傅立叶效应研究

考虑超快速加热引起传热过程的非傅立叶效应,基于线性热弹性理论和表面热惯性特性,建立了带惯性第一类边界条件的半无限体的动态温度场、热应力场方程组。用拉普拉斯变换法对方程组进行求解。结果表明,快速加热在半无限体内产生温度场和应力场,且热和应力呈波动输运机制。讨论了温升率或热惯性对半空间温度场和应力场的影响,比较弹性波波速与热波波速之比动态热应力的影响。     

数字地形数据的二维三次卷积插值

由于数字地形数据库是以网格的形式给出网格点上的地形高度信息，在低空突防轨迹优化过程中，往往需要非网格蹼地形的高度信息和地形曲面的导数，这些都是离散的地形数据库所无法提供的。对二维的地形数据进行插值是解决问题的有效手段。本文提出一种二维离散数据的插值方法－－二维三次卷积插值。该插值函数是地形曲面的三次逼近，具有连续的三阶导数，可以非常好地满足低空突防轨迹优化的需要。仿真结果表明，它具有比双线性插值和     

SQL Server对XML文档的数据抽取方法的分析与实现

XML正在逐步成为新一代Web数据描述和数据交换标准,将XML文档中的数据抽取到关系数据库中进行管理,可以极大的提高数据的使用效率。本文针对SQL Server对XML文档的数据抽取方法的原理进行了分析,并提出了具体的实现方法。     

基于在轨热环境的可展开天线反射面精度调整技术

随着宇航事业的发展,网状展开天线的尺寸越来越大,对形面精度要求越来越高(特别是高频段),在轨热环境与地面调整点的热环境差别大,必须采用基于在轨热环境的网面精度调整技术以满足反射面的精度要求。就在轨热环境下的辅助牵引面式网面精度调整技术的理论分析及调整方法进行了探讨,给出了计及在轨热环境的网面形状精度调整的基本理论公式及调整步骤,并对某样机进行了调整计算。计算结果表明,文中的分析、公式、方法是正确的,可行的。     

自由浮动空间机械臂的最优控制

自由浮动空间机械臂所满足的动量矩守恒方程是一个非完整约束条件。首先把铰关节角速度作为输入，建立起系统的状态方程。然后把输入表示成待定系数的Ｆｏｕｒｉｅｒ 基组合，从而将最优控制转化为对代数问题的求解。最后用非线性最小二乘法迭代求出同时使载体和铰关节达到预定位形，而且使输入能量最小的最优控制。仿真算例说明，本文的方法是有效的。     

基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。     

运载火箭飞行测量数据误差分析的小波方法

以提高火箭飞行跟踪测量数据处理精度为目的。结合弹道处理的实际，将小波理论运用于火箭弹道测最数据的分析。本文首先针对火箭飞行弹道测量数据的特征，应用小波理论建立了弹道测量数据事后误差分析处理方法的杠架模型，创建了雷达测量数据诸元的多项式和B样条时序分析模型，提出并验证了雷达测量数据的随机分布模型；其次，对受到噪声干扰时间段数据模型出现严重病态的情况，建立了基于多项式拟合和B样条函数选取有限时间段拟合的火箭弹道建模和预测的二次建模方法；最后，利用所提出的分析处理方法对某次任务两个测量站雷达弹道测量数据的分析，处理效果显著，精度理想。实验验证了上述方法是一种理想的弹道测量数据事后误差分析处理方法。     

雷达数据处理系统中网络安全与管理分析

一、引言 雷达数据处理系统（RDP）是航管雷达系统中最为重要的组成部分之一。它的主要功能包括：飞行目标点迹处理、跟踪功能；目标冲突告警处理（STCA）和低高度告警处理（MSAW）；结合飞行计划报（FPL）数据完成航班自动化处理功能；完成视频显示功能以及多雷达数据综合处理功能。现代工程中的自动化处理系统已将雷达数据处理系统与终端显示系统合成。     

诊断键合图在液体火箭发动机故障诊断中的应用

研究了通过诊断键合图模型建立液体火箭发动机解析冗余关系的故障诊断方法。通过在液体火箭发动机键合图模型中加入观测信号和虚拟传感器的方法，建立其诊断键合图模型，并利用此模型构建了系统的解析冗余关系。提出了根据诊断键合图因果路径并利用解析冗余关系残差趋势分析建立具有残差变化方向故障特征矩阵的方法，使故障特征值能更好地反映故障特征。最后利用仿真数据对诊断结果进行验证和分析，表明该方法建模简单、诊断速度快、准确性高。