拓扑系统相关论文
摘要Steven Vickers将拓扑的方法与逻辑理论相结合建立了拓扑系统理论,并将这一理论应用于理论计算机科学的研究中.而产生于上个世......
由于拓扑系统中闭元的缺失,对拓扑系统中与闭集相关内容的理论及性质研究受到一定程度的制约.首先利用余frame和点集两部分建立对......
Steven Vikers将拓扑的方法与逻辑理论的结果相结合于专著...
三电平逆变器存在冗余开关量,且控制系统较复杂,对此文中提出一种智能PR控制的三电平逆变器。模糊控制自适应直流母线变化,提高系......
Steven Vickers将拓扑的方法与逻辑理论的结果相结合于专著《Topology via Logic》,建立了拓扑系统理论,并将这一理论应用于计算机......
拓扑绝缘体是量子物质的一类新状态,但是不能简单地与传统的绝缘体还有半导体联系在一起。它是一类新型的电子材料,拥有一个像普通......
拓扑系统是Steven Vickers在论著《Topology via Logic》中通过结合数理逻辑的特点将序与拓扑结合为一体而引进的一种新型的拓扑学......
该文论述了空间信息系统中的GIS/GPS的功能、特点和组成,着重阐述了 GIS/GPS技术的应用研究,并给出了MX8600,WILD200S,WILD300S GP......
本文分析了一类非线性耗散R(m,n)方程行波解的复杂特性.应用平面向量场理论,讨论了系统各类平衡点的性质,指出其拓扑系统中存在三......
文章介绍基于MODBUS协议的电路硬件设计、软件设计和拓扑控制系统设计内容，以达到满足复杂的自动化控制系统需求。......
关联电子体系是凝聚态物理学中长盛不衰的问题，一维体系为研究电子关联提供了一个很好的平台。本论文研究两类一维电子关联体系，一类......
该文共分为三个部分.第一部分给出了与拓扑系统分离性相对应的函数分离性与拓扑系统函数分离性之间的关系（例如,对拓扑系统下的Urys......
该文从拓扑学的角度研究了拓扑系统的分离性,给出了拓扑系统T,T,T,T,T分离性的刻画,并证明了它与它诱导的空间化拓扑空间Spat（D）的分......
本文引入了拓扑系统的一种新的T2分离性—强T2分离性.证明了：拓扑系统的(强)T2分离性都是T0拓扑空间类的T2分离性的良好推广；一个Loc......
引入Quantale系统的概念,给出了Quantale系统的连续映射和同胚映射的定义,证明了同胚映射的逆仍为同胚映射.探讨Quantale系统的空......
拓扑系统是目前最广泛的拓扑研究对象之一,它以点集拓扑空间,Locale的空间化,模糊拓扑空间与拓扑分子格为特例.它可以用来研究计算......
给出了拓扑系统的子系统、开子系统与闭子系统的定义.证明了在拓扑系统范畴中,拓扑系统的任意子系统都是正则单子对象.最后证明了......
采用拓扑系统研究了系列离子液体型Gemini咪唑表面活性剂（ILGIS）水溶液中的构效关系及其水合作用机理.研究结果表明,ILGIS分子疏水烷......
The one-dimensional linear wave equation with a van der Pol nonlinear boundary condition is one of the simplest models t......
StevenVickers将拓扑的方法与逻辑理论的结果相结合于专著《Topologyviatogic》中建立了拓扑系统，并将这一理论应用于计算机理论的......
1会议基本情况本次无序和拓扑系统研讨会于2013年3月18-22日在浙江省杭州市浙江大学玉泉校区举行。此次研讨会由浙江大学主办，美国......
拓扑系统是目前最广泛的拓扑学研究对象，它以点集拓扑空间、Locale的空间化、模糊拓扑空间与拓扑分子格为特例，用它可研究计算机程序......
利用一般拓扑学中的嵌入映射和商映射的部分特征，在拓扑系统之间引入了单-满映射，满-单映射的概念，并构造了相应的实例（一个非连续的单......
借助于拓扑系统的思想和方法,对Heyting系统的H-空间化进行了再研究。引入Heyting系统的H-同胚的概念,证明了H-同胚的逆和复合还是......
提出拓扑系统的一种新的T2分离性--强T2分离性, 给出了T2拓扑系统的网式收敛刻画和强T2拓扑系统的滤子式收敛刻画. 证明了拓扑系统......
拓扑系统是目前最广泛的拓扑研究对象之一,它以点集拓扑空间、Locale空间化、模糊拓扑空间与拓扑分子格为特例,可以用来研究计算机......
Contact-impact processes occur at most cases in multibody systems. Sub-periods and sub-regional methods are frequently u......
拓扑系统是目前最广泛的拓扑学研究对象，它以点集拓扑空间、Ｌｏｃａｌｅ的空间化、模糊拓扑空间与拓扑分子格为特例，它可用来研究计算机程序语言......
考察拓扑系统的两种紧性——空间式紧和locale式紧，给出紧性的若干刻画，讨论了两种紧性的相互关系，证明了拓扑系统的两种紧性都是拓扑......
基于子拓扑系统的定义进一步研究了它的一些相关性质,并且给出了若F为D的子拓扑系统,则有Spat(F)同胚于Spat(D)中的某个子拓扑系统......
早期的双馈变流器拓扑采用配置定子断路器的单级配电结构,如图1所示。其中,定子断路器除提供故障保护外,还充当风电机组正常启、停......
拓扑系统是目前最广泛的拓扑研究对象之一,它以点集拓扑空间、Locale空间化、模糊拓扑空间与拓扑分子格为特例,可以用来研究计算机......
期刊
以特定的观察为生成元构造了互模拟quantaleQ_B，而将进程作为此quantale上的模的组成成分，由此给出了互模拟的三个完备性准则，回答了A......
