模型空间的拓扑结构与单调推理算子不动点的存在性

利用真滤集引入拓扑，建立了具连通性的模型空间与对偶空间。证明了一类模型积拓扑中图同态的连续性与单调推理算子空间上一类单调泛函不动点的存在性。     

一种研究组件引用语义的动力系统方法

在组件和引用形式模型的基础上给出了组件集的拓扑空间结构，从而在组件并行递归引用形式语义的研究中引入一种新的基于拓扑动力系统的观点和方法，将其指称对象的存在性归结于一个动力系统的吸引子和泛函不动点，同时将引用过程描述为系统的轨迹．最后，用这种动态方法分析了一个非单调对称工作流模型的工作过程，得到了工作流的轨迹和终止状态集。