低轨纳卫星质量矩姿态控制技术研究

针对气动力矩严重影响低轨纳卫星姿态控制效果的问题,创新性地提出了利用质量矩技术将气动干扰转化为控制力矩的解决方法.由于气动力矩矢量垂直于大气来流速度方向,因而采用质量矩与磁力矩相结合的方式三轴全驱动控制卫星姿态,从而避免系统欠驱动. 建立双执行机构控制方式的姿态动力学模型,并根据各干扰项的影响简化了控制方程.针对气动力不确定、星体参数误差、未知环境影响等复杂干扰,设计了针对理想控制力矩基于干扰观测器的滑模控制器. 为减小滑块附加干扰力矩,研究了理想控制力矩的最优分配策略. 最后, 为双执行机构搭建了半物理仿真平台,结果表明: 姿态机动过程中, 与滑块加速度相关的附加惯性力矩远大于其他干扰项,最优力矩分配策略能够大幅减小快时变的附加干扰, 优化效果明显; 姿态保持过程中,干扰观测器能有效观测系统慢时变干扰, 提高滑模控制律的姿态控制精度,姿态角收敛误差小于$\pm $0.1$^\circ$.最终验证了在低轨纳卫星上利用质量矩技术控制姿态的可行性.      

相位可控的核四极矩共振激励脉冲发生器设计

在核四极矩共振（NQR）领域，射频激励脉冲信号的优劣对NQR响应信号有重要影响.针对常规方法中射频激励脉冲参数不可控的问题，本文基于32位闪存微型控制器STM32和直接数字频率合成（DDS）芯片AD9910设计了一种相位可控激励脉冲发生器.采用STM32控制AD9910产生波形参数（脉冲宽度、脉冲间隔、脉冲个数和共振频率等）可控的射频激励脉冲，利用LabVIEW软件平台设计脉冲参数设置界面，并建立计算机与微控制器通信，实现波形参数的精确优化控制.实验结果表明，该方法实现了相位可控的NQR激励脉冲序列，可为后续NQR信号检测提供有效激励源.     

结合区域提取和改进卷积神经网络的水下小目标检测

针对水下小目标信息量有限而难以提取有效特征导致的检测性能不佳问题,提出了一种结合区域提取和融合Hu矩特征的改进卷积神经网络水下小目标检测方法。该方法包含区域提取和分类两个步骤。首先以马尔可夫随机场分割算法为基础进行区域提取,对潜在目标定位的同时降低伪目标对后续分类的干扰;然后提取潜在目标区域的Hu矩特征并融入卷积神经网络,形成一种形状特征表征能力更强的改进卷积神经网络用于分类。声呐实测数据处理结果表明,该方法可以有效提升对水下小目标的发现概率和正确报警率,与其他目标检测方法相比,该方法具有更好的检测性能和泛化性。     

ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具北大核心CSCD

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显.     

NA随机变量阵列的完全矩收敛性

利用NA随机变量的矩不等式和截尾方法,研究了NA随机变量阵列的完全矩收敛性,给出了证明NA随机变量阵列完全矩收敛性的一些充分条件.所得结果推广了已有文献关于NA随机变量的相应结果.     

波士顿矩阵法在河南承接产业转移中的应用

承接产业转移是加速区域经济发展的"助推器",提升产业集聚能力是提高区域产业竞争力的关键,如何科学地选择承接产业,并提升产业集聚能力是河南亟待解决的问题.选取2010年和2014年两个时点,运用产业梯度系数和产业动态集聚指数对工业进行分行业分析,并借鉴波士顿矩阵分析法将其划分为明星、金牛、问题、瘦狗和衰退等产业.根据河南的自然资源、劳动力、区位条件、市场需求等比较优势,并考虑产业集聚发展的能力,来确定河南承接产业转移的重点产业.     

小样本定数截尾场合下威布尔和对数正态分布的拟合检验

本文给出了小样本定数截尾场合下两参数威布尔分布和对数正态分布的拟合检验方法,该方法还适用于一般的位置-刻度参数族分布,论文还通过实际算例说明方法的可行性。     

三水平超饱和设计的构造及性质

超饱和设计是一类重要的部分因析设计,因其在因子筛选试验中有重要作用而受到广泛关注.文章基于水平置换方式并对设计进行倍扩的方法,实现由规模较小且性质优良的设计来构造超饱和设计,并分别在E(f_NOD),广义最小低价混杂和最小矩混杂等准则下讨论了所构造的超饱和设计的优良性质.最后,数值例子的结果验证了文章的理论结果.     

AANA随机变量序列的完全矩收敛和积分收敛的等价条件

利用AANA随机变量的Rosenthal型矩不等式,得到了AANA随机变量序列的完全矩收敛和积分收敛的等价条件.这些结果完善了已有的结果.     

树和单圈图的斜谱矩

给定图$G$,对图$G$的每条边确定一个方向,称为$G$的定向图$G^\sigma$, $G$称为$G^\sigma$的基础图. $G^\sigma$的斜邻接矩阵$S(G^\sigma)$是反对称矩阵,其特征值是0或纯虚数. $S(G^\sigma)$所有特征值的$k$次幂之和称为$G^\sigma$的$k$阶斜谱矩,其中$k$是非负整数.斜谱矩序列可用于对图进行排序.本文主要研究定向树和定向单圈图的斜谱矩,并对这两类图的斜谱矩序列依照字典序进行排序.首先确定了直径为$d$的树作为基础图的所有定向树中,斜谱矩序最大的$2\lfloor\frac{d}{4}\rfloor$个图; 然后确定以围长为$g$的单圈图作为基础图的所有定向单圈图中, 斜谱矩序最大的$2\lfloor\frac{g}{4}\rfloor+1$个图.