基于完备剩余格值逻辑的自动机理论——Ⅰ.拓扑刻画

来源 :中国科学E辑 | 被引量 : 0次 | 上传用户：A312685521

【摘要】

：

建立了基于完备剩余格值逻辑的自动机理论的基本框架.首先延拓状态转移关系,特别是得到了模糊(l值)自动机对剩余格的一个刻画;然后讨论了模糊(l值)子机,successor和source算

【作者】

：

邱道文

【机构】

：

中山大学计算机科学系,广州,510275清华大学计算机科学与技术系智能技术与系统国家重点实验室,北京,100084;

【出处】

：

中国科学E辑

【发表日期】

：

2003年2期

【关键词】

：

非经典逻辑自动机拓扑

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

建立了基于完备剩余格值逻辑的自动机理论的基本框架.首先延拓状态转移关系,特别是得到了模糊(l值)自动机对剩余格的一个刻画;然后讨论了模糊(l值)子机,successor和source算子的基本性质及它们相互的等价关系,并由此推出这两类算子是模糊(l值)闭包算子;最后给出了模糊自动机的L双模糊拓扑刻画,从而建立了较为宽泛的模糊自动机理论.

其他文献

西藏定结盆地第四纪湖相地层的厘定、划分和定结群的建立

通过对西藏定结盆地湖相沉积的野外地质调查和实测剖面,对分布于盆地内的第四纪湖相地层进行了详细的研究和划分,重新厘定了该区中更新世-晚更新世的岩石地层单元,确立了生物

期刊

西藏定结中更新世湖相地层定结群

浅谈岩土工程勘察中的均匀性及稳定性

地基基础是岩土工程勘察工作中重要部分,是建筑设计与施工的重要地质依据,因此地基的均匀性与稳定性直接影响建筑设计单位与施工单位的方案.本文就地基不均匀与不稳定的情况

期刊

地基基础地基均匀性岩土工程勘察基础评价

公路工程施工安全管理的重要性探讨

期刊

A FINITE DIFFERENCE METHOD FOR SIMULATING TRANSVERSE VIBRATIONS OF AN AXIALLY MOVING VISCOELASTIC ST