舟桥丙丁接头接触分析的计算机模拟

深入考察接触行为的特点，并以舟桥纵向连接件丙丁接头为例，建立了两种接触计算模型。采用大型通用有限元程序进行分析，模拟丙丁接头受力时的应力应变。与经验合成计算结果和常规有限元分析的结果进行对比，证明接触分析方法对连接件塑性变形、疲劳分析和优化设计有重要的指导意义。     

基于凸集投影和线过程模型的超分辨率图像重建

为了改善超分辨率重建图像的效果，提出了一种基于线过程模型的凸集投影方法。根据先验信息在图像重建中有重要作用的原理，该方法在数据一致性投影的基础上，将描述边缘信息的线过程模型作为图像的一个先验知识，用于重建过程中的平滑性约束投影，从而达到既保存图像的高频分量，又在一定程度上降低平滑区域噪声的效果。实验结果表明，该方法重建结果的视觉效果好于原方法，且信噪比有所提高，尤其是在高抽取率的情况下可以明显减少振铃效应。     

凸规划的内椭球法与原始-对偶仿射尺度算法

对线性约束的凸规划问题给出了一个原始-对偶仿射尺度算法，比较了这种方法与“内椭球法”两种算法的关系，并证明了该算法的迭代复杂性是O(nL^2)。     

两个含有平均值的不等式

利用与凸函数的Hadamard不等式相关的一个映射，推导出了两个新的含有平均值的不等式且其中之一是新近所得一个结果的加细．     

凹函数的范畴

以凹函数为对象，以特殊的仿射函数为态射，建立了范畴CONF，指出凸集和凸模糊集为范畴CONF中的对象。证明了范畴CONF有Finite Products和Equalizers性质。     

若干K凸性的等价条件

就一些K凸性的等价条件作了讨论，证明了几种K凸性在某种条件下是等价的，如当空间X是自反的且X和X*均有（H）性质时，则有7种K凸性等价，当空间X自反且有（H）性质，则有6种K凸性等价。     

一类差分方程的Cm解的存在性和惟一性

讨论了一类较广泛的差分方程G(x,f(x),f(x 1),……,f(x n)=n,x∈R，其中G∈C^m（R^n 2,R),n≥2)，通过采用小挪动映射逼近不动点的方法，对任一整数m≥0，在较弱的条件下证明了该方程的C^m解的存在性和惟一性。     

广义和强广义一致凸Banach空间

引入了广义一致凸Banach空间和强广义一致凸Banach空间的概念．证明了一致凸Banach空间是强广义一致凸Banach空间，广义一致凸Banach空间X是弱局部一致凸和严格凸的；X中任一元在以0为顶点的闭凸锥中有惟一最佳逼近；强广义一致凸Banach空间中任一元在其闭凸子集中有惟一的最佳逼近元。     

关于平面点集的凸分解

给定处于一般位置的平面点集S，可将S划分为若干空凸子集使得这些子集的并形成一简单多边形P，并且S的每一个点均位于P的边界上．称P中这样的空凸k-子集为-k-胞腔．令f(S)为S的划分中所含胞腔的最小数，F(n)=max{f(S)：S包含于E^2,|S|=n,无三点共线}．利用构造法将F(n)的下界改进为[n 1/4].     

相交柱锥表面展开图的计算机绘制

根据曲面到平面的等距变换原理，运用可展曲面及其曲面上的截交线或相贯线变换到平面上的方法，使曲面展开变得更为简捷、精确，且更有利于计算机辅助几何设计中建立曲面展开的数学模型和合理的算法，尤其对开展精度要求高的曲面展开更为有利。通过对轴线相交的圆柱体和圆锥体数学模型的研究，建立了展开曲线方程，用VBA语言结合Atutomation技术编制了通用的计算机程序，将展开图在AutoCAD2000上加以绘制，实现了任意大小的圆柱与圆锥展开图的参数化CAD，从而在理论上开发了面向对象的参数化设计系统，并介绍了具体实现的方法、过程。在实际工程中，对计算机在相贯件下料中的应用，具有快速、准确、修改方便的特点。