输入有界线性离散系统可控区域的一种有效算法

针对输入有界的离散时间线性定常系统，利用凸多面体集合的几何特性，求解与有限步可控区域相联系的凸多面体集合的边界超平面法向量，进而得到有限步可控区域的精确表示，计算实践表明，与求解可控区域的传统方法相比，该方法具有更高的计算效率，且当有限步可控区域对应较多的步数时，该方法在计算效率上的优势更加显著．还结合最小时间控制问题和镇定问题，说明用该方法得到的有限步可控区域的精确描述，能够为解决约束系统的控制问题提供重要依据。     

L—凸空间中的Ky—Fan极大极小不等式

在较为广泛的L—凸空间中利用转移紧闭值，得到了一个关于λ—转移紧上(下)半连续泛函的新的Ky—Fan板大板小不等式，同时给出了与其等价的几何形式。这些定理概括和推广了许多相关结果。     

赋准范空间上半连续算子族的一致有界性

首先在第二纲的赋准范空间上给出了在某一点“上半连续”的广义按范γ—拟次加算子族的一致有界性．然后推出了在第二纲的赋准范空间上．关于按范γ—拟次加算子列的极限的几个性质．     

上跨高速公路的地方道路分离式立交桥的设计

简要介绍了上跨高速公路的地方道路分离式立交桥设计中桥位选定、桥位勘测、桥型选定及与周围环境协调关系的技术要求以及室内设计应注意的问题。     

凹函数的范畴

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

凸集之间的(伪)距离函数及其应用

凸集之间的距离和伪距离函数在工程技术的诸多分支中具有普遍的应用价值. 对该领域近年来的主要研究结果进行综述, 包括凸集(尤其是凸多面体)之间距离的快速计算方法, 各种伪距离函数(J-函数、膨胀距离、伪最小平移距离)的定义及性质, 并结合机器人运动规划、抓取分析与综合、几何误差评定以及工程优化问题解的最优性判别等问题, 介绍距离和伪距离函数的应用.     

若干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空间中任一元在其闭凸子集中有惟一的最佳逼近元。     

一类上可嵌入图

本文主要证明了如下结果 :设G为 3-连通图 ,若G的顶点集存在一个C一划分 {V1,V2 ,… ,Vn} ,使得对每个 1≤i≤n ,|Vi|≡ 0 (mod 2 ) ,且对任意的v∈V(G) ,dG=(v)≡ 1(mod 2 ) ,则G是上可嵌入的 .