椭圆外切2n+1边形中切顶线三角形有向面积的定值定理及其应用

本文给出椭圆外切2n 1边形中一类切顶线三角形有向面积的一个定值定理及其若干推论，其中包括射影几何中著名的Brisanchon定理在椭圆外切三角形中的情形。     

关于切顶线三角形有向面积的定值定理及其应用

本文给出切顶线三角形（有向）面积的一些定值定理，并据此推出切顶线共点（其中包括射影几何中著名的Brianchon定理在圆外切三角形中的情形）的结论。     

Z-空间上的有界线性泛函的性质

文章在次范整线性空间中利用Hahn-Banach扩张定理给出泛函存在定理,分隔性定理,这些定理推广赋范线性空间的泛函存在定理、分隔性定理.     

微分中值定理的一种统一证明方法

利用闭区间上连续函数的介值定理、单调有界定理及极限的性质,统一地证明了广义微分中值定理,其余的微分中值定理可以作为广义微分中值定理的特例给出。     

非结构网格生成技术

描述了非结构网格生成的过程,网格的生成方法基于Delaunay 三角形方法,并对物面附近网格进行拉伸以便获得在边界层内高拉伸比的三角形单元。网格的生成过程分两部分:(1) 按Delaunay 三角形方法生成适于无粘情况下的非结构网格。(2) 对近物面的部分三角形单元进行拉伸,使生成的网格能适用于粘流。使用上述方法本文构造了二维弯管内绕叶栅区域的非结构网格     

变上限定积分的应用

本文应用变上限定积分的基本性质,给出了定积分中值定理的新证明,並改进了有关结果,还指出了积分中值定理与微分中值定理、积分第一中值定理与积分第二中值定理之间的联系。最后还通过几个实例,给出了一个化有字母限的积分问题为微分学问题的有效方法。     

等边三角形网格加筋壳轴压承载研究

随着新一代中型运载火箭研制的开展,贮箱焊接筒段的精细化设计成为结构减重、火箭提高运载能力的关键。对比分析国内外主要液体火箭贮箱筒段的不同网格加筋形式,发现三角形网格对轴压承载有着显著优势。随即对三角形网格加筋金属壳体的轴压承载能力展开算法分析、有限元计算和全尺寸级破坏试验的研究,最终验证等刚度铺层计算方法正确可行。理论分析和试验结果均表明,相比传统的斜置正交网格形式,三角形网格拥有更高的结构效率。按照结构最优原则设计的等重量三角形网格圆筒的轴压承载能力高出斜置正交网格15.3%左右。采用三角形网格加筋可有效减轻贮箱结构的重量。     

FC-空间内的KKM型定理及应用

在不具有任何凸性结构和线性结构的有限连续空间(简称FC-空间)中给出了KKM型定理。并应用此定理,在很弱的条件下证明了鞍点定理和Walras型定理,推广了近期文献中的一些相关的结果。     

微分中值定理的推广

文章引入Schwartz导数的概念,给出了一些Schwartz导数的性质,运用这些性质得出有关Schwartz导数的Rolle中值定理、Lagrange中值定理和Cauchy中值定理.     

非结构网络生成技术

描述了菲结构网络生成的过程,网络的生成方法基于Ｄｅｌａｕｎａｙ三角形方法,并对物面附近网络进行拉伸以便获得在边界层内高拉伸比的三角形单元。网络的生成过程分两部分：（１）按Ｄｅｌａｕｎａｙ三角形方法生成适于无粘情况下的非结构网络。（２）对近物面的部分三角形单元进行拉伸,使生成的网格能适用于粘流。使用上述方法本文构造了二维弯管内绕叶栅区域的非结构网格。     

达布定理的推广与柯西中值定理的一个新证明

本文推广了达布定理,並用它给出了柯西中值定理的一个新证明。     

象征型拟微分算子的L~2－有界性

证明了象征型拟微分算子的一个Ｌ２有界性定理，其中象征ａ（ｘ，ξ）关于ｘ的正则性条件被进一步减弱了。在某种意义下，该结果给出了定理Ａ与定理Ｂ之间的联系。     

区间模糊集理论及其运算法则(英文)

在区间模糊集概念及其性质的基础上,针对区间模糊集的3个理论尚未得到有效证明的现状,首先对区间模糊集的知识表示及其运算法则进行了研究,然后提出了基于区间模糊集的截集概念。并在此基础之上进一步研究了基于区间模糊集的分解定理、表现定理和扩展定理,并通过实例说明了传统模糊集是区间模糊集的一个特例,区间模糊集是传统模糊集的有效扩展。     

轴测投影基本定理的计算理论和方法

波克－许华尔兹定理是轴测投影的基本定理。本文研究了轴测投影基本定理的计算问题,给出了从投影图形计算空间四面体位置及运动参数的计算方法和公式;同时给出了从空间四面体计算投影图形位置及运动参数的计算方法和公式,据此建立了新的、含有定量关系的轴测投影基本定理。     

Thermal Stresses and Theorem on Decomposition

The thermal expansion strain is considered as a special case of eigenstrain. The authors proved the theo- rem on decomposition of eigenstrain existing in a body into two constituents： Impotent eigenstrain （not causing stress in any point of a body） and nilpotent eigenstrain （not causing strain in any point of a body）. According to this theorem, the thermal stress can be easily found through the nilpotent eigenstrain. If the eigenstrain is an im- potent one, the thermal stress vanishes. In this case, the eigenstrain must be compatible. The authors suggest a new approach to measure of eigenstrain incompatibility and hence to estimate of thermal stresses.     

整函数及其线性微分多项式的唯一性

１９７６年，ＬＲｕｂｅｌ与ＣＣＹａｎｇ对整函数及其导数分享两个复数（计重数）的唯一性作了研究。最近，顾永兴考虑将函数的导数换为函数的一般线性微分多项式，并证明了相应的唯一性定理。但定理中对两个复数以及多项式的系数（为函数的小函数）所作的一些限制是不自然的，他本人猜测，这些限制条件可以去掉。本文第二作者证实了他的猜测。本文则考虑整函数及其线性微分多项式在不计重数地分享两个有穷复数这一更一般的情况下的唯一性问题，得到了一个充分条件。     

运载火箭/航天器耦合分支模态综合法(上)

将运载火箭作为主结构、航天器作为分支子结构,分别采用自由界面模态展开定理和固定界面模态展开定理,导出分支模态综合法,进行运载火箭/航天器组合模型响应分析.进而,采用界面约束模态质量的界面加速度,导出航天器载荷估计方法,这时的运载火箭与航天器连接界面可以是静定的或静不定的.当仅考虑连接界面是静定的情况,界面约束模态质量将...