单泡空化振动系统的动力学数值模拟

根据微气泡的动力学方程,用数值计算的方法,采用改进的初始半径对单泡超声空化现象进行了研究。分析表明：气泡的振动对初始半径这个参量很敏感;气泡崩溃速率随气泡初始半径的增加而增大,在一定范围内能保证空化泡稳定的振动,在初始半径为1.6μm处空化程度最强,如果继续增大初始半径则空化程度减弱甚至消失、同时,将分析结果与前人的实验数据比较,发现在考虑液体的可压缩性以后对单泡最佳空化区域有很大的改进。     

分担线性多项式的全纯函数的正规族

设F为区域D内的一个全纯函数族，k（≥2）是一正整数，λ和μ是两个非零的常数．若对于任意的f∈F，当f（z）-λz＋μ，z∈D时，有f^（k）（z）=λz＋μ，且f与f＇CM：λz＋μ，则F在D上是正规的．     

孤立韧度与（1,b,n）-临界图

设G是一个图且b,n是非负整数,b≥2,如果消去G的n个顶点剩下的图有[1,b]-因子,则称图G是（1,b,n）-临界图。本文出了图是（1,b,n）-临界图的孤立韧度条件。     

判断k-可序哈密顿-连通图的新条件

具有n个顶点的图G(n≥3)是k-可序哈密顿-连通的(k是整数,且2≤k≤n),如果对于G中每一个具有k个不同顶点的可序集合S={v1v2,…,vk},都存在G中的哈密顿路P包含S且不改变其中元素的次序.本文证明了:对于具有n个顶点的图G,u、v是G中任意两个不相邻的顶点,且d(u)+d(v)≥n+1.如果G是「k+1/2﹁-连通的k-可序图,k是整数且2≤k≤n/12,则G是k-可序哈密顿-连通图.     

圈的幂图的s-迹连通性

对于图G的任意两个顶点x和y,如果G有一条(x,y)-生成迹,则称图G是迹连通的.给定一个整数s≥0,对于任意点子集X?V(G)并且|X|≤s,如果G-X是迹连通的,则称图G是s-迹连通.设k是一个正整数,图G的k次幂图记为Gk.设t(G)是t一个最大值s使得图G是s-迹连通但不是(s+1)-迹连通,设Cn是一个包含n...     

广义Lehmer数的渐近行为（英文）

整数a称为模p的Lehmer数是指1≤a≤p-1且a+a~(-1)为奇数,其中a~(-1)表示a模p的逆.令M_p为模p的Lehmer数的个数.1994年,张证明了■.设整数c≥2,整数d∈[0,c-1].对每个素数p≡1(mod c),如果a+a~(-1)≡d(mod c),则称整数a为关于模p的(c,d)-Lehmer数.令M_(c,d,p)表示模p的(c,d)-Lehmer数的个数.本文得到■,推广了张的结果.     

阿贝耳格点规范埸的变换

我们把相当于连续阿贝耳规范势A_u(x)的格点规范变量θ_u(m)的格点规范变换定义成: θ_μ(m)→θ′_μ(m)=θ_μ(m)+β(m+μ)-β(m)+2~nπ△N_μ(m)此处,△N_μ(m)=N(m+μ)-N(m)。进而,严加证明相当于连续阿贝耳场张量F_(μv)(x)的格点规范变量θ_(μv)(m)或相应作用量S,在该变换下具有不变性。其中,△N_μ(m)可为零、可为整数、也可为半整数。当△N_μ(m)取为零时,则本文跟文献〔8,9〕符合;当△N_μ(m)取为整数时,则跟文献〔10〕符合。此外,我们也证明了θ_(μv)(m)或作用量S,在洛伦兹变换下,要丧失不变性;然若转变为连续规范理论时,则又恢复其不变性。     

三项式xn-x-a的二次因式

设n是大于 4的正整数 ,a是非零整数 ,运用Baker方法证明了 :如果三项式xn -x-a有二次因式 ,则除了n ≡ 2 (mod 6 )且a =- 1这一情况以外 ,必有n<51 2 880 .     

连通图的临界性

通过连通图的研究给出μ-临界 m-连通 m-正则图的一种构造方法.并给出关于μ-临界图的结论:G是4-连通(p,q)图,P≥8,如果存在线x=uv及SV(G)使G-x-S有两个支A,B,u∈A,v∈B,则当|A|≥3或|B|≥3时,G不是μ-临界图.     

（a，b，k）-临界图的两个充分条件

设G是一个n阶图，1≤a相似文献   

凸多边形单元上的样条Blending插值格式

对任意的正整数μ，本文给出了凸多边形单元上的Ｃμ样条Ｂｌｅｎｄｉｎｇ插值格式，它仅需要函数在多边形边界上的直至μ阶的偏导数值，且具有２μ＋１阶代数精度．     

光滑锥对分的极大元

对于第一象限中的光滑锥在对分下的极大元的个数问题给出了极大元的判别方法,证明了该问题对应于实代数簇在被超平面界定的区域内的整点等价类个数.在二维的情形下,证明了极大元唯一;在三维和更高维数的情形下证明了极大元个数无穷多,并分别给出了具体例子.     

RTK快速求解整周模糊度算法及应用

分析了GPS-RTK测量速度的关键即解算整周模糊度，通过对RTK整周模糊度算法原理的分析，提出了快速RTK求解整周模糊度算法．该算法首先确定未知点的初始坐标，进而得到初始模糊度；然后以初始值为中心建立一个搜索空间，应用最小二乘原理搜索出准确的模糊度值．     

非线性依赖年龄的人口动态最优收获

在L1(0,T)空间内研究非线性依赖年龄的人口动态的最优控制问题.通过分离收获项,把该人口发展方程分离成两个便于分析求解的子方程.一个是带有初始条件和边界条件的偏微分方程,另一个是带有初始条件的常微分方程.并且分别详细论证了其解的存在唯一性,从而得到原人口方程解的存在唯一性;最后在人口系统存在解的基础上,用控制收敛定理证明其最优控制的存在性.     

一类非线性弹性梁方程弱解存在的唯一性

以Sobolev空间为工具,利用Galerkin法和局部延拓法,对源于FPU问题的一类具非线性本构关系的弹性梁方程弱解的存在唯一性问题进行了研究,得到以下结论:在一定的边界条件和初始条件下,证明了一类具非线性本构关系的弹性梁方程弱解的存在性;在此弹性梁方程弱解存在的条件下,证明了上述方程弱解的唯一性。     

热传导方程初始源项决定的条件稳定性

讨论一有界区域Ω Rr(r≥ 2 )上的热传导方程的初边值问题 u t(x ,t) =Δu(x ,t) ,　x∈Ω ,0 相似文献   

用代理约束求混合整数线性规划问题的初始可行解

本文给出了用代理约束选取混合整数线性规划问题初始可行解的一种方法。理论上的分析和计算的例子表明用这种方法得到的初始可行解是令人满意的,嵌入分支定界法可以提供好的界。     

Kamke泛函型条件与Banach空间非线性积分——微分方程的唯一性定理

本文在Banach空间中,引进Kamke泛函和Kamke泛函型条件,给出了一个非线性积分——微分方程的初值问题的唯一性定理。     

一类p-Laplacian方程的可解性

文章研究了一类p-Laplacian方程边值问题正径向整体解的存在性和唯一性.首先利用隐函数定理证明了该问题局部解的存在唯一性,以及解对初值的连续依赖性,最后利用区间套定理证明了该问题存在唯一的正径向整体解.