偏序集上Z—态射的刻划

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

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

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

一致连续偏序集理论

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

广义Z—连续偏序偏

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

Z—连续格的一个范畴刻划

记A表示以完备格为对象且《满足插入性质,保Z-并和保≤z的映射作为态射的范畴,而B是A中全体Z-连续格为对象的满子范畴,我们给出了Z-连续格的一个范畴性质-余反射性质,即B在A中是余反射的。     

Zε—变换和它在积分方程中的应用

借助非标准分析，本文讨论了在一般偏序集上的Ｍｏｂｉｕｓ－Ｒｏｔａ反演和Ｖｌｏｔｅｒｒａ型积分方程的联系，提出了Ｚε－变换方法，并具体给出在Ｖｏｌｔｅｒｒａ型方程中的应用。     

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

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

Z-广义连续格

利用Ｚ－子集系统引入Ｚ－广义连续格的概念，并研究了这类格的映射及拓扑性质。     

布尔矩阵的极小g—逆和g—逆集的一个表示法

提出了布尔矩阵的极小ｇ－逆（广义逆）的概念，给出了求正则布尔矩阵的极小ｇ－逆集的一个算汉和极小ｇ－逆个数的计算公式。根据ｇ－逆界定理，一个正则布尔矩阵Ａ的全部ｇ－逆可以通过Ａ的极小ｇ－逆集和最大ｇ－逆表示出来。     

连续格的极小集刻画

仿照完全分配格中的做法,定义了完备格上的定向极小集和连续格上的定向极小映射,从而得到了连续格的定向极小集刻画,并研究了它们的一些性质。     

三元多项式代数上的Z2-分次自同构

研究K［x,y,z］上 〖KX,1〗Z2 分次自同构
的结构, 其中K是特征零的域, 〖KX,1〗Z2 分次定义为deg[KG*4]〖KX,1〗Z
2(x)=deg[KG*4]〖KX,1〗Z2(y)=0〖DD(-*3〗-〖DD)〗, deg[KG*4]〖KX,1
〗Z2(z)=1〖DD(-*3〗-〖DD)〗. 证明了K［x,y,z］上一个稳定z的自同构是tame
的当且仅当其诱导的 〖KX,1〗Z2 分次自同构是分次tame的, 并证明了若一个 〖KX,1
〗Z2 分次自同构是tame的, 则它是分次tame的.     

基于ZML的Z语言规范

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

Z+Z智能教育平台在数学教学中的应用

信息技术的发展对数学教育产生了很大影响,本文从数学教学的角度出发,以Z+Z智能教育软件为工具,针对数学教学中的一个实例,分析数学软件对数学教育改革的影响。     

OpenGL图形规范的Z形式化描述

OpenGL图形系统的开发难度随着OpenGL应用的不断发展和深入而日益增大,潜在的错误也越来越多,其中不能准确理解OpenGL规范是重要原因之一。由于OpenGL规范的描述主要是以自然语言为主,而且规范繁多,使用形式化描述规范可增加规范的准确性。本文选择描述OpenGL光照规范。通过列举光照的实例,利用Z语言给出了OpenGL中光照的规格说明,为规范的一致性测试提供了依据。     

Fisher Z分布流形的几何结构

Fisher Z分布作为一个统计分布在实际中有广泛的应用。首先从信息几何的角度对该分布进行了分析,在分布的参数取其允许值时研究其全体所组成的流形几何结构;讨论了Fisher Z分布流形的对偶结构及其平坦性,进而给出了该流形的黎曼度量、α仿射联络和α曲率,并在该统计流形上定义了散度来衡量两点之间的距离;最后给出了Fisher Z分布流形在高一维欧氏空间中的一个图浸入。     

Z+Z智能教育平台在高等数学教学中的应用

Z Z智能教育平台具有动态作图功能、轨迹生成功能、测量功能以及自动推理功能和交互推理功能,在高等数学的教学改革中有着相当广泛的应用[1].文章通过举例说明如何在高等数学教学中应用Z Z智能教育平台.     

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

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