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

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

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

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

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

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

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

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

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

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

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

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

导弹机动突防滑模制导律

为了得到一种用于导弹机动突防的制导律,我们在制导律设计中令视线角速率跟踪正弦有界震荡信号.在导弹机动突防过程中,导弹自动驾驶仪的惯性滞后会影响制导精度.我们利用递推李雅普诺夫设计方法推导出了一种考虑自动驾驶仪惯性的运动跟踪滑模制导律,它可以令视线角速率跟踪给定的指令信号.仿真结果表明,这种制导律可以令导弹机动突防成功的概率提高到89%,而且在自动驾驶仪滞后情况下的制导精度很高,脱靶量仅有0.3mm.     

在地球极区无奇异的再入飞行器质心运动方程

传统的再入飞行器质心运动方程用经度和纬度描述地理位置，在南北极极点处奇异，在南北极区病态。本文提出利用位置矢量的三个方向余弦，称为“三余弦数”或“三元数”，代替经纬度，推导出无奇异再入质心运动方程。再入飞行器临近极点和到达极点的算例显示，使用三元数的无奇异再入方程完全避免了传统方程有关极点的奇异性。同时，无奇异方程所选状态变量与传统方程可进行很简便的转换。     

美国载人航天器的发展史实

介绍了美国各种载人航天器的研制、试验和使用情况。