关于FS-Domain的Plotkin幂-Domain

本文证明了 ＦＳ－Ｄｏｍａｉｎ关于 Ｐｌｏｔｋｉｎ幂－Ｄｏｍａｉｎ构造是封闭的．

关于FS-domain遗传性

考察了FS-domain对某些子结构和收缩核的遗传性。证明了FS-domain对闭子空间和一类特殊的开子空间均是可遗传的,还证明了FS-domain对任一收缩核也是遗传的,构造了一类有趣的收缩核的实例。

有界完备dcpo上的线性逼近——强线性FS-domain

作者利用有上伴的映射构成的函数空间定义了有界完备dcpo上的强线性FS-domain,并讨论了它和线性FS-格的关系以及它的拓扑、范畴等性质。

连续B-domain的一个刻划定理

本文证明了在Ｌ－ｄｏｍａｉｎ条件下，连续Ｂ－ｄｏｍａｉｎ与ＦＳ－ｄｏｍａｉｎ等价，并由此得到了连续Ｂ－ｄｏｍａｉｎ的一个刻划定理．

一些Scott连续自映射的不动点集的性质

研究了一些连续domain在幂等的连续自映射下的不动点集的性质,并证明了PF-domain在Scott连续自映射下的不动点集为连续的dcpo(定向完备集).

FS-偏序集和连续L-偏序集

引入了FS-偏序集和连续L-偏序集概念,探讨了FS-偏序集和连续L-偏序集的性质.主要结果有:(1)每一FS-偏序集都是有限上集生成的,因而是Scott紧的;(2)证明了FS-偏序集(连续L-偏序集)的定向完备化是FS-偏序集(连续L-偏序集);(3)一个偏序集是一个FS-Domain当且仅当它为Lawson紧的FS-偏序集;(4)FS-偏序集(连续L-偏序集)去掉部分极大元后还是FS-偏序集(连续L-偏序集).

L-连续偏序集的M性质与有限分离性

讨论了L-连续偏序集的M性质与有限分离性质之间的关系,主要结果:(1)若P为L-连续偏序集,则P是有限上集生成,而且满足M性质当且仅当它的定向完备化为FS-domain(有限分离的domain);(2)若P为相容L-domain,则P是有限上集生成,而且满足M性质当且仅当它为相容FS-domain.

基于FFT-FS频谱细化技术的船模耐波性试验测量信号分析方法研究

针对FFT频率分辨率受限制且精度不高的缺点以及船模对波浪的运动响应频率是低频且窄带的特点,采用FFT-FS方法对测量的运动响应信号在其对应的窄带频段内进行频谱细化获得更细致准确的信号频域特征;通过对该算法的运算量及分析精度的研究表明该算法是一种运算效率高、分析精度高且受信号本身信噪比影响小的频域分析方法;通过对船模运动响应的仿真信号和实测信号的分析表明该算法确实能有效地用于船模耐波性试验测量数据的定量分析。

有界完全Domain及其相关性质

介绍了有界完全Domain的相关性质,用函数空间的研究方法证明了以ScottDS连续映射为态射,以有界完全Domain为对象的范畴的笛卡儿闭性;同时指出它是一个FS Domain,而FS Domain及其之间的ScottDS连续映射构成的范畴是笛卡儿闭的,从而有界完全Domain范畴BC Domain是FS Domain范畴的笛卡儿闭的满子范畴.

FS-相容Domain的定向完备化及相关范畴性质

引入FS-相容Domain概念,研究FS-相容Domain的性质,主要结果有:(1)FS-相容Domain的收缩核与连续函数空间还是FS-相容Domain;(2)FS-相容Domain是有限生成上集,从而是Scott紧的;(3)FS-相容Domain的定向完备化是FS-Domain;(4)有最大元的FS-Domain去掉最大元后是FS-相容Domain;(5)证明了以Scott连续映射为态射,FS-相容Domain为对象的范畴FS-CDOM是笛卡儿闭范畴并以FS-Domain范畴FS-DOM作为满的反射子范畴。

Scott连续自映射的不动点

通过研究连续Domain上Scott连续自映射 (特别是L domain之间的稳定映射以及FS domain之间的一致交换映射 )的不动点全体之集的性质 ,对Lawson和Mis love于 1 990年提出的一个问题作出了回答 .

载波包络相位稳定的6 fs超快强激光脉冲及其在高次谐波产生中的应用

脉冲宽度40 fs,功率1.1 W的载波包络相位(CEP)稳定的飞秒激光脉冲在充氩气的空芯光纤内由于自相位调制频谱展宽,通过啁啾镜和斜劈补偿色散,最终可获得脉冲宽度为6 fs的载波包络相位稳定的强激光脉冲.将之应用到高次谐波实验中得到了脉冲宽度为500 as的单个阿秒脉冲.

Fixed points of Scott continuous self-maps

In this paper we study the properties of the set consisting of all fixed points of a Scott continuous self-map between domains. All the results give an answer to an open problem posed by Lawson and Mislove in 1990.