序凸集与锥的正规性

研究了序凸集的一些运算性质,得到了紧序凸集的序端点表示定理．定理2紧序凸集是其所有序端点的序凸包．还利用序凸集给出了正规锥的两个特征性质．定理3实Banach空间E的锥P是正规的当且仅当E的任何有界集的序凸包是有界的．定理4实Banach空间E的锥P是正规的当且仅当E是局部序凸的,即E有一个序凸的零点邻域基．     

弱诱导的L-fuzzy拓扑空间的正则闭分离性

讨论了弱诱导空间的正则闭分离性(Trc分离性)与其底空间的Trc分离性之间的关系,并得到:弱诱导空间(LX,δ)是Trci分离性当且仅当其底空间(X,[δ])是相应Trci分离性,当L为全序格时.     

ppl-空间、wppl-空间被闭Lindel(o)f映射逆向保持

对ppl-空间、wppl-空间的映射性质进行了探讨,得到的主要结果是:ppl-空间、wppl-空间被闭Lindel(o)f映射的逆向所保持.     

基于凸包的棋盘格角点自动识别与定位方法

 采用Harris方法提取角点,应用对称算子剔除棋盘格外圈角点与伪角点,基于灰度梯度方法精确提取棋盘格亚像素角点。在此基础上,提出了基于凸包的棋盘格角点分层识别与自动定位方法,实现了棋盘格角点物像坐标的自动匹配,从而可实现摄像机自动精确标定。实验结果表明,该方法具有较高的精度与可靠性,适合于摄像机在线自标定。     

一般化凸空间上KKM型定理对变分不等式解的存在性问题的应用

利用拓扑空间X的积空间X×X的实值函数构造出一个一般化凸空间,并根据已知的KKM型定理在该空间上讨论变分不等式解的存在性问题.     

空间CB(-∞,+∞)中集合列紧性的判别法

把空间C [a,b] 中集合列紧性的判别法推广到在无穷区间（-∞,＋∞）上连续且有界的函数构成的空间CB（-∞,＋∞）中,得到空间CB（-∞,＋∞）中集合列紧性的一个充要条件.     

半广义闭L-集

引入半广义闭L-集和半广义开L-集,证明两个半广义闭L-集的并也是半广义闭L-集,同样还证明了在闭映射和半连续映射下,sg-闭L-集的像是gf-闭L-集．但是有例子表明,在闭映射和半连续映射下,sg-开L-集的像一般不再是gf-开L-集．此外还证明了闭L-集=〉闭L-集=〉闭L-集=〉rgf-闭L-集,但是每个逆都是不真的。     

关于Quarter可层化空间

对第二纲的仿紧Quarter可层化空间进行了研究,证明了这类空间含有σ闭离散的稠密子集. 同时给出了实数集的子集是消去拓扑半群,但是不是Quarter可层化空间.     

σ1-空间及其性质

作为m1 空间的推广,定义了σ1 空间,给出了它的充分条件,并研究了它的基本性质.     

某电厂燃气轮机闭冷水系统及天然气前置系统改造

本文介绍了某电厂通过对#8燃气轮机闭冷水系统换热器及天然气前置系统的改造,从原理、节能、效益、改造前后的经济对比等几个方面进行了细致的阐述