广义RUE—NRF归结

本文将RUE－NRF归结使用在广义子句集上，提出了广义RUE－NRF归结方法，并证明了这一方法对于一阶逻辑的完备性，将I型，2型删除策略引入广义RUE－NRF归结。     

广义幂等情形下的双随机及亚随机矩阵

本文从广义幂等的角度得出了双随机矩阵与亚随机矩阵的一些重要性质,给出双随机矩阵广义幂等的充要条件,并考察了它们的收敛情况。     

应用广义Fuzzy模型分析和评价机电部专业技术人员队伍的现状

本文应用广义Fuaay数学模型对机电部专业技术人员队伍的现状进行了分析和评价,研究了这类“软”科学分析中的定量分析问题     

广义耦合KGS方程的整体强解

研究了广义耦合KGS方程的初边值问题和Cauchy问题。利用非线性项在分数次Besov空间中的估计及抽象发展方程的结果,在一般的条件下,获得了该问题整体强解的存在唯一性定理。     

机翼翼型廓线的单圆弧拟合与数控加工

本文给出一种用单圆弧拟合方法,以解决用数控线切割机模拟加工飞机机翼型廓线问题.     

中性卷积e_-~(λχ)(?)e_+~(μχ)

设f和g是D'内的广义函数,f_n(x)=f(x)r_n(x),当n→∞时,r_n(x)收敛于恒等函数。则中性卷积fg定义为序列{f_n*g}的极限,若极限h存在,即中性极限 N(f_n*g,φ)=(h,φ),(φ∈D)存在。在这篇文章中计算出了中性卷积e_-~(λx)e_+~(μx)和e_+~(μx)e_-~(λx)。利用这两个中性卷积又推出了一些其它的中性卷积。     

椭圆型偏微分方程反问题的数值解法

本文给出求椭圆型偏微分方程反问题数值解的方法,并指出计算中的一些技巧。     

广义Kac-Moody代数的根系

本文描述了在一定条件下带有虚单根的广义Kac—Moody代数的根系,证明了其实根系就是某个与其相关的kac-Moody代数的实根系;解决了其虚根系的构造并确定了其生成元的最小个数;此外还确定了只含有一个实单根和一个虚单根的广义Kac-Moody代数的所有根。     

对称广义特征值问题的一种算法

本文给出了一个化对称广义特征值问题为对称三对角特征值的一种算法。(A,B)A和B是对称阵,B是半正定阵;可以被化为(A,B),这里A是不可约对称三对角阵,B是正定对角阵。显然求解(A,B)是容易的。由(A、B)的特征伍和特征向量(y,λ),几乎不用什么算法就可得到(A,B)的特征值和特征向量(x,λ)。另外,我们给出了计算(A,B)特征值的个数公式。     

多变量系统的广义预测控制

本文介绍一种针对多变量专家控制系统提出的预测解耦方法,该方法是用隐式递推广义预测方法预估出各变量之间的影响,然后加到控制中得以实现的。即使在系统结构未知或变化的情况下,仍可获得次优解,具有很强的鲁棒性。仿真结果表明,方法是有效的。