常系数非齐次线性微分方程解法探讨

介绍了两种求常系数非齐次线性微分方程特解的简便方法,并且给出了一些实例,从而避免了一般教材介绍的利用待定系数法求特解所带来的繁琐计算.     

简洁含蓄的语言丰富深刻的内涵--论海明威的《一天的等待》的写作手法

《一天的等待》是一篇大家都比较熟悉短篇小说。这篇小说从表面上看来普普通通、简简单单，但是这平凡的外表下面却深藏着丰富深刻的内容。作者正是凭着他扎实的含蓄艺术，以简洁含蓄的语言来表达那丰富深刻的内容。     

某些风险序关系及其k阶停止损失序的表示

讨论了保险精算理论中常见的几种风险序之间的关系，得到了聚合风险中期望剩余寿命风险序的一个性质，利用κ阶停止损失风险序及κ阶失效率风险序间的关系，对本文中所讨论的几种风险序之间的关系给出了一个统一描述。     

纵横图趣谈

纵横图的研究由来已久,首先介绍n阶纵横图问题和n阶不全四角问题及其它们的解法,然后从一道竞赛题得出启示,推广n阶不全四角问题.     

面向传值进程的一阶模态逻辑的可判定性与模型检测

对于面向传值进程的Hennessy-Milner逻辑的一阶扩充HML(FO), 给出了基于带赋值的符号迁移图的语义解释. 证明了HML(FO)的子逻辑HML(FO²)是满足性可判定的, 并且讨论了判定的复杂性. 最后给出传值进程关于HML(FO²)的模型检测的可判定性结果.     

一类四阶两点边值问题多个正解的存在性

通过研究四阶Lidstone边值问题多个正解的存在性,利用Krasnose'skii不动点理论及相应线性问题Green函数性质的研究,可得到多个正解存在性的结果     

高导数引力理论宇宙动力学方程

利用高导数引力理论研究宇宙的演化。在Friedmann宇宙模型中，由高导数场方程导出宇宙动力学方程。此方程为宇宙标度因子关于时间的三阶非线性微分方程，并由能量-动量守恒及物态方程导出能量密度和宇宙标度因子的关系，最后比较了高导数引力理论动力学方程和标准动力学方程。     

大系统优化的动态规划递阶算法改进

引入1个拉格朗日乘子，将动态规划的最优性原则与大系统控制论中的分解协调的递阶算法结合起来，并考虑各子系统间的顺序直接作用，提出1种以二次型为性能指标的离散线性系统优化算法，并导出各子系统的递推公式。     

有限信念集上修正的一种方法

讨论了信念集是有限子句集时的信念修正方法，首先给出了一阶逻辑上求所有极小不协调子集的一个过程，证明了该过程的正确性，讨论了由所有极小不协调的子集来实现信念修正的方法，介绍了我们开发的信念修正的原型系统，最后和相关工作进行了比较。     

五阶带形状参数的B样条曲线

给出了五阶带形状参数的均匀B样条基函数，使五阶均匀B样条基函数成为它的一个特例．由带形状参数的五阶均匀B样条基构成的样条曲线，可通过改变形状参数的取值而调整曲线的形状，并且可以调整曲线接近其控制多边形的程度。