三I算法的统一形式

给出了正则蕴涵算子的概念,证明了Lukasiewicz算子、G del算子、乘积算子和R0 算子都是正则蕴涵算子.针对这种正则蕴涵算子建立了FMP和FMT的三I算法的统一形式,相应地三I解可用一般的伴随对( ,R)中的左连续三角模 和正则蕴涵算子R统一表达;指出在G del的意义下,Zadeh关于FMP的CRI算法可以纳入到这种统一形式之中;给出了α 三I算法的统一形式,得到了关于FMP和FMT而言的α 三I算法的对偶性结论.     

基于模糊推理Petri网的胶带运输系统故障诊断

分析了胶带运输系统故障的特点及传播过程,将模糊推理Petri网用于胶带运输系统的故障诊断,给出了对应的推理过程及Petri网模型,其有效的模糊推理过程及智能推理能力便于计算机编程求解复杂过程,在胶带运输机控制系统故障诊断中取得很好的效果.     

模糊中医专家系统外壳－FESS的设计

ＦＥＳＳ是用ＴＵＲＢＯＰＲＯＬＯＧ２．０在ＩＢＭＰＣ／ＡＴ上研制的，应用于中医领域的模糊专家系统外壳．本文首先介绍ＦＥＳＳ的总体结构，接着叙述ＦＥＳＳ的核心部分─知识库组织及推理机制．     

带积分型的智能随动系统

介绍了采用微型机实现带积分型的智能随动系统的原理和方法并给出了程序框图，实时控制结果表明：该智能随动系统的速度跟随误差远小于数字ＰＩ，ＰＩＤ和无波纹最小拍随动系动，明显地提高了系统的快速性。     

A nonmonotonic linguistic certainty factor model

ＡｎｏｎｍｏｎｏｔｏｎｉｃｌｉｎｇｕｉｓｔｉｃｃｅｒｔａｉｎｔｙｆａｃｔｏｒｍｏｄｅｌＱｉｕＹｕｈｕｉ￣１，ＬｕｏＸｕｄｏｎｇ￣２（ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ，ＳｏｕｔｈｗｅｓｔＣｈｉｎａＵｎｉｖｅｒｓｉｔｙ，Ｃｈｏｎｇｑ...     

基于CIFNS的预警机指控系统目标威胁估计

针对预警机指挥控制系统中的威胁估计问题,提出了一种基于补偿直觉模糊神经网络(CIFNS)的威胁估计方法.把目标的动态信息和静态信息相结合,将一般模糊推理推广到直觉模糊推理,建立了基于CIFNS的目标威胁估计网络结构和威胁判断模型,给出了相应的网络学习算法,对算法应用于预警机指控系统威胁估计的情况进行了仿真.结果表明,基于CIFNS的估计算法具有较快的收敛速度和良好的自适应性.     

"惯性圆"的数学推导及应用

文章就"惯性圆"这一数学模型的建立进行推导,并结合实际例子,简要说明了"惯性圆"在确定截面主惯矩值和主轴方位问题上的应用,并与惯性椭园作了比较.     

谈波利亚关于数学解题的思维艺术

波利亚根据他的数学研究经历和其他数学家的实践经验,结合他的数学教育实践,全面、系统地对数学解题的思维艺术进行了研究和总结。本文侧重把握波利亚关于问题──求解（计划、辅助问题和问题链）──发现和发明的方法和规律方面的思想,旨在为我们学会猜想,提高解题能力服务。     

Analogical Reasoning and Modeling in the Sciences

This paper aims at integrating the work onanalogical reasoning in Cognitive Science into thelong trend of philosophical interest, in this century,in analogical reasoning as a basis for scientificmodeling. In the first part of the paper, threesimulations of analogical reasoning, proposed incognitive science, are presented: Gentner's StructureMatching Engine, Mitchel's and Hofstadter's COPYCATand the Analogical Constraint Mapping Engine, proposedby Holyoak and Thagard. The differences andcontroversial points in these simulations arehighlighted in order to make explicit theirpresuppositions concerning the nature of analogicalreasoning. In the last part, this debate in cognitivescience is applied to some traditional philosophicalaccounts of formal and material analogies as a basisfor scientific modeling, like Mary Hesse`s, and tomore recent ones, that already draw from the work inArtificial Intelligence, like that proposed byAronson, Harré and Way.