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

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

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

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

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

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

完整系统的多刚体系统离散时间传递矩阵法研究

基于多刚体系统离散时间传递矩阵法，采用提高计算精度的方法，研究具有大运动、非线性特征的完整系统在平面、空间中的动力学响应。提出了对部分变量重新赋值的违约修正方法，计算机仿真表明了其有效性。多刚体系统离散时间传递矩阵法不须进行违约修正，体现了该方法建模灵活性较强、程式化程度较高的优点。     

用传递矩阵法分析16M~3挖掘机1∶5动臂模型的振动特性

在改进传统的传递矩阵法中,Riccati 传递矩阵法具有普遍的意义,国内已开始试用,是一种值得推广的方法.本文应用传统的传递矩阵法和改进后的Riccati 传递矩阵法,对16m~3大型挖掘机的1∶5动臂模型,进行了扭转振动和弯曲振动的分析,得到频率在10~3Hz 以下的11阶振动模态.并与实验结果进行了比较.结果说明,传递矩阵法用得恰当,能以较少的计算工作量得到动臂一类结构振动的主要特性.分柝结果已提交科研任务委托单位.     

用矩量法解阻尼介质中简支方板的塑性动力响应问题

本文用矩量法解薄板塑性动力响应问题，分析阻尼介质对简支方板塑性动力响应的影响，对计算结果进行了讨论．     

含噪双稳杜芬振子矩方程的分岔与随机共振

研究了含噪声的双稳杜芬振子矩方程的分岔与随机共振的关系，并根据它们的关系, 从另 一个角度揭示了随机共振发生的机制. 首先在It?方程的基础上，导出了双稳杜芬振子在白噪声和弱周期信号作用下的矩方程，其次以噪声强度 为分岔参数分析了矩方程的分岔特性，再次分析了矩方程的分岔与双稳杜芬振子随机共振 之间的关系，最后根据该对应关系从另一种观点提出了双稳杜芬振子随机共振的机制，该 机制是由于以噪声强度为分岔参数的矩方程发生了分岔，而分岔使得原系统响应均值的能量分布发生了转移，使能 量向频率等于输入信号频率的分量处集中，使得弱信号得到了放大，随机共振发生了.     

基于压缩感知的一维海面与二维舰船复合后向电磁散射快速算法研究

矩量法作为数值方法中积分方程方法的代表, 具有计算精度高、所用格林函数自动满足辐射条件、无须额外设置边界条件等优点. 但是在舰船目标与海面复合后向电磁散射仿真中, 传统矩量法需针对每个入射角反复求解矩阵方程组, 导致其在处理后向散射问题时计算量大, 耗时长, 仿真效率低下. 为解决上述问题, 本文提出了一种基于压缩感知技术的矩量法的改进算法. 该算法在求解复合后向散射问题时, 首先利用观测矩阵与传统矩量法中的电压矩阵相乘, 得到一组新的低维度的电压矩阵; 其次通过求解新电压矩阵下的矩阵方程组, 获得电流矩阵的观测值; 最后利用恢复算法(本文采用正交匹配追踪算法)重构出所需的原始入射源照射下的电流系数. 通过与传统矩量法的计算结果对比, 表明本文所提算法能够在保证计算精度的前提下, 明显减少计算时间, 提高计算效率.     

电磁波在大面积等离子体片中传播特性的分析

脉冲磁约束线形空心阴极放电形成的大面积等离子体片可应用于等离子体天线、隐身及模拟超音速飞行器表面的等离子体鞘套. 本文首次利用实测等离子体片电子密度时空分布和横向场传播矩阵法, 研究了电磁波在等离子体片中反射率、透射率、吸收率随频率及脉冲放电时间的变化特征. 结果表明: 极化方向平行磁场的电磁波, 在小于截止频率的低频带内具有较高的反射率和吸收率, 增大电流, 反射率增加, 吸收率下降, 在大于截止频率的高频带内反射率和吸收率较低, 增大电流, 透射率下降, 吸收率升高; 极化方向垂直磁场的电磁波在高混杂谐振频率附近存在吸收率明显增强的吸收带, 谐振吸收峰值与放电电流无关; 脉冲放电期间, 电磁波的反射率、透射率与吸收率由不稳定过渡到稳定的时间约为100 μs, 过渡时间随着放电电流的增加而增大, 极化方向垂直磁场、小于截止频率的电磁波在稳定放电阶段谐振吸收较强. 本文的研究成果对利用等离子体片实现对电磁波的稳定高反射作用具有重要意义.     

EXACT EVALUATIONS OF FINITE TRIGONOMETRIC SUMS BY SAMPLING THEOREMS

We use the sampling representations associated with Sturm-Liouville difference operators to derive generalized integral-valued trigonometric sums. This extends the known results where zeros of Chebyshev polynomials of the first kind are involved to the use of the eigenvalues of difference operators, which leads to new identities. In these identities Bernoulli’s numbers play a role similar to that of Euler’s in the old ones. Our technique differs from that of Byrne-Smith (1997) and Berndt-Yeap (2002).