高指数非线性微分代数控制系统的解耦

讨论了一类高指数非线性微分代数控制系统的输入输出解耦问题,给出了使系统可通过静态反馈达到输入输出解耦控制问题的具体条件,并证明了解耦条件在正则静态状态反馈控制下的不变性．     

代数结构与几何基础Ⅳ——仿射几何的公理体系

在公理化方法定义的几何中引进“平行”关系,然后把结合公理I;改成“平行公理”,我们就得到一种新的几何——仿射几何．本文将证明这种几何同构于某一体(域)上的n维仿射几何,若添加牍序公理,则这种几何同构于某一有序体(域)上的n维仿射几何,最后我们指出：三维仿射几何的结合公理、平行公理和顺序公理就是Hilben公理体系中的结合公理、平行公理和顺序公理。     

偏序BCH-代数

引入了偏序BCH-代数和广义a-结合BCH-代数的概念,很自然地在偏序BCH-代数中建立了一种偏序关系;最后,证明了由每个广义a-结合BCH-代数可以构造出一个交换幺半群。     

BCH-代数中的广义结合理想与拟右交错理想

给出了广义结合BCH-代数、强BCH-代数、BCH-代数的拟右交措理想、BCH-代数的理想、广义结合理想、次广义结合理想等概念。讨论了广义结合BCH-代数中理想与广义结合理想的关系;广义结合理想与次广义结合理想的关系;强BCH-代数与广义结合BCH-代数的关系;广义结合BCH-代数与广义结合BCI-代数的关系;BCH-代数的拟右交措理想与理想的关系.进而证明了:BCH-代数是拟右交措的当且仅当它的任意理想是拟右交措的。     

伪度量(L)*-Lindenbaum代数中基本运算的连续性

研究了伪度量L*-Lindenbaum代数中基本运算的连续性．结果表明，Fuzzy命题演算系统L*中的全体公式集上的伪度量可以在L*-Lindenbaum代数M上诱导出一个伪度量ρ，证明了M上的非运算、并运算以及蕴涵运算关于ρ都是连续的．这为在(M，ρ)上建立近似推理理论提供了方便。     

模归约算法的数学基础研究

 多项式模归约算法是计算机代数中的基本问题之一,在编码算法和密码体制设计中有着广泛应用.提出了模归约算法中的2类基本算子:字归约算子、半字归约算子,并进一步证明了2类算子的计算量具有某种形式的不变量(如果满足一定的条件),从而证明了模归约算法计算量的线性性质,为其算法设计和分析提供了理论基础.还通过实例给出了2个算子在ECC和AES密码算法中的一些应用.     

Jordan导子的内导性

主要研究Jordan导子的内导性,从而得到套代数上任何一个导子都是内导子.     

微分代数方法求解凸二次规划问题

用微分代数方法求解凸二次规划问题,先把凸二次规划转化为带障碍项的凸规划,然后用微分代数方法求解,结果表明微分代数方法求解凸二次规划是切实可行的.     

代数体函数的一个基本不等式

本文得到了由定理2给出的代数体函数的一个基本不等式.     

基于Lie代数解法的时间依赖型期权模型

以Fokker-P lanck方程和L ie代数为基础,通过对时间依赖型期权定价模型的研究,结合有交易费的欧式期权的定价公式,运用证券组合技术与无套利原理,推导出时间依赖型有交易费的期权定价模型。通过对方程的化简、分析,在一定的条件下将非线性的期权定价模型化为线性的Fokker-P lanck方程的类型进行求解,并得出具体的有交易费的时间依赖型期权定价公式。