等效性验证工具进行大规模FPGA验证探讨

文章分析了FPGA设计验证的一般流程,并以等效性验证原理为基础,结合等效性验证工具,探讨了大规模FPGA设计验证的工作流程及具体实施过程,对优化FPGA设计验证流程给出了建设性建议。     

基于弱相关界限理论的大型振动试验设备台体系统可靠性分析

航天器振动试验台部分元件在长时间使用的情况下易老化,甚至失效。采用FMEA方法对试验台整体定性分析,得出最薄弱环节;针对试验台中水平滑台的可靠性串联模型,分析并确定了其符合弱相关界限理论。使用传统可靠性公式和弱相关界限理论对串联模型的可靠性进行了计算,通过对比证实,弱相关界限理论比传统可靠性公式更符合实际情况,对水平滑台可靠度的评定更有效。该方法对机械系统可靠度计算具有理论和实际指导意义。     

液体火箭发动机基于ATA算法的实时故障检测与报警系统实现

以平台液体火箭发动机为研究对象,改进和完善了用于发动机实时故障检测的自适应阈值门限算法（ATA算法）,提高了算法检测的适用性。然后,从健康监控系统的功能和要求出发,基于LabWindows／CVI实现了发动机地面试车的实时故障检测与报警系统。结合实际试车数据的检测结果表明,系统不仅能够及时地对异常试车数据进行检测报警,同时,对正常试车数据也没有误报警。     

伪码测距在深空探测任务中的应用

目前深空探测任务中广泛采用的测距体制为宽带转发模式,这种体制在转发有用测距信号的同时将上行信道噪声也转发下来,导致星上功率利用率降低。若采用再生伪码测距体制,则避免了转发过程,极大地提高了星上的功率利用效率,因而代表了未来深空探测任务测距体制的发展方向。CCSDS于2009年3月发布了伪码测距的蓝皮建议书,提供了伪码测距的国际标准。介绍CCSDS建议的伪码测距体制,研究其捕获和跟踪性能,并讨论其在深空探测任务中的应用。     

大型空间环模设备热沉管网系统仿真计算

文章结合某大型空间环境模拟设备,建立了复杂热沉管网的计算模型。利用Flowmaster软件,对热沉管网的流动和换热现象进行了模拟计算。根据计算结果,对该大型管网热沉的结构改进提出了意见,并进行了对比分析。改进后的热沉管网系统在流量和温度均匀性方面均有较大的改进。     

边界元法在非稳态导热问题中的应用

本文用边界元法分析与计算了航空发动机涡轮工作叶片温度场的瞬态分布。     

结构优化设计专家系统ESOPD的设计与应用

介绍了结构优化专家系统ESOPD的原理与应用,包括知识库的建立、推理机的选择、用户接口的设计等。对知识库中的知识作了重点介绍。     

磁尾的平衡结构

考虑到等离子体片和等离子体幔的存在,我们从Vlasov方程出发得出一个自洽的二维磁尾平衡模式。在这个模式中,假设等离子体处于平衡状态,压强是各向同性的,还假设沿磁尾方向各种参数的变化率较垂直于等离子体片方向的变化率要小得多。晨昏方向的变化则完全忽略不计。这个模式体现出磁尾的一些主要结构要素:(ⅰ)高温等离子体组成的等离子片;(ⅱ)等离子体片中的闭合磁力线;(ⅲ)等离子体极其稀薄的磁尾瓣;(ⅳ)等离子体幔;(ⅴ)磁层顶;(ⅵ)张开的磁尾。讨论了等离子体幔的存在对磁尾平衡结构的影响,结论是等离子体幔的存在使磁尾的形状更趋于尾形,于是,至少部分克服了Birn模式的困难。     

正交投影二次曲面立体图的斜置对称面检测

斜对称检测是三维重建中一个重要的环节,恰当地对斜对称进行处理可以减少几何约束,从而降低三维重建的复杂度.改进了Sugimoto提出的包括椭圆曲线在内的平面二次曲线的斜对称检测方法,扩大了实体的覆盖域,实现了包括双曲线和抛物线在内的二次曲线的斜对称检测,并通过参数化检测的方法完成了空间二次曲线的投影匹配,最终得到二次曲面体的斜对称面.最后经算例验证得到了满意结果.     

基于FSQP算法的涡扇发动机多变量最优加速控制

深入研究了新的非线性规划算法———FSQP算法。提出了一种基于FSQP算法的涡扇发动机多变量最优加速控制方法。该方法可以提高发动机的加速性能并满足加速过程中的各项约束条件。最后,通过仿真表明了该控制算法的可行性和良好的控制效果。