基于二元域研究命题公式

简单讨论二元域F2及其性质。采用映射定义联结词和命题公式，把它们均抽象为F2上的多项式。基于F2研究命题公式的多项式范式和异或范式，给出全功能联结词集的判定条件。     

命题模糊逻辑系统中公式的理论可证度

在命题模糊逻辑系统MTL的扩张系统Luk,God,∏和L*中,探讨出了一种基于标准MTL-代数L=[0,1]判定理论Γ是否推出公式Β的新思路.首先引入了刻画理论Γ推出公式Β的程度的一种指标--称为公式Β的理论Γ可证度,然后研究了它的性质.最后给出了命题模糊逻辑系统Luk中公式的理论可证度的计算公式.     

真值表等数理逻辑方法的判定功能

真值表，归谬赋值，真值树，演绎证明和范式等方法是数理逻辑命题演算中重言式的判定（或证明）方法，但不是传统命题逻辑推理式的判定方法。     

命题逻辑判定系统中基本真值矩阵的生成算法

给出了求含任意n个命题变元的命题公式F的基本真值矩阵的四个算法，从而为利用计算机处理命题逻辑的判定问题莫定了核心基础。     

MU(1)内公式改名的多项式可判定性

研究判定合取范式公式F和H之间是否存在一个改名φ使得φ(F)＝H的计算复杂性。公式的改名是将命题变元映到变元本身或变无的否定的一个映射，对于极小不可满足公式的子类射MU／(1)中的公式，我们证明了其改名判定问题在多项式时间内是可判定的。     

命题公式真值表的生成与公式类型的机械判定

在文[1]的基础上,给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法,实现了利用计算机对有限多个命题公式的真值表的直接计算和输出,以及对一个命题公式是重言式、矛盾式或可满足式的机械判定.     

模态逻辑系统S5中的范式定理及其在知识系统中的应用

研究了模态逻辑系统S5中的析(合)取范式定理的归纳证明,给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法.作为范式定理的应用,讨论了知识库中的一个基本问题,证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题.     

二值命题逻辑中命题的矛盾度理论

与二值命题逻辑系统L中公式的真度概念相对应,给出了系统L中公式的矛盾度概念,研究了其部分重要性质。在此基础上将逻辑等价概念程度化,并给出了矛盾度的一种升级算法.进一步在L的全体公式集F(S)上定义了公式之间的差异度概念,ρ证明了差异度ρ即是F(S)上的伪距离,并讨论了伪距离空间(F(S),ρ)的一些性质。     

判定多值逻辑推导问题的代数方法

本文证明了对于给定的多值逻辑系统中的命题公式，存在有理数域上的多项式与之对应从而判定一个命题公式能否以一组命题公式推出，我们只需判定某一多项式是否在一代数值上消失通过代数簇的分解，给出了判定这一问题的算法。     

模态逻辑D演绎过程的化简规则

以分析模态逻辑中文字公式的极性为基础，将经典逻辑的Ｄａｖｉｓ－ｐｕｔｎａｍ纯文字化简规则推广到了命题模态逻辑Ｄ系统的自动演绎中，并给出了一些刻划Ｄ逻辑自动演绎特征的化简规则，这些化简规则通过对公式、子公式和公式集的有效性（或不可满足性）的有条件的判断，进行证明过程的剪枝和化简，以提高Ｄ逻辑自动演绎的效率；这些化简规则都是依据公式（集）本身的结构特征，可用于Ｄ逻辑的任意一种推理实现系统，在机器上是容易实现的。     

TFOWA算子及其在决策中的应用

研究了属性权重信息完全未知、属性值以梯形模糊数形式给出的多属性决策问题,给出了梯形模糊数决策矩阵的规范化公式.把有序加权平均(OWA)算子推广到所给定的数据信息均为梯形模糊数形式的不确定环境中,提出了一种梯形模糊有序加权平均(TFOWA)算子,给出了其在应用过程中的具体步骤,并提出了一种相应的集结决策信息的方法.TFOWA算子的特点是充分利用梯形模糊数的不确定性,因而更能反映客观事物的复杂性及人类思维的模糊性,从而使得决策更符合实际情况.最后通过算例说明了方法的可行性和有效性.     

群决策中基于不同偏好信息的相对熵集成方法

研究了基于不同形式偏好信息的群决策问题.在群决策中专家根据个人的偏好,常常对决策方案集给出4种不同形式的偏好信息,包括直接反映决策方案优劣次序的序关系值和效用值,以及2个决策方案成对比较互反判断矩阵和模糊互补判断矩阵.首先给出了序关系值、互反判断矩阵和模糊互补判断矩阵3种偏好信息均转化为效用值形式的计算公式, 然后从相对熵的概念出发,提出了一种相对熵最优化的集成模型,给出了模型的解.最后进行了2个实例分析,结果表明所提出集成方法是有效的.     

火炮后效期非定常理论计算公式

火炮的后效期现象是一种比较复杂的非定常气体动力学现象。传统的后效期理论通常采用准定常假设 ,有些理论计算公式形式奇特 ,物理概念不清。该文对火炮后效期的理论计算公式作了系统研究 ,摒弃了准定常假设 ,求得了后效期膛内火药气体总动量变化率的解析解 ,得到了一套推理相对严谨、物理概念比较清晰的火炮后效期理论计算公式 ,包括后效期炮膛合力公式和一些后效期特征量计算公式。这些公式经实际应用检验 ,表明精度较好     

基于群决策的数据包络分析模型

研究基于群决策的带有偏好约束的数据包络分析(DEA)模型．针对群决策中偏好形式的多样性，在对不同偏好一致化的基础上，将各决策者的偏好集结成群组偏好，以此作为反映权重的主观信息．进一步将此信息与DEA模型中反映权重的客观信息集成，构造出一种基于群决策的DEA模型，最后给出了算例．     

二值逻辑的D-条件真度理论

文章在二值命题逻辑中公式的D-随机真度和条件真度的基础上,在D-逻辑度量空间（F（S）,ρD）提出了D-条件真度的概念,同时讨论了D-条件真度的有关性质,并引入了基于Γ的矛盾式与重言式的概念和公式A与B基于Γ逻辑等价的概念;进一步给出了公式间D-条件相似度和D-条件逻辑伪距离的概念,同时讨论了它们的性质。     

一种具有不同形式偏好信息的群决策方法

给出了一种具有不同形式偏好信息的群决策方法·描述了在群决策中决策者可能给出的效用值、序关系值、互反判断矩阵、区间数评价值、模糊语言评价值和模糊互补判断矩阵等 6种不同形式的偏好信息 ,并给出了将不同形式的偏好信息均转化为模糊互补判断矩阵形式的计算公式·基于近年来最新发展的OWA算子给出了集结各决策者的偏好信息和方案优选的方法 ;最后给出了一个算例·     

命题公式主范式的自动生成与形式输出

在文[1]和文[2]的基础上,给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法,并实现了多个命题公式主范式的同时形式化输出.     

复规范形法求解非共振双Hopf分岔系统的最简规范形

提出了一种应用复规范形理论获取非共振双Hopf分岔系统最简规范形的有效方法,以简化最简规范形的求解过程.建立了复坐标下非共振双Hopf分岔系统的规范形及非线性变换,采用复数运算替代原有实数形式矩阵表示法的矩阵推导过程,获得了系统高阶关键方程的一般形式,简化了非线性变换的表达式,并且由此推导出了此类系统的最简规范形表达式.所附算例验证了最简规范形理论对于简化传统规范形结果的有效性.     

河绠受力性质及其计算方法探讨

<正> 河绠是五十年代从苏联引入的一种木材水运收漂工程。由于我国的流送河道具有流速高、水深变幅大的特点,苏联的河绠受力计算方法及其提供的数据不能满足在我国流送河道上进行河绠工程设计的要求。笔者以原林业部中南林业设计院水工试验研究室进行的河绠受力计算方法水工模型试验研究资料为基础,从河绠水工模型试验理论和方法的角度,分析苏联中央木材水运科学研究所提供的两种河绠受力计算方法的特点和适应性,并对河绠受力的水力学本质提出新的认识。     

线性多步法的通解和误差

线性多步法是求解微分方程的一种精度较高的方法,而目前用线性多步法得到的许多优美的公式既没有给出通解结构,也没有给出相应的局部截断误差。现在从Taylor展开式出发,给出线性多步法中几个公式的具体推导过程,导出通解的一般形式,在通解中对基础解系取特殊值得到一些著名公式,同时给出具体的局部截断误差。