检索结果-南通市图书馆

作者：郭庆西北大学

学位级别：硕士

各种模糊逻辑代数作为非经典逻辑语义系统已被众多学者普遍引入和研究.伪EQ-代数作为高阶模糊逻辑的真值代数结构,不仅为模糊型理论提供了更为广泛的真值代数结构,而且是EQ-代数的一般化.态与内态理论在逻辑代数结构的研究中起着重要作... 详细信息

各种模糊逻辑代数作为非经典逻辑语义系统已被众多学者普遍引入和研究.伪EQ-代数作为高阶模糊逻辑的真值代数结构,不仅为模糊型理论提供了更为广泛的真值代数结构,而且是EQ-代数的一般化.态与内态理论在逻辑代数结构的研究中起着重要作用.本文研究伪EQ-代数上的内态,以此来完善伪EQ-代数的内态理论,并且为描述高阶模糊逻辑中命题的真值平均度提供了更为一般的代数方法.首先,本文引入了伪EQ-代数内态的概念,并研究了它的性质.本文把序对（E,σ）称为具有内态的伪EQ-代数（简记为ISPEQ-代数,其中σ是E上的一个内态）.此外,还讨论了伪EQ-代数上的态与内态之间的关系.接下来,本文研究了ISPEQ-代数的态滤子（简记为S-滤子）和态前滤子（简记为S-前滤子）的相关性质.同时,本文给出了ISPEQ-代数上的同余关系θ.本文得到（E,σ）上强正规S-滤子的集合SNSF（E,σ）与（E,σ）上强正规滤子诱导的同余的集合SNCon（E,σ）之间存在一一对应的关系.最后给出了剩余伪EQ-代数上的前滤子的生成公式,并在此基础上得到了剩余ISPEQ-代数的S-前滤子的生成公式.论文结果具体包括:（1）设（E,σ）是一个ISPEQ-代数.那么在（E,σ）上所有σ-相容的Bosbach态的集合Scom（E,σ）和伪EQ-代数σ（E）上所有Bosbach态的集合S（σ（E））之间存在一个双射.（2）设（E,σ）是ISPEQ-代数并且F是（E,σ）的S-滤子,那么σ（F）=F∩σ（E）.（3）设X是剩余的伪EQ-代数E中的一个非空子集,那么,

关键词：伪EQ-代数态内态 S-滤子 S-前滤子生成公式

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

浅谈递归算法在软件开发中的应用

引用

电子技术与软件工程 2013年第21期 70-70页

作者：杨灵辽宁机电职业技术学院辽宁省丹东市118000

递归是设计和描述算法的一种有力的工具,在软件开发中经常会用到这种算法。本文主要介绍了算法好坏的衡量指标,递归算法的构造,并根据实际项目的需求,分析了解决方法,画出了使用的递归函数的流程图,作为项目开发人员研究的依据。

关键词：递归函数算法生成公式

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：