等式约束下的模糊运算

介绍了G.J．Klir提出的限制型模糊算术(CFA),并与L．A．Zadeh的标准模糊算术(SFA)进行了比较。研究等式约束下的模糊运算及其性质,在G．J．Klir的基础上推广了等式约束下的模糊运算,定义了一类可结构元展开的模糊值函数,给出了这类函数的微积分运算,并给出了几个例子。     

实函数的归约性

本文才巴 Ker-IKO 文中实数归约性推广到实函数,讨论了推广后各种归约之间的关系。证明了两种递归实函数定义的等价性。引入了算子图灵机的概念,利用算子图灵机给出了 C[1,0]上的一个分层(不可解度的分层)。证明了该分层有一个子结构与(?)同构。     

图灵机设计问题解法的优化

图灵机设计问题的常规解法一般有多个状态和较复杂的δ映像函数．给出了三种优化的解题方法，与常规方法相比用较少的状态数优化了图灵机的设计，达到减少状态的冗余和简化δ映像函数的目的．     

四则运算图灵机的构造

著名的丘奇(A．Church)命题指出，任何算法都可以用一个图灵机来描述．对自然数的四则运算给出了相应的图灵机．     

一种三状态图灵机的设计

给出了接受语言L={0n1n|n≥0}的仅有3个状态的图灵机的一种设计,其方法是通过对带符号的配合使用来控制图灵机带头移动的方向,达到精减图灵机状态数的目的,并采用C语言编程实现.     

等式限制型模糊级数

介绍了G．J．Klir提出的限制型模糊算术(CFA),并与L．A.Zadeh的标准模糊算术(SFA)进行了比较。研究等式约束下的模糊运算及其性质,在G．J．Klir的基础上推广了等式约束下的模糊运算,定义了等式限制型模糊级数。     

复模糊值函数的积分及其性质

复模糊值函数理论在模糊控制中是广泛存在的,讨论复模糊值函数积分的性质有重要的理论和实际意义.本文首先介绍了模糊数的概念、运算规则及复模糊值函数的表达式(f)(x)=((f)1(x),(f)2(x)),在新的序关系的意义下给出复模糊值函数(f)(x)=((f)(x),(f)2 (x)) Riemann积分的定义.在此基础上给出了复模糊值函数的r-截集的概念,利用r-截集把复模糊值函数转化为区间值函数,用扩张原理给出了复模糊值函数积分表达式,并讨论了复模糊值函数积分的性质,得出了复模糊值函数积分具有区间可加性、不等式性、对实系数和复系数具有线性性质等结论.     

齐次T-S模糊系统的逼近性能

为深入剖析模糊系统的通用逼近性能,明确定义了输入模糊集的有关概念和模糊系统输入空间的标准双交叠模糊划分,给出了在此定义下的模糊系统的一些基本性质.构造了一类输入变量采用伪梯形隶属函数的一般齐次T-S(CHTS)模糊系统,进而证明了此类T-S模糊系统能够以任意精度逼近满足Lipschitz条件的任意非线性函数,定理假设的保守性得以降低,结论更具一般性.仿真结果验证了齐次T-S模糊系统的通用逼近性,为基于平行分布补偿(PDC)原理和线性矩阵不等式(LMI)的T-S模糊控制系统的设计和稳定性分析提供了理论依据.     

Petri网在复杂系统建模中的意义

图灵机模型是计算机的理论模型,它能实现模型相互之间的模拟,但应用于通信系统等异步、并行的复杂系统却很难模拟,从而引入了一种建模工具--Petri网.通过介绍自动机和图灵机的原理.分析Petri网.给出一个具体的基于Petri网建模方式的实例,并对实例模型和现有的建模工具进行比较,从而证明Petri网在复杂系统建模中是处于优势的.     

广义实值函数的模糊积分

在非可加测度(模糊测度)意义下,定义了取值在[-∞, ∞]上广义实值可测函数的模糊积分;讨论了模糊测度意义下可测函数、模糊积分的性质并给出了刻划定理;最后,给出了积分转化定理.     

递归可枚举的fuzzy集合

本文给出了递归和递归可枚举B——值fuzzy集合的概念。证明了递归fuzzy集合对并、交、补封闭,证明了一般递归论中递归可枚举集合的大部分初等性质,对于递归可枚举B——值集合仍然成立。     

广义分子计算模型在整数问题中的应用

分子计算是一种新型的并行计算模式. 作为信息载体和计算载体的DNA,生化反应时存在不可控性. 构建具有通用性的分子计算机存在许多困难和限制. 将分子计算黏贴模型与图灵机相结合,已提出一种不依赖于特定生物技术的广义分子计算模型(generalized turing model,GTM). 对GTM模型进行扩展,通过实验说明了该广义分子计算机能够在多项式时间内求解NP完全的整数规划问题,该模型具有编码简单、错误率低等特点.     

关于递归控制Turing可化归性

证明了“递归控制Ｔｕｒｉｎｇ可化归性”（简称ｒｃｔ－可化归性）崩溃成平凡情形，即证明了任何两个有穷集合或任何两个无穷的递归可枚举集合都分别是ｒｃｔ－等价的，而它们两者之间则又不是ｒｃｔ－等价的．也即有且只有两个递归可枚举的ｒｃｔ－度．从而ｒｃｔ－可化归性不是通常递归论意义下的合适的可化归性．     

一种新的模糊支持向量回归方法

为克服传统的模糊支持向量机隶属度函数都是基于样本与类中心距离进行设计所带来的局限性问题,提出了基于样本到超平面距离的新隶属度函数设计方法。该方法从支持向量机的回归本质出发,通过更加合理地设计隶属度函数,提高支持向量机的回归的泛化鲁棒能力。仿真结果证明,该方法具有更好的鲁棒性,提高了模糊支持向量机的泛化能力。     

直觉模糊支持向量机

传统的模糊支持向量机难以区分具有相同隶属度的稀疏样本点和稠密样本点,进而可能降低分类精度.为了解决此类问题,利用直觉模糊集和模糊支持向量机,构建了直觉模糊支持向量机.仿真实验结果表明:与传统的支持向量机和模糊支持向量机相比,直觉模糊支持向量机的分类结果更精确.     

基于模糊支持向量机的中文垃圾邮件过滤方法

随着电子邮件的广泛使用,垃圾邮件问题也日益严峻.基于邮件内容的过滤是当前解决垃圾邮件问题的主流技术之一.提出了一种基于带有模糊隶属度的模糊支持向量机对中文垃圾邮件过滤的方法,同时,为解决FSVM中隶属度函数的确定问题,使用了一种改进的基于类中心的隶属度函数设计方法.通过实验,使用FS-VM对垃圾邮件过滤能够取得较好的效果.