超连续Domain与拟超连续Domian

讨论了超连续domain与拟超连续domain的相关性质,证明了超连续半格范畴为有性质M*的拟超连续domain范畴的反射子范畴。

拟连续Domain的SM^(*)性质

研究了拟连续Domain中比M^(*)性质更强的SM^(*)性质,并得到了一些有意义的结论.主要结果有:给出了拟连续Domain具有M^(*)性质的等价刻画;给出了拟连续Domain的SM^(*)性质的定义,并说明了M^(*)性质与SM^(*)性质的关系;给出了QL-Domain具有SM^(*)性质的等价条件;给出了两类具有性质SM^(*)的特殊的拟连续Domain.

Z-拟连续domain上的Scott拓扑和Lawson拓扑

对一般子集系统Z,引入了Z-拟连续domain的概念,证明了Z-完备偏序集P是Z-拟连续的当且仅当P上的Z-Scott拓扑σ_z(P)在集包含序下是超连续格;Z-拟连续domain P上的Z-Scott拓扑σ_z(P)是Sober的当且仅当σ_z(P)具有Rudin性质,P赋予Z-Lawson拓扑λ_z(P)是pospace;且若P上的Z-Lawson开上集是Z-Scott开的,Z-Lawson开下集是下拓扑开的,则(P,λ_z(P))为严格完全正则序空间。

Rudin性质与拟Z-连续Domain

对一般子集系统 Z,引入了 Rudin性质,给出了它的映射式刻划,作为拟连续偏序集和Z-连续偏序集的公共推广,引入了拟Z-连续Domain的概念,讨论了拟Z-连续Domain的基本性质,特别地,给出了 Rudin性质及其映射式刻划在拟 Z-连续Domain方面的若干应用,将关于拟连续偏序集的主要结果推广至了拟 Z-连续 Domain情形。

拟连续Domain与广义完全分配格(英文)

本文证明了(1)在合适的态射下,拟连续domain范畴与广义完全分配范畴等价;(2)对有界完备的拟连续domain P,(P,σ(P))为极大极限空间.

拟连续Domain及其子范畴间的伴随关系

基于Smyth幂 Domain的构造,本文证明了连续半格范畴 CSL（分别地,有界完备连续Domain范畴CBD）是拟连续Domain范畴QCONT（分别地,Coherent拟连续 Domain范畴QCCOH）的反射子范畴.反例表明,连续 Domain范畴CONT作为范畴 QCONT的真子范畴并非其反射子范畴.所有结果均被进一步推广到拟代数Domain范畴.

拟连续Domain的拟基及其权

在定向完备偏序集(即dcpo)上引入了拟基的概念,给出了拟基的若干刻画并在此基础上定义了拟连续Domain的权。探讨了拟连续Domain的权与该拟连续Domain上赋予内蕴拓扑时的拓扑空间的权之间的关系。

拟连续Domain的若干拓扑性质(英文)

对拟连续Domain D证明了:(1)双拓扑空间(D,σ(D),(D))为两两完全正则空间;(2)若D有可数基,则(max(D),σ(D)max(D))为正则空间当且仅当它为Polish空间;(3)拓扑空间(D,σb(D))为零维Tychonoff空间,其中σb(D)为D上Scott拓扑的b-拓扑。

拟连续Domain上的扩张定理

定义了拟定向极小集,并证明了拟连续Dom ain的每个元都有拟定向极小集,在拟连续Dom ain中,给出了保拟定向极小集映射的几个等价刻画,并且在此基础上得到了拟连续Dom ain上的两个相应扩张定理。

拟Z-连续Domain的基

基于一般子集系统Z,引入了拟Z-连续Domain基的概念,讨论了拟Z-连续Domain基的一些映射性质,将关于拟连续偏序集的一些性质推广到了拟Z-连续Domain.

关于拟连续Domain的一个注记

证明了:(1)具有性质M的dcpo为拟连续domain当且仅当其上的下拓扑开集格在集合包含序下为连续格;(2)对于dcpoL,L为拟连续domain当且仅当ΣL的Hoare空间为局部强紧空间。

拟连续Domain的特征与浓度

在定向完备偏序集(即Dcpo)上引入局部拟基和稠密子集族的概念,在此基础上定义了拟连续Domain的特征和浓度.利用局部拟基给出拟连续Domain新的等价刻画,并探讨了拟连续Domain的特征、浓度与该拟连续Domain上赋予Scott拓扑或Lawson拓扑时的拓扑空间的特征、浓度之间的关系.证明了拟连续Domain的特征(浓度)等于其上赋予Scott拓扑时的拓扑空间的特征(浓度),且小于等于其上赋予Lawson拓扑时的拓扑空间的特征(浓度).

拟连续Domain的遗传性、不变性及映射空间

讨论了拟连续Domain的遗传性、不变性及映射空间.证明了拟连续Domain及拟代数Domain对开子空间和闭子空间都是可遗传的,拟连续Domain及拟代数Domain在保持集与集之间的way below-preserving序的拟Scott连续映射下保持不变.对于有界完备拟连续DomainX和L,当L是全序时,由Scott连续映射构成的映射空间[X→L]是有界完备拟连续Domain.

拟代数Domain的若干性质

基于拟连续Domain的等价定义及其构造,研究了拟代数Domain的一系列性质,并且给出了它的等价刻画,由此得到拟代数Domain一定是拟连续Domain.通过讨论Scott连续闭包算子保持集合与集合之间的Way below关系这一特性,证明了拟代数Domain在Scott连续闭包算子下的像仍是拟代数Domain;得到了拟代数Domain上赋予Scott拓扑构成Baire空间,拟代数格上赋予Lawson拓扑构成Priestley空间等结论.

Z-拟代数Domain

对一般的子集系统Z,引入Z 拟代数domain的概念,证明了Z domainP是Z 拟代数的当且仅当P上的Z Scott拓扑σz(P)在集包含序下是代数的超连续格,即超代数格;Z 拟代数domainP上的Z Scott拓扑σz(P)是Sober的当且仅当空间(P,σz(P))具有弱Rudin性质.

连续超松弛支持向量机回归算法应用研究

支持向量回归问题的研究,对函数拟合(回归逼近)具有重要的理论和应用意义。借鉴分类问题的有效算法,将其推广到回归问题中来,针对用于分类问题的SOR支持向量机有效算法,提出了SORR支持向量回归算法。在若干不同维数的数据集上,对SORR算法、ASVR算法和LibSVM算法进行数值试验,并进行比较分析。数值实验结果表明,SORR算法是有效的,与当前流行的支持向量机回归算法相比,在回归精度和学习速度上都有一定的优势。

Clifford分析中拟Cauchy型积分的Hlder连续性

以拟Cauchy型积分公式及超正则函数的Plemelj公式为基础,进一步研究了拟Cauchy型积分的H(o|¨)lder连续性:即对两点都在边界上;一点在边界上,另一点在区域内(区域外);两点都在区域内(两点都在区域外)这三种情形分别进行了研究.

广义拟容量的C-右连续性(英文)

本文探讨广义容量的性质，得到如下结果：（a）具有C-右连续，即关于紧集连续的凸拟容量是凸容量；（b）一大类广义容量具有C-右连续性；（c）凸拟容量的准上积分是凸Choquet容量．此外，给出具有C-右连续性的弱拟容量的可容性定理．本文还利用上述结果研究调和空间上正超调和函数的缩减函数和扫除函数．

超重力连续碳分法制备γ-Al2O3的研究

为解决分批操作导致产品孔径分布不均、结晶颗粒大、杂质多等问题,提出了将超重力技术与连续碳分工艺相结合制备拟薄水铝石及γ-Al2O3的新技术。以CO2和NaAlO2为原料,采用错流旋转填料床连续制备拟薄水铝石,考察了NaAlO2溶液浓度、气液比和超重力因子对拟薄水铝石孔隙性能的影响。对拟薄水铝石进行扩孔改性,焙烧制备了大孔γ-Al2O3。随着NaAlO2溶液浓度、气液比和超重力因子的增大,拟薄水铝石的比表面积和孔容呈先增大后减小的趋势,其最佳制备条件为:NaAlO2溶液浓度为0.1mol/L、气液比为3∶1、超重力因子为54。对其进行扩孔改性后焙烧,最终得到比表面积和孔容分别为322m2/g、1.826mL/g的纳米级大孔纤维状γ-Al2O3。研究结果表明,超重力连续碳分法所得产物纯度高、孔径分布均匀、生产效率高,适用于工业放大。

Z-拟代数Domain

引入Z -拟代数Domain的概念 ,证明了它在Z -连续闭包算子下的保持性以及当满足条件Δ(L) Z(L)时 ,Z -拟代数格L关于Z -Lawson拓扑lz(L)是Priestleyspace .