自然数表为平方和的充分条件

本文给出了自然数表为两整数平方和与本原可表为两数平方和的充要条件的新证明。     

论可裂G2的基本态

设G为连通线性单Lie群,Knapp和Speh在文献[1]中指出,若P=MAN为G的一尖抛物子群,则唯一存在M的基本态,并讨论了基本态和G的酉表示之间的关系.除了G为     

可拓数学与矛盾问题

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

弹性横梁支承的可倾瓦推力轴承的静态分析

对推力轴承的周向负荷分配规律及推力瓦的静态工作点进行了研究．建立起系统的平衡方程式，计入了推力盘倾斜及推力瓦支承弹性横梁的影响．定义了可倾瓦的刚度系数，找到了可倾瓦与固定瓦油膜厚度之间的对应关系，从而利用固定瓦的计算结果来求得可倾瓦的静态特性及刚度系数．在Ｎｅｗｔｏｎ迭代法的基础，利用可倾瓦的刚度系数，在Ｎｅｗｔｏｎ迭代法的基础上，利用可倾瓦的刚度系数，求解非线性方程组．结果表明，推力盘的静态倾斜将引起各推力瓦负荷及静态工作点的很大变化．文中的工作可作为推力轴承广义热弹流分析及推力轴承－转子系统动力学研究的参考．     

关于可微的一种等价形式

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

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

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

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

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

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

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

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

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

可装配性设计系统——IDFA

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