单生过程首中时的各阶矩

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

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

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

基于小波分析的步兵盔曲面快速修改方法

为实现步兵盔曲面的快速修改,提出了一种基于小波分析的快速修改方法。首先将曲面分割成4部分。然后对每一部分进行小波分解,将所得的低分辨部分的控制顶点显示给用户,由用户对这些控制顶点进行修改。接着对每一部分进行小波重构。最后求出新曲面。这种方法大大减少了所需修改的控制顶点的数量,并且可以在修改曲面的某一部分的同时保持其他部分不变,提高了效率。     

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

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

边缘检测中的小波

讨论了以B样条平移函数作为光滑函数的两种二进小波及其对偶的特性，给出了它们的滤波器，支集宽度和中心，作为例子，绘出了n=2，3，4时的尺度函数。小波及其对偶的波形，这些小波常用于边缘检测中。     

m序列优选对及平衡Gold序列的产生与搜索

扩频通信系统需要相关性好的扩频码，因此，在分析m序列优选对，平衡Gold序列的产生方法和相关特性基础上，提出了一种采用C语言搜索m优选对和平衡Gold序列的计算机实现方法，给出了搜索程序流程图．该方法可以正确、快速地完成平衡Glod码的搜索，对扩频码的优选具有参考价值．     

三维编织物纱线空间构型的数学表达

采用示踪棉股线与普通棉股线在四步法编织机上编织6×4和6×6两种类型三维编织物,以较小间距横切编织物后。用QUESTER视频显微系统拍摄截面得到示踪纱截面中心点定位坐标,以三次周期样条插值方法处理经归一化的示踪纱线空间定位坐标,得到同一编织物中不同纱组内纱线在一个完整编织循环中空间构型的数学表达,以此反映矩形截面三维编织物的细观结构。     

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

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

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

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

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

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