五位量子纠错码的各种形式

在各种量子纠错方案中五位量子纠错码被讨论得最多,本文按照正交条件,用图表对各种错误形式进行分类,再利用图表的直观性和对称性提供了一个较方便地找出５位量子纠错码各种形式的方法。     

利用线阵CCD自动测量MSBS中悬浮模型的位置与姿态

以我国自行研制的磁悬挂天平系统为背景,主要研究了利用线阵CCD传感器构建MSBS的模型位置与姿态测量系统以及相应的传感器配置方案、信号转换、测量原理和测量流程等问题。该系统的位置与姿态测量系统以两组共5片线阵CCD作为MSBS中悬浮模型的5自由度位置与姿态传感器,以串联的多级惯性环节电路为脉宽-电压转换电路,将测量信号分别输入控制回路和校准测量回路。文中详细介绍了5片CCD传感器的配置方案及其测量原理,然后研究了使用多级惯性环节实现脉宽-电压信号的转换问题,并对该方案进行了理论分析和仿真,最后研究了利用CCD的测量信号反演悬浮模型位置与姿态的数学原理及其自动测量流程。     

传统的方位定义应用局限性研究

本文分析了传统的方位定义与计算存在的应用局限性根源,提出了适合航海及各种规模军事演练需求的改进的方位定义和计算方法,并分析了两种方位定义下的方位计算误差及适用条件.     

反作用轮低速特性观测补偿方法

反作用轮在现代高精度卫星姿态控制中占据着重要的地位。但由于反作用轮工作于低速状态,其转速过零时摩擦力矩的非线性特征将会对姿态控制精度产生较大的影响,并影响卫星运行寿命。基于Dahl摩擦模型建立了直流电机驱动的反作用轮系统数学模型,在此基础上设计了用于改善反作用轮低速性能的补偿观测器,并将其应用于三正交结构姿态控制系统。数字仿真说明此方法可以有效地抑制反作用轮低速摩擦产生的扰动,从而大幅度改善卫星姿态控制精度及其姿态稳定性。最后探讨了该观测器方法同变结构控制方法的综合应用前景。     

线性回归模型系数岭估计的改进研究

对作者提出的c-k型估计,进行了进一步的研究.证明利用Stein式压缩技术可以改进岭估计(在均方误差意义下);同时给出了参数的最优值满足的条件.证明了c-k型估计的可容许性.文中的方法为病态线性回归模型系数的有偏估计提供了改进的技术途径.     

惯性组合误差标定中边界条件的确定和数据处理方法

利用弹道导弹速率捷联惯性测量组合的数学模型, 研究了惯性组合误差标定中的边界条件确定的方法,给出了标定后数据处理的关键程序代码, 可用于对惯性组合工具误差的补偿。     

迎风格式在接触间断的数值耗散及其诱导误差

在不同流场参数条件下对三种迎风格式在接触间断中的数值耗散问题进行了数值实验,并对数值耗散产生的机理进行了分析。数值计算结果和理论分析表明,矢通量分裂格式计算接触间断问题时,若流场静止或流场内存在亚声速区域,密度耗散的产生会诱导出以特征速度运动的数值扰动误差,该误差对数值耗散的大小无影响,但会影响流场的速度及压力参数分布,从而改变流场的结构。在二维问题中,诱导误差相互干扰会产生大量的复杂小尺度结构,给流场结构分析带来困难。同时,在密度参数线性分布的流场中,若空间离散格式重构的对象为对流通量,使用矢通量分裂格式计算流场会产生数值误差,使计算精度难以到达二阶。     

光电载荷安装误差标校的飞行航路

无人机搭载光电载荷进行安装误差标校时,飞行航路的选择与规划在很大程度上影响着标校算法的收敛性与误差识别结果。为增强标校飞行架次的有效性,提高安装误差可被识别的程度,改善标校算法的收敛性及标校精度,对标校的原理和标校算法进行了理论分析,并利用考察差异函数偏微分的方法找到了标校航路和安装误差标校之间的相互联系,然后结合标校实施过程中所遇到的实际问题提出标校航路规划应遵循的原则,给出了标校航路规划的参考范例。     

基于贝叶斯混合源分离方法的声纳探测误差模型

声纳的探测误差模型是声纳仿真的核心技术。针对现有的声纳误差白噪声模型仿真逼真度低的问题,提出了基于贝叶斯混合源分离方法,建立了声纳的探测误差模型,提高了声纳误差模型的性能。与传统的白噪声仿真方法相比,基于贝叶斯混合源分离方法的声纳误差仿真模型具有较好的逼真度,可以有效地对声纳探测误差进行建模和预测。     

基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法

随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。