树和单圈图的斜谱矩

给定图$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$个图.     

微机电陀螺零点漂移数据滤波方法的研究

微机电石英音叉陀螺虽然有突出的优点，但也存在噪声比较大的缺点。普通的数字滤波方法通常会造成比较大的滞后，减小了系统的相位裕度，而且对截止频率以内的噪声不起作用。作者在对石英音叉陀螺零点漂移数据建立时间序列模型（AR模型）的基础上，采用卡尔曼滤波算法对石英音叉陀螺的漂移数据进行了处理。仿真实验表明，所采用的滤波方法合理有效。     

一种用于分散化滤波的融合算法及其在组合导航系统中的应用

提出了一种局部估计相关时的最优融合算法，其特点是加权矩阵是对角阵，即全局估计中的各分量分别是局部估计中相应分量的线性组合，在此融合算法中局部估计是最优的，并且不存在由主滤波器向子滤波器的信息反馈，因此具有较好的客措性。给出了最优加权矩阵的存在性和唯一性的证明，并通过与现有类似融合算法的对比，表明该算法具有计算量小的优点。最后，以组合导航系统为例作了仿真计算，结果表明该融合算法是可行的。     

关于“动矩心”的几种动量矩定理的一致性

<正> 1.引言取任意“动点”为矩心的几种动量矩定理在理论力学教科书中均有不同程度的介绍,其等价性已在理论上得到解决.然而在实际应用中,却导致了不正确的结果.由此引起了对应用“动矩心”的动量矩定理是否应附加条件的考察和争鸣.五十年代以来,我国有较多的文章研究这一问题,主要集中在平面运动     

充液层合压电圆柱壳的自由振动

推导得到轴向极化的圆柱型正交各向异性压电弹性力学的三维状态方程，采用细分近似方法，得到了状态方程的解，并建立了圆柱壳内外表面边界量之间的传递关系，分析了内充可压缩流体的层合压电圆柱壳的自由振动问题，给出了频率方程的精确形式，并作了具体计算。     

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

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

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

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

梁系统振动的传递矩阵法

<正> 1.引言传递矩阵法在机械振动问题中被广泛采用,也是中外学者几乎在所有有关机械振动的教科书和学术专著中加以讨论的问题.但通常的传递矩阵法,要么取分布质量模型,要么取集中质量模型,似乎忽视了两种传递矩阵方法的有机结合,未能充分发挥传递矩阵法在振动分析中的作用.本文试图将集中质量和分布质量模型的传递矩阵结合起来,     

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

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

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

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