MAPLE在微积分教学中的应用

极限是微积分的重点和难点。本文简述了数学软件MAPLE在极限教学中的应用。     

命题演算中逻辑推理的推导法

本文由命题的等价性及蕴含性，提出证明命题的推导法，并以例说明。该法则的引用，使命题的逻辑推理运算将更加简单、明确、易掌握     

断裂力学中应力强度因子的2种解法

提出Fourier积分变换和有限元数值解法求解工程断裂力学中应力强度因子KⅠ的2种解法，而KⅡ可通过两者之间的关系导出，其解值与实际均基本吻合；初步分析和验证了后者解析解的误差关系。这2种方法具有简单方便的特点。     

条件非线性最优扰动的最大值原理

在非线性系统(发展方程及常微分方程)中初始数据的扰动对系统以后某固定时刻,T的状态的影响是一个重要的研究课题.本文研究非线性系统在初始数据在一定的范围(称为初始扰动域)内作有限幅度的扰动时,在时刻,T对状态扰动的幅度达到最大的问题.通过考虑反向时间的问题及假设解对初始数据的连续依赖性,证明了若在时刻,T状态扰动的幅度达到最大, 则初始数据位于初始扰动域的边界上, 这个结果的重要意义在于可以减少数值求解扰动幅度最大问题的计算量.     

分数阶耦合电感的无源性

分数阶耦合电感的提出进一步丰富和完善了已有的电路元件体系,开展该类分数阶元件的无源性研究将促进相关的电路分析和综合理论的发展.从频域角度入手,使用耗散矩阵的概念推导了分数阶耦合电感的无源性条件,并通过几个实例进行了说明.可以看到,整数阶耦合电感仅为分数阶耦合电感中较为特殊的一类;两者的无源性条件存在较大差异,前者无源时...     

多阶段最优控制问题的最优性条件

最优控制问题的最优性条件是解决最优控制问题的主要方法之一，目前许多类型的最优控制问题的最优性条件得到解决，但在实际应用中经常遇到一类新的最优控制问题，即多阶段最优控制问题。针对一类多阶段最优控制问题，利用变分法给出该问题的最优解的必要条件。     

微积分基本公式的简明证法及其应用

微积分基本公式在微积分的理论和应用中占有十分重要的地位,使学生怎样掌握该公式的证明和应用一直是教学的关键点和难点。其主要原因在于目前教科书中的证明要借助于积分上限的函数及其导数,过于复杂和抽象,使学生难以理解和掌握,因此,它无疑成为长期以来困扰教与学的瓶颈问题。为此,笔者给出该公式的一种简明证法,并讨论了该公式的新用途。主要包括:定积分的值与积分变量的选择无关性;积分上限函数的求导法则的新证法等。这种简明证法和应用具有的实际意义是:该证法使学生易理解和掌握,既克服了现行教科书中的不足,又为教学提供了一条有效途径。     

ELNF归约演算

ＥＬＮＦ演算是在ＬＮＦ演算的基础上扩充而成的函数／逻辑归约演算系统，扩充的主要工作包括逻辑变量、谓词名的引进。提出并描述了逻辑函子ＳＯＬＵＴＩＯＮ和ＰＲＯＶＥ及其归约规则．讨论了ＥＬＮＦ演算的基本概念。为表征ＨＯＲＮ子句提供了一种有效方式。     

应用Legendre小波求解非线性分数阶Volterra积分微分方程

先利用Legendre小波的分数阶积分算子矩阵将非线性分数阶Volterra积分微分方程转化为非线性代数方程组, 再通过数值求解方程组得到原方程的数值解, 证明了误差边界值, 并用算例验证了该方法的有效性和精确性.     

极限的求导剥离法则

给出一种新的求函数极限的方法———求导剥离法,使许多常见的经典求极限之例得到巧解和扩充.