论文部分内容阅读
研究再扩充模糊逻辑的一些主要性质，得到了关于公式的有效逻辑结果的充分必要条件，讨论了基于归结方法的模糊推理的有效性；证明了子句集在再扩充模糊逻辑中的不可满足性与它在二值逻辑中的不可满足性是等价的.
再扩充模糊逻辑中归结方法的有效性
【摘 要】
：
研究再扩充模糊逻辑的一些主要性质，得到了关于公式的有效逻辑结果的充分必要条件，讨论了基于归结方法的模糊推理的有效性；证明了子句集在再扩充模糊逻辑中的不可满足性与它在二
【机 构】
：
广东工业大学应用数学学院
【出 处】
：
广东工业大学学报
【发表日期】
：
2006年1期
【基金项目】
：
广东工业大学青年基金项目
其他文献
响应党中央的号召,全国上下都在深入学习实践科学发展观。科学发展观对人事档案管理的正常运转起着重要的指导作用。在档案管理过程中,要以科学发展观为准则,遵循以人为本的
介绍在高速局域网条件下通过PVM+Win32构造PC集群所涉及到的集群技术,在文章的最后给出这类PC集群在实际应用中的试验结果.
重点论述了广铁集团多元中心办公自动化系统的总体设计和解决方案.着重突出了系统构成的软硬件基础以及知识管理的概念.并且分析了办公自动化应用系统的核心应用--公文管理和
柴油机工作时，气门在高温作用下受热膨胀而伸长，冷却时又恢复原状。因此，必须保证适当的气门间隙，否则，气门无法正常密封。发动机气门间隙过大，会使气门迟开早闭，气门开度减小，以致开
文章对钳工教学中的问题进行了一些探索，提出了整合教材、整合教师、整合学时、整合教学方法的措施，旨在培养出大批能够掌握先进工艺和技术的高技能钳工人才。
借助均匀设计法合理安排试验及应用计算机拟合技术科学地进行了氯氰菊酯的毛细管气相色谱检测条件的设计与优化的研究,建立了相关的数学模型.成功地求出了柱温258.8℃、压力1
在探讨J2EE平台Web应用开发方法中,提出基于MVC(Model-View-Controller)开发模式的轻配置开发方法.并研究Bean类的结构使Java Bean业务逻辑更紧凑,更少相互耦合,使系统演进修
在职业生涯的各个阶段，教师主动地向学生寻求客观评价，将能得到关于其自身和教育工作的许多有用的信息，促进其自身的进一步完善，促使其职业生涯不断发展。