独立函数及其R/W谱在逻辑设计中的应用

本文提出基于独立函数的逻辑设计方法,即如何利用独立函数和它的Rademacher/Walsh谱系数进行组合逻辑设计。这是组合逻辑设计方法的另一新途径。它有利于数字系统的模块化。     

FY-2C星后端应用系统设计与业务运行调度管理

介绍了风云二号(FY-2)C气象卫星地面应用系统中计算机网络及存储系统(CNAS)的总体设计目标、功能与组成,CNAS实时业务软件系统(CROSS)在系统中的调度和管理功能,以及在轨运行情况.从顶层设计的角度分别给出了网络系统、计算机系统和存储系统的总体框架,描述C星数据采集、传输、处理、存档和检索服务实时业务系统的功能与实现方法.分析了系统采用的软件工程化与公共服务、在线与存档文件规范、前置与收工处理、质量控制、设计与实现技术,以及部署方案与技术路线等关键技术及其特点.     

试论规范高校内部审计责任

本文结合高校内部审计工作实际，论述了规范高校内部审计责任的现实意义。指出规范高校内部审计责任的内涵及其存在的问题。提出了加强规范高校内部审计责任的几项措施。     

平面反射镜框的数控精加工

文中详细介绍了平面反射镜框的结构特点和材料的机械加工特性以及在数控编程和精加工中采取的工艺措施和方法。     

Ada语言在星载软件上的应用

介绍了星载软件的特点和构成，从提高星载软件可靠性的角度引入了高级程序设计语言－Ada语言与汇编语言的接口调用技术，以及使用Ada 语言开发星载软件和应用技术。     

碳纤维复合材料卫星天线反射面型面精度稳定性分析

文章简述了卫星天线的组成、制造工艺过程，着重对影响天线反射面型面精度和尺寸稳定性有关内容，从材料特性、铺层分析、成型模具材料和产品质量控制等内容进行了分析。     

纤维体积含量对开孔层压板拉伸性能的影响

本文主要研究了碳纤维织物增强复合材料的纤维体积含量V_f对开孔层压板的抗拉强度σ、断裂伸长率ε的影响。采用T300碳纤维平纹织物为增强材料,经树脂传递模塑法(RTM工艺)复合而成T300/环氧TDE-85层压板,用岛津强力测试机进行拉伸性能测试。     

一种无源北斗/惯导闭环组合算法

提出了一种北斗卫星定位系统和惯性导航系统的组合导航无源定位算法。以伪距率为观测量,基于高稳定度用户时钟,结合北斗系统的热备份星,在三星共视下用两级卡尔曼滤波器对惯导进行闭环校正。给出了组合导航系统的构成,以及第一、二级滤波的数学模型。该法能根据收星情况在闭环与开环方式间稳定转换。仿真结果表明,此算法可提高丢星时组合导航系统的滤波定位精度,有效校正惯导的姿态误差角,并以较高的精度估计用户的三维速度。     

卫星成本预测的蒙特卡洛优化模型研究

传统的卫星成本预测模型预测结果单一，未考虑相应的不确定性因素。对此，提出了基于蒙特卡洛方法的卫星成本预测模型。该模型综合考虑了卫星成本技术的不确定性并给出了预测值的区间范围和概率分布。为了降低应用该模型所产生的误差，提出了最优分层抽样的方法，并通过划分分层区间提高了抽样的效率。最后，将收集到的相关数据代人该模型，其结果精度大约提高了10％左右。可见，使用优化的蒙特卡洛方法进行卫星成本预测具有较好的精确度。