关于模糊逻辑函数计数的一些结果

模糊逻辑函数的计数至今仍是一个未解决问题．本文利用模糊逻辑函数析取范式的存在唯一性，引进基本片语集合Ａｊ（１≤ｊ≤２ｎ），Ｇ（ａ）及Ｇ（ａ１，…，ａｋ），推导出Ｇ（ａ），Ｇ（ａ１，…，ａｋ），Ｇ（ａ）∩Ａｊ以及Ｇ（ａ１，…，ａｋ）∩Ａｊ的计数公式，并给出了ｎ元模糊逻辑函数的一个计数公式．为了简化计数过程，给出了一些实用数值表，这些结果将有助于计数问题的最终解决．     

模糊逻辑函数的主析取范式的研究

本文首先证明有关模糊逻辑函数的一些定理和并不可约元的充要条件。之后定义了模糊逻辑函数的“互素并不可约元”的概念,以及建立了在主析取范式“互素并不可约元”的条件。最后给出简化模糊逻辑函数的方法,应用它化简模糊逻辑函数,比采用[1]和[2]介绍的方法,化得更简。从而使模糊逻辑函数的化简问题,得到较理想的解决。     

基于模糊优化的多目标投资组合选择模型研究

将模糊集合的概念引入投资组合模型中，并将多目标投资组合模型中的收益、方差和偏度三个目标模糊化，用逻辑隶属函数作为新的目标函数．针对该模糊多目标投资组合模型，提出了一个动态遗传算法，算例给出了该模型的一个实例的最优解，并进一步解释了模糊尺度随决定逻辑隶属函数形状的参数的变化而反向变化的规律．     

模糊逻辑函数图形分解法

就我们所知,已有的一些模糊逻辑函数分解方法都只能适用于某些特珠类型的函数,本文,在参考考资料的基础上,提出了一种分解模糊逻辑函数的图形算法.这个算法是个完全算法,它可适用于任一类型的模糊逻辑函数的分解。此外、它还比已有的模糊图。S—图更为简便和直观。     

Fuzzy卡诺图及模糊逻辑函数最小化

根据模糊逻辑函数的定义、性质和范式、提出Ｆｕｚｚｙ卡诺图及其运算规则,并将其应用于模糊逻辑函数的最小化。     

模糊逻辑函数的微分

本文以两种方法定义了模糊逻辑函数的微分:一、把模糊逻辑函数当作是二值逻輯函数(即布尔函数)从{0,1}、集合到[0,1]区间的开拓;二、模糊逻輯是连续值逻輯,而模糊逻輯函数认为是[0,1]区间上的连续函数。研究和提出了有关模糊逻輯函数微分的一些性质和计算方法。     

一类典型模糊逻辑控制器的输出结构

研究一类特殊的多输入单输出的模糊逻辑控制器 ,其组成规则中的输入输出语言变量的语言值均取正规的三角形隶属函数 ,且分别作成其相应论域的模糊划分 ,在其输入输出之间存在一种特殊的映射关系———线性规则映射 .经分析得到结论 :模糊逻辑控制器的输出可以表示成输入的凸组合函数 .这一结论建立了模糊逻辑控制器的精确数学模型 ,对于模糊逻辑控制器的分析和调整提供了直接依据 .     

基于遗传优化的图像增强模糊算法

将协同进化遗传算法(CGA)应用于图像增强的模糊算法优化,以优化模糊逻辑处理效果.在CGA算法中,同时优化选择了模糊逻辑规则、最佳隶属度函数和优化了隶属度函数的参数.通过具体图像处理实验,在客观评价上证明了本方案的有效性.     

关于模糊逻辑函数计数的一些结果

模糊逻辑函数的计数至今仍是一个未解决问题，本文利用模糊逻辑函数析取范式的存在唯一性，引进基本片语集合，Ａｊ，Ｇ（ａ）及Ｇ（ａ１，…Ｇｋ），推导出Ｇ（ａ），Ｇ（ａ１，…，ａｋ）Ｇ（ａ）∩Ａｊ以及Ｇ（ａ１，…，ａｋ）∩Ａｊ的计数公式，并给出了ｎ元模糊逻辑函数的一个计数公式。     

一类非线性系统综合自适应模糊控制

针对一类非线性系统把模糊控制、模糊逻辑逼近及模糊滑模控制相结合，提出一种综合自适应模糊控制方法．基于李亚普诺夫函数系统参数的自适应律，不需要最小逼近说差平方可积条件，而且利用模糊滑模控制补偿模糊系统的逼近最差及外部干扰对输出跟踪误差的影响，理论证明了闭环系统稳定，跟踪误差收敛到零或零的一个小邻城内．仿真表明了算法的有效性。     

未知逻辑的故障电路快速重构算法研究

针对未知逻辑的故障电路诊断与修复问题,研究了一种以同样功能的正常电路作为参考电路,然后利用电路逻辑快速重构算法进行故障修复的方法。该算法将对参考电路的逻辑功能采集与故障电路的逻辑功能重构同步进行,既能降低算法运行过程中的空间消耗,同时也避免了故障电路逻辑功能重构过程中,进行复杂的逻辑综合。此外该算法改进了传统的分块串行处理模式,解决了将采集数据分块并行逻辑综合的问题,提高了故障电路重构的速度。测试表明,相对直接的Q-M逻辑综合算法,该算法处理时间最快能减少70%。     

基于不变因子的传递函数矩阵的最小实现

基于传递函数矩阵的斯密斯-马克米兰（Smith-McMillan）标准型,讨论了以严真有理分式矩阵描述的传递函数矩阵的一个最小实现,其中每一个不变因子的最小实现对应一循环系统.如果斯密斯-马克米兰的秩为ｒ,那么最小实现对应于ｒ个循环系统的直和.特别地,当传递函数以行向量或列向量形式给出时和当系统矩阵以分块循环矩阵表示时,分别得到了能控或能观型实现,它们都是现有算法的改进.     

利用一片ispLSI1016实现锅炉水位监测及控制

本文以在系统可编程逻辑器件为主,设计了一种电极式蒸汽锅炉水位显示、控制及高低水位报警装置。利用可编程逻辑器件和阻容元件构成一个变音振荡器,实现了可编程逻辑器件和模拟电路的有机结合。文中还介绍了锅炉水位监控系统的抗干扰措施。     

Windows CE下Nor Flash块驱动的开发和研究

阐述了在WindowsCE环境下如何开发Nor Flash块驱动程序。Windows CE为块驱动程序提供了FMD函数接口,针对不同的Flash硬件,可以根据CFI获取具体的硬件信息来实现FMD接口函数。结合Nor Flash具体开发实例,介绍了Win-dows CE的存储管理架构,分析了Nor Flash的物理和逻辑结构,描述了块驱动程序的开发方法,并给出了关键代码。     

基于粗集理论的逻辑函数简化方法

针对数字电路中逻辑函数真值表的特殊形式，利用粗集理论把它处理为一种决策表，用决策表的最小决策算法对其进行化简，然后从真值表中直接归纳出最简的逻辑表达式，此方法简单、快速、特别适用于数字电路中从已知真值表求出相应的逻辑表达式及其对应的逻辑电路，为粗集理论在数字电路中的应用提供有力工具。     

真值表等数理逻辑方法的判定功能

真值表，归谬赋值，真值树，演绎证明和范式等方法是数理逻辑命题演算中重言式的判定（或证明）方法，但不是传统命题逻辑推理式的判定方法。     

SLDNF-归结原理关于模态语义的完备性

Ｂａｒａｔｅｌｌａ定义了正规谓词逻辑程序的模态完全化语义,并证明了该语义关于ＳＬＤＮＦ－归结的部分完备性。本文首先给出了逻辑程序的模态直承算子,并研究了相关的理论性质,进而证明了模态完全化语义关于ＳＬＤＮＦ－归结的完备性。     

确定有限自动机推理的可计算逻辑分析

针对确定有限自动机对输入符号串的识别过程,提出了采用可计算逻辑来分析确定有限自动机的功能结构及其状态转换函数.在可计算逻辑中,计算问题是机器和环境博弈的过程.同样确定有限自动机对输入符号串的识别过程也可当作机器与用户的博弈,如果输入符号串满足确定有限自动机的语法规则能够识别出来,表示机器赢,否则用户赢.     

多值逻辑中的命题相关性与逻辑运算研究

命题的属性包括结构属性和值属性.命题的结构决定了命题之间的关系,决定了命题之间的逻辑运算.命题的真值只是一个由命题的结构决定的值属性,并不能代表整个命题.逻辑运算是命题的运算,不是真值的运算.多值逻辑中,命题逻辑运算结果由命题的关系决定,真值相同的不同命题,逻辑运算结果的真值不一定相同,逻辑运算不是处处同态于某一个或某一簇真值函数(算子),有时复合命题的真值不能被它的成分命题的真值完全确定,所以多值逻辑的联结词并不总能定义成真值函数(算子)的形式.多值逻辑的命题公式不能再看作真值函数,命题公式是关于命题的函数.