减弱定理条件拓宽应用范围

<正> 在微积分中,为解决含参量积分的求导与积分顺序可交换的问题,教科书上多采用下述定理1与定理2。 定理1 若函数f(x,y)与f_y(x,y)在R[a,b;c,d]上连续,则函数φ(y)=integral from n=a to b(f(x,y)dx)在[c,d]上可导,且 φ′(y)=integral from n=a to b(f_y(x,y)dx) (1)     

位相相干态和奇偶位相相干态的圈表示

本文以有限维位相态空间的量子态与复平面上的一个整函数一一对应的解析表示为基础，利用任意位相态的圈表示，获得了位相相干态和奇偶位相相干态的圈表示。把位相相干态和奇偶位相相干态表示为一个在复平面上沿具有相同半径的圆路径的路径积分。给出了位相相干态和奇偶位相相干态的解析表示和圈表示之间的关系。     

分割—拼合法在解决定积分问题中的一些运用

通过实例分析，阐明了分割－拼合法，在解决被积函数的原函数不可求出的一些定积分问题中的重要应用。     

全局最优化的平滑积分变换方法Ⅰ基本思想和理论框架

提出了解决全局最优化中多极小问题的平滑积分变换方法．通过平滑积分变换将目标函数平滑变形，充分变形后的目标函数将仅有一个极小，沿该极小在变形过程中的轨迹回溯即可找出其对应的原始目标函数的一个较深且较宽的极小．研究了平滑积分变换的数学性质并提出了不依赖局部极小化算法的极小追踪技术．     

一类修正的Navier-Stokes方程的吸引子

证明了Ладыженская于１９６８年提出的修正的Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程当它的参数α∈〔１４，１２〕时，它的解算子半群具有非空的紧的不变的可吸引相空间中任何有界集的吸引子．进而借助于Ｍáｌｅｋ和Ｎｅｃａｓ提出的短轨的想法证明了此吸引子的分维有限．     

ΔP 积分作为暂稳控制切机启动判据的研究

提出了不平衡功率（ΔＰ）积分作为暂态稳定控制切机启动判据的方法。结合对黑龙江东部网暂态稳定性的分析，给出了ΔＰ积分启动判据的原理和特性。ΔＰ积分表征了故障后机组的加速程度，能够反映故障对系统冲击的大小。它具有反映短路故障远近以及短路故障严重程度的能力。ΔＰ积分值大小与系统稳定情况相关联，与离线暂态稳定计算结合可以制定出功能完善的对策表，做到细化切机对策、缩短切机出口时间、扩大稳定保护范围、简化对策表等。ΔＰ积分策略已经通过了数字仿真，并已应用在黑龙江东部网区域稳定控制系统中     

抽象空间传染病模型非线性积分方程的整体解

利用分析方法和非紧性测度理论，讨论了抽象空间传染病模型非线性积分方程整体解的渐近行为及整体解集的特点。     

Dowling△J实用与循环J积分线积分定义△Jpath及△J形…

本文根据形变功理论及有限元结果证明了Ｄｏｗｌｉｎｇ△Ｊ实用与循环Ｊ积分线积分△Ｊｐａｔｈ及△Ｊ形变功三者一致。     

若干积分不等式及其证明

对一些积分不等式给出了证明，从而归纳出一些常见积分不等式的证明方法。     

蕴涵BCK—代数的伴随半群

本证明了蕴涵ＢＣＫ－代数的伴随半群是一个上半格，进一步证明了有界蕴涵ＢＣＫ－代数的伴随半群是一个Ｂｏｏｌｅａｎ代数。