标准导数

给出了标准导数的定义.研究了标准导数的一些性质.     

微分学基本定理评注

微分学主要处理的是连续函数的变化率问题,它的基本定理、概念、原理和方法是高等数学的主干,也是高等数学尤其是数学分析的灵魂.文章从微分学基本理论出发,逐步分析并阐明了微分中值定理间内在联系,以及它们的特征和意义.     

论完全泛函的变分问题

研究变分法中依赖于任意个自变量、任意个多元函数和任意阶多元函数偏导数的完全泛函的变分问题;提出并证明了完全泛函的变分问题的定理,采用偏微分算子,给出了完全欧拉方程组. 该方程组涵盖了变分问题的各种欧拉方程. 通过两个算例验证了完全欧拉方程组的正确性.     

复杂人体组织传热的时间分数阶模型及其解

建立了分数阶Pennes生物传热方程,利用有限Fourier正弦变换和拉普拉斯变换及其相应的逆变换,给出了用广义Mittag-Leffler函数表示的分数阶生物传热方程的解析解。整数阶生物传热方程可作为本文的特例而被包含。     

基于证明分析的机器发现技术及其应用

机器学习和发现需要我们对当代科学哲学的思想和方法进行形式化．本文介绍了Ｌａｋａｔｏｓ方法论的基本思想，并通过二阶受限Ｔａｂｌｅａｕ来实现Ｌａｋａｔｏｓ方法论的形式化系统———证明分析演算．应用证明分析演算，实现了机器发现实例，从而得到了一实用的机器发现技术．     

弹性动力学中的瑞利－里兹法

瑞利－里兹法（Ｒａｙｌｅｉｇｈ－Ｒｉｔｚｍｅｔｈｏｄ）是变分问题的直接解法，它可以用来求弹性力学问题的近似解，也可以推广到弹性动力学中去。但在机械振动学和结构动力学的文献中，对于这一方法的数学概念和操作的技巧阐述得都不够详尽，本文就是为了补足这一缺憾而作，并通过寻求变截面梁的振动的近似解加以说明。     

弹塑性初应力变分原理及其与参变量变分原理的关系

本文从弹性力学中带有初应力的最小势能原理出发,结合线性互补形式的弹塑性本构方程,得到了一种用于弹塑性问题的初应力形式的变分原理。这样得出的变分原理与已经建立并获得成功应用的参变量最小势能原理形式是一致的,从而给出了参变量变分原理的一种容易理解的解释,这对于推广应用参变量变分原理是有意义的.     

全微分求偏导法和比较系数方法的同一性

给出了全微分求偏导法的证明，指出了比较系数法和全微分求偏导方法的同一性，并且给出了具体的例子．     

污染源浓度分布分数阶模型及其解

将分形动力学机制引入地下水污染系统．建立了污染源浓度分布的分数阶对流弥散模型，利用分数阶导数理论采用离散逆Laplace变换技巧及Fox函数给出了模型的精确解．同时给出了Laplace数值反演解，实例表明Laplace数值反演的Crump方法对该类问题是有效的．     

关于一类分形函数的分数阶微积分函数

研究了分数阶积分函数与微分函数及其基本性质，在此基础上讨论了一类Weierstrass分形函数的分数阶积分和分数阶微分。