命题逻辑中主范式的求法

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

命题逻辑中主范式的求法

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

浅谈变形法求极限

求极限是高等数学中的一个重要内容,本文通过对求极限的概念、定理与方法的分析,深刻刨析了变形法求极限的基本原理与技巧。根据不同的求极限问题的特点,通过变形法可以使问题更加简洁、方便地得到解决。     

运用拉氏变换求解线性系统的数学方法综述

从一般的线性定常系统入手,对其数学模型取拉氏变换,则求系统的响应归结到如何求系统响应的象函数的拉氏反变换问题.对于求一个已知象函数的拉氏反变换,列述了公式法、部分分式法、留数法以及MATLAB法等有关方法.     

关于求逆矩阵方法的探讨

为了更好更快地解决求逆矩阵问题,本文根据矩阵的不同特点介绍了伴随矩阵法、初等变换法、分块矩阵法,解方程组法,恒等变形法,利用Hamiton_Caley定理法等多种求逆矩阵方法,并进行了简要论证和进一步探讨。     

清代科学家邹伯奇之《求重心说》研究

目的深入分析清代学者邹伯奇的文章《求重心说》中的求重心方法。方法历史分析与文献考证。结果在《求重心说》中邹氏利用多种方法求解物体重心,这些方法有分割法和比例法、负体积法和负面积法、悬挂法,以及多个物体求公重心法,并且还开创性地解决了曲线体、瓜皮形物体的重心位置的求解问题和圆与球形物体重心的求解问题。结论在微积分传入中国之前,对求解物体重心问题的研究,邹氏具有较高的水平。     

化学反应动力学参数的求定方法探讨

探讨了化学反应动力学参数求定的数学方法,即:最小二乘法、回归分析法和非线性最优拟合法及计算机实现过程。在报告中还列出了化学动力学参数求定的实用BASIC—FOXBASE程序。     

由平面立体表面展开图求两面夹角的方法

应用画法几何学中直角投影原理、旋转法原理以及辅助平面法，讨论了对矩形四棱台、斜楔形体及四面体采用表面展开图求两面夹角的两种图解方法，即直角投影定角法和辅助平面定交线法。总结归纳出由展开图求两面夹角的具体作图步骤，简化了实际应用中求夹角的方法。     

求一阶微分方程积分因子的两种方法

介绍了两种求积分因子的方法——公式法和待定指数法，使得求积分因子时有一定的规律可循     

微积分在求数列前n项和中的应用

求数列的前n项和问题无通用的解决办法,在教学过程中通过一些实例介绍求数列前n项和的导数法、极限法、积分法、代换法、复分析法、构造函数法显得十分必要和重要。     

由Cauchy判别法和D'Alembert判别法所得到的结论及其应用

求幂级数的收敛半径,一般都用D′Alembert判别法,用Cauchy判别法亦可求幂级数的收敛半径,因此,本文由D′Alembert判别法和Cauehy判别法得到了有关的结论,从而可应用结论求形如lim(ψ(n))~(1|2)(?)或lim(ψ(x))~(1|2)(?)的极限。     

两种特定的逆阵求法

笔者回顾了常规的求逆矩阵的方法，即公式法、行或列及其交叉的初等变换法、广义的行或列初等变换法、逆矩阵定义法，着重探讨了“矩阵分块法”及“特征多项式法”两种非常规的求逆方法。固然后面两种求法不常用，但它们的介绍无疑开阔了学生的眼界，满足了优等生的求知欲．它对教学产生的积极影响是无法估计的．     

微机在两曲线法求算配合物稳定常数中的应用

在利用连续浓度变更法测定配合物组成的同时,可进一步应用单曲线法或两曲线法(即双曲线法)求算配合物的稳定常数。而对于稳定的配合物,两曲线法求算稳定常数要更为准确些。自1958年Majumdar提出此法以来,两曲线法的应用还仅限于配合比为1:1的配合物,对于组成为MR。中n≥3的配合物的稳定常数的求算,报道还极为鲜见。计算机在单曲线法求算配合物稳定常数方面的报道早已问世,但在应用于两曲线法求算配合物稳定常数方面,还未见有文章发表。本文根据两曲线法求算配合物稳定常数的原理,以测定邻二氮非铁的稳定常数为例,设计了一套采用BASIC语言编制的通用程序,以利用微机求算组成为MR_n中n≥3的配合物的稳定常数。     

表上作业法在有转运的物资运输问题中的应用

讨论了产销平衡运输问题的表上作业法,利用Vogel法求初始方案,位势法求检验数,闭回路法对可行解进行调整和改进.提出了带有转运的物资运输问题的求解方法,将所有产地、中间转运站、销地都可以看做产地,又可看做销地,把整个问题当做一个扩大的运输问题处理.     

逆Z变换方法解析

本文探讨了常用的求逆Z变换的方法,对幂级数展开法、部分分式展开法、围线积分法、性质法等做了具体的解析和比较。     

电阻测量方法在高考试题应用

本文介绍了测量电阻的一般方法,有测量定值电阻法、测量可变电阻法,图象法求电阻,欧姆表测电阻等等。     

判别式法求值域的问题分析与评价

判别式法求值域、最值或变量的取值范围是中学数学中常用又易出错的方法,文[1]指出了"利用△法求函数值域应注意的问题"读后感觉意犹未尽,现对利用判别式法求值域作以详尽的分析与评价,供参考.     

对蒋士荣"求诸约数法"的研究

对蒋士荣的“求诸约数法”进行了分析和研究 .在“求诸约数法”中 ,蒋氏不仅给出了一种判定素数的方法 ,此法相当于现今的“厄拉多塞筛法” ,而且利用蒋氏的“求诸约数法”可以将任意大于 1的正整数惟一地分解成算术基本定理形式 ,这在中国数学史和数论史上具有重要的意义 .     

关于范式求法解析

离散数学中,主合取范式的目的在于讨论公式的主合取范式.该文中对主合取范式求解方法进一步推广,共给出4种求解方法.真值表法、推演法、用真值表法求的主合取范式、用推演法求的主析取范式等4种方法.     

叶轮数控加工曲面法矢与刀具求交研究

提出了一种实现刀具扫描体与矢量求交的有效算法,该算法将扫描体与复杂曲面法矢的求交问题转化为三角网格与有向线段之间的求交计算,然后建立了两者的求交子集,减少了以往算法中不必要的求交计算,提高了算法的效率,并给出了基于该算法的应用实例。