MkdV方程族的换位表示及其相应的Liouville完全可积系统

本文给出了ＭｋｄＶ方程族的换位表示及一个有限维对合系，并讨论了Ｂａｒｇｍａｎｎ约束和Ｃ．Ｎｅｕｍａｎｎ约束及其相应的定态ＭｋｄＶ系统。最后，我们得到ＭＫｄＶ方程族的对合解。     

Lagrange方程的动力学本质

对广泛应用的Lagrange方程的动力学本质做了探讨,指出在引入速度变换矩阵后,Lagrange方程实际上是牛顿第二定律的一种表示方式;由于引入了速度变换矩阵,Lagrange方程可以方便地在任意的坐标系中建立,对动力学问题的求解提供了一个途径。     

A Study of Evaluation System of Restricting Factors in Training Students‘ Qualities

This paper studies evaluation system of restricting factors in training students' qualities by modern mathematical method of analysis hierarchy process and principal factor analysis, and to build up a mathematical model of evaluation system.     

多变量系统最小能量终端控制

以广义逆矩阵的理论和Bellman最优性原理为基础，给出了MIMO系统的状态反馈型的闭型解，对最优终端控制问题作了进一步的详细研究，且通过具有零初始状态的线性定常系统的研究，导出了终端控制误差和控制能量与控制时间的关系。     

约束数据库中的函数依赖公理系统与设计理论

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为3NF或BCNF的算法。     

模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

广义判断下AHP(GJAHP)的一致性检验与可接受性的进一步探讨

广义判断下的AHP(GJAHP)是在单准则下通过构造广义判断矩阵的数学模型而建立的一种广义AHP.本文提出了广义判断矩阵一致性的一种非参数统计检验方法--spearman秩相关系数法, 给出了广义辅助矩阵的构造性定义, 并进一步探讨了广义判断矩阵的可接受性。最后本文给出了GJAHP的应用实例。     

盲孔法测量复合材料残余应力释放应变矩阵的有限元分析

对盲孔法测量正交各向异性复合材料残余应力释放应变矩阵进行有限元分析.以碳/环氧正交各向异性材料板为基础,对于不同孔深的盲孔进行有限元计算,得出与其相对应的释放应变矩阵,并分析孔深对释放应变矩阵的影响.为实际工程中残余应力的测试奠定了基础.     

特殊非负矩阵对的指数

文章主要考虑了特殊非负矩阵对的本原指数，其中与该负矩阵对相应的图包含两个圈．我们给出了该本原指数的界并且对其对应双色图的极图进行了刻画．     

含第三对称平均值比的一个不等式及其应用

借助于数学归纳法建立了含第三对称平均值比的一个不等式 ,并将此结果用于正定矩阵 ,获得了一个有趣的结果 .