拓扑系统相关论文
摘要Steven Vickers将拓扑的方法与逻辑理论相结合建立了拓扑系统理论,并将这一理论应用于理论计算机科学的研究中.而产生于上个世......
Steven Vikers将拓扑的方法与逻辑理论的结果相结合于专著...
Steven Vickers将拓扑的方法与逻辑理论的结果相结合于专著《Topology via Logic》,建立了拓扑系统理论,并将这一理论应用于计算机......
拓扑绝缘体是量子物质的一类新状态,但是不能简单地与传统的绝缘体还有半导体联系在一起。它是一类新型的电子材料,拥有一个像普通......
关联电子体系是凝聚态物理学中长盛不衰的问题，一维体系为研究电子关联提供了一个很好的平台。本论文研究两类一维电子关联体系，一类......
本文引入了拓扑系统的一种新的T2分离性—强T2分离性.证明了：拓扑系统的(强)T2分离性都是T0拓扑空间类的T2分离性的良好推广；一个Loc......
拓扑系统是目前最广泛的拓扑研究对象之一,它以点集拓扑空间,Locale的空间化,模糊拓扑空间与拓扑分子格为特例.它可以用来研究计算......
给出了拓扑系统的子系统、开子系统与闭子系统的定义.证明了在拓扑系统范畴中,拓扑系统的任意子系统都是正则单子对象.最后证明了......
The one-dimensional linear wave equation with a van der Pol nonlinear boundary condition is one of the simplest models t......
StevenVickers将拓扑的方法与逻辑理论的结果相结合于专著《Topologyviatogic》中建立了拓扑系统，并将这一理论应用于计算机理论的......
利用一般拓扑学中的嵌入映射和商映射的部分特征，在拓扑系统之间引入了单-满映射，满-单映射的概念，并构造了相应的实例（一个非连续的单......
借助于拓扑系统的思想和方法,对Heyting系统的H-空间化进行了再研究。引入Heyting系统的H-同胚的概念,证明了H-同胚的逆和复合还是......
提出拓扑系统的一种新的T2分离性--强T2分离性, 给出了T2拓扑系统的网式收敛刻画和强T2拓扑系统的滤子式收敛刻画. 证明了拓扑系统......
拓扑系统是目前最广泛的拓扑研究对象之一,它以点集拓扑空间、Locale空间化、模糊拓扑空间与拓扑分子格为特例,可以用来研究计算机......
考察拓扑系统的两种紧性——空间式紧和locale式紧，给出紧性的若干刻画，讨论了两种紧性的相互关系，证明了拓扑系统的两种紧性都是拓扑......
基于子拓扑系统的定义进一步研究了它的一些相关性质,并且给出了若F为D的子拓扑系统,则有Spat(F)同胚于Spat(D)中的某个子拓扑系统......
早期的双馈变流器拓扑采用配置定子断路器的单级配电结构,如图1所示。其中,定子断路器除提供故障保护外,还充当风电机组正常启、停......
拓扑系统是目前最广泛的拓扑研究对象之一,它以点集拓扑空间、Locale空间化、模糊拓扑空间与拓扑分子格为特例,可以用来研究计算机......
期刊
以特定的观察为生成元构造了互模拟quantaleQ_B，而将进程作为此quantale上的模的组成成分，由此给出了互模拟的三个完备性准则，回答了A......
