F推理格式及其应用

Ｆ命题推算是Ｆ逻辑的基本内容，本文引进了Ｆ推理格式的概念，并证明了它的一些基本性质，从而，Ｆ命题的演算可以按照一定的Ｆ推理格式进行推理论证，这样才能导出正确的结论，另外，它又为推断Ｆ逻辑公式的相容性提供了理论方法基础。     

新颖的多功能混合模式CCⅡ滤波器

提出了一种新颖的混合模式ＣＣⅡ滤波器模型电路，由该模型电路可以得到同时实现一阶低通、高通输出的滤波器及同时实现二阶低通、带通输出的滤波器，一阶滤波器由２个ＣＣⅡ器件及４个ＲＣ元件构成，二阶滤波器由２个ＣＣⅡ及５个ＲＣ元件构成，与同类电路比较，所用ＣＣⅡ器件较少，固有频率ω０与品质因数Ｑ独立可调，电路中所有ＲＣ元件均接地，便于集成，ＣＣⅡ由ＣＭＯＳ器件构成，与ＶＬＳＩ工艺兼容。文中给出了电路的计算机ＰＳＰＩＣＥ仿真结果。     

存在怪论的推导与分析及有关语意问题

怪论：“概念无逻辑矛盾的任一物理事件必然在物理世界中存在（或被实现）”可从下列四个易被接受的假设推出：１、经验归纳是不完备的。２、认识上仅有两方面，即经验归纳与逻辑推理。３、从逻辑观点看，断言一个物理事件在所有时间都不存在，仅是由于事件概念有逻辑矛盾。４、推理限于使用经典逻辑。以Ｐ（ｔ）表示物理事件Ｐ在时刻ｔ出现，当Ｐ的概念无逻辑矛盾时，ヨｔｐ（ｔ）之真可在有限时区证实，但其假则否。而フｐ（ｔ）之     

工程材料课教学改革的几点尝试

工程材料课，是机械类各专业必修的一门技术基础课程。是以培养学生正确选用材料的能力为目的的叙述性课程。同学反映内容散，难理解，记不住。根据上述特点，为了加强学生能力的培养，提高教学质量，在教学中作了几点尝试，初步收到了良好的效果。一、加强课堂讲课内容的逻辑性讲课内容，不应是众多概念的罗列，应该着重介绍重点和难点，注意介绍分析问题的思路和方法，这些课堂内容，如果用富有启发性的逻辑因素组织起来，就可借助于过程中推理的逻辑因素组织起来，唤起学生的思维“共鸣”。如何借助于过程中推理的逻辑力量唤起学生的“共…     

基于Simulink基本元件的鼠笼式异步电机仿真研究

在传统的采用Simulink基本元件构建鼠笼式异步电机模型方法的基础上，提出了鼠笼式异步电机数学模型的改进推理算法，使其具有更好的实用性和应用效果，并在此基础上采用Simulink的基本元件构建出电机的仿真模型，最后，通过仿真实例验证了该方法的有效性和实用性．     

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

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

回转器与电感元件小型化的研究

本文从回转器原理出发，使用电阻、电容、运算放大器模拟电感，为电感元件的小型化提供了新思路。     

标记逻辑（APC）中蕴涵概念在本体和认知方面的比较及研究

众所周知，维持一个大型知识库的相容性是一件极其困难的事情，而一旦知识库中出现了不相容的信念，使用经典逻辑就再也无法有的推理了，因为任何结论都是此知识 逻辑结果，这样，大量的有用信息就被屏蔽掉。为了解决这个问题目前已有一些方法，标记逻辑，简计为（ＡＰＣ）「１」是其中比较有效的一个。     

基于溯因解释的信念修正

给出了一个基于溯因推理信念修正的逻辑框架，并提出一个使用溯因方法，对带有约束条件的信念进行修正算法，该算法得到的是优化解。     

强模态归结

研究了命题模态逻辑，Ｋ，Ｋ４，Ｄ，Ｄ４，Ｔ，Ｓ４的“＝”型模态逻辑结果Ｓ＝Ｕ→Ｖ的自动推理。提出了证明“＝”型模态逻辑结果的归结推理方法－强模态归结。证明了强模态归结的可靠性与完备性。     

一个有效的不精确推理算法

文中给出了一个借助模糊产生式规则的矩阵变换而实现的不精确推理算法，并通过实例解释了算法的推理过程，同时证明了对具有ｎ个模糊产生式规则的知识系统而言，该算法的时间复杂度为Ｏ（ｎ＋１）。     

一个有效的区间值模糊推理方法

在区间值模糊集理论的基础上,提出了一种基于区间值模糊集的模糊产生式规则的推理方法。为采用这类规则进行推理,文中给出了规则前件与事实是否匹配的模糊匹配函数.最后用实例说明采用区间值模糊产生式规则进行不精确推理的方法.     

模糊规则中的不确定性推理研究

针对模糊规则中以真值形式表达的不确定性推理问题进行了深入的研究.首先完整地分析了规则中的前提、结论、证据、条件、推论和结果这6类命题的不同含义;然后根据规则应用的实际情况,提出了一种新的逻辑组合关系——广义逻辑关系;最后定义了模糊子集匹配度和模糊规则匹配度,并给出了相应的条件真值和结果真值推理算法,从而形成了完整的通用不确定性推理模型.     

基于语义网络表示的皮肤症状模糊推理系统的研究

针对皮肤症状中的知识表示问题,讨论了语义网络的知识表示方法.并将模糊推理引入皮肤症状图像的分类识别中,给出了4种常见皮肤症状(黄褐斑、粉刺、黑头、雀斑)的语义网络表示,建立了识别的隶属度函数和基于语义网络表示的模糊推理算法,从而构建了一种皮肤症状模糊推理系统.实验结果表明,利用该推理系统得到的皮肤症状分类准确率达到了令人满意的效果.     

基于Vague集的插值模糊推理

对于模糊概念(用Vague集表示)的隶属函数为连续的情况,将规则前件中模糊概念的论域与后件中模糊概念的论域作一一映射,然后给出基于Vague集的隶属函数为连续情况下的插值模糊推理方法;对于Vague集的隶属函数为离散的情况,在作上述相同的映射后,再将规则前件中的Vague集和事实中的Vague集的真/假隶属函数分别进行线性插值,使它们都成为连续函数,然后给出基于Vague集的隶属函数为离散情况下的插值模糊推理方法.     

语义网中描述逻辑的模糊扩展

描述逻辑是本体的基础,在实际应用中,描述逻辑可被扩展.介绍了描述逻辑的一种新的扩展——带比较表达式的模糊描述逻辑(FCDLs)来表示和推理语义网的模糊知识.FCDLs的语法和语义以及公理和断言也有明确的定义.FCDLs是模糊描述逻辑(FDLs)的模糊概念和扩展的模糊描述逻辑(EFDLs)的剪集概念的结合.FCDLs和FDLs一样,它也可以使用语义网上的模糊知识来表示、推理模糊本体.     

模糊规则间交互指标的初步研究

当模糊产生式规则应用在近似推理过程中时,前件相同而后件不同的模糊规则之间往往存在交互影响.考虑模糊规则间的交互影响,可以提高推理精度.此论文通过类比在合作游戏理论中描述交互影响的交互指标和定义在模糊规则上的模糊测度,给出一种计算模糊规则之间交互影响指标的方法.     

一类组合养老保险模式的智能信息处理模糊模型

以一类组合养老保险模式为背景,初步探讨了其思维决策过程的输入输出信息,简要介绍了涉及的判断型和决策型思维过程,针对抽象思维、形象思维和直觉思维三种思维形式的不同特征,运用各种方法建立起相应的模糊模型:采用模糊逻辑方法建立抽象思维的模糊逻辑推理模型,借助于模式识别的思想来建立形象思维的模糊模式识别模型,运用模糊数来建立基于L-R模糊数的直觉思维的模糊状态方程模型.     

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

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

基于Vague集的元素间相似度量的近似推理

给出了Vague集元素间的一个相似度量方法,对于模糊概念(用Vague集表示)的隶属函数为连续的情况,将规则前件中Vague集的论域与后件中Vague集的论域作一一映射,然后给出基于Vague集的隶属函数为连续情况下的元素间相似度量的近似推理方法;对于Vague集的隶属函数为离散的情况,在作上述相同的映射后,再将规则前件中的vague集和事实中的Vague集的真/假隶属函数分别进行线性插值,使它们都成为连续函数,然后给出基于Vague集的隶属函数为离散情况下的元素间相似度量的近似推理方法.