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

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

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

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

一类具有收获率的脉冲Lotka-Volterra竞争合作系统的八个正概周期解

研究了一类具有收获率的脉冲Lotka-Volterra竞争合作系统的正概周期解.通过利用重合度理论延拓定理、概周期理论和不等式分析技巧,获得了系统至少存在8个正概周期解的充分条件,推广和改进了早期文献的相关结果.     

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

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

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

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

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

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

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

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

d型工作休假的多台M/M/c排队及在HCS中的应用

在多服务台M/M/c排队系统中,引入半空竭服务的d型工作休假策略.当系统中有d个服务台空闲时,令d个空闲的服务台开始一次多重同步工作休假,休假期间的服务台继续慢速服务新到顾客,其余c-d个服务台正常工作.在工作休假期间,系统中顾客数小于等于c-d个时,一个顾客的离开是由正常工作速率服务台完成的.系统中顾客数多于c-d个时,一个服务的完成可能是接受了正常速率服务,也可能是接受了低速服务.利用拟生灭过程和矩阵几何解方法得到了稳态队长分布,给出模型在多层蜂窝系统(HCS)中的应用,并对影响系统性能指标的参数做出了数值分析.     

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

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

基于系统动力学的再制造分级回收机制研究

考虑旧件回收质量与回收数量的不确定性特征,在分析再制造系统与回收行为的基础上,构建再制造分级回收系统动力学模型,尝试借助分级回收机制调节回收不确定性,并对再制造系统的长期表现展开研究.仿真结果表明,合理分级回收有利于减少回收流的不确定性,降低相关再制造成本,促使再制造更快进入良性发展状态;再制造产能扩大决策兼顾再制造收益与再制造规模,是再制造持续快速发展的有利保证;检测成本越低、回收质量波动幅度越小,最优分级数越多.再制造企业实施分级回收机制,既可以促进再制造的持续发展,也可以激励消费者提供高回收质量的旧件并改进使用习惯.