基于逻辑的一种诊断方法

基于逻辑的故障诊断方法中一个没有解决好的问题就是如何求得所有极小冲突集。讨论了如何由极小不协调子集求得极小冲突集，然后经出了求所有极小不协调子集的一种方法。对如何应用该算法求得所有的极小冲突集，给出了求诊断的一个过程，最后与相关工作进行了比较。     

常识推理中不一致信念的一种非修正处理方法

在一阶逻辑中，给出了一种能够描述和处理基于不一致信念，但不对已有的不一致信念进行修正的推理方法。这种方法在推导过程中，将根据已有的信念能够推出的没有相反信息的结论作为推理的最终结论。它的最重要的特点是每个假说都存在惟一的扩充，该扩充具有累积性，并且是一致和演绎封闭的。     

关于数理逻辑中的可靠性、完备性及协调性的讨论

本讨论了命题逻辑和一阶逻辑中应用可靠性定理和完备性定理所解决的一些代表性问题，还讨论了极大协调集在建立可靠性定理和完备性定理的证明过程中所起的作用。     

一种新的修正有限内存拟牛顿法

依据修正拟牛顿方程,提出一种新的双循环有限内存拟牛顿法.与经典的有限内存BFGS方法相比,新算法同时利用函数值和梯度信息构造拟牛顿校正矩阵,且不会增加计算量,理论分析和数值检验说明了新算法的有效性。     

有限集几种重要等价类数目的计算

集合的元素间等价关系和集合的分类是现代数学中的基本概念。这两个概念既抽象又重要,初学者往往感到困难 ,而对等价类数目的计算,更难以掌握。计算等价类数目一般除了应用等价的定义、定理,性质以外无一定的规律可循,碰到具体问题要具体分析。本文举例讨论有限集几种重要等价类数目的计算。它在数学和实际中都有重要的应用。 　　设 R是集合 A上的等价关系,对于任一个 a∈ A可以构作一个 A的子集 [a]R,叫做 a对于 R的等价类,即〖 a]R={b|b∈ A且 a R b}。显然 [a]R是 A内所有与 a有等价关系 R的元素所构成的集合,这些 A的子…     

关于有限集点分布均匀性的度量方法

有限点均匀性的度量方法目前尚无一致公认的标准．本文讨论用偏差来度量点集均匀性的偏向性，进而讨论用其它方法度量均匀性的可行性     

一种基于一阶谓词逻辑的模型表示方法

给出了一种应用于决策支持系统,基于一阶谓词逻辑的模型表示方法,并分析了此种表示方法的实用性和推理机制。     

有限偏序集中Moebius函数的一种计算方法

利用有限偏序集上的Moebius反演，求出该偏序集上的Moebius函数。     

一阶模糊谓词逻辑公式的可测集解释真度理论

首先将一阶模糊谓词逻辑公式的有限、可数、及区间解释真度的概念进行了进一步的推广,在一阶模糊语言的变元集赋值的新概念下,提出了一阶模糊谓词逻辑(或一阶模糊语言)公式的可测集解释真度的概念;然后,讨论了它的一系列性质以及在近似推理中的应用.     

量子谐振子能级的一种修正方法

考虑相对论效应，应用微扰理论对一类量子谐振子能级进行了二级修正，得到的能级结构式，与在哈密顿量中直接引入微扰项求解的结果基本一致，但求解过程却大为简化，为讨论量子谐振子能级提供一种新的修正方法     

多Agent信念修正研究综述

首先介绍经典信念修正理论，特别是AGM框架，以及信念修正的主要研究方法，在此基础上重点介绍了多Agent信念修正的主要研究内容和方法，目前国际的进展及仍然存在的问题，最后提出了我们的解决方法和研究思路。     

满意解集的一种逼近方法

在多目标决策的研究中,对满意解集进行估计是一项重要的工作,这篇文章在引入向量拟满意解概念的基础上,给出一种通过缩小拟满意解集,逐步逼近满意解集的方法。     

有限集合上的集合方程与方程组

本文讨论了集合方程和集合方程组有解的充要条件,给出了集合方程解的个数的计算公式.对集合方程组解的个数,在一般条件下给出了上界,在较强的条件下则给出了计数公式.     

熵增加原理刍议

本文论述了熵增加原理的本质及其限制条件；通过实例阐明了在隔离物系为前提的条件下△Ｓ物系＋△Ｓ环境≥０，与△Ｓ—∑δＱＴ≥０作为实际过程方向的判断依据，在形式上和实质上的一致性；论证了物系与有关环境的整体，并不一定是隔离物系     

纵横图构造初探

本文深入而充分地揭示自然方阵Ｎｎｘｎ的有关内在性质，找出了一套完整而简洁的化Ｎｎｘｎ为ｎ阶纵横图的方法－对称对换法。     

投影理论体系探讨

本文试图用数学方法把和投影有关的诸理论统一起来。数学表达式使各种投影之间的关系一目了然。对于投影的各种情况,本文一一给出了成立的充分必要条件。特别是其中的中心投影的仿射形的充要条件,与原来在这个位置上的别斯金定理大不相同,去掉了其射影几何的内容,对其适用于投影的結论作了引申,在附表中仍称之为别斯金定理,但这实际上已经是投影自己的别斯金定理了。又如库鲁巴定理,尽管已经分别有三、二、一天点参数公式组,但统一的中心投影充要条件公式始终没有。本文用矩阵方法很简单地推出了这一与库鲁巴定理等价的公式组。     

对经典运动定律阐述方法的探讨

本文分析了牛顿运动定律的叙述中所存在的逻辑循环,指出它的内容除反映自然规律外,还包含了惯性系、力和质量的定义,在叙述时应把其定义部分与定律部分区分开来,作者对这种阐述方法作了探讨:首先找出判断质点不受力的方法,然后定义惯性系,再相对于惯性系建立动力学定律及质量和力的量度.     

音响设备抗干扰方法的研究

详细地阐述了音响设备的电源、地线、连接线等方面应该如何处理的问题。     

综框运动规律的研究

本文从综框运动的开口角与闭口角不相等情况出发,提出了综框的"直线与余弦曲线组合加速运动"规律及"修正梯形加速运动"规律,推导了它们的运动学公式,分析了它们的使用范围,并与三段正弦曲线组合加速运动规律进行了比较、分析.推荐采用直线与余弦曲线组合加速运动规律及修正梯形加速运动规律.并指出这些运动规律不仅适合于开口角与闭口角不相等的情况,也适合于开口角与闭口角相等的情况,因此根据这些公式编出的计算程序具有广泛的适用性.     

一类推广的整数极小极大问题的求解算法

讨论了一类推广的整数极小极大问题，给出了问题最优解的充分必要条件，在此基础上给出了求解最优解的算法，最后，给出了一个数值例子。