[01358198]基于区间结构的柔性化控制模型及其系统研究

1.课题来源与背景 河南省重点科技攻关项目,编号：092102210149。 逻辑学是关于思维形式及其规律的科学。主要研究推理和证明的规律、规则,为人们正确地思维和认识客观真理提供逻辑工具,是一切科学与理论的基础。泛逻辑学的目的是探讨逻辑学的一般规律,逐步把各种逻辑包容到一个统一的逻辑学理论框架和谱系中去,已取得了可喜的成果。本研究是泛逻辑研究的一个重要方向,将区间值模糊逻辑运算模型柔性化和泛逻辑值域区间化有机的结合起来进行研究,突出研究区间柔性化,为柔性区间推理提供理论基础,进一步完善泛逻辑学的理论体系,丰富泛逻辑学的内容。该项目的研究无论在理论方面,还是在智能控制的应用方面,都具有重要意义。 2.技术原理及性能指标 该项目理论研究结果已经通过了河南省科技情报研究院信息中心检索查新证明：国内无相同研究。 在本项目的资助下,共发表学术论文11篇,有8篇论文已经见刊,还有3篇论文已录用。其中在中文核心期刊发表学术论文6篇,在国际杂志发表学术论文3篇,有1篇论文已经被SCI索引,有2篇论文待被EI索引,在国际会议发表学术论文2篇,且被EI索引。还有4篇硕士学位论文,有2名学生是河南师范大学优秀毕业研究生。 3.技术的创造性与先进性 本项目着重从理论和应用两个方面进行研究,有如下几点创新： （1）在区间集上,重新定义一种区间集蕴涵,而由该蕴涵能构造出一个格蕴涵代数,进一步讨论了该格蕴涵代数的一系列性质。与此同时,在区间集上也重新定义可换FI-代数和MV-代数两种代数系统,证明了格蕴涵代数、FI-代数和MV-代数三种不同的代数系统在区间集上是等价的。 （2）在区间集上,根据包含序的定义重新构造一种广义的区间集R-蕴涵,然后讨论了该蕴涵的正则性和单调性,以及与区间交构成伴随对等系列性质。 （3）在区间集上,重新定义了一种新的区间集格蕴涵,它与区间交组成伴随对,它可形成剩余格,还详细证明了该蕴涵的一系列性质。 4.技术的成熟程度,适用范围和安全性 建立起柔性区间逻辑的控制运算模型,研讨其算法,建立了基于区间结构的柔性化控制倒立摆仿真系统,分十种模型十六种情况在Matlab7.0中,用直线一级倒立摆进行建模、仿真和实验,来检验区间逻辑推理的有效性。 5.应用情况及存在的问题 建立了基于区间结构的柔性化控制倒立摆仿真系统,分十种模块十六种情况用直线一级倒立摆进行建模、仿真和实验,来检验此理论的有效性。但是,在本文中我们缺少一些实例来验证各个代数系统,这需要我们进一步去挖掘研究,还需要进一步用直线二、三级倒立摆来建模、仿真和实验。