Acta Mathematica Sinica

Submission Authors must use LaTeX for typewriting, and visit our website www.actamath.com to submit your paper. Our address is Editorial Office of Acta Mathematica Sinica, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190, R R. China.     

分布式通信响应优化问题及其内点法求解

为了优化移动互联网的分布式通信系统的响应速度,建立分布式通信系统响应速度最优化问题的数学模型,并设计和改进求解该最优化问题的内点法.针对该最优化问题发展一套高效率预条件方法来帮助求解内点法,不但改善计算方法的数值稳定性,而且提高算法的计算效率.通过数值实验验证该预条件对算法稳定性和效率的提高.     

具有时滞的比率型三种群捕食模型的分支分析

本文研究了一类具有时滞的比率型三种群捕食模型.通过分析该模型的特征方程,证明了该模型在正平衡点的稳定性.通过选择时滞τ为分支参数,得到了当时滞τ通过一系列的临界值时,Hopf分支产生.应用中心流形和规范型理论,得到了关于确定Hopf分支特性的计算公式.最后进行数值模拟验证了我们所得结果的正确性.所得结果是对前人工作的补充.     

带有不确定参数的一类混沌金融系统的广义投影同步

针对带有不确定参数的一类混沌金融系统,提出了实现驱动系统和响应系统广义投影同步的自适应控制策略,并基于Lyapunov稳定性理论给出和验证了广义投影同步稳定性判据.数值仿真验证了控制策略和理论分析的有效性.     

具有非线性热源项的耦合杆系统

主要以经典的算子半群理论为依据,研究了一类具有非线性热效应的耦合杆系统的长时间行为.首先在齐次边界条件和初始条件下,证明了系统解的存在唯一性;其次通过渐近先验估计,证明了系统有界吸收集的存在性;最后利用算子半群的分解技巧,得到了系统全局吸引子的存在性.     

太阳帆塔轨道和姿态耦合动力学建模及辛求解

在建立太阳帆塔太阳能电站简化模型的基础上,将系统的动力学方程从Lagrange体系导入到了Hamilton体系,给出了带约束的Hamilton正则方程;进而采用祖冲之类算法和辛Runge-Kutta方法分析了太阳帆塔轨道和姿态耦合系统的动力学特性,并讨论了算法的保能量、保约束特性;最后,数值模拟了系统的动力学特性,说明了所提方法的有效性.     

拟一致无迹卡尔曼滤波算法北大核心CSCD

针对一般的非线性系统,研究了无迹卡尔曼滤波(UKF)算法的一致性问题.通过对传统UKF算法的修正,提出了拟一致UKF(QCUKF)算法,同时给出了修正参数的选取准则,并且在理论上证明了所提算法的拟一致性.当算法具有拟一致性时,估计精度可被实时评估.最后,通过仿真实例说明了所提算法的可行性以及拟一致性.     

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

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

基于模糊灰色新陈代谢FGM(1,1)模型预测及应用探讨

巷道围岩变形是煤矿开采普遍存在的问题,巷道开挖过程中围岩会出现破裂现象.主要探讨模糊灰色系统的深部巷道围岩变形预测模型及应用,通过分析模糊数学理论、灰色理论,给出模糊灰色系统预测新陈代谢模型.