二元区间值函数与二元Fuzzy值函数的积分

在平面区域上定义了二元区间值函数与二元Ｆｕｚｚｙ值函数,及它们的积分。在此基础上,给出了含参量区间值函数的积分和含参量Ｆｕｚｚｙ值函数的积分,由此得到了新的区间值函数与Ｆｕｚｚｙ值函数,并研究了此函数的性质。     

浅析逻辑函数化简中最简式的判断依据

逻辑函数是分析和设计数字电路的数学依据和基础,用化简后的表达式构成逻辑电路可节省器件,降低成本,提高工作的可靠性,因此将逻辑函数化简为最简式是至关重要的.一般情况下,最简式的判断无一定律可遵循,比较困难.本文介绍了三种判断逻辑函数最简式的依据,并将其实用性在"代数法"、"卡诺图法"两种化简方法中分别进行了举例说明.     

逻辑函数最简式的构成研究

运用对函数最小项进行分类的方法对有多个最简式的逻辑函数进行了研究,发现这些最简式在构成上具有一定的规律,而这些规律与函数最小项的不同"活动能力"密切相关.     

基于粒计算的变形分明函数分析及属性约简证明

为了对分明矩阵和分明函数属性约简法予以理论上的证明,一个变型的分明函数被构造,它被定义为析取范式的逻辑公式.通过对变型分明函数以及等价转换成的最简式对应粒性质的讨论,证明了变型分明函数对应的粒等于所有分明关系的并.由此证明了最简式中所有的合取项就是信息系统属性集的全部约简.从而以粒计算的方法完成了分明矩阵和分明函数属性约简法的理论证明.     

区间值函数与Fuzzy值函数的无穷积分的一致收敛性

在已有文献的基础上定义了含参量区间值函数与含参量Ｆｕｚｚｙ值函数的无穷积分，给出了无穷积分一致收敛的定义和判别法，讨论了无穷积分一致收敛的性质。     

自适应遗传算法优化模型小脑模型

首次采用遗传算法（ＧＡ）设计模糊小脑模型神经网络的隶属函数，提出一个自适应ＧＡ优化算法，并且以优化模型小脑模型ＦｕｚｚｙＣＭＡＣ学习正弦曲线，仿真实例表明，采用自适应ＧＡ方法优化的ＦｕｚｚｙＣＭＡＣ学习精度比标准小脑模型ＣＭＡＣ提高大约三个数量级，比标准ＦｕｚｚｙＣＭＡＣ（三角形隶属函数）提高一个数量级，自适应ＧＡ方法优化的ＦｕｚｚｙＣＭＡＣ学习速度比ＧＡ优化的速度快且乾化过程的振荡明显减小，仿真     

化简逻辑函数的新方法

代数法化简逻辑函数的难点在于没有固定的方法和步骤，函数式是否化简到了最简也没有判别方法．文中提出的“准多余项化简法”解决了这些难题，给出了化简的具体步骤和最简式的判别方法．对于６个以上的变量逻辑函数的化简，此法显著优于卡诺图法．     

带有约束项的多变量的逻辑函数化简的一种方法——兼论步进电机环行分配器的逻辑设计

当逻辑函数的变量比较多时,用卡诺图法来化简就比较麻烦。本文所提出的方法是根据逻辑函数各最小项的公因子中各变量来判断,各变量是否覆盖逻辑函数为0的项,如否该变量就是最简式。细无 1个变量的最简式则用公因子中两个变量“相与”去试验,再看“相与”者是否覆盖逻辑函数为0项,如否,则此“相与”的两个变量即为逻辑函数的最简式。     

逻辑函数的化简与实现

提出能反映逻辑函数最小项合并规律的最小项合并图,给出了基于最小项合并图的逻辑函数化简法,用该化简法可获得逻辑函数的所有最简式且该方法便于编程实现。     

FCNN的全局稳定性

研究了 Ｆ Ｃ Ｎ Ｎ（ 模糊细胞神经网络） 的全局稳定性,应用 Ｌｙａｐｕｎｏｖ 函数,建立了 Ｆ Ｃ Ｎ Ｎ 全局稳定的充分条件,其结果推广了现有文献中的结论     

命题逻辑中主范式的求法

求主析取范式包括真值表法、推演法以及用真值表法求，G的主析取范式、用推演法求G的主合取范式等四种方法。用极小项的性质给出了真值表求法的证明，用公式相等的定义证明了求，G的主析取范式的定理。     

极大独立集的逻辑算法

给出了利用命题逻辑公式的析取范式和主析取范式求图的独立集和极大独立集的方法，并给出了一解算法。     

图的最小覆盖的逻辑算法

给出了利用命题逻辑公式的析取范式和主析取范式求图的全部极小覆盖和最小覆盖以及全部极小边覆盖和最小边覆盖的一般算法．     

求模糊逻辑函数范式的方块图法

本文提出了模糊逻辑函数的方块图表示及等效变换法则．并利用方块图化简模糊逻辑函数，给出求取析取范式与合取范式的直观方法．     

二分法的一个难例

本文提出了O_n计数树的概念,并证明了O_n的计数树具有良好的性质。最后通过{O_n}这个实例证明了基于二分法所构造出的算法均具有指数型时间复杂度。     

高维Hopf分岔系统的最简规范形

针对高维Hopf动态分岔问题,研究了不经计算其传统规范形,直接计算高维任意阶数的Hopf分岔系统的最简规范形.利用中心流形定理,将原n维动力系统降为二维的中心流形,根据规范形理论,对中心流形上流的方程进一步化简,在不经过计算传统规范形的情况下,直接计算出其最简规范形中只包含的三阶和五阶项.编写了Mathematica程序,利用该程序,可直接由原n维动力系统计算出其最简规范形.通过3个算例验证了该方法的正确性和计算程序的高效性.     

双Hopf分叉系统最简规范形的计算

利用规范形理论研究了Hopf分叉系统最简规范形的计算,得到了计算4维非线性系统最简规范形的通用公式.通过对覆冰悬索系统的分析,用数值方法验证了该计算方法在研究高维非线性系统中的有效性.     

复规范形法求解非共振双Hopf分岔系统的最简规范形

提出了一种应用复规范形理论获取非共振双Hopf分岔系统最简规范形的有效方法,以简化最简规范形的求解过程.建立了复坐标下非共振双Hopf分岔系统的规范形及非线性变换,采用复数运算替代原有实数形式矩阵表示法的矩阵推导过程,获得了系统高阶关键方程的一般形式,简化了非线性变换的表达式,并且由此推导出了此类系统的最简规范形表达式.所附算例验证了最简规范形理论对于简化传统规范形结果的有效性.     

模态复合命题与复合模态命题间真值关系考察

本文通过构造一个逻辑关系示意图，重点刻画了模态联言命题、模态选言命题与联言模态命题、选言模态命题之间所存在的四个等值式、四个矛盾式和三十二个蕴涵式，这些等值式、矛盾式和蕴涵式都与人们的实际思维密切联系，均可借助自然语言的实例得到直观理解，并在思维实践中加以运用。