独立函数的表达式及完备性

给出独立函数的逻辑表达式和递推关系式。证明了独立函数系的线性完备性。讨论逻辑函数关于独立函数系的展开式、不同极性独立函数系展式之间的关系,以及与Reed-Muller展式之间的关系。这些问题的结论为建立新型的通用逻辑模块奠定了理论基础。     

求解含多个右端向量非对称线性方程组的自适应块拟最小残量IOM(q)算法

许多实际应用问题需要求解含多个右端向量的大型非对称线性方程组 ,通常是把原来方程组分成单独几个含一个右端向量的方程组 ,再用某种迭代法分别单个求解 ,而更加经济有效的方法是应用能同时产生几个迭代向量的块迭代法来直接求解。本文在 IOM(q)算法的基础上 ,提出一种求解此类方程组的块拟最小残量 IOM(q)算法 ,讨论了如何收缩掉已收敛的部分方程组以及如何从产生的块 Krylov序列中删除线性相关或几乎线性相关向量的自适应技术。数值试验表明 ,此新的自适应块算法比块 GMRES算法及其他相关算法具有更好的收敛行为、更少的计算量和 CPU计算时间 ,是求解此类方程组的一种更加经济有效的算法。     

雷达的块浮点数据

为了利用数学手段来选择一最佳数据格式，以满足高分辨力雷达（合成孔径雷达（SAR）数据的动态范围大、S／N足够高的要求，本文分析并比较了整数、浮点和块浮点（BFP）数据格式。分析中考虑了量化噪声和饱和失真。分析结果表明，要优先选用采用分式指数的小块和（新的）改进型BFP格式。运用了EMISAR雷达系统的数据来说明不同方案的优缺点。     

磁粉检验标准环形试块的机理分析

为了分析控制磁粉检验系统综合性能的标准环形试块的机理，首先建立一个计算漏磁场的简化数学模型，然后解标量磁位的=维拉普拉斯方程，求出被磁化的环形试块上圆孔产生的漏磁场，计算环形试块表面的磁粉受力，分析其特点并得出相应的结论。     

空间智能桁架自适应模糊振动控制

研究了一种基于自适应模糊控制器的空间智能桁架振动控制方法。在考虑剩余模态影响的条件下建立了空间智能桁架的独立模态空间振动控制方程,并对自适应模糊控制器作改进,证明了控制系统的稳定性。仿真结果表明:该自适应模糊控制器可有效抑制桁架振动,控制效果明显优于传统模糊控制,同时能抑制控制溢出和观测溢出。     

景象匹配正确定位概率的实验研究

景象匹配的理论分析结果揭示了景象匹配正确定位概率与实时图的信噪比和独立像元数的关系。文中通过对真实影像数据的景象匹配的结果统计给出了正确定位概率与信噪比和独立像元数的关系，并将该结果与理论结果进行了比较，对其中差异进行了分析解释。文中的结论可以用于景象匹配系统性能的精确分析。     

俄、美载人机动装置的发展历程

历史上有许多研制由于这样或那样的原因被搁浅，舱外航天服载人机动装置的发展也经历了这样的过程，其前身就是我们熟悉的火箭式（或喷气式）背包。背包是固定在肩部的独立系统，该系统可以用于飞行，人独立飞行时，既不需要飞机也不需要气球和其它工具。然而背包一开始并不被人们看好，起初该背包只是在地面条件下的电影竞技场使用过，当然这不是发明者的初衷。     

一种模型独立自适应姿态跟踪滑模控制器

以一种能够自适应变化的伪转动惯量,基于Lyapunov稳定定理,推导出一种模型独立的航天器自适应姿态跟踪控制律。理论和数值仿真结果表明,与一般情况下需确知模型参数确定性部分的滑模姿态控制律相比,该控制律能够在不依赖于模型参数确定性部分的情况下良好地实现姿态跟踪,并对模型误差的不确定性和外干扰力矩具有一定的鲁棒性。     

基于扩展块的星载软件控制流容错评价方法

空间环境因素引发的星载软件瞬态的控制流错误可能对系统执行效能造成严重影响，为避免容错算法存储开销和执行开销给系统带入过多的计算压力，提出在容错算法开销和所取得的系统的可靠性提升上取得一定折衷，这是星载软件可靠性设计的合理方向。设计了一种适合于弹性添加容错代码的容错方法：扩展块数字签名的控制流检测方法ESCFC（Extend block Signatures for Control Flow Checking）。由空间高能粒子的实验结果和在轨实测结果为系统可靠度建模，提出了算法开销和可靠性效能提升的平衡关系的工程参考和理论依据。定性分析和模拟，充分说明了将该方法运用于航天工程的可行性。