命题逻辑中主范式的求法

求主析取范式包括真值表法、推演法以及用真值表法求( )G的主析取范式、用推演法求G的主合取范式等四种方法.用极小项的性质给出了真值表求法的证明,用公式相等的定义证明了求┐G的主析取范式的定理.     

命题逻辑中主范式的求法

求主析取范式包括真值表法、推演法以及用真值表法求，G的主析取范式、用推演法求G的主合取范式等四种方法。用极小项的性质给出了真值表求法的证明，用公式相等的定义证明了求，G的主析取范式的定理。     

用C程序求解命题公式中的若干问题

本文利用C语言程序实现了对离散数学的数理逻辑中任意命题公式根据其真值表判断其类型、求其主析取范式和主合取范式。在计算机专业的教学中可以培养学生的理论和计算机操作相结合的学习能力。     

曲面面积求解方法

建立4种曲面面积的求解方法,为实际应用提供了选择性.第1种方法是根据平面面积等于其正投影面积除以该平面与投影面夹角的余弦,将此原理转移到曲面面积的求解;第2种方法是用传统数学方法求曲面面积;第3种方法是应用展开方法求曲面面积;第4种方法是用计算机表示的方法求曲面面积,这种方法将形、数、计算机相结合,适合于各种曲面面积的求解.     

一阶常微分方程数值解中四种算法的实例比较

常用的求解一阶常微分方程初值问题的单步方法有:Euler法、梯形法、Taylor级数法、Rungue-Kutta法.本文借助VC软件,用四种方法求一个实例方程的数值解,通过比较求解结果来分析验证四种解法的误差精度.     

弹性基础板的有限单元-链杆解法

本文建议了一种有效的半空间弹性地基上基础板的求解方法.此法采用了有限单元法和链杆法的技巧,用有限单元法求板的位移,用链杆法求地基间的接触反力.由于利用了两种方法的优点,使问题的规模减小,而计算效率则显著提高.     

振形叠加法与Duhamel积分数值解

振型叠加法是结构动力分析的一种有效方法 ,但主坐标的求解需要做Duhamel积分 .本文推导了一种求Duhamel积分的数值解算法 ,实际应用具有极高的计算效率     

基于对偶变数法求解二重积分的新方法

依据对偶变数法求定积分的理论,提出以减小用蒙特卡罗方法求定积分的方差为目的的求解二重积分的新方法,并通过一系列证明,证明该方法的正确性.最后通过数值模拟验证该方法对求解二重积分的精度明显高于其他的蒙特卡罗模拟方法.同时该法的提出也对用数值计算求积分的精确性做出一定的贡献.     

命题逻辑主析取(合取)范式的代数化求解

利用纯代数的方法,通过命题公式与多项式方程组的对应关系,再由方程组的解转化为相应的极大项、极小项,最后得到命题公式的主析取范式及主合取范式.该方法思路规范、简单,便于计算机程序化.     

用解逻辑方程的方法化简互斥多变量逻辑函数

论述了用解逻辑方程的方法化简互斥多变量逻辑函数的问题,并给出由真值表直接求解最简逻辑函数表达式的简单方法。     

真值表方法的用途及相关规则

真值表方法是命题逻辑中的一种重要方法。在命题逻辑中运用真值表方法,可以在有限的步骤内直观地显示任意一个真值形式的真值情况,判定任意一个真值形式的一些重要性质,因此,真值表方法是一种有力的逻辑工具。学习和掌握真值表方法,特别是掌握用真值表方法进行相关操作的规则,对逻辑学学习者和逻辑学研究工作者来说,是一项必须掌握的逻辑技...     

关于μ循环矩阵的逆矩阵

首先给出一种求μ循环矩阵的逆的简便方法，应用这种方法求逆法，只需求解一个便于记忆的特定的线性方程组，然后再用这种方法给出几类特殊的μ循环矩阵的求逆公式。     

代数形式吴方法在(G′/G)展开法中的应用

用G′/G展开法求偏微分方程(组)的行波解,这个过程可转化为求解一个代数方程组,但该方程组一般较大,难于求解.可以用代数形式吴方法解决这个问题,两个算例说明了吴方法的有效性.     

稠密方阵求逆及线性方程组求解的无回代心动算法

本文给出线性方程组求解、方阵求逆的三种无回代心动算法,与文献中的算法相比,不但处理单元统一、数据流动更有规则性,而且具有更小的时空复杂度。对于n阶线性方程组的求解,阵列中有n(n+3)/2个处理单元,需3n—1个单位时间.对于n阶非奇异稠密方阵的求逆,处理时间为4n-2个单位时间;使用Gauss-Jordan消去法时,需n(n+1)个处理单元,使用邻主元素法及Givens旋转法时,需要n(3n+1)/2个处理单元。     

代数形式吴方法在(G'/G)展开法中的应用

用G'/G展开法求偏微分方程(组)的行波解,这个过程可转化为求解一个代数方程组,但该方程组一般较大,难于求解.可以用代数形式吴方法解决这个问题,两个算例说明了吴方法的有效性.     

二次曲面相贯线的简洁解析算法及计算机实现

针对用解析法求解二次曲面相贯线过程中会出现四次方程,给求解带来困难的问题,介绍了一种求二次曲面相贯线的简洁解析算法,并在计算机上得到了实现.     

一次同余式组的两种求解方法

运用矩阵的初等变换法和不定方程求解法,给出了求解同余式组的两种简便方法.     

坝体-库水动力相互作用的数值求解格式

针对目前数值格式求解效率的不足,基于广义Newmark-β法,建立了求解坝体和库水流固耦合动力相互作用问题的2种新的数值求解格式:交错迭代法和直接积分整体求解法.导出了有限元求解公式,讨论了2种数值离散格式的特点,并结合实际工程计算比较了2种求解方法的计算效率.结果表明:2种方法均能有效地求解坝体-库水动力相互作用问题;在相同计算条件下,迭代法的计算规模要小,但花费的总机时长;整体求解法的计算效率更具优势.     

机械结构的理论模态分析方法

系统研究了灵敏度Lanczos迭代法、古杨恩聚缩法(Guyan)、同步矢量迭代法(SVI)3种求解复杂机械结构振动模态的分析方法,指出了影响计算精度的主要原因,针对古杨恩聚缩法提出了3点主自由度选择原则.用这3种方法对标准算例进行了计算,结果表明灵敏度Lanczos迭代法是最优方法,并用此方法求解了液压挖掘机工作装置中斗杆的振动模态,为合理选择复杂机械结构动态特性求解方法提供了理论依据.     

矩阵方程AXB=C的中心对称最小二乘解的迭代解法

给出了求矩阵方程AXB=C的中心对称最小二乘解的一种迭代解法,即利用法方程变换,将求解最小二乘解转化为相容矩阵方程的求解问题,再利用迭代法求出新方程的直接解.使用该方法,对任意给定的初始中心对称矩阵都可在有限步内迭代求出它的中心对称最小二乘解.并且将求最佳逼近的问题转化为求一个新方程的极小范数解的问题,同样可用迭代法求解.