排序方式: 共有9条查询结果,搜索用时 0 毫秒
1
1.
一类Hardy空间的分子刻划 总被引:1,自引:0,他引:1
邱道文 《中山大学学报(自然科学版)》2000,39(1):5-8
基于各种等价的离散Hardy空间H^P(Z),进一步讨论其原子分解,定义离散Hardy空间H^p,q,s0(Z)并证明它们相互等价,然后,给出Z上的分子概念并建立其分刻划定理。 相似文献
2.
本文给出了不分明化拓扑中局部连通的概念,讨论了它的若干性质,特别地得到了定理:不分明化拓扑空间的乘积空间是局部连通的当且仅当每个因子空间是局部连通的,而且除了有限个因子空间外都是连通的. 相似文献
3.
基于完备剩余格值逻辑的自动机理论——Ⅰ.拓扑刻画 总被引:2,自引:0,他引:2
邱道文 《中国科学(E辑)》2003,33(2)
建立了基于完备剩余格值逻辑的自动机理论的基本框架.首先延拓状态转移关系,特别是得到了模糊(l值)自动机对剩余格的一个刻画;然后讨论了模糊(l值)子机,successor和source算子的基本性质及它们相互的等价关系,并由此推出这两类算子是模糊(l值)闭包算子;最后给出了模糊自动机的L双模糊拓扑刻画,从而建立了较为宽泛的模糊自动机理论. 相似文献
4.
关于覆盖式不分明紧性 总被引:2,自引:1,他引:1
邱道文 《中山大学学报(自然科学版)》1998,37(3):46-49
给出了不分明拓扑(fts)中覆盖式紧性的主要性质,讨论了其与若干模糊紧性等价刻划 相似文献
5.
基于完备剩余格值逻辑的自动机理论 总被引:1,自引:0,他引:1
建立了基于完备剩余格值逻辑的自动机理论的基本框架. 首先延拓状态转移关系, 特别是得到了模糊(l值)自动机对剩余格的一个刻画; 然后讨论了模糊(l值)子机, successor和source算子的基本性质及它们相互的等价关系, 并由此推出这两类算子是模糊(l值)闭包算子; 最后给出了模糊自动机的L双模糊拓扑刻画, 从而建立了较为宽泛的模糊自动机理论. 相似文献
6.
揭示了基于完备剩余格值逻辑的自动机(称l值自动机)与真值格(剩余格)之间的一些等价关系. 特别是建立了l值自动机的可恢复性(retrievability)的各种等价刻画. 最后澄清了l自动机之间的同态关系与连续映射和开映射之间的相互联系. 因此, 进一步建立了更为深刻的模糊自动机理论. 相似文献
7.
基于完备剩余格值逻辑的自动机理论——Ⅱ.可逆性及同态 总被引:1,自引:0,他引:1
邱道文 《中国科学(E辑)》2003,33(4)
揭示了基于完备剩余格值逻辑的自动机(称值自动机)与真值格(剩余格)之间的一些等价关系.特别是建立了值自动机的可恢复性(retrievability)的各种等价刻画.最后澄清了自动机之间的同态关系与连续映射和开映射之间的相互联系.因此,进一步建立了更为深刻的模糊自动机理论. 相似文献
8.
利用包含度提出了覆盖式不分明仿紧性,并说明了它有好的推广,而且它等价于已有的各种不分明仿紧性.然后在此框架下给出几个与局部有限性紧密相关的覆盖引理,从而得到了主要结果,建立了较全面的等价刻画定理 相似文献
9.
基于量子逻辑的自动机理论的一些注记 总被引:1,自引:0,他引:1
邱道文 《中国科学(E辑)》2007,37(6):723-737
主要结果是:1)讨论了正交模格值自动机的几个基本运算(连接、Kleene闭包、同态和补);2)由于讨论连接、同态运算和以往研究正交模格值自动机的一些基本问题时都基于蕴涵算子满足一个条件,所以详细讨论了该条件,并证明了正交模格中相对合理的五个蕴涵算子都不满足该条件,而且证明了其中一个算子满足该条件当且仅当真值格是Boolean代数;3)进一步讨论了正交模格值successor和source算子及子机的基本性质及它们之间的关系;4)给出了一个例子,从而说明了以前所得到的一些否定性结果在一些典型的正交模格值自动机中依然可能成立. 相似文献
1