择一定理及不可微分式规划

本文首先建立一个新的代数系统的等价性定理及择—性定理。然后以此为工具研究了一类其分子与分母都包含二次型平方根的有限和的非线性分式规划,得到了最优解的必要条件。最后利用广义凸函数给出了最优解的充分条件以及对偶理论。

用外微分式统一表示电磁量的交界面条件

导出了ｐ次外微分式在ｐ维子流形两侧的连续性条件，将它用于Ｍｉｎｋｏｗｓｋｉ四维空－时流形，得到了电磁场中诸电磁量应满足的交界面条件。

关于陈微分式的一个注记(英文)

在陈省身先生关于高斯-波涅公式的著名证明中有一个关键等式,本文对这一等式给出一个稍稍改动的证明,相信更清楚地贴近陈的想法。

矩阵对矩阵的微分及几个重要微分式

从实用的角度较系统地讨论矩阵对矩阵的微分的问题，总结出了一些运算律。

输气管道稳定流微分式及其应用研讨

由于现代计算机技术的迅猛发展,输气管道工艺计算可以并有条件采用更精确的基本计算公式,以满足更加复杂的计算需求。文章从圆断面管道绝热稳定流基本方程入手,推导出输气管道工艺计算的微分实用式,并导出相关计算机程序所需的计算式。

理想气体状态方程微分式及其应用

克拉珀龙方程描述了理想气体压强、体积、温度及摩尔数之间的关系.在热学问题的分析中,常常使用控制变量法来讨论某2个物理量之间的变化规律.理想气体状态方程的微分式可以较方便地解决水银柱的移动、直玻璃管中水银柱的注入以及等压条件下的气体体积功的计算等有关问题.

电磁场应力的外微分式

采用高级数学语言阐明电磁场理论中的物理思想，用电磁场拉氏式的平移变分导出电磁场能量－动量流的连续性方程，其公式均表述为外微分式。

两个变量乘积微分式的物理推导及其应用

数学上微分式的推证一般是根据对变量求增量、取极限的方法得到.在物理学中使用的微分知识往往超前于数学学习的进度.本文对两个变量乘积的微分式使用物理方法进行推导,并列举在物理学上的应用.

Caputo-Hadamard型分数阶隐式微分方程周期边值问题解的存在性

用连续性定理讨论一类Caputo-Hadamard型分数阶隐式微分方程周期边值问题,得出了解的存在性结果,并给出具体实例进行说明.

气浮/CAST/微分式过滤器处理机车修理废水

采用斜板隔油池/气浮池/CAST池/微分式过滤器(石英砂)工艺对机车修理废水进行处理,对废水中的有机物、石油类等具有非常稳定的去除率。出水水质达到了设计标准,并回用于机车冲洗、工厂绿化和生产区冲厕等。

二阶隐式微分方程周期边值问题的上下解与迭合度

利用上下解方法和迭合度理论,讨论了二阶隐式微分方程周期边值问题(x″(t)=f(t,x(t),x″(t)),t∈[0,2π],x(0)=x(2π),x′(0)=x′(2π))解的存在性,其中f:[0,2π]×R^2→R连续,获得了至少存在一个解的充分条件。

关于一类隐式微分方程的初值问题

应用压缩映象原理证明了一类一阶隐式微分方程的初值解的存在唯一性定理，此定理可以看成是经典的Ｐｉｃａｒｄ存在唯一性定理的推广。

一类二阶隐式微分方程的可解性(英文)

本文关注如下的二阶隐式微分方程f(t ,u(t) ,u′′(t)) =0, a .e .t∈(0,1) ,边值条件为u(0) =u(1) =0.利用上下解方法和迭代技巧研究了该问题的可解性并得到了一些解的存在性结果.

Banach空间隐式微分方程的逼近解(英文)

讨论Banach空间隐式微分方程的初值问题 .应用 (Kuratowski )非紧性测度的条件和逼近方法 ,得到解的存在性定理 .

基于隐式微分/代数方程的多体系统动力学设计灵敏度分析方法

基于一般性的积分型目标函数、隐式相容初始条件及终止时刻表达式,系统建立了含设计参数的用隐式微分/代数方程表达的多体系统动力学设计灵敏度分析的直接微分方法和伴随变量方法,为降低目标函数及其对设计变量导数的计算复杂性,将其积分形式的计算转化为微分形式.所得到的结果可方便地应用于高效的间接最优化设计方法.最后通过采用绝对坐标建模的平面两连杆机械臂模型对该方法进行了验证.

一类复代数微分方程解的解析式(英文)

利用亚纯函数的Nevanlinna值分布理论和微分代数知识,研究了一类高阶代数微分方程解的解析式问题,该类高阶微分方程解的解析式被得到.

论簿记的改革——微分三式簿记

簿记是会计的基本特征,从初始的单式簿记发展到中世纪的复式簿记后,复式簿记就以其完美性和科学性,跨越500多年而无丝毫实质性的变化。但是,随着社会经济的发展和人类认识的提高,日益暴露出了自身的根本性缺陷。会计簿记将面临新的变革。文章论述微分三式簿记的提出原理及基本特征,并分析了实际意义及在实践中需解决的问题。

一阶隐式微分方程周期边值问题的上下解与迭合度

本文研究了一类一阶隐式微分方程周期边值问题的可解性.利用上下解方法和迭合度理论,获得了至少存在一个解的充分条件.

Banach空间隐式常微分方程的解的存在性定理(英文)

证明了Banach空间中隐式常微分方程F(t,x,x′)=0,x(t0)=x0,x′(t0)=y0的一个解存在定理.运用Ascoli Arzela定理,使结果比以往有了很大的改进.

L-稳定块格式及其在隐式微分方程中的实现

以指数函数的Padé逼近作为块格式的稳定函数,使用精度条件的理论——精度p的格式能精确求解解为不超过p次多项式的微分方程,以解的Taylor展式为基础,构造出L-稳定的块格式。并针对隐式微分方程进行实现,与常用的几种求解器进行了比较,结果表明构造的格式及其实现在效率上是优秀的。