基于Fortran90的自动微分算法

为了得到高效准确的数值微分运算工具,根据自动微分技术的基本原理,利用Fortran90语言开发了自动微分计算模块MADF(Module of Automatic Differentiation with Function),引入ADF(Automatic Differentiationwith Function)数据类型,按照求导规则对运算符及基本函数进行重载,在计算函数值的同时实现了其导数值的自动计算。利用此方法计算了长柱形天然气储运罐的应力对载荷和材料特性参数的导数,其结果与解析解完全一致。     

一类特殊的g-q.d.函数一次超可微函数

引入了一个特殊的拟可微函数类-次超可微函数,证明了其满足具有高维核的条件,并且推导出了高维核的计算公式。     

论微分中值不等式

以视经典等式为联接条件与不等式或联接不等式两端的中介桥梁为研究手段，研究讨论与微分中值公式相对应的微分中值不等式，进而给出具有一般性的矩阵微分中值不等式，而视Ｒｏｌｌｅ微分中值不等式、Ｌａｇｒａｎｇｅ微分中值不等式。Ｃａｕｃｈｙ微分中值不等式、向量微分中值不等式为其数。     

四阶极限点型微分算子积的自伴边值问题

在微分算式l(y)=y^(4)-(py′)′ qy(t∈[α,∞))满足l^k(y)(k=1,2)均为极限点型条件下,该文运用Calkin定理及微分算子自伴扩张理论,以边界条件形式研究了由l(y)生成的2个微分算子积的自伴边值问题,并获得其自伴的充分必要条件,其结果对微分算子理论的研究是有益的。     

一阶微分模型参数估计的一类新算法

一阶微分模型(如Logistic模型、Gompertz模型与灰色动态模型等)是进行长期预测的常用而有效的数学模型,其参数估计问题历来为人们所关注。本文给出了对一阶微分模型作参数估计的一类新算法,并进行了数值实验和对比试验研究,以展示其有效性。所得结果是令人满意的。     

Banach空间中微分包含的解

本文给出了弱序列完备Banach空间中一阶微分包含初值问题与周期边值问题的解的存在性条件,其结论推广了[1]中结果到集值情形,也是[4]中相应结论的改进.     

混合型微分—积分包含解的存在性

研究了Ｂａｎａｃｈ空间中一类混合型微分－积分包含，利用单调迭代方法证明了了解的存在性，其单值情形统一改进了文献中已有的许多结果。     

一类二阶对称常微分算式的极限点型

利用二阶实系数对称微分算式（Ｌ（ｙ）的亏指数与其盯应零空间维数之间以及平方算子Ｌ（ｙ）的亏指数与其相应零空间维数是相互联系，得到在「０，∞），上Ｌ（ｙ）为极限点型的一个充分条件：ｑ（ｘ）为微分方程Ｌ（ｙ０＝０的解。     

球面的几个特征的证明

球面的特征是很多的,其证明方法也不是唯一的。本文利用解析几何和微分几何的基本知识,分别给出了球面的六个最简单最直观的特征的一种证法。     

三个高阶极限点型微分算子积的自伴性

设微分算式l(y)=y(2n)+qy,t∈[α,∞),满足lk(y)(k=1,2,3)均为极限点型.研究了由l(y)生成的三个微分算子Li(i=1,2,3)的乘积L3L2L1的自伴性问题,并获得其自伴的充分必要条件.     

微分形式论与外微分应用于电动力学的探讨

本文探讨微分形式论与外微分应用于电动力学中的若干问题,并指出其优点.     

一类变系数线性齐次常微分方程组有特解的充要条件

应用文[1]的微分变换矩阵,给出了一类变系数线性齐次常微分方程组有特解的充要条件     

平面曲线相似性初探

本文给出微似点概念及其判别式，使不同类型曲线在微局部的范围内可比，进一步给出其在宏观结构范围内相似与否的判定方法．     

一阶线性微分差分方程振动的充要条件

本文在对系数和偏差不加任何限制的情况下证明了方程(1)振动的充要条件是其特征方程(2)无实根,从而推广了[1]～[4]的工作.     

外微分应用于物理学的探讨

以矢量分析为基础,采用新型的记号法,来引进外微分形式及其所满足的基本定理;同时应用这一工具,重写物理学的若干公式,借以表明外微分形式的可取之处。     

一阶微分方程组的模糊初值问题

讨论了一阶微分方程组(常系数或变系数)当其初始状态具有模糊不确定性时,运用模糊仿真原理,求其数值解的方法.     

微分环在强流陡脉冲测量中的抗干扰研究

论述了测量强流陡脉冲的微分环存在不可避免的内部电感应干扰信号,采用中部开缝屏蔽的微分环对降低这种干扰效果是明显的,其微分信号测量信噪比为２７,而双微分环差动平衡抗干扰技术的采用,更使微全测量信噪比达５７。     

复合映射的微分

本文建立了Ｂａｎａｃｈ空间中的“中微分”概念，讨论了强、中、弱三种微分间的关系及性质，并得到了两种形式复合映射的链式法则．     

高阶微分与泰勒公式

泰勒公式在数学分析中具有很重要的地位。由一元函数的微分出发,引出一元函数及二元函数的高阶微分,以微分形式给出一元函数及二元函数的泰勒公式,其优点是从微分到泰勒公式,形式统一。举例说明了其应用。