可拓数学与矛盾问题

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

关于可微的一种等价形式

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

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

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

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

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

区间值函数和Fuzzy值函数的常微分方程解的性质

将普通常微分方程解对初值的连续性和可微性加以推广，得到了区间值函数的常微分方程解对初值的连续性和可微性．在此基础上，应用Ｆｕｚｚｙ集的分解定性，讨论了Ｆｕｚｚｙ值函数的常微分方程解对初值的连续性和可微性．     

试论文化因素与翻译中的可译性限度

翻译不仅是两种语言问的语义转换,而且是两种文化间的交融.民族文化差异反映在民族语言差异中,从而增加了语际翻译中的不可译性,即可译性限度.本文把同构及其相对性原理作为探讨翻译的可译性及其限度的理论基础,揭示该原理在语言、文化方面的体现,试图证明采用适宜的交通补偿手段可以降低甚至超越可译性限度.     

可装配性设计系统——IDFA

介绍了可装配性设计系统——IDFA(Integrated Design for Assembly)的研制情况.系统的可装配性评价建立在三维CAD系统的基础上,讨论了CAD与DFA的信息共享问题,可装配评价问题和可装配性重设计建议的实现方法等.     

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

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

若干积分不等式及其证明

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

约束流的r-矩阵

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