部分K值逻辑中准完备集之最小复盖的一些结果（Ⅰ）

根据部分K值逻译的完备性理论,证明了保E函数集T_E是P_K~*中准完备集之最小复盖的必需组成部分,它们的并集复盖了大量的准完备集。     

关于部分K值逻辑中准完备集之最小覆盖的一些结果（Ⅲ）

根据部分Ｋ值逻辑的完备性理论，证明了满足一定条件的完满对称函数集是Ｐｋ＊中准完备集之最小覆盖的必要组成部分．     

关于部分K值逻辑中准完备集之最小复盖的一些结果（Ⅱ）

根据部分K值逻辑的完备性理论,证明了L型函数集L_(G4,2)是P_K~*中准完备集之最小复盖的必要组成部分。     

正则准完备类中的一元半群

证明了多值逻辑中准完备(除T_(D~K)外)内的非奇异变换部分(即置换群)用奇异变换部分(即一元奇异半群)唯一确定,并定出了全部极大正则一元半群。     

不完备信息系统下空缺数据处理方法的分析比较

在现实数据库知识发现过程中,由于数据采集能力有限或数据丢失等原因,使得所面临的数据库往往是不完备的信息系统.或者说存在某种程度的不完备.文章主要分析和比较在数据缺失或信息不完备的情况下空缺数据的处理方法.     

多值逻辑中一元函数的完备集

首次提出了广义线性置换，并定出其划定的充要条件，同时还定出了几类新的一元多值逻辑函数的完备集．     

基于相似关系的不完备模糊决策信息系统知识约简

在不完备信息系统和模糊决策信息系统及其粗糙集模型的基础上,提出了不完备模糊决策信息系统的概念,并基于相似关系及其粗糙集模型,给出了不完备模糊决策信息系统的粗糙集模型.该模型是不完备信息系统,完备模糊决策信息系统和经典决策信息系统粗糙集模型的推广.还给出了该系统的知识约简及其算法.     

相容映射的公共不动点

该文证明了完备度量空间上相容映射公式不动点的存在性，所得结果推广和改进了Ｐａｎｔ［１］的结果。     

不完备决策表的几种属性约简方法的关系

知识约简是信息系统与知识发现研究中的一个焦点问题.文章将正域约简、熵约简及基于包含度约简的概念引入不完备决策表中,讨论了它们之间的关系,证明了对于相容的不完备决策表,熵约简、分布约简、正域约简、最大分布约简及近似约简都是等价的.     

不定度规空间上的线性泛函的表示

本文定义了完全与完备的不定度规空间，得出完备的度规定间必须 完全的度规空间，反之不真。本文给出了完全的不这度规空间上的线性泛函的表示，推广了黎斯定理。     

基于模糊控制的电梯群控系统算法的设计

提出了一种多目标的模糊控制算法,介绍了算法的设计思想和实现,并给出了算法的验证.通过验证表明,该算法能实现有效的派梯.     

命题逻辑中几种常见的推理证明方法

数理逻辑是《离散数学》的难点之一．其主要原因是内容比较抽象且方法较独特，加之题型以知识较广的证明题居多．而命题逻辑又是数理逻辑的基础，熟练而灵活地掌握好命题逻辑中推理证明的方法既是学习命题逻辑的重点，又会为进一步学习谓词逻辑打下良好的基础．本文结合适当的例题总结了命题逻辑中几种常见的推理证明方法，以期在帮助学生掌握命题逻辑的推理证明方法的同时，又能对学生进行逻辑思维能力的训练，培养学生分析问题和解决问题的能力．     

基于PVS的时序逻辑语义模型及其实现

时序逻辑作为一种规格说明语言,能够很好地描述程序性质.为了能够利用现有的定理证明器PVS(prototype verification system)对用时序逻辑公式描述的程序性质予以证明,从而达到程序验证的目的.文中在PVS中建立了时序逻辑的语义模型,同时给出了其语义解释.然后通过一个简单的例子(求解整数平方根的程序),应用时序逻辑公式对该程序的部分性质进行了描述,取得了较好的效果.实现了程序性质的时序逻辑公式表示,为使用PVS验证程序的性质打下了一个好的基础.     

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

针对一类非线性系统,把模糊T S模型和自适应模糊逻辑系统这两种模糊逻辑方式结合起来,提出了一种自适应控制方案.首先,采用模糊T S模型来对非线性系统建模,由线性矩阵不等式得到模糊模型的控制律.其次,构建了自适应模糊逻辑系统,应用自适应模糊逻辑系统补偿器来消去建模误差.证明了闭环系统满足期望的H∞性能,仿真结果表明了该方案的可行性.     

逻辑方程F=G解法的探讨

为了使解非0型、非1型的逻辑方程F=G更加灵活、多样化,给出了F=G成立的充要条件,将逻辑方程F=G化为0型或1型逻辑方程的方法和相应的推论,并给予证明.得到了若F+G=0和F+G=0的解集分别为S1,S2,则F=G的解集为S1+S2、以及若F?G=1和F?G=1的解集分别为S'1,S'2,则F=G的解集为S1'+S'2的结论.从而可应用结论解非0型、非1型的逻辑方程.     

扰动模糊逻辑中的连续算子

本文提出了扰动模糊命题逻辑的概念,定义了扰动模糊命题的运算,然后将一维模糊逻辑算子推广到二维的扰动模糊逻辑算子中去,提出了扰动模糊连续算子,同时对这些逻辑算子的性质做了较为系统的研究,从而使模糊逻辑的概念及性质得到进一步的推广。     

逻辑设计中ASM图的硬件电路实现方法

给出了基于A SM图的数字集成电路控制器的设计的主要电路实现方法,并给出了目前最常采用的方法——ED A法.     

用模糊控制实现混合动力电动汽车动力优化

以混合动力电动汽车的燃油经济性和最低排放为控制目标,研究该类汽车动力系统的多目标优化方法,提出用模糊控制策略实现不同的控制目标。论文建立了模糊逻辑控制系统结构图和模糊逻辑推理规则,着重论述在混合动力汽车中建立模糊控制器的方法和过程。用仿真软件对普通电辅助控制和模糊控制两种情况下的工况进行模拟,得到SOC变化曲线。控制效果的对比表明,模糊控制策略适合于混合动力电动汽车控制。     

逻辑学在物理教学应用中的分析

物理学是一门自然科学,其本身具有内在的逻辑性,因此从逻辑学的视角研究物理教学,将逻辑分析的方法引入物理教学,具有重要的理论意义和现实意义.通过几个简单案例逻辑学分析,将逻辑学方法应用于物理教学之中,为教师分析物理课程本身及教学技巧的改善和培养学生的逻辑思维能力提供了一个新的视角.     

新型可编程逻辑器件EPLD的应用设计

可擦除可编程逻辑器件(EPLD)是美国Altera公司于80年代中期首先推出的一类新型可编程逻辑器件.作者分析了EPLD的结构特点,介绍了EPLD器件的应用开发过程及注意事项,最后给出了一个具体应用实例.