相容半连续格

给出了相容半连续格的概念以及它的若干性质,利用相容半素极小集的方法阐述了映射的相容半连续性、保c关系和保相容半素极小集之间的联系,并得到相容半连续格的任意收缩仍是相容半连续格的结论.

拟相容半连续格

给出了拟相容半连续格的概念以及它的若干性质,讨论了拟相容半连续格的像集是拟相容半连续格的条件.

相容半Scott拓扑

文章给出相容半Scott拓扑的概念,讨论相容半连续格上相容半Scott拓扑的一些基本性质.

相容半连续dcpo

作为半连续dcpo的推广,引入相容半连续dcpo的概念,并研究了相容半连续dcpo的性质.证明了相容半连续dcpo一定是半连续dcpo.最后研究了相容dcpo的内蕴拓扑:相容半Scott拓扑.

相容半连续格上的一个扩张定理

在相容半连续格上引入?_c-稠的概念,并得到相容半连续格的一个扩张定理.

相容半连续格的序同态

利用相容半素极小集研究相容半连续格上的序同态,并给出序同态的若干内部刻画,进而推广相关文献的有关结论.

相容完备格上的保序映射

基于相容半素理想给出了相容完备格的概念.在相容完备格上定义了相容半Lawson拓扑,研究了相容半Scott拓扑、相容半Lawson拓扑及相关的连续映射.

相容完备格上的保交映射

首先在相容半素理想的基础上建立了相容完备格的概念,进而在相容完备格上定义了相容半Lawson拓扑,最后讨论了了相容半Lawson拓扑、相容半Scott拓扑及其连续映射。

相容半连续Domain

引入了相容半连续Domain、相容强连续Domain的概念,给出了一系列性质,讨论了相容半连续Domain、相容强连续Domain与相容连续Domain间的关系。引入了相容半Scott拓扑,并讨论了其相关性质。

相容半连续格上的相容半基及局部相容半基

作为半连续格上半基和局部半基的推广,文章引入相容半连续格的相容半基及局部相容半基的概念。讨论了它们的基本性质,特别地,借助于相容半基与局部相容半基给出了相容半连续格的一些等价刻画。

局部相容半连续格

文章引入局部相容半连续格的概念,研究其若干性质,并借助于局部相容半素极小集来阐述映射的局部相容半连续性、保lc关系和保局部相容半素极小集之间的联系.特别地,在局部相容完备格之间的Galois联络下,研究了保lc关系与(强)局部相容半连续映射之间的关系。

操纵问题:道德责任理论的新挑战

操纵问题是指在特定情境下,主体的行动受到了另一个外部操纵者的“控制”,因而我们在直觉上认为主体不应为他自己的行动负责,然而如果我们只以半相容论者的标准对主体自身进行考察,却发现他完全满足了承担道德责任的资质要求。佩雷布姆利用操纵问题,提出了“四例论证”,并以此为武器向法兰克福式的半相容论发动了攻击。相容论者与不相容论者关于操纵问题的争论,在某种程度上已经演变为两种不同直觉之间的分歧,这使得相关讨论走入了死路。操纵问题实际上不仅出现先于相容论的预设,还可能出现于自由论的预设下。操纵问题实际上与因果归因的过程有关,操纵问题正是由因果归因过程中出现的错误所导致的。这意味着操纵问题实际上并不仅仅是一个有关于主体资质的问题,而是在更深的层次上揭示出道德责任理论本身的“不可靠性”。

相容并半连续格

利用半素滤子定义了相容并完备格,进而给出了相容并半连续格的概念以及研究了它的若干性质.此外,研究了相容并半连续格的映射性质,并得到相容并半连续格的任意收缩仍是相容并半连续格.

2—距离空间上半相容映射的公共不动点定理

本文在2-距离空引入半相容映射概念,并证得有关映射族具有公共不动点的若干结果。

相容并半连续Domain

在素滤子和并半连续格的基础上,引入了相容R-半连续Domain和相容并半连续Domain的概念,给出了它们的一些基本性质.并且利用相容R-半scott拓扑刻画了相容并半连续Domain.

基于WindowsXP+RTX的模拟测试系统开发

采用建模仿真技术、半实物仿真技术和WindowsXP+RTX技术开发研制的模拟测试系统,用于在复杂试验条件下,对舰炮武器系统及组成设备进行检验评估,是一种充分检验舰炮武器系统性能的技术途径和试验方法,目前该系统已成功应用于舰炮武器系统工程实践中。