民用飞机空气管理系统(AMS)机载软件计划阶段评审综述

本文首先介绍民用飞机机载软硬件的适航认证标准,重点介绍DO-178B;其次介绍了空气管理系统及其对应的机载软件,并以这套机载软件研制过程中的计划文件为例,描述了计划文件的评审过程,总结了评审的重点及难点;最后对目前软件适航评审技术进行了总结及展望。     

φ-混合随机变量序列加权和的完全收敛性及完全矩收敛性

【目的】对φ-混 合 随 机 变 量 序 列 的 完 全 收 敛 性 和 完 全 矩 收 敛 性 进 行 讨 论。【方 法】利 用 φ-混 合 随 机 变 量 序 列 的Rosenthal型极大值不等式。【结果】建立了φ-混合随机变量序列加权和的完全收敛性,并且在同样的条件下得到了φ-混合序列的完全矩收敛性。【结论】所得结果推广并改进了已有文献中关于 NA 序列相应的结果。