某些风险序关系及其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种以二次型为性能指标的离散线性系统优化算法，并导出各子系统的递推公式。     

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

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

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

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

纳米结构陶瓷(n-WC/12Co)涂层材料精密磨削的试验研究

对纳米结构陶瓷(n—WC／12Co)涂层材料在金刚石砂轮精密磨削过程中的磨削力进行了较详细的试验研究，对常规结构陶瓷(c—WC／12Co)和n—WC／12Co涂层材料的磨削力作了对比磨削试验。分析了磨削工艺参数如砂轮磨削深度、工件进给速度、金刚石砂轮粘结剂类型和磨粒尺寸以及被磨试件材料特性等对磨削力的影响。结合被磨试件表面的扫描电镜(SEM)的观察，分析了n—WC／12Co涂层材料磨削的材料去除机理。