基于懒替换的C符号执行

针对传统符号执行中的动态地址计算问题,提出了基于懒替换的符号执行方法.通过引入尽可能替换的策略,基于懒替换的符号执行在无法静态确定变量的地址或符号表达式过长时不做符号替换.首先给出了基于懒替换的符号执行算法,在此基础上,详细分析了C语言主要结构尤其是数组和指针的懒符号执行语义.LazySEC是一个面向C程序的懒符号执行系统原型,初步实验表明,它可以有效地处理含有指针和结构体等涉及动态地址计算的程序语言结构.     

飞行器多学科优化设计中基于产品模型的数据集成

针对飞行器多学科优化设计软件集成中不同应用领域间数据交换问题，讨论了采用集成产品模型技术来实现数据交换的方案，利用多视图的产品模型来满足不同领域的数据需求，并结合某飞行器多学科设计优化给了基于集成产品模型的应用间数据交换的实例。     

液体远地点发动机推力室工作过程数值仿真

研究了远地点发动机(N2O4／MMH)的推力室工作过程,考虑了自燃推进剂的雾化、蒸发以及化学反应流动过程,采用交错网格系统的SIMPLE算法,得到了不同边区冷却流量对推力室的内流场和燃烧效率的影响结果,数值计算的结果与理论分析相符合,为推力室工作过程的稳定性分析提供了重要参考。     

补燃循环火箭发动机气液同轴式喷嘴声学特性研究

基于经典声学和振动理论,运用流体动力学基本方程描述燃气通道内气体的波动现象,建立了双组元同轴直流离心式气液喷嘴声学特性分析的物理、数学模型,采用四端网络方法进行了计算。对单喷嘴声学模拟试验结果进行了分析。结果表明,所建声学特性分析模型用于分析喷嘴波动过程是可行的;合适的通道长度和节流嘴直径对液氧／煤油补燃循环发动机高频燃烧不稳定性有明显的阻尼作用。     

变码长图像编码数据实时解码器的设计与实现

给出了基于空间得采样图像压缩方法实时解码器的设计与实现。解码器的设计针对压缩编码算法的多模式处理及变码长的特点，找到一套简单有效的措施，实现了有非匀速环节的解码算法，设计中通过灵活的数据并串相互转换很好的控制了解码过程的变码长、非匀速问题，同时精细的并行流水线结构和高效的算术运算设计为提高解码器的速度性能，为高速下实现实时解码提供了保证。最终基于FPGA实现的解码器工作速度可达264Mbit/s。     

AP／HMX HTPB推进剂的能量特性

介绍了ＡＰ／ＨＭＸ ＨＴＰＢ推进剂能量特性。理论计算表明，ＨＭＸ取代部分ＡＰ可增加比冲，降低火焰温度和燃气中ＨＣＬ含量，ＨＭＸ代替２０％ＡＰ，比冲增加２５．４６Ｎ．ｓ．ｋｇ＾－１。用ＢＳＦΩ     

在SRAM型FPGA中局部重构与配置刷新的兼容方案

SRAM型FPGA开发过程灵活,成本低,并且具有系统局部重构的功能,在航天领域有广泛的应用前景.但该类FPGA对单粒子翻转非常敏感,限制了其在航天领域的应用.配置刷新结合三模冗余的方法能够有效地抑制其单粒子翻转效应的影响,但配置刷新的方法与FPGA的局部重构功能存在资源冲突的问题.提出一种在SRAM型FPGA中同时应用...     

分布交互仿真的一个原型系统—DIFTS

介绍了分布交互仿真的概念及其背景，分析了它的特点及涉及的关键技术，然后，设计了分布交互仿真的一个原型系统－ＤＩＦＴＳ，分析了ＤＩＦＴＳ的功能模型，并对其进行了功能分解，给出了各模块的功能，最后，介绍了系统的硬件组成及支持工具。     

三种新型真空容器大门运行机构的设计

真空容器大门运行机构根据大门类型、尺寸、使用场地情况及用户的不同要求选择不同的结构形式。近年来我们公司为了不断满足市场的需求,组织专门力量开发了各种新型大门运行机构,取得了非常好的效果。文章介绍了3种真空容器大门运行机构的工作原理、设计思路以及结构组成,可供真空容器设计者参考借鉴。     

机器人的空间位姿误差分析方法

采用了五参数模型作为机器人的运动学模型,根据相邻构件间的误差传递关系,应用位姿建模矩阵法建立了机器人的位姿误差模型,并编制了基于C++的位姿误差分析软件.利用所编制的误差分析软件,针对一6-DOF空间摄像机器人具体实例,计算分析了参数变化对机器人的末端位姿误差的影响规律,并绘制了该机器人的等误差曲线图.通过所建立的五参数误差模型和分析软件,可以直观地了解机器人机构的误差分布情况,便于合理地使用机器人或进行机器人机构误差的校正.研究结果为机器人的误差补偿提供了依据.