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

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

一种在压缩域内的帧类型转换方法

论述了在压缩域内将MPEG-2码流中的B帧或P帧转换为Ⅰ帧的方法。根据DCT变换的正交特性，在将运动补偿运算转换为矩阵相乘运算后，推导出压缩域帧类型转换的计算公式。针对采用半像素精度运动估计的帧，对相应公式做了修正。由于量化阶的选择极大影响转换过程中的失真程度和码率的大小，提出了一种重新计算量化阶的方法，利用压缩域的信息计算宏块的活动性，并由该活动性信息调整量化阶的大小。仿真实验验证了所提出方法的有效性。     

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

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

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

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

纵横图趣谈

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

一类pq2阶群的自同构群

得到了如下定理:设p,q是奇素数,且q相似文献   

单生过程首中时的各阶矩

给出了单生过程首中时多项式阶矩和指数阶矩的显式表达，讨论了4个判别准则的概率意义，并得到了单生过程指数遍历的一个显式判别准则．     

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

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

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

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

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

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