1) Directed Completion
定向完备化
1.
Directed Completions of Consistent FS-domains and Related Categorical Properties;
FS-相容Domain的定向完备化及相关范畴性质
2.
In terms of Scott topology, it defines the directed completion of an LDomain, and proves that the completion of a consistent LDomain is an LDomain.
引入了相容 L Domain概念 ,给出了相容 L Domain的多种内部的和外部的刻画 ;利用 Scott拓扑定义了相容 L Domain的定向完备化 ,证明了相容 L Domain的定向完备化是 L Domain;考察了相容L Domain范畴 ,得知稳定映射为态射的相容 L Domain范畴是 Cartesian闭范畴 ,证明了稳定映射为态射的 L Domain范畴为相容 L Domain范畴的满的反射子范
3.
With the directed completion,it is also showed that the category of continuous posets is a full r.
引入了相容连续偏序集及其定向完备化等概念 ,证明了相容连续偏序集的定向完备化是连续偏序集 ;利用主理想及 Scott拓扑刻画了相容连续偏序集 ,得到相容定向完备偏序集是相容连续的当且仅当它的任一主理想是连续偏序集也当且仅当它的 Scott拓扑是一个完全分配格 ;考察了相容连续偏序集的定向完备化的范畴意义 ,得到相容连续偏序集范畴以连续偏序集范畴作为满的反射子范畴 。
2) positive definite completion
正定完备化
1.
Compared with the positive definite completions problem of partial hermitian matrices by C.
Johnson提出的部分正定阵的正定完备化进行比较,容易发现对已知的正定矩阵求扰动,本文的结论比用C。
3) local directed complete set
局部定向完备集
1.
When a poset is a local directed complete set, the auxiliary relation on it has many properties.
将辅助关系的概念及有关性质推广到较弱的局部定向完备集上 ,得到了局部定向完备集上的辅助关系特别是 way- below关系的一些较好的性质 ,进而讨论并加强了局部定向完备集上的插入性质 ,证明在连续的局部定向完备集上的 way- below关系满足强插入性
5) continuous local directed complete set
连续的局部定向完备集
6) Directed complete partially ordered monoid
定向完备偏序半群
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条