MRUCache替换算法平均性能剖析

研究了MRU替换算法的平均性能问题.研究结果发现,在一定条件下,MRU的平均性能优于LRU替换算法.针对具有线性访问序列循环体的程序,形式化证明了MRU平均性能优于LRU的成立条件.并采用实时系统时间分析测试集针对不同Cache配置进行实验,验证了MRU平均性能优于LRU这一结果的普遍性.结合本文结果与MRU实时性能的研究结果,可以认为MRU具有优异的平均性能和实时性能.     

白刺属植物研究进展

白刺属植物具有高度的耐盐碱、抗干旱和固沙改土性能,对开发利用重盐碱地、改善生态环境、提高经济效益具有极其重要的意义.从分布、分类、生物生态学特性、森林培育技术几方面综述了白刺属植物的研究结果,展望了白刺属植物的应用前景,指出了研究中存在的局限性和今后应努力的方向.研究结果对该属植物的种质资源保存及其资源的合理开发利用具有指导意义.     

摄动离散Riccati矩阵方程解上界估计

针对摄动参数为带有范数有界不确定性的摄动离散Riccati矩阵方程解的特征值的估计问题,利用矩阵不等式和特征值等性质,得到了摄动离散Riccati矩阵方程解的特征值新的上界,这种表示只利用了特征值及奇异值计算,避免了复杂的高阶代数方程求解.数值算例验证表明:研究结果是有效的,与现有结果比较,该结果具有更小的保守性.该结果在控制理论和状态估计问题的研究中具有更加重要的理论和实用研究价值.     

具有时滞的脉冲互惠系统的正周期解的存在性

运用重合度理论中的连续性定理研究了一类具有周期时滞和周期系数的脉冲互惠系统的正周期解的存在性,得到了该系统至少存在一个正周期解的一个易于检验的充分条件,给出了一个具体例子来说明所得结论的可行性和正确性.所得结果在种群动力学研究领域,特别是互惠系统研究领域中具有理论和现实的应用价值,该结果是对前人研究具有时滞的互惠系统的有益补充.     

连续自然数平方根求和的估值问题

对连续自然数平方根求和的估值问题进行了研究.首先采用多种方法对问题进行了分析与推演,然后综述了国内外相关的研究结果并对所得的多种结果进行了比较与评估.研究表明,所提问题具有强烈的方法依赖性,且现有结果仍有优化和完善的需要.鉴于此,推荐了2个较好的结果并给出了一个问题在数论方面的应用实例.     

具有时滞的两种群Lotka-Volterra合作系统的稳定性

研究了一类具有离散时滞的Lotka-Volterra合作系统的稳定性问题.通过构造适当的Lyapunov泛函,得到一组保证正平衡点全局吸引的充分性条件.文中的研究结果是对已有结果的补充和完善.     

水下爆炸气泡脉动的实验及数值模拟

用实验方法研究球形TNT炸药及柱形含铝炸药水下爆炸冲击波传播及气泡脉动规律.应用有限元程序MSC.DYTRAN,结合流固耦合技术模拟在重力影响下气泡脉动的全物理过程.计算结果与实验结果进行对比说明,二者具有较好的一致性,验证了有限元模型正确、有效,结果准确.以此为基础,分析和总结了状态方程对水下爆炸气泡运动相关参数的影响.有限元模型、方法及计算结果对相关的工程研究和计算具有一定参考价值.     

带分布时滞的三阶Emden-Fowler型方程的振动性

研究具有分布时滞的三阶广义Emden-Fowler型微分方程的振动性.利用广义Riccati变换和积分平均技巧,在非正则条件■下建立了该类方程的新的振动准则.研究结果改善并拓展了早期的研究成果.最后,通过实例验证了所得振动结果的有效性.     

关于一类关开中对称函数的Schur-凸性研究

利用Schur判别定理,讨论了一类关开中对称函数的Schur-凸性,推广和补充了这类对称函数Schur-凸性的研究结果,这些结果在不等式研究中具有重要的应用价值.     

一类具有标准发生率的分数阶SIRS模型

研究一类具有标准发生率的分数阶SIRS模型.通过分析,证明了所建立的模型具有非负解,得到了系统平衡点的存在性和局部稳定性条件,最后通过数值模拟验证了理论结果.