(L)ukasiewicz命题逻辑系统中的赋值决定公式问题

为了在经典逻辑学中建立Fuzzy分离规则的推理模式，Zadeh提出了赋值决定公式问题（VDF问题），并已于二值命题逻辑以及Lukasiewicz三值和p＋1值命题逻辑中得到解决．文中在更一般的Lukasiewicz命题逻辑系统中建立了VDF问题的求解理论，首先给出了一般的Lukasiewicz命题逻辑系统中VDF的合理性条件，其次构造性地解决了Ln、La和Lc中的VDF问题．     

移动机器人运动规划研究综述

机器人运动规划是移动机器人导航的核心技术之一。40多年来，运动规划技术发展迅速，涌现出了许多规划算法，但因为环境描述方式差异巨大，技术差别大，实验比较难度较大。在总结机器人发展史上具有典型意义的规划算法的基础上，提出了路径规划算法的评价标准和形式化描述方式，介绍了每种算法的原理或技术，从搜索策略和环境建模的角度将它们分为四大类，分别是基于自由空间几何构造的规划算法、前向图搜索算法、基于随机采样的运动规划算法以及智能化规划算法，并按照提出的标准比较它们的性能。     

一种基于过采样技术的非最小相位系统盲辨识方法

提出了一种在时域中盲辨识非最小相位系统传递函数的方法,该方法通过对系统输出过采样来获得系统结构参数的信息.对于单输入单输出的线性离散系统,经过输出过采样后可以等价为单个输入、多个输出的传递函数模型,这多个输出函数具有相同的分母多项式和不同的分子多项式.采用子空间分解法可以确定分子多项式的参数,通过对系统输出信号自相关函数的处理可以得到分母多项式,最终可以得到原系统的结构参数.与传统高阶矩方法相比,该方法对噪声的敏感度更低,辨识的精度和速度也有很大提高.仿真结果表明,当信噪比大于15dB时,该方法可以有效地辨识出系统参数.与高阶矩方法相比,辨识门限信噪比降低了10dB,估计精度提高了20%,辨识速度加快了3倍.     

一类矩阵秩的恒等式及其推广

从Sylvester公式出发,发现一个用以刻画矩阵秩的很漂亮的公式。对这一公式进行推广,并猜想它有更一般的结果。部分地解决了该猜想,并得到了一系列结果。     

Lorentz变换修正公式

Lorentz变换的根源在于,当t’=t=0时,两惯性坐标系K’和K的原点O’与O重合,这时,在其公共原点发出的是一个传播速度为光速c的光信号。经过Lorentz变换,认为光速c是一切实际物体运动速度的极限。本文假设,当t’=t=0时,两惯性坐标系K’和K的原点O’与O重合,这时,在其公共原点发出的是一个超光速信号。由此导出了Lorentz变换修正公式,并证明了超光速没有极限值,ds2仍然是Lorentz不变量。同时还导出了相对论速度变换修正公式。由此还可以导出在超光速条件下,惯性坐标系之间的其它变换公式。     

n次积分C-半群的表示定理

利用指数有界的n次积分C-半群的基本性质，用两种不同的方法证明了它的指数公式。     

网络系统中的公式表达方法研究

为了探讨网络系统中的公式表达，提出了一种基于XML(eXtensible Markup Language)的公式标记语言FML(Formula Markup Language)．首先分析了FML与网络系统的关系以及FML与MathML的联系和区别，阐述了、ML和MathML并不适合于网络上的传输应用，而且不能作为成熟的规范指导实际应用；然后描述了FML语法，阐述了用FML来表达公式的实现技术，提出了在网络系统中解析和再现FML的工具FML Viewer．探讨FML及其应用，对于XML的研究，具有一定的理论和应用价值．     

量子计算中的六个组合恒等式的证明

证明了量子计算中出现的六个组合恒等式。     

关于系数平方增长的带跳BSDE的解(Ⅰ)

讨论了系数关于q为平方增长,p和-y为指数增长的带跳倒向随机微分方程(BSDE)解的存在性,以及有这种系数的反射BSDE解的存在性.     

C-半群的拟Lie-Trotter乘积公式

讨论了Banach空间中两C-个半群T(t)t≥0，S(t)t≥0的拟Lie-Trotter乘积公式[T（t/n）S（t/n）]^n收敛的条件。