关于高阶微分中值定理的逆命题

在函数凹凸和严格凹凸的条件下,证明了高阶Cauchy中值定理和高阶Lagrange中值定理的逆命题.     

关于凸集的*隔离定理

本文讨论赋范空间X的对偶空间X~*中二凸集的*-隔离性.给出两个充分条件(定理1,定理3).并将其应用于逼近论中,证明了最佳逼近的两个对偶定理.     

对称单叶函数的开始多项式,积分平均及对称星象函数类的支撑点

本文讨论对称单叶函数中的几个问题。发现了凸象函数的开始多项式的一个性质,并解决了对称星象函数类的支撑点问题。     

顺序统计量的矩的不等式的一个注解

将Bartoszewicz所得到的来自两个具有星形序关系的总体的顺序统计量的矩不等式推广到了具有NBUE序关系的情形。     

S={■|■=A■,■≥0}为闭集的一种证明方法

本文提供了一种证明S={x|x=Ay,y≥0}为闭集的方法。     

凸函数与超加函数的关系研究

应用积分理论，研究了在整数规划中具有重要应用的凸函数及其超加函数的关系。利用超加函数的有关结论，证明了任何过原点的凸函数必为超加函数，并得到了此类凸函数的若干推论。     

用端铣刀数控加工自由曲面的刀具干涉检测

针对用端铣刀在自由曲面上进行3轴数控加工，提出了一种系统的刀具干涉检测方法．加工自由曲面时，刀具干涉可能出现在包括刀具驱动面在内的刀具周围任何区域．提出用检测线代替检测面来寻找加工自由曲面时可能出现刀具干涉的方法，可极大地加快检测过程，改善加工精度和可靠性，而且有利于产品的几何设计和指导影响加工效率的刀具选择．研究表明，所提的方法和算法合理有效．     

反凸模糊集

给出了反凸模糊集的定义并在此定义下推得了反凸模糊集的一些重要的性质，得到了模糊集是反凸模糊集的一些充分条件．