热力学中的普遍化表达式

火用(exergy)是体系在一定的环境条件下向相关外界作出最大有用功的能力,体系的源于和环境之间的强度量差.用广义强度量和广延量定义了的普遍化微分表达式.用这种普遍化微分表达式不仅可表示出自然界各种具体形式的,还可导出工程领域各种常规形式的.论证了闭口非寂态体系的不小于零.     

注蒸汽驱油过程火用的传递和转换规律

油藏多孔介质内注蒸汽驱油过程存在能量和火用的传递和转换.以油藏多孔介质内注蒸汽驱油过程的火用方程为前提,结合基本广延量的平衡方程,建立驱油过程的能量传递方程,过渡到火用传递的动力学方程,通过热火用、压火用传递的分量方程得到注蒸汽驱油过程的总火用传递方程.并应用CMG软件对注蒸汽驱油过程进行数值模拟,探讨了注蒸汽驱油过程热火用和压火用之间的转换和传递规律及火用损机制,为驱油过程能量系统优化提供理论依据.     

自动微分的原理和方法

从计算一阶和二阶各种导数形式的角度,讨论了自动微分的基本原理和方法,给出了一阶和二阶各种微分模式最简单而最直观的表述形式,分别讨论了用不同微分模式计算不同导数形式的计算代价,讨论并给出了非线性问题求解中常用数值算法的计算代价.讨论了断点存储、正向积分和反向积分方法.     

局部流代数和可微分变换群的表示

本文给出广义函数空间上关于可微分变换群拟不变测度的Radon-Nikodym导数一个基本解析表达式.并且给出用这个表达式来求一类局部流代数表示的方法.     

具有阶梯状空间对照结构的奇摄动

针对二阶半线性Dirichlet问题用边界层函数法构造了渐近解,给出了转移点的渐近表达式,并用微分不等式方法证明了阶梯状空间对照结构的存在性和进行了余项估计.     

带转移条件的四阶微分方程边值问题的特征值的依赖性

研究带转移条件的四阶微分方程边值问题的特征值对边界条件及转移条件的连续依赖性和可微依赖性,并给出了特征值关于这些参数所满足的微分表达式.     

星像与强星像的某些充分条件(英文)

本文研究了与某些新的函数表达式相关的一些微分不等式及一阶微分从属关系的问题.利用微分从属的方法,获得了一些新的函数星像性与强星像性的充分条件,推广和改进了已有的一些结果.     

Taylor公式的若干推广

在分析Taylor公式结构特征的基础上讨论Taylor公式的推广.指出通过每一个线性微分算子和每一组线性泛函都可得到函数的类似于Taylor公式的表达式,通常的Taylor公式只是微分算子和线性泛函的特殊选取.并证明类似的结果可以推广到抽象的Hilbert空间.     

多元向量函数的中值定理及应用

中值定理是可微函数的重要性质,是证明某些等式和不等式的重要工具,而等式形式的向量函数的微分中值定理一般是不成立的,通常只能得到微分中值不等式.本文从一元函数的Newton-Leibniz公式出发,证明了一个多元向量函数等式形式的积分型中值定理.该定理揭示了多元向量函数等式形式的微分中值定理不成立的原因,也蕴含了微分中值不等式.     

一类热弹性板的空间衰减估计

研究了二维空间中半无限带形区域上一类含有双调和算子的热弹性系统板解的空间性质.首先构造一个能量表达式,然后利用微分不等式技术,推导出该能量表达式是可由它本身的一阶导数控制的微分不等式,最后得到解的空间衰减估计.该结果可看成是Saint-Venant原则在双曲抛物耦合双调和方程组上的应用.     

火驱效果分析与综合评价

对火驱效果的认识与评价是火驱油藏管理的重要环节,评价过程需要火驱机理和监测数据相结合,但目前缺少对火驱项目效果客观认识的方法.针对这一问题,把火驱看做原油氧化和气驱增产的综合效果,利用油藏监测数据结合火驱机理对火驱效果进行深入分析,进而建立涉及动态增产指标和动态监测指标的综合评价模型,采用层次分析法确定各指标权重,应用模糊综合评价方法对火驱效果进行全面的评价.结果表明,火驱模糊综合评价结论客观地反映火驱的效果,避免了单因素评价的片面性,使火驱效果评价系统化,定量化.     

边界条件都含有特征参数的四阶微分算子特征值的依赖性

本文考虑了区间[a,b]两端四个边界条件都含有特征函数的四阶微分算子特征值的依赖性问题,证明了特征值不仅连续依赖而且可微依赖于问题的各个参数(系数函数,权函数,区间端点,边界条件系数矩阵),并且给出了相应的微分表达式.特别地,给出特征值关于特征参数依赖的边界条件系数矩阵的Frechet导数.     

关于微分多项式零点的定量估计

近来有不少各种有关超越整函数或满足δ(∞,f)=1的亚纯函数f的特殊形式(微分多项式)存在有无穷多个零点或亏值的结果.本文将有些结果归结推广到对任意一超越亚纯函数的一类具广泛形式的微分多项式的零点作讨论,并得到定量的估计.在证明中用到了改进的有关微分多项式的Clunie引理并对各种辅助函数的零点重数作了较精密的估计.     

一类四阶微分方程的奇摄动边值问题

运用合成展开法和微分不等式理论研究了一类四阶方程的奇摄动边值问题.先运用合成展开法,构造了问题的形式渐近解,再运用微分不等式理论证明了原问题解的存在性及所得形式渐近解的一致有效性.最后用一个例子来说明所得结果的意义.     

特征值及特征向量微商的解析表达式

利用左、右特征向量方法,Lancoster(1964)给出单参数下单特征根的微商表达式。本文则在多参数下,对具有不同特征值的任意方阵得出下面结果: 1.证明了任单特征值及对应的特征向量是多元解析函数。 2.给出了左、右特征向量微商的解析表达式,进一步可得出它们的任何阶偏微商的表达式。 3.给出每一个特征向量的一阶全微分,特征值的一阶及二阶全微分表达式,进而求出每一个特征值残差佑计的理论性公式及实用性公式。     

非交换微分及可积系统的统一零曲率表示

基于导数的微分在非交换几何、非交换规范理论和可积系统中都有十分重要的作用.本文从一类基于导数的微分出发给出了联络和曲率形式.利用这一理论,作者给出了连续、半离散和离散可积系统的统一零曲率表示.     

微分中值定理与Newton-Leibniz公式可互相证明

首先用微分中值定理推出了Newton-Leibniz公式,同时也用Newton-Leibniz公式推出了三个微分中值定理,从而证明了微分中值定理与Newton-Leibniz公式可互相证明.     

一类非线性微分差分方程的近似解

本文对一类非线性微分差分方程求得一致有效渐近展开式,给出了共振解的近似解析表达式,并推广了Nayfeh和Mook的结果.     

两个凸多面体的差及几种次微分之间的关系

给出两种两个凸多面体差的表达式,利用这些表达式,可以具体计算这两种凸多面体的差,做为应用讨论了利用拟微分计算Penot微分和Clarke广义梯度,特别讨论了一类非光滑函数,极大值函数的光滑复合。     

一类具有多重时滞的分数阶中立型微分系统的相对可控性

本文对一类具有多重时滞的Caputo分数阶中立型微分控制系统的相对可控性和相对U可控性进行了研究.首先利用Laplace变换得到系统解的一个新的表达式,接着由Grammian矩阵得出系统相对可控的充分必要条件.最后给出了一类非线性分数阶中立型微分控制系统相对U可控的充分必要条件.