完全分配格上理想

本文在完全分配格上讨论理想的收敛理论,以及理想和广义序同态（GOH）的关系,并引入了质理想概念,讨论了极大理和质理想一些性质,以及它们和GOH的关系。     

拓扑系统范畴与子拓扑系统

拓扑系统是目前最广泛的拓扑学研究对象，它以点集拓扑空间、Ｌｏｃａｌｅ的空间化、模糊拓扑空间与拓扑分子格为特例，它可用来研究计算机程序语言的指称语义的Ｄｏｍａｉｎ理论．拓扑系统与它们的连续映射构成一个范畴，本文讨论这一范畴的基本理论，并引入子拓扑系统概念，得到了拓扑系统Ｄ可嵌入拓扑系统Ｅ中当且仅当Ｄ同胚于Ｅ的某子拓扑系统．     

区间值进程演算的可加模型

进程演算是研究并行计算和分布式计算的一个重要语义模型．引入区间值进程演算的可加模型（简称AICCS），以解决在并发通讯系统中产生的不确定性．在该模型中，前缀进程、并行进程以及和进程都赋以区间值．作者给出了AICCS的语法及可加的操作语义，引入了进程的量化这一概念，在此基础上引入强互模拟和μ-强互模拟的概念，并且讨论了其相关性质．     

航天嵌入式软件可信性度量方法及应用研究

航天嵌入式软件的可信性是确保型号任务成功的重要因素.目前对航天嵌入式软件可信性评价均采用定性的方法,还没有针对航天嵌入式软件可信性的定量度量方法和模型.本文采用主观和客观相结合的方法,提出了一种面向航天型号软件的可信性度量模型及分级评价方法,通过航天软件的可信属性来研究软件的可信度和定量分析评价.基于该度量模型和方法对月地高速再入返回飞行器软件的可信性进行了度量评估,应用情况表明,航天嵌入式软件可信性度量模型及分级评价方法是合理的,科学的,能够有效评价软件的可信性并发现软件产品研制过程中需要加强的部分,对于航天型号软件研制水平的提高有重要的意义.     

完全分配格上理想(Ⅱ)

本文是在具有余拓扑的完全分配格——拓扑分子格上讨论理想和分子网的一些性质;指明了具有有限余复盖性质的拓扑分子格必每个理想都有聚点,但是它的逆命题是不成立的;同时也给出了在拓扑分子格中每个理想都有聚点、每个极大理想都有极限点、每个万有网都有极限点是彼此等价的。     

L－fuzzy拓扑空间中完全正则性的点式刻画

Ｌ－ｆｕｚｚｙ拓扑空间中完全正则性的点式刻画陈仪香（陕西师范大学数学系，西安７１００６２；作者，男，３３岁，博士研究生）不分明拓扑学已取得了较大的进展［１］，最引人注目的是不分明点的引入及其邻近构造—一重域系“‘及远城系的建立、这使不分明拓朴学从无点...     

拓扑学在Domain理论中的应用

讨论计算机程序设计语言的Ｄｏｍａｉｎ理论中的拓扑方法,研究稳定映射空间的开集,引入了极大类全函数概念,讨论极大类稳定全函数的性质。     

复盖空间的可积性定理

本文主要结果:设(Es,Ps)是Bs的复盖空间,(?)s∈S,则((?)Es,(?)Ps)是(?)Bs的复盖空间,当且仅当有S的有限子集S_0,使得(?)s∈S/S_0,Ps是同胚映射,其中Es和Bs是道路连通和局部道路连通的空间。     

关于有限余复盖性质的Tychonoff定理

本文证明了拓扑分子格的有限余复盖性质与每个分子网都有聚点是等价的,推广了关于有限余复盖性质的Alexandroff子基定理,证明了有限余复盖性质是任意可乘的。     

基于环境的软件正确性形式化描述

软件的运行依赖于环境,在考察软件正确性时需要考虑环境的因素。软件在开发和设计过程中,其正确性是一个逐渐改进的过程,也就是说,通过不断地修改,软件越来越接近于正确。为了刻画软件的这种动态正确性并考虑环境的因素,本文将以三分之二互模拟为基础,利用网极限的观点,建立软件动态正确性的形式化描述。首先建立三分之二互模拟的无限演化理论,给出三分之二极限互模拟的定义。其次建立三分之二互模拟极限,这个极限在一定程度上反映软件规范是其实现的极限形式。最后证明三分之二互模拟极限与三分之二互模拟的相容性等性质。