基于扩展Petri网的除冰软件安全需求建模和验证

Petri网是形式化的系统建模方法,以严格的数学基础来保证系统的正确构建,但在支持复杂软件建模和自动化验证方面存在不足.扩展了Petri网的形式语义,区别定义了状态型和数值型库所,区别定义了变迁的激发和抑制状态,引入了无前置、一元和组合判断规则,同时根据形式化定义将模型自动转换为检验程序实施安全性验证.最后给出了以上方法在典型安全关键软件-除冰系统上的应用,过程和结果表明扩展的模型和方法增强了Petri网对复杂软件系统的建模能力,提高了软件的安全性,从模型到验证代码的自动转换解决了完善模型时人工修改相应代码的工作量和因此而引入人为错误的重复工作量的问题.     

改进SA模型对翼型分离流动的数值模拟

采用(CFD,Computational Fluid Dynamics)软件Fluent,选取(SA,Spalart-Allmaras)模型,对风力机翼型S825进行了二维数值模拟,并与实验数据进行比较.针对SA模型不能准确预测翼型尾部流动分离的情况,分析了分离区域内湍流的强非平衡输运特性.研究表明,SA模型中系数C_b1与湍流的非平衡输运特性密切相关,进而提出了修正模型系数C_b1改进SA模型的方法,结果表明该方法能够更准确地模拟风力机翼型分离流动.     

ZrB2 -SiC 的制备方法和性能研究

由于在极端环境中的优异物理化学性能,ZrB2基超高温陶瓷材料成为未来空天领域最具前途的候选材料之一,尤其是ZrB2-SiC材料近几年更成为研究热点。本文对ZrB2-SiC材料的制备、烧结致密化和力学性能等研究做了综合评述,重点对制备方法与使用性能间的关系进行了相关介绍。     

火箭发动机随机推力调节控制驱动器的研制

为满足某型号液体火箭发动机定混合比随机无极变推力工作要求,研制了基于DSP处理器的随机推力调节控制驱动器。该控制驱动器实时接收随机变推力指令,在定混合比条件下,协调控制发动机系统上的燃料及氧化剂路调节阀,从而控制燃料及氧化剂流量,完成发动机的随机变推力控制。其参加多次发动机系统冷调试验及地面全程热试车,工作稳定可靠,实现了变推力双组元推进剂流量同步控制,精确控制发动机混合比,快速响应随机变推力控制要求。     

基于云计算的广域差分增强系统研究

研究利用云计算技术提升现有导航定位系统功能,给出云计算技术支持下的导航定位云系统的基本原理和网络拓扑,将云计算引入广域差分增强系统进行导航定位信息的实时播发研究,提出一种基于节点异构性的分层混合组播云结构的广域差分增强系统,并对其进行性能分析。结果表明,该云系统网络配置简单,可扩展性强,实时性较好,可以很好地满足导航增强信息在互联网上大规模实时播发的应用需求。     

引入图像复原技术的遥感卫星图像压缩解码算法

针对遥感卫星基于小波变换的光学图像有损压缩算法,提出了一种引入图像复原技术思路的算法,对遥感图像解码处理过程中获得的低频信息进行复原,可以获得更多的用于在频域范围内描述图像结构信息的高频分量增益,从而提升整个解码图像的质量。通过此算法与传统的小波压缩算法进行对比,结果表明:压缩恢复图像的峰值信噪比(PSNR)较传统算法有0.1~0.3dB的改善,压缩恢复图像表现出更为丰富的纹理特性,可降低对遥感卫星图像数据处理和天地链路数据传输的要求。     

Cubature Kalman filtering for relative spacecraft attitude and position estimation

A novel relative spacecraft attitude and position estimation approach based on cubature Kalman filter is derived. The integrated sensor suit comprises the gyro sensors on each spacecraft and a vision-based navigation system on the deputy spacecraft. In the traditional algorithm, an assumption that the chief?s body frame coincides with its Local Vertical Local Horizontal (LVLH) frame is made to construct the line-of-sight observations for convenience. To solve this problem, two relative quaternions that map the chief?s LVLH frame to the deputy and chief body frames are involved. The general relative equations of motion for eccentric orbits are used to describe the positional dynamics. The implementation equations for the cubature Kalman filter are derived. Simulation results indicate that the proposed filter provides more accurate estimates of relative attitude and position over than the extended Kalman filter.     

基于组合自适应横向滤波器的噪声消除

为有效消除无法获取相关噪声源情况下有用窄带信号中的噪声,根据窄带信号的可预测特性,采用自适应横向滤波器对噪声进行抑制。为进一步提高噪声消除性能,设计了组合自适应横向滤波器结构。采用该结构对窄带信号中的噪声进行消除,计算量明显小于采用普通自适应横向滤波结构,并且能获得更好的噪声消除效果。     

载人航天器舱内辐射环境及剂量分析

构建载人航天器模型,利用Geant4软件计算了银河宇宙射线中的质子穿过载人航天器后在水模体中的总吸收剂量以及次级粒子吸收剂量,并且统计了不同种类的次级粒子在水模体中的总数量分布。计算结果表明,次级粒子引起的辐射剂量所占比例为50%,且二次电子总数量达到了10~7量级。     

多旋转关节空间太阳能电站概念方案设计

对于国际上典型的空间太阳能电站概念方案进行了分析,在此基础上提出了一种新的概念方案--多旋转关节空间太阳能电站,并给出总体构型和主要分系统初步方案设计结果。该方案采用多个相互独立的太阳电池子阵代替了传统的整体式太阳电池阵,以多个中等功率的导电旋转关节替代传统的极高功率的旋转关节,不仅解决了传统空间太阳能电站方案中的极大功率导电旋转关节技术难题,还可以避免导电关节的单点失效问题,模块化的设计也使得系统的组装和构建更加可行。