Z—连续偏序集的Z—极小集理论

给出了Ｚ－连续偏序集上Ｚ－极小集的概念及其性质和等价刻划，利用Ｚ－极小集的方法阐述了映射的连续性及保Ｚ－Ｂｅｌｏｗ关系和保Ｚ－极小集之间的联系，并证明了完备格是Ｚ－连续格当且仅当每个元都存在Ｚ－极小集     

偏序集上Z—态射的刻划

该文引入了Ｚ－Ｓｃｏｔｔ连续映射的概念,证明了Ｚ－完备偏序集上的映射为Ｚ－连续映射当且仅当它为Ｚ－Ｓｃｏｔｔ连续映射,并由此得到了偏序集上Ｚ－态射的刻划定理。     

强Z—拟连续偏序集的权与Z—嵌入基数

在集论ＺＦ＋ＤＣｗ中，我们给出了强Ｚ－拟连续偏序集Ｐ到单位闭区间［０，１］的Ｚ－态射的一个直接的构造法，证明了Ｐ到［０，１］的Ｚ－态射全体强分离Ｐ中的点，该文引入了Ｚ－完备偏序集Ｒ的权ω（Ｐ）和Ｐ的Ｚ－嵌入基数λｚ（Ｐ）。     

广义Z—连续偏序偏

研究了广义Ｚ＝连续偏序集在Ｚ－连续的闭包算子下的像还是广义ｚ－连续偏序集,服一个强广义Ｚ－连续偏序集在推广的ｌａｗｓｏｎ拓扑下是Ｔ２的。     

Ky Fan极大极小不等式在Z--空间中的推广

最近,张宪引入了Ｚ－空间,并将ＫＫＭ定理推广到Ｚ－空间。文章利用Ｚ－空间中的ＫＫＭ定理,在Ｚ－空间中讨论了Ｋｙ Ｆａｎ极大极小不等式及其不同形式的推广。     

Z-拟代数Domain

引入Z－拟代数Domain的概念，证明了在Z－连续闭包算子下的保持性以有当满足条件△（L）包含于（L）时，Z－拟代数格L关于Z－Lawson拓扑lz(L）是Priestlespace。     

高斯-贝塞耳光束的Z-扫描技术

对使用高斯－贝塞耳（ＧＢ）光束的Ｚ－扫描技术理论进行了研究,结果发现：理想高斯光束即使有一个很小偏高,也会导致测量灵敏的显著变化;用一个小的贝塞耳光束调速斯光束,Ｚ－扫描的灵敏度比用常规的高斯光束增加４０倍以上。     

吸积盘中心黑洞的熵变与B—Z过程

分别在薄盘和厚盘两种情况下，详细讨论了纯吸积过程和Ｂ－Ｚ过程中吸积盘中心黑洞的熵变。结果表明，中心黑洞各参量在Ｂ－Ｚ过程中的变化率与在纯吸积过程中的变化率之差与盘结构无关，而且与Ｂ－Ｚ过程的辐射功率成正比。在Ｂ－Ｚ过程中黑洞熵的变化率总是大于纯吸积过程中黑洞熵的变化率，二者之差来自中心黑洞延伸视界上的耗散功率。此外，还讨论了黑洞热力学定律在上述盘吸积过程中的有效性。     

吸积盘中心黑洞的熵变与 B-Z 过程

分别在薄盘和厚盘两种情况下,详细讨论了纯吸积过程和Ｂ－Ｚ过程中吸积盘中心黑洞的熵变．结果表明,中心黑洞各参量在Ｂ－Ｚ过程中的变化率与在纯吸积过程中的变化率之差与盘结构无关,而且与Ｂ－Ｚ过程的辐射功率成正比．在Ｂ－Ｚ过程中黑洞熵的变化率总是大于纯吸积过程中黑洞熵的变化率,二者之差来自中心黑洞延伸视界上的耗散功率．此外,还讨论了黑洞热力学定律在上述盘吸积过程中的有效性．     

变系数Zakharov—Kuznetsov方程的容许变换和Painleve分析

讨论了来自于磁化的等离子体中非线性离子声波传播的Ｚａｋｈａｒｏｖ－Ｋｕｚｎｅｔｓｏｖ（ＺＫ）方程及变系数ＺＫ方程。得到了ＺＫ方程的性流形方程的通解。证明了变系数ＺＫ方程能够通过容许变换化为ＺＫ方程的系数所应满足的条件并不等价于它具条件Ｐａｉｎｌｅｖｅ性质时的系数所满足的条件。     

广义Z-拟连续偏序集的若干性质

讨论了广义Z-拟连续偏序集的一些性质.利用伴随给出了广义Z-拟连续偏序集的等价刻画.证明了当Z是具有有限族并性质的Rudin子集系统时,Z-交连续的广义Z-拟连续偏序集是Z-拟连续偏序集.     

采用小波变换对自发耳声发射信号的检测研究

自发耳声发射信号的检测方法通常采用周期图法 ,为了推动自发耳声发射在临床生理和病理上的应用 ,需要有较高频率分辨率和准确率的稳健算法推向临床。论文在研究自发耳声发射信号的检测方法时 ,通过对连续小波变换的两种快速算法的比较 ,发现调频 Z变换方法比 Mellin变换方法在提高自发耳声发射信号的频率分辨率方面具有更大的优越性 ,提高了自发耳声发射信号谱峰识别的准确性和简易性。调频 Z变换方法对推动自发耳声发射在临床生理和病理上的应用有更大的潜力。     

可并的Z—强连续偏序集上Scott闭集格的几个结果

对可并的Z—强连续偏序集做了一些讨论,得到了可并的Z—强连续偏序集上的scott闭集格是可并的Z—连续格和完全分配格。     

基于ZML的Z语言规范

ISO的Z标准为Z语言工具的开发及不同Z开发工具间的互操作提供了基础,然而它所建立的只是开发工具必须遵守和使用记号,而没有说明如何实现这些记号。ZML采用XML模式文档形式来描述Z语言规范,可以实现Z语言在不同工具间的交换。本文讨论XML模式的重用、替换设计机理在ZML中的应用;并讨论了在设计ZML时,所引入的XML模型元素与Z标准对应的问题;以及随着ZML的演化,如何减少Z语言XML文档的开发维护时间问题。     

关于Z-空间的性质

提出了B-Z-空间的概念,研究了有关Z-空间的性质,同时将泛函分析中赋范空间的积空间与商空间的性质移植于Z-空间之中.     

UML状态图的形式化

为面向对象模型建立坚实的形式化基础是近年来形式化研究的热点，UML是一种被推荐的面向对象建模语言，Z是一种广泛使用的形式化规约语言．适合用来精确表示模型的语法和语义，本文利用DFA描述了UML状态机的语法，并采用Z(Object—Z)语言对UML状态机视图进行了形式化描述．     

Z-map方法在零件内有孔时的扩展仿真研究

把Z-map方法扩展到工件内有圆孔的领域,提供了Z向多值情况下去除量仿真的算法原理,并给出了扩展后的程序框图与实例.解决了Z-map方法计算有孔零件的切削去除量问题.     

厚非线性介质Z扫描理论分析

本文介绍了Z扫描理论,重点从厚非线性介质Z扫描理论出发,对厚样品Z扫描方法进行总结,进而得出这些方法的改进思路。