可拓数学与矛盾问题

本文对可拓数学建构中的几个核心问题进行了初步探讨，分析了可拓数学在研究对象、基本模型、集合基础、逻辑基础等几个方面的特点。     

关于可微的一种等价形式

本文给出可微的一种简便形式,可使一些有关可微性命题的证明更简明、准确.将其推广到向量值函数应用更方便.     

Seifert and Van Kampen定理的一种特殊情形的有关讨论

代数拓扑是拓扑学的重要分支,它的特征是借助于一系列代数的对象、方法,如群、环、同态等,进行研究拓扑空间在连续形变下的不变性质.同伦论是代数拓扑的基础,而基本群是同伦论的一个重要概念.Seifert-Van Kampen定理主要用来确定某些较复杂的空间的基本群的结构,对于此定理的证明需要许多代数方面的知识,而且证明过程篇幅较长,本文仅用点集拓扑所涉及的方法给出Seifert-Van Kampen定理的一种特殊情形的证明.     

判定凸多边形可移动性算法的推广

文［１］研究了两个凸多边形可移动性问题的最优判定算法，讨论了简单多边形Ｐ和凸多边形Ｑ的可移动性问题。提出了一种与［１］具有相同时间复杂度的最优算法。     

科技进步贡献率数学模型前提假定与误差分析

对应用产出增长型生产函数计算科技进步贡献率时的前提假定和约束条例进行了本质性分析,给出经济数学的解释,并讨论了减少计算误差、提高结果精度的途径.     

若干积分不等式及其证明

对一些积分不等式给出了证明，从而归纳出一些常见积分不等式的证明方法。     

约束流的r-矩阵

经典γ-矩阵和Poisson结构在可积系统研究中具重大作用,因为它们蕴含了系统的许多内在性质.近年来,依赖于动力系统变量的动力γ-矩阵及相联系的推广的Yang-Baxter方程的研究已引起越来越多的兴趣.然而,孤立子方程约束流的经典Poisson结构和γ-矩阵至今尚未被研究过.实际上,约束流的γ-矩阵具有丰富的结构,其中有些是动力型的,且满足推广的带矩阵附加项的Yang-Baxter方程.因此,这些γ-矩阵不仅给出研究约束流可积性质的途径,而且为研究动力γ-矩阵的内在结构提供了例子.本文以AKNS方程族为例阐述有关内容.AKNS方程族的约束流的Lax表示为     

一类不可微优化的一阶最优性必要条件

考虑下述不可微优化问题：其中为Ｒｎ上的拟可微函数（在Ｄｅｍｙａｎｏｖ和Ｒｕｂｉｎｏｖ意义下）上的局部Ｌｉｐｓｃｈｉｔｚ函数．本文给出该问题的ＦｒｉｔｚＪｏｈｎ必要性条件．推文了以往Ｌｉｐｓｃｈｉｔｚ优化和拟可做优化的ＦｒｉｔｚＪｏｈｎ必要性条件．     

关于K—可换性与K—正规性

本文证明了对实自共轭迹类算子有Ｔｒ（（ＡＢ）＾２＾ｎ）≤Ｔｒ（Ａ＾２＾ｎ，Ｂ＾２＾ｎ），即Ｋ＝２＾ｎ情形下的Ｈｉｌｂｅｒｔ空间中Ｂｅｌｌｍａｎ不等式；定义了Ｋ－换位子，讨论其若干性质；并给出Ｔｒ（（ＡＡ）＾２＝Ｔｒ（Ａ＾２Ａ）＾２的充要条件，等价定义了正常迹类算子。     

关于函数方程

确定函数方程Z；：；（（（（0）：0，以及另外三个方程的Lebesgue可积解。