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

针对带有不确定参数的一类混沌金融系统,提出了实现驱动系统和响应系统广义投影同步的自适应控制策略,并基于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)模型预测及应用探讨

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

基于几何过程和位相分布休假的两部件并联可修系统的可靠性分析

主要以两不同型部件组成的并联可修系统为研究对象.在系统对失效相位存在记忆的基础上,考虑了修理工可单重休假且休假时间服从位相(PH)分布.每个工作部件均有可能因受到两种不同类型的故障而失效,且均"修复非新".在假定部件的工作时间,修理时间分别服从PH分布的几何过程和负指数分布的条件下,利用马尔可夫过程和矩阵分析的方法,对可修系统进行了可靠性分析,并给出了相应可靠性指标的数值算例.     

基于可拓和组合赋权的矿井通风系统优化评价

矿井通风系统具有随机性、模糊性和不确定性等特征,一般单一的赋权评价法难以对其进行准确的优化评价.采用模糊层次分析法和熵权法的组合赋权法不仅可以提升对目标评价的准确性还能避免单一赋权的偶然性和局限性,结合可拓学的优度评价法,依据优度排序,得到最优方案.事实证明,基于组合赋权的可拓评价模型较其他评价方法更为客观,评价结果更加符合实际,可为解决类似优化方案问题提供一种新思路和方法.     

浅析几类双输入排队系统模型

从矩阵几何解的角度出发,分析了七种类型的Geom/Geom/(Geom/Geom)/H 双输入排队系统.对这几个模型进行了描述,使用拟生灭过程探讨了各类模型的矩阵结构,并给出了其状态转移概率矩阵.     

基于系统动力学的城市道路交通污染控制问题研究

城市交通污染是我国城市化发展进程中亟待解决的问题,问题涉及变量多且结构复杂,很难用数学模型进行全面描述.为了综合考虑城市交通污染气体排放的影响因素及其相关关系,从系统的角度出发应用系统动力学原理在充分考虑交通拥堵对污染气体排放影响的基础上建立了城市交通污染气体排放模型.并以上海市为例运用Vensim PLE软件对模型进行仿真,发现交通拥堵对城市交通污染的影响非常显著,当交通负荷大于1.62时,污染物的排放量呈指数增长.最后针对上海市的交通政策对污染气体排放的影响进行仿真分析,提出控制交通污染的合理化建议.