关于度量空间的formal balls构成的偏序集

ball构成的偏序集为度量空间理论和domain理论之间提供了联系.作者考察了Ω-范畴 的tensor完备化.当度量空间被视为Ω-范畴时，其formal ball构成的偏序集正好是它的tensor完备化.     

相容连续偏序集及其定向完备化

引入了相容连续偏序集及其定向完备化等概念,证明了相容连续偏的定向完备化是连续偏序集;利用主理想及Ｓｃｏｔｔ拓扑刻画了相容连续偏序集,得到相容定向完备偏序集是相容连续的当且仅当它的任一主理想是连续偏序也当且仅当它的Ｓｃｏｔｔ拓扑是一个完全分配格;考察了相容性连续偏序集的定向完备化的范畴意义,得到相容连续偏序集范畴以连续偏范畴作为为满的反射子范畴。     

偏序集的完备化与形式概念分析

借用形式概念分析中构造粗糙概念的方法,给出偏序集的几种完备化构造.然后由偏序集诱导一个形式背景,讨论该形式背景下的粗糙概念与完备化的关系.最后得到本文给出的完备化与经典的Dedekind-MacNeille完备化同构的结论.     

关于连续Ω-范畴的讨论

作者引入了理想完备Ω-范畴上的way below关系与完备Ω-范畴上的well below关系,证明了理想完备Ω-范畴上的连续性和完备Ω-范畴上的完全分配性可以分别用这两个关系来刻划,得出了完全分配Ω-范畴连续的推论.     

偏序集范畴的Cartesian闭性

作者讨论了偏序集范畴的Cartesian闭性, 给出了偏序集范畴的满子范畴具有Cartesian闭性的充分必要条件. 特别地, 作者证明了交连续半格（不要求定向完备性）范畴是Cartesian闭范畴, L-CDCPO范畴是L-POSET范畴的极大Cartesian闭子范畴.     

Ω-凸Fuzzy集

给定一个参数集,将Ω-模糊集与凸集相结合,提出了一种新的Ω-凸Fuzzy集,并研究了Ω-凸Fuzzy集的一些基本性质。     

Yoneda 完备度量空间范畴的完备性和余完备性

该文章探讨了以 Yoneda 完备度量空间为对象的范畴的完备性和余完备性. 证明了若态射是 Yoneda 连续映射或者 Yoneda 连续的非扩张映射, 则该范畴是完备且余完备的; 若态射是 Yoneda 连续的 Lipschitz 映射, 则该范畴是有限完备和有限余完备的, 但是它既不完备也不余完备. 最后证明了以实数值连续格为对象, Yoneda 连续的右伴为态射的范畴是完备的.     

Yoneda完备度量空间范畴的完备性和余完备性（英文）

本文探讨了Yoneda完备度量空间范畴的完备性和余完备性,证明:若态射是Yoneda连续映射或Yoneda连续的非扩张映射,则该范畴是完备且余完备的;若态射是Yoneda连续的Lipschitz映射,则该范畴是有限完备和有限余完备的,但既不完备也不余完备.本文还证明了以实数值连续格为对象,Yoneda连续的右伴为态射的范畴是完备的.     

连续偏序集及其Smyth幂的特征与浓度

推广连续domain的特征与浓度的概念到连续偏序集上,探讨了连续偏序集及其定向完备化和Smyth幂的特征、浓度.得到了几个关系定理:1)连续偏序集的特征(浓度)等于其上Scott拓扑的特征(浓度),但小于等于其上Lawson拓扑的特征(浓度);2)连续偏序集的浓度大于或等于它的定向完备化的浓度,而特征小于或等于它的定向完备化的特征;3)连续domain的浓度大于或等于它的Smyth幂domain的浓度.     

拓扑向量锥度量空间的紧致性

首先建立拓扑向量锥度量空间的邻域,开集和拓扑结构.然后在此基础上讨论拓扑向量锥度量空间的一些拓扑性质（分离性,可数性,紧致性）,证明了度量空间中的一些经典定理在拓扑向量锥度量空间中的推广.     

关于映射空间一个定理的注记

刻画了映射空间一致收敛拓扑与紧开拓扑等价定理的本质特征，化解了文[1]证明之误及晦涩之处。     

度量空间中的拟近标准点及度量空间的非标准完备化

研究了度量空间中的拟近标准点和度量空间的非标准完备化.在K-饱和的非标准模型下.采用非标准分析方法,提出了度量空间中的拟近标准点的定义,得到了非标准度量空间中的点是拟近标准点的充要条件是它属于某一个标准点的每一个*-开球,证明了度量空间的非标准完备化恰是该空间的非标准扩张中拟近标准点集的商空间.     

一种基于B方法和构件技术的形式化开发方法

构件技术和形式化方法是解决软件危机和提高软件开发效率问题的关键。在分析了构件技术、B方法、XML和XSLT后,本文提出了一种基于B方法和构件技术进行形式化开发的方法,并示例说明。     

基于PVS的数据库安全策略形式化分析方法

基于安全策略模型的形式化分析对于数据库管理系统达到高安全保障等级的重要性,提出了新的基于PVS的数据库安全策略模型分析方法,该方法结合了PVS函数式语言的特点,通过一系列算法和流程展示了模块化的系统状态、安全属性、操作规则的定义过程.借助PVS定理证明器对BeyonDB数据库管理系统进行安全性分析,结果表明,该方法不但能够提高形式化建模效率,而且可以有效地发现系统设计中存在的漏洞.     

滚珠螺旋副中滚珠滑移及自锁效应分析

针对限制滚珠螺旋副高速运转的滚珠滑移及自锁现象,建立滚珠螺旋副的三维实体模型,并对滚珠运动特性进行理论计算和分析,揭示出滚珠螺旋副中滚珠滑移和自锁效应产生的原因以及对滚珠螺旋副高速性能的影响。以滚珠运动规律为基础,推导滚珠滑移速度公式,提出如何避免滚珠卡死及减小滑移以提高滚珠螺旋副高速性能的方法。并用ADAMS软件对其进行了动力学仿真分析,仿真结果证实了所推导滚珠运动规律的正确性。     

A simple proof of the formal duality of the Kerdock and Preparata codes

The nonlinearity of the-Z2-Kerdock code Km+1, where m is an odd integer ≥3, is not at all obvious. By regarding Km+1 as the binary image of the-Z4-Kerdock code K (m) under the Gray map[1], a simple proof can be achieved (cf. Theorems 8.7 and 8.9 of [2]). Similarly, the formal duality of the-Z2-Kerdock code Km+1 and the-Z2-Preparata code Pm+1 is even more not at all obvious. A simple proof is given in the present note, by regarding Km+1 as the binary image of K (m) and using the duality of K (m) and the-Z4-Preparata code P (m) established in [1].