试论推理格式与数学证明方法

本文以命题真值代数的基本知识为依据，阐述种主要的数学证明方法：演绎法，完全归纳法，反证法，并反证法，数学归纳法。     

实质蕴涵刻画推理的思考

用实质蕴涵刻画推理,尽管它不具有内容相关性和独立性,造成了反直观的“怪论”,但它概括了“如果,那么”这类联结词各种用法中的共性,在日常用法中有其经验根据,具有广泛的适用性和使用的方便性。相对逻辑学家己提出的各种刻画推理的蕴涵理论,用实质蕴涵刻画推理是比较好的推理理论。     

(F,(F))-规律推理与规律挖掘

给出了(F,F-)-规律推理以及(F,F-)-规律推理的规律挖掘概念,提出了(F,F-)-规律推理的规律挖掘定理与(F,F-)-规律推理的规律挖掘原理.     

XML键及推理规则

键是关系数据库和XML文档中重要的语义表达，是XML模式设计的基础。文章在XML树的定义和路径语言的概念的基础上，提出XML键的定义，给出XML键的一组完备推理规则集，最后提出了求解键集合最小覆盖的一般指导原则。     

二难推理及其应用

二难推理是假言选言推理的一种，是由两个假言判断和一个两肢的选言判断为前提所构成的复合判断推理。是人们在辩论时经常运用的一种推理形式。通过这种推理，辩论者的一方提出一个具有两种可能的大前提，对方不论肯定或否定其中哪一种可能，结果都会陷人一种进退维谷的境地。例如：中世纪的神学家们曾经荒谬地宣称：上帝是无所不在、无所不知、无所不能的，我们这个世界就是由这个全知、全能、全善的上帝创造出来的。对此，当时就有人提出来一个问题：上帝能否创造一块连他自己也举不起的石头？并对这个问题作了如下推论；如果上帝能创造出…     

(F,■)-规律推理与规律挖掘

给出了(F,■)-规律推理以及(F,■)-规律推理的规律挖掘概念,提出了(F,■)-规律推理的规律挖掘定理与(F,■)-规律推理的规律挖掘原理.     

时态关系的向量表示及其推理

作为推理的基础,时间的表示方法是一个基本的要素。文中为Allen的区间代数理论中区间的关系表达提出了向量表示法,称之为关系向量。其后,给出了定义在关系向量上的几种运算,并将其运用于时态推理中。这种方法把原先的矩阵表示法降为向量表示,从而较好地减少了时态推理计算量,并易于计算机实现。     

结构模型中自蕴涵方程的交互式推理解法

提出了一种在结构建模过程中求解自蕴涵方程的推理解法，使基于试探法的盲目的人机对话过程变为有目的，有根据的基于逻辑推理的人机对话过程。提出并证明了变型定理和推理定理，据此构造出推理矩阵和推理网。还提取出推理网的四条性质，由此构造交互策略，可以大为减少对话次数。     

GIS中定性距离推理

为了丰富了GIS基础理论,运用区间运算理论和集合论,根据定性距离约束条件,导出了定性距离推理的通项公式,重点研究了同向定性距离推理和反向定性距离推理.只要定性距离的区间范围单调递增,推理结果与具体的区间比值无关.根据吸收律,定性推理结果与相邻定性距离的区间范围之比有关.该研究成果.     

字符串重写系统的改进算法及其在花型准备系统中的应用

介绍了字符串重写系统的基本原理及其改进算法——模板重写算法.给出了模板重写算法的操作步骤,并详细讨论此算法在花型准备系统中的具体应用.     

基于混沌变量的模式搜索法及其应用

提出了基于混沌变量的模式搜索法.在探索移动中,由混沌遍历性来生成移动方向和步长;在模式移动中,针对粗搜索与细搜索分别采取最优一维搜索和直接模式搜索.将全局优化能力强的混沌优化融入到模式搜索法中,且采取二级模式移动,搜索效率高.算法应用于模糊神经网络权值优化,仿真验证了其优良性能.     

基于模式识别的稳态优化控制及其应用

提出了一种基于模式识别的稳态优化控制方法,用模式识别描述系统稳态特性、辨识模型参数、估计非平稳扰动和求取控制作用,为在那些用传统方法建模困难的场合,实现稳态优化控制提供了可能。以甲醛生产过程作仿真研究,获得了满意的结果。     

管窥闽古厝石雕装饰图案意蕴

艺术是社会意识形态的直接反映,石雕装饰图案是万事万物与人、精神情感与物象的完美结合。古厝石雕装饰图案实现建筑地域风格在技术、艺术、人文等和谐统一。应用雕刻技艺七法在图案不受自然物象结构、透视、比例、虚实等束缚下,将不同时代的思想、习俗、审美趣味延续在石构件上。闽古厝石雕装饰图案受宗教和民间信仰文化影响,蕴藏着丰富的寓意,赋予古厝生命和灵魂。雕刻在石构件上的文化思想在闽民间推崇至今。关注闽地域建筑历史与文化特色,既要注重保持多样性的人文环境特征,也要重视传承地域建筑文化精髓,只有将优秀的装饰图案文化发展并延续下去,才能使传统装饰图案文化富有生命力。     

模糊灰关联模式识别方法及其应用

首先建立了灰关联分析的新的理论模型,然后将其与模糊集理论结合起来,提出了一种模糊灰关联模式识别方法．通过应用于场地土类别的评定,从而说明了本文方法的有效性     

核聚类算法及其在模式识别中的应用

将核学习方法的思想和可能性聚类算法相结合,提出一种基于核的可能性聚类算法,使其能够对非超球体、含有噪音和孤立点的数据进行有效的聚类。将该方法用于模式识别中,仿真实验表明,基于核的可能性聚类算法比模糊C-均值算法以及可能性聚类算法具有更好的聚类效果,且算法能够很快地收敛。     

一种改进的遗传算法及其在线天线阵方向图综合中的应用

提出了一种适用于具有任意几何参数的线天线阵方向图综合的新方法。该方法简单而灵活,是传统遗传算法的一种改进。应用这种方法,以降低线天线阵的旁瓣辐射为优化目标,对线天线阵的方向图进行了优化设计,并将所得结果和Chebyshev方法所得的结果进行了比较,表明新方法综合结果和Chebyshev方法所得结果相近。针对同一问题,还将改进的遗传算法同传统的遗传算法进行了比较,表明改进方法特别适用于参数连续变化的问题。然而,对这一改进算法加入量化过程后同样可应用于离散参数的优化问题中。     

模式匹配算法性能对比试验结果在入侵检测系统中的应用

在分析入侵检测系统中常用的模式匹配算法的基础上,通过实验对3种常用的模式匹配算法进行性能分析,得出3种算法各自的最佳适用场合,可为模式匹配算法的选择和改进提供指导.     

基于设计模式的多维集合及其在模糊聚类中的应用

为了解决模糊聚类中聚类结果的存储和表示,作者在研究了Composite设计模式后,设计和实现了多维集合类．并在简单介绍作者所设计的模糊聚类类后,详细分析了多维集合在直接聚类法中的应用方法．     

图案填充技术及其在鞋底设计中的应用

提出了基于扫描线和图形裁剪的 2种图案填充方法 ,并应用于作者开发的CAD软件《鞋底款式快速设计系统》中 .经实践应用表明 ,所提出的方法是很有效的 .同时 ,由于所提出的方法具有一般性 ,因此 ,本文给出的结果对于开发其它需要进行图案填充的CAD软件均具有参考价值