一种等价于PI的二型模糊控制器设计算法

区间二型模糊集合将次隶属度做了简化,基于KM降阶算法的区间二型模糊控制器实现起来相对简单.虽然区间二型模糊控制器在一定程度上优于传统的一型模糊控制器或者PI控制器等,但区间二型模糊控制器并没有充分利用二型模糊集合的次隶属度信息.为解决这些问题,研究了普通二型模糊控制器的一般结构,提出了一种等价于PI的二型模糊控制器.该...     

基于局部模糊逻辑系统合成的一类非线性不确定系统自适应控制

通过使用从属于系统状态区域上开覆盖的单位分解,首先将若干个局部生成的模糊逻辑系统合成而产生一种函数逼近器,与通常的模糊逻辑系统相比较,这种逼近器不仅具有万能逼近性质,而且由于局部模糊逻辑系统具有较少规则而能够保持语言可解释性;然后,通过将适当的参数植入这种函数逼近器中,能够为某些非线性不确定系统设计自适应镇定控制器;最后,通过仿真例子验证了所提出方法的有效性.     

基于Gdel蕴涵算子的导出算子的n值逻辑系统

讨论剩余类蕴涵算子之一Gdel蕴涵算子的导出算子的三值系统G3和n值逻辑系统Gn(n>3).给出了G3的真值表,它是C2真值表的扩充,也保持MP规则和正则性.讨论了G3中的重言式(tautology)与IPC(intuitionistic propositional calculus)公理之间的关系以及G3的准重言式与C2的重言式之间的关系.考虑了Gn中的子代数及不同逻辑系统Gn中重言式的比较.     

基于模糊系统的变结构控制

对基于模糊逻辑系统的变结构控制（ＦＶＳＣ）的研究进展进行了综述,总结了几种常见的ＦＶＳＣ控制方案,讨论了这一领域中存在的几个重要问题,指出了与这些问题相关的研究方向。     

区间二型模糊逻辑系统质心降型及加权Nie-Tan算法

降型是二型模糊逻辑系统中的核心模块。Nie-Tan (NT) 算法不涉及到迭代过程,可直接得到系统输出,具有减少计算消耗的优势,而连续NT(CNT)算法在最近的研究中被证明为准确的质心降型算法。通过分析离散NT算法中求和运算和连续NT算法中的求积分运算,利用数值积分技术中牛顿-柯斯特求积公式将NT算法扩展成3种不同形式的加权NT（WNT）算法。在取相同的主变量采样率的情况下,3个计算机仿真例子表明了WNT算法比NT算法有更小的绝对误差且计算速度几乎相同,这使3种不同形式的WNT算法在区间二型模糊逻辑系统的实时应用上具有潜在的可行性和有效性。     

面向XML规范的复杂数字逻辑建模与验证

文章探讨面向XML规范的复杂数字逻辑建模与验证工具XModel的设计,XModel系统工具使用XML建模,可进行有效性验证,仿真验证通过后,可进行基于成熟第3方EDA工具的进一步时序验证、综合验证及FPGA验证。     

利用Foundation Series1.4实现大型逻辑系统

1.引言 Foundation Series 1.4是Xilinx公司1998年推出的用于FPGA和EPLD器件的开发工具软件。它支持Xilinx公司生产的XC3000A/L、XC3100A/L、XC4000E/L/EX/XL/XV、XC5200、Spartan和XC9500系列器件。该软件克服了以往FPGA开发系统软件的各种缺点,具有原理图、HDL语言和状态图三种输入工具,并     

算子Fuzzy逻辑及其归结推理的改进

在文献[3],[7]基础上,重新定义了算子格中的算子对格元素的作用,并引进了结合算子格的概念,改进了算子Fuzzy逻辑。为限定词的表示提供了一个模型。在新的系统中,引进了α-解释和λ_α-恒假概念,从而引进λ_α-归结方法。     

逻辑系统UL的广义H-赋值

研究了Schweizer-Sklar T-范数（本文讨论p〈0的情况）及其刺佘蕴涵的性质。以此为基础,对泛逻辑基本形式系统UL中的H-g值进行了拓广,引入了广义H-赋值概念,证明了UL在广义H-赋值之下可靠性定理成立。     

基于Web的开放式数控设备故障会诊技术研究

提出了一种新的设备远程故障诊断方法——基于Web的设备故障会诊技术，讨论了基于Web的开放式数控设备故障会诊系统的运行原理，详细论述了故障会诊系统服务平台的功能结构及其通用性与开放性的实现技术，并描述了设备故障会诊虚拟逻辑系统的构建模型及其运行方法。