Commonsense Reasoning and Nonmonotonic Aggregation Connectives on Fuzzy Sets

Commonsense representation and manipulation based on fuzzy logic is a new research field which handles the incompleteness, error-tolerability (allow exceptions) and uncertainty associated with commonsense knowledge. In this paper, we introduce a pair of nonmonotonic aggregation connectives on fuzzy sets-soft intersection and soft union, in the light of Zadeh’s fuzzy set theory. Some important features of the nonmonotonic connectives are also discussed.

一种改进的永磁同步电机有限集模型预测控制方案设计与实施

为了解决永磁同步电机有限集模型预测控制中存在的电流脉动大、开关次数多等问题,提出基于灰色预测补偿和动态代价函数的FCS-MPC改进方案,从提高参考电流预测精度和增强控制方案对PMSM不同工况适应能力2个方面进行改进。首先,在现有方案的电流环中引入灰色预测用来修正由于参数扰动对q轴参考电流预测值带来的误差;其次,根据PMSM的具体工况,设计模糊控制器获取相应的权重系数组合,用以构建不同控制侧重的动态代价函数,实现对PMSM的有效控制;最后,通过仿真和试验将所提方案与传统FCS-MPC方案进行对比,电流脉动分别降低76.9%和74.7%,开关次数分别降低18.8%和17.5%,转速上升时间分别缩短67.8%和38.1%。结果证明所提方案在降低电流脉动、减少开关次数、缩短响应时间方面的有效性。

Rough集理论:现状与前景

经典逻辑中只有真、假二值,但实际上有大盆含糊现象存在于宾和假二值之间,因此,长以来许多逻辑学家和哲学家就致力于研究含糊概念。早在1904年谓词逻辑的创始人G.

逻辑函数求补算法及其改进

逻辑函数求补算法存在的主要问题是时间开销大及需要的存储空间过大。该文在对递归裂变求补算法和基于最小项求补算法进行分析研究的基础上,提出了积项输入、邻项合并、积项输出的无冗余覆盖的逻辑函数求补算法。该求补算法的时间、空间的需求将大大缩小。

对逻辑函数3种求补算法的分析

对逻辑函数求补中几种不同的求补算法进行了系统的描述和分析研究,使其在逻辑综合领域能发挥更好的作用,这些算法均在项目课题中完成了实现。求补算法的优劣将直接影响逻辑综合优化的效率和时空复杂度,对逻辑函数求补算法进行深入的研究将具有重要的现实意义。

基于IEC 61970标准的电力系统保护模型扩展方案研究与应用

针对电力系统中的保护建模,分析比较IEC 61970标准以及IEC 61850标准当中对于保护模型的建模方法。针对IEC 61970标准对于保护模型建模办法的不足之处,结合IEC 61850标准二次系统模型描述办法的优势,对于IEC 61970标准中保护模型进行扩展;对于保护系统当中诸多的保护功能,扩展保护模块类对于保护功能进行描述,可与IEC 61850标准中的逻辑节点相对应;对于保护量测,描述保护量测的建模办法以及建模位置,以保护模块作为保护量测的父资源;对于保护定值,增加两种量测类型加以描述,建模办法同保护量测。对于扩展后的IEC 61970标准保护模型,描述了其实际建模应用。

关于部分K值逻辑中Sheffer函数判定的一些结果(Ⅰ)

根据部分多值逻辑的完备性理论，证明了ｍ＝２时的一类完满对称函数集在Ｐ*Ｋ中极大封闭集之最小覆盖中必需出现．

一类乘积型区间二型模糊控制器的解析结构

区间二型模糊控制器的降型算法需要使用迭代计算,是导致其解析结构推导困难的主要原因.针对乘积型区间二型模糊控制器,本文提出了一种新的解析结构推导方法.区间二型模糊控制器的配置为:三角形输入模糊集,一型输出模糊单值,集合中心法降型器,平均法解模糊器和基于乘积型"与"操作的规则前件.通过对比传统PID控制器的解析结构,证明了区间二型模糊控制器等效于两个PI(或PD)控制器之和.利用KM算法的迭代终止条件,提出了6步骤IC划分法,保证了激活子空间的正确划分.叠加各个子空间,即可得出全局IC划分图.为了避免重复求解符号数学方程,提出了IC边界线的直接定义法,改进了6步骤IC划分法的便利性.本文方法避开了降型算法的迭代计算,可以保证推导出区间二型模糊控制器的闭环解析表达式.

部分K值逻辑中最小覆盖之判定的一些结果

根据部分K值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离关系G2=G2({1,2})∪G"2之关系图的基础图仅为N图,则T(G2)不是PK*的最小覆盖成员。

关于部分K值逻辑Sheffer函数判定的一些结果(II)

根据部分多值逻辑的完备性理论 ,证明了m =2时的两类正则可离函数集必然不包含在P

可变模糊集合理论——兼论可拓学的数学与逻辑错误

在工程模糊集理论与文献的基础上,给出对立模糊集概念与定义,提出相对比例函数概念与定义,建立比较系统的可变模糊集理论体系,是对经典模糊集合静态理论的突破与发展,也是自然辩证法哲学原理数学化的基础.分析论证了可拓学存在的数学与逻辑错误以及关联函数基本公式错误的两种形式,指出其不能应用于实际领域,尤其是工程领域.

关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果

根据部分多值逻辑完备性理论,证明了当m=2时,若正则可离关系G2=G2({1,2})∪G2之关系图仅是一个回路,则T(G2)不是P k的最小覆盖成员.

参数在线可调的直流伺服控制系统设计

针对多数伺服系统控制器参数都是固化在控制器内部这一问题,以ARM7 LPC2478芯片和ALTERA EPM570T144为硬件平台,结合MFC框架编写可视化界面设计了PID参数可在线修改的直流伺服控制系统。详细介绍了系统的实现流程,包括CPLD程序设计、ARM程序设计和上位机程序设计。测试结果表明,系统能够快速响应控制命令,对PID参数的在线修改有利于提高系统的控制精度。

逻辑函数的粗糙集表达及最小化方法

提出了基于粗糙集理论对逻辑函数进行知识表达的方法,给出了运用粗糙集进行组合逻辑化简的优化算法.为保证化简前后逻辑上的等价性,用化简前的逻辑矩阵中的on-set项是否被化简后的off-set项的补完全覆盖的方法进行检验,结果表明化简前后是等价的.算法通过了对20变量以下的组合逻辑函数标准的Benchmark例题和部分组合逻辑函数典型实例验证,保证了优化结果正确性和有效性.

部分K值逻辑中正则可离函数集的一些结果

根据部分多值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离函数关系G2=G2(｛1,2｝)∪G"2之关系图的基础图连通且如含回路必须是M-回路,则T(G2)不是PK*的最小覆盖成员。

基于粗糙理论的RBF网络及其遥感影像分类应用

将粗糙集合概念与模式分类过程相联系,构造粗糙集意义下的RBF网络表示形式,并利用遗传算法实现其粗糙逻辑机制。研究粗糙集意义下RBF映射理论在遥感影像分类应用中的具体算法和实现过程,以LandsatTM影像进行的土地覆盖分类实验为例,对分类过程和结果进行综合分析,认为该方法在网络结构、收敛性和分类精度等方面具有一定的优势。

基于有色Petri网的逻辑电路仿真模型设计

提出了一种受控有色Petri网(CCPN)模型.该模型在有色Petri网的基础上对逻辑电路的拓扑结构和动态运行过程进行了形式化描述,给出了逻辑电路与CCPN的映射关系,引入了受控门函数集,并按照充分考虑逻辑电路特殊性和稳定性的激发规则,加入了有效的约定,较好地解决了逻辑电路仿真过程中电路拓扑结构难以有效描述的问题.在此基础上,给出了信号在模型中动态传递的描述性算法及其实现方法,并举例说明了基于该模型的逻辑电路仿真过程.

一种改进的多级逻辑优化算法

基于变换化简法 ,提出了一种改进的适用于局部逻辑网络优化的多级逻辑优化算法 .通过计算逻辑网络中门或连线处的可观测性无关项 ,可迅速得到最大允许函数集 ,从而节省了计算时间 ,并且提高了原算法的适用性 .实验结果表明 ,改进后的算法可用于大规模集成电路的设计 .

部分四值逻辑中Sheffer函数的判定

多值逻辑是指一切逻辑值的取值数大于2的逻辑。Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖。在深入研究部分四值逻辑中Sheffer函数的基础上,根据部分四值逻辑中准完备集的最小覆盖,给出了一个部分四值逻辑中Sheffer函数的判定算法。此算法能够判定任意一个函数是不是部分四值逻辑中的Sheffer函数。

信息过滤模型的研究

信息过滤技术是当前研究的热点。该文简单地介绍了信息过滤中常用的三种模型:向量空间模型、布尔逻辑模型和概率推理模型;给出了一种基于模糊集合的过滤模型,通过筛选出关键词,为相关领域建立模糊集合;并阐述了如何确定该模糊集合中的隶属函数。