基于贝叶斯动态模型的自相关控制图

传统控制图应用的假设前提是从过程得到的观测值彼此独立.但许多过程存在自相关现象,并且这种自相关现象对控制图性能有严重影响.从工程实际出发,对AR(1) 过程模型提出了基于贝叶斯动态模型的自相关控制图,阐明了此自相关控制图的原理和方法;并将该控制图与基于过程模型的自相关控制图的性能进行比较.此控制图借助贝叶斯先验估计,建模迅速,不以时间序列模型为基础,对强自相关模型具有很好的性能.对强自相关过程,并要求迅速建立过程控制时,可以使用此自相关控制图,进行过程监视.      

激光快速熔凝Al2O3/YAG共晶陶瓷的制备与组织

采用激光快速熔凝技术制备Al₂O₃/YAG共晶自生复合陶瓷, 研究Al₂O₃/YAG共晶陶瓷在高能激光束作用下,不同扫描速率(0.01~2.0mm/s)、超高温度梯度下的凝固组织特征及其生长机制,探索激光熔凝过程控制参数与凝固组织的关系.研究结果表明:激光熔凝Al₂O₃/YAG共晶陶瓷由无规则连续分布的Al₂O₃相和YAG相两相组成,没有晶界和其他相,Al₂O₃相的体积分数为(45.0±2.0)%,两相耦合生长,交错分布,是典型的快速凝固层片状非规则共晶组织;共晶层间距细密, 并随激光扫描速度的增大而减小,扫描速度为0.02mm/s 时,共晶间距约为1~2μm,扫描速度为2.0mm/s时,共晶间距仅为0.5μm左右;综合热分析表明,Al₂O₃/YAG共晶熔点为2096K,与相图吻合.     

基于UML活动图模型的测试用例生成技术研究

为了设计和生成系统工作流程的测试用例,引入测试大纲模型的概念,设计出从UML(Unified Modeling Language)活动图模型到测试大纲模型,再到测试用例模型的三级转换过程和一组消除活动图模型中的非结构化特征、将其转化为模块化的测试大纲模型,以及把并发子过程实例化为一组典型测试场景的基本规则.还研究了针对每一个输入操作,选择基本输入数据集,并将其赋予测试大纲模型之上,从而构造测试用例模型的方法,以及最终基于测试用例模型生成完备的测试用例集合的方法.      

发动机内剩余推进剂排放对卫星表面污染的研究

应用真空物理的相关理论，分析了在高空超高真空环境中，发动机二次启动前推进剂排放及其在空中迁移的物理过程，给出模型假设和模拟方程，并针对此真空环境及物理过程应用合适的计算方法地方程进行求解。最后计算了推进剂的排放对卫星造成的污染，给出计算域内浓度变化的非定常过程及卫星表面不同时刻的最大污染量，为推进剂排放方案的实施与否提供理论依据。     

在部分烧蚀介质层中或附近的水平线天线辐射方向图的计算

本文从点源的Sommerfeld型积分表达式出发,给出了计算在部分烧蚀介质层中或附近的水平线天线辐射场的公式。也给出了一些具有实用意义的计算例,卉-进行了有关讨论。     

基于数据融合树的C3I信息融合系统体系结构设计

 在分析了基于范例的体系结构-数据融合树的基本概念及其不足之处的基础上,提出了基于数据融合树的信息融合系统体系结构设计方法,论述了该方法的原理,并应用该方法进行了C³I信息融合系统的体系结构设计,包括数据融合树的设计、融合节点体系结构设计、处理系统的体系结构设计和并行处理结构设计。     

航天飞控软件操作概图开发

航天飞控软件是具有高可靠性要求的软件系统,对其进行可靠性测试是航天飞控任务的基本要求。操作概图是进行软件可靠性测试的基础。由于开发大型软件系统的操作概图比较复杂,使其成为了制约开展软件可靠性测试的主要困难之一。本文以地面航天飞控软件为例,介绍了实时飞控软件操作概图的开发步骤和方法。首先是确定软件系统的操作模式,并确定每个操作模式所运行的相关软件;然后给出了识别每个软件的操作发起者和操作方法;最后对不同类型的操作给出了确定其发生概率的方法。     

基于邻帧差分近邻反相特征的红外运动点目标检测算法

基于运动点目标在邻帧差分图像中所具有的近邻反相特征,即运动点目标的两个位置相邻近、灰度值一正一负,提出一种在复杂背景下,基于红外序列图像的运动点目标检测算法.本算法利用该特征在邻帧差分图像中检测反相点对,进而构造反相点对矢量图,最后依据累积反相点对矢量图中多矢量首位相接的连续性检测出运动的点目标.文中给出并证明应用本算法能以概率1检测到运动点目标的收敛性定理.对典型复杂背景下10幅1000帧图像的仿真结果表明,当信噪比大于或等于1.5时,可以有效检测出运动点目标.     

Microstructure and Mechanical Properties of Cross-rolled Ti50Ni47Fe3 Shape Memory Alloy

The microstructures, the phase transformation characteristics, and the mechanical properties of the Ti50Ni47Fe3 alloy in as-forged and as-cross-rolled states were investigated. It is found that, after cross-rolling, the phase transformation temperature （Ms） of the alloy decreases drastically and the grains get refined. Moreover, its yield strength and fracture strength after cross-rolling hit 540 MPa and 687 MPa respectively, up by about 200 MPa over those in as-forged state.     

用红外热图技术进行升力体模型气动热特性试验研究

本文在介绍模型表面热流测量方法的基础上,重点介绍了红外热图技术测量的优点,并对红外测温原理、高超声速低密度风洞、红外热像仪、试验模型、数据处理方法等进行了叙述.在M∞＝16,P0＝1500kPa,T0＝923K,α＝0°、30°迎角的试验条件下,获得了半球圆柱模型、升力体模型表面对流换热系数分布,并把半球圆柱模型的红外测热结果与Lees分布结果进行了分析比较,结果表明当40°＜θ＜80°时,半球圆柱模型红外测热结果与Lees分布结果符合得比较好.最后对对流换热系数测量不确定度进行了初步分析.升力体模型对流换热系数测量不确定度大致为15%左右.