聚酰亚胺/无机氧化物复合薄膜的制备与耐原子氧性能

分别以锆酸四丁酯、钛酸四丁酯和正硅酸乙酯为氧化物前驱体,利用溶胶凝胶法制备了一系列聚酰亚胺/无机氧化物复合薄膜,在原子氧地面模拟设备中进行了原子氧暴露实验,原子氧累计通量约为3.1×10²⁰ atom/cm².分别考察了无机氧化物种类和含量对复合薄膜力学性能和耐原子氧性能的影响.结果表明,无机氧化物在聚酰亚胺基体中的分散形态对其力学性能影响很大;原子氧暴露后,聚酰亚胺薄膜表面分别形成了富锆、富钛和富硅的保护层,质量损失率减小,耐原子氧性能明显提高.     

空间色噪声下信号频域检测方法性能分析

水下小孔径阵列的应用环境是色噪声环境,针对超增益波束形成方法在色噪声环境下噪声协方差矩阵估计偏差使阵列空间增益不能达到最大的问题,提出了一种频域超增益波束形成方法(FSD, Super-Directive beamforming in Frequency domain),该方法将宽带接收数据分成多个子带,在每个子带内分别估计噪声协方差矩阵,降低了噪声协方差矩阵的估计偏差,并使用估计得到的噪声协方差矩阵对接收数据解相关.最后使用空间谱检测器检测微弱目标信号.实测噪声数据的仿真结果表明,空间有色噪声环境中FSD方法的检测性能优于传统的时域超增益波束形成方法(TSD, Super-Directive beamforming in Time domain)2 dB,优于频域最小方差无畸变响应(FMVDR, Minimum Variance Distortionless Response in Frequency domain)波束形成方法2 dB.     

一种改进的基于双矢量观测的姿态确定算法

为了提高飞行器姿态确定的精度和姿态矩阵的解算速度,提出了一种改进的双矢量定姿算法.这种算法利用测量系统的方差对两个观测矢量进行加权处理,求得一个新的矢量,以两观测矢量夹角为判断依据选取加权系数;以新矢量为基准矢量,利用双矢量定姿算法求解姿态矩阵,并对求得的姿态矩阵进行修正.仿真结果表明:这种算法所需时间为优化算法的50%,当两个传感器测量误差不同、两矢量为任意夹角时,这种算法比优化的双矢量算法精度高;当两个传感器测量误差相同时,除了两矢量夹角为90°外,这种算法均比优化的双矢量算法精度高.     

多用途导弹引信及战斗部主要参数优化设计

针对目前多用途导弹对武装直升机单发杀伤概率建模中存在的不足,引入桨叶易损单元重要性因子的概念,运用蒙特卡罗方法和运动学原理采用新思路建立旋翼激光引信启动模型和战斗部对旋翼桨叶条件杀伤概率模型,为准确客观地分析多用途导弹对武装直升机目标的杀伤概率提供了必要的数学工具.基于所建立的多用途导弹单发杀伤概率模型,对多用途导弹引信和战斗部主要参数进行多目标优化设计,优化结果明显改善了单枚多用途导弹对武装直升机的杀伤性能及引信和战斗部的参数设计.     

发动机羽流作用下的实时月尘运动仿真

月尘运动是月球探测器软着陆过程中不可或缺的重要环节,针对发动机羽流作用下月尘运动真实感不强和月尘颗粒运动模型过于简单的问题,提出了一种逼真的实时月尘运动仿真方法.通过计算流体动力学(CFD, Computational Fluid Dynamics)和二次谢别德插值(Quadratic Shepard)方法,分析和计算单个月尘颗粒的运动学模型,得到一定初始条件下粒子运动的二维轨迹曲线;通过分析粒子的数量、初始位置、初始速度、生命周期等参数对粒子运动学的影响和变化规律,抽象出月尘系统的粒子集;建立基于月尘粒子集的月尘运动模型.实验结果显示:该运动模型逼真的模拟了发动机羽流作用下月尘腾起、飞溅、弥漫、消散等运动过程,视觉真实感和实时性能良好,对研究真空环境中的月尘运动及月球软着陆等相关领域具有一定的参考意义.目前该方法已应用于北航虚拟现实国家重点实验室月球软着陆仿真系统.     

压电悬臂梁智能元数字仿真模型设计及分析

针对在薄壳结构上层合压电传感器与作动器的智能结构系统进行振动控制问题,提出了一种专用的数字电路化智能元仿真模型进行振动特性分析的新方法.以压电悬臂梁系统为例,利用有限差分方法将主体结构、压电传感信号及压电控制力矩的动力学偏微分方程转化为智能元差分方程;建立基于Newmark-β积分方法的智能元数学矩阵模型;在DSP数字电路系统上设计智能元仿真系统;对不同差分密度和积分时间步长下系统各个模态的输出特性进行了分析,并与相关文献中采用不同控制方法的模拟电路仿真结果进行了比较,取得了更精确的结果.该方法为压电结构系统的振动特性仿真分析提供了新途径.     

Flash存储中的纠错编码

Flash闪存是一种非易失性的存储器件,随着工艺尺寸的不断减小,存储容量需求的不断增加,存储可靠性与寿命成为Flash生产与应用过程中最严重的两个挑战.基于多级 (MLC,Multilevel Cell) "与非(NAND)型" Flash的层级结构特征与读写操作特性,构造了一种基于正交映射的纠错编码方法,给出其编解码原理与结构,并分析其纠错能力.在此基础上,分析了该编码方法在Flash存储系统中的两种典型应用场景,即分布式多用户共享存储以及历史数据的无差错恢复.此外,Flash存储单元的可靠性受擦除次数的限制,其寿命相当有限,该编码方法可以有效地利用坏块来提高Flash的整体生命周期.分析结果表明:不改变整体结构,只需对编码模块进行简单调整,即可实现多种实际应用需求.     

军工高安全软件数值型运行时错误分析方法

提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现.     

中国地区MAGSAT卫星标量和矢量磁异常图

使用MAGSAT卫星资料,编绘中国及邻近地区的卫星磁异常图(10°N—60°N,70°E—140°E)。为了提取地壳异常场,必须从观测资料中消除主磁场、磁层场,感应场和电离层场。本文选用GSFC(12/83)地磁场模型,消除主磁场,磁层场和感应场。为了进一步消除电离层场的影响,改善相邻轨道磁异常的一致性,用纬度的二次多项式拟合每一条轨道的初始地壳异常,并从初始地壳磁异常值减去这一拟合值,从而获得最后的地壳异常值(△X,△Y,△Z,△F)。把研究地区分成1°×1°的网格,将每个网格内的磁异常进行平均,以获得网格中心点的异常值。根据这些网点值绘制中国及邻近地区的卫星标量和矢量磁异常图。等值线间隔为2nT。为了检验卫星磁异常图的可靠性,将卫星资料分成黎明组、黄昏组和联合组,分别进行处理和绘制卫星磁异常图。结果表明:根据上述资料绘制的卫星磁异常图有很好的一致性。中国地区的卫星磁异常值位于—10nT—10nT。卫星磁异常与区域构造特征有较好的一致性;塔里木地台、扬子地台和中朝地台是正磁异常区,西藏高原是负磁异常区。卫星磁异常反映出下地壳磁化强度的横向不均匀性。     

CC—高阶通信系统的并发演算

并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。