形式验证中ROBDD变量排序算法的研究

不良的ROBDD变量排序会引发状态空间爆炸的危机,从而影响形式验证方法的推广和使用。通过对CUDD数据包中ROBDD遗传变量排序算法的研究,利用变异操作和保留最优个体的时代繁殖操作对原算法进行了改进。实验数据表明,改进后的算法在可以容忍的运行时间内减少了ROBDD的节点数目,在一定程度上缓解了形式验证中状态空间爆炸的危机。     

关于复合磺酸钙基脂的工艺研究

论述复合磺酸钙基脂的制备及性能,探讨原料配比和工艺对脂性能的影响,介绍复合磺酸钙基润滑脂的应用前景。     

基于无源定位系统的航迹起始算法

航迹起始是多目标航迹处理中的重要问题.针对无源定位系统的特点,提出了一种基于无源定位系统的航迹综合起始算法.首先对原始数据进行预处理,利用速度时间准则和相关波门来搜索可能的航迹,然后利用改进的3/4逻辑法进行航迹确认.基于实测数据的仿真结果表明了该算法的有效性和可行性.     

航天器分布式协同配置技术研究

首先分析了对航天器进行分布式协同配置的原因,并对实施分布式协同配置的组成单元——产品配置服务进行构建和阐述,结合多智能体（Multi Agent）和Web服务（Web Service）的特性分析了分布式协同配置过程,最后给出了配置评价算法。     

一种基于Bump-Jump的BOC(1，1)信号码跟踪方法

BOC调制方式使Galileo信号与传统GPS中的BPSK信号相比有着良好的抗多径和抗单频干扰特性,但由于其自相关函数的多峰值性,会带来跟踪误锁问题。文中以BOC(1,1)信号为例,详细介绍Bump-Jump跟踪算法的传统设计思想,并在此基础上提出一种新的利用鉴别器实现误锁判断的码跟踪方法,且在现有的Galileo软件仿真平台上进行验证。实验结果表明,方法能有效地减少误锁,使码跟踪环路正确地跟踪主峰。     

高频激励下旋转柔性臂逆动力学模态自适应方法研究

在空间柔性机械臂的动力学与控制问题中,逆动力学求解常要求有较高的计算速度.当柔性多体系统受到高频激励时,必须考虑高阶模态才能保证足够的计算精度,但同时提高了计算自由度数,降低了计算速度.为了提高此类问题的计算效率,本文将模态自适应策略应用于旋转柔性臂逆动力学建模,计算了高频激励下产生期望旋转运动的柔性臂关节驱动力矩,验证了该方法的有效性,并研究了重力对计算结果的影响.      

VHF地空数据链网关信息处理模式分析

VHF数据链网关信息处理模式直接影响系统的实时性,采用排队论模型详细分析了两种信息处理模式对系统实时性的影响,进行了计算机仿真,通过分析仿真结果,得到了适合的信息处理模式。     

气门形状对汽油机缸内空气运动的影响

内燃机缸内的空气运动对混合气的形成以及燃烧过程有着重大影响,是燃油消耗率,排放和燃烧噪音的决定性因素之一.多维数值模拟方法具有费用低,给出的信息量大等特点,便于研究几何形状等参数变化对内燃机燃烧性能的影响以及进行多方案的对比研究.将其用于内燃机缸内流动过程的研究,可对内燃机缸内流运过程的研究提供一种新的研究手段.本文用任意拉格朗日-欧拉法(ALE方法)编制的大型KIVA3程序模拟了某四气门汽油机的缸内三维流动过程;研究了两种不同长度气门杆的四气门汽油机的缸内流动,分析了汽油机的进气门形状对缸内空气运动及缸内滚流的影响,研究结果表明,四气门汽油机的使用,能在缸内产生滚流现象,气门形状不同,缸内滚流的大小略有不同,采用长气门杆,其缸内滚流要比短气门杆略强一些,这些研究结果可为汽油机的进气道及其气门的设计提供了依据.      

ACARS报文通信服务器的设计与实现

着重介绍ACARS(飞机通信寻址与报告系统)报文通信服务器的软件设计方案及实现方法.ACARS报文通信服务器通信模式采用了客户/服务器(Client/Server)模式.为了提高系统的实时性和响应速度,ACARS报文通信服务器设计成多线程并发服务器.ACARS报文通信服务器实现了实时接收、发送和分发ACARS报文.该系统已经成功地应用于中国民航VHF(甚高频)数据通信网网络监控中心.      

飞机发动机冷气道与隔热层的耦合传热分析

数值研究了某飞机发动机外侧冷气道与隔热层的耦合传热过程。采用低雷诺数k-ε模型与SIMPLEC算法计算通道内可压缩变物性气流的湍流对流换热,采用蒙特卡罗法求解通道壁面间的辐射换热。通道内气流湍流对流换热、壁面间辐射换热与隔热层内导热耦合求解。通过模拟计算,分析了通道与隔热层的耦合传热机制,考察了相关参数的影响。结果表明,在所考虑的通道结构与空气流条件下,冷气道外环壁面的温度高于气流温度,气流对内外环壁面均起冷却作用;在隔热层参数不变条件下,壁面间的辐射换热与气流的对流冷却是该传热过程的控制机制,增大冷气流量、降低壁面发射率均可显著降低隔热层的外壁面温度。