力迫演算在开放逻辑系统中的嵌入

令A为一个可数一阶语言,T为A的一个协调理论,亦可以为空理论,引入一个可数无穷的新常项符号集(?)={c_1,c_2,……},组成一个新的一阶语言A_c.令A_c={F_i,R_i,(?)},A_A是只含(?)中常项符号的所有原子公式及原子公式的否定组成的句集,定义1.1 A_A的一个有穷子集P,若T∪P协调,则称P为一个力迫条件.     

青藏高原东缘地震各向异性、应力及汶川地震影响

使用国家地震台网固定台站和区域流动地震台站资料,通过对最长达18年记录开展的剪切波分裂分析,得到青藏高原东缘构造域(包括龙门山断裂带)的上地壳各向异性空间分布和时间变化特征.通过快剪切波(快波)偏振和慢剪切波(慢波)时间延迟参数,获得了快波偏振的分区分布特征和汶川地震前后不同分区统计特征的时间变化.剪切波分裂参数受到应力场和断裂构造的影响,块体边界或断裂附近的快波偏振特征比块体内部更为复杂,导致一些分区显示两个优势方向.在汶川MS8.0地震前后,可以观察到一些台站或区域的剪切波分裂参数的变化,既有快波偏振方向的改变,也有慢波时间延迟的变化.地震前后有明显变化的台站,基本符合两种情况:一是震中距较近;二是处于大的断裂或构造边界附近.研究发现,汶川地震前后,龙门山断裂带区域的慢波时间延迟的降幅显著大于周边区域;龙门山断裂带北段的慢波时间延迟降幅,大于龙门山断裂带中段,大于龙门山断裂带南端与鲜水河断裂、安宁河断裂的交汇区,这反映了地壳应力及介质物性状态的变化.通过分析剪切波分裂参数,推断出龙门山断裂带域及周边区域的主压应力分布.本文同时还分析了芦山地震前后剪切波分裂特征的变化.研究认为,利用地震剪切波特性监测应力变化,进而可应用于地震应力预测研究.需要注意是,不同的构造部位对应力变化有不同的响应.     

同F函数有关的丢番图逼近

在文献[1～3]中研究了同Siegel E,G函数有关的代数方程根的丢番图逼近.本文给出同F函数有关的一个丢番图逼近定理.令K是次数为d的代数数域,O_k为K上整数环.定义F函数:幂级数f(z)=sum from n-0 to ∞ (a_n n!)z~n满足条件:(1)对所有n,α_n∈K和(?)≤c_1~n(?)表示α和所有共轭的绝对值的最大值);(2)存在自然数序列{d_l},d_1=q_0~l(d_(0l))使得d_l α_n∈O_k,n=0,1…,l,l=1,2,…,并且d_(0l)只被满足p≤c_2l的素数p整除,还有ord_(p)d_0l≤c_3logl.称f(z)属于F(K,c_1,C_2,c_3,q_0)类.有很多函数属于F函数类,例如超几何函数现在假设f_1(z)…,f(m)(z)∈F(K,c_1,c_2,c_3,q_0)类并满足线性微分方程组y_1~＇=sum from j=1 to m (A_(ij)(z)y_j,A_(ij)(z)∈C(z),i=1,…,n.)     

苏北浅滩波浪传播速度的高频地波雷达探测

应用雷达波Doppler正频移与负频移信号联解波速和径向流速方法, 在2011年7月苏北浅滩高频地波雷达观测试验中实现潮间浅滩海面波浪传播速度的观测. 基于频移与波速两级数据质量控制后统计的苏北浅滩平均波速平面分布图, 可分辨出与潮间浅滩、水下岸坡和潮汐水道等浅滩地貌单元相关的波速分区格局. 同步检验表明： 雷达观测波速与现场观测水深的关系统计意义上遵循微幅波理论, 径向流速较大条件下的波速观测质量较好, 复杂地形所致双向波速不等现象导致波速观测质量降低, 高频地波雷达是潮间浅滩动态遥感监测的潜在工具.     

爆炸力学高精度数值模拟研究进展

爆炸问题的高精度数值模拟在武器弹药设计及毁伤评估、工业重大爆炸灾害等国防和民用问题中具有重要的理论价值和应用前景.本文对近十几年来爆炸力学高精度计算的研究作了回顾与评述,结合作者近年来的研究工作,着重总结了高精度数值模拟保正性、高精度边界条件、自适应网格技术和多物质界面处理等方面的研究进展.推广并发展了WENO格式和RKDG格式,构造了守恒型高精度保正计算格式,在复杂爆轰波问题的数值模拟中很好地解决了出现负密度和负压强的问题,清晰地捕捉了爆轰波阵面结构和流动特征;提出了基于笛卡尔网格的高精度Inverse Lax-Wendroff复杂边界处理方法,该方法通过Inverse Lax-Wendroff获得一阶的法向偏导数值,所有其他的高阶法向偏导数值由五阶WENO类型的外插方法获得,实现了含复杂边界爆轰问题的高精度数值模拟,并具有较好的稳定性和鲁棒性;将后验误差估计方法应用于求解Euler方程中,采用网格的后验误差作为细分的判据,网格细分时在空间上利用高阶WENO插值,时间上采用Hermite插值.对于不需要细分的网格,本文采用点对点的直接赋值方法进行合并;发展了多介质界面处理的Local Level Set方法,对计算域内速度场进行修正,有效避免了速度场间断在求解界面位置时引起的误差;将GFM(ghost fluid method)和RGFM(real ghost fluid method)界面处理方法相结合,避免了GFM方法处理物质界面强间断时引入的虚假物理解,克服了RGFM方法处理弱间断时,重复求解Riemann问题引起的计算资源浪费.最后,对爆炸力学高精度计算的发展前沿进行了展望.     

对流方程间断解的Lax-Wendroff格式的精度

Brenner等人在文献[1,2 ]中证明了二阶Lax-Wendroff格式是L~2稳定的,但是L~p(P≠2)不稳定的.一般情况下,如果初始数据充分光滑,差分格式是L~p稳定的,且具有μ阶精度,则在 L~p中差分格式的解以 μ阶速度收敛于微分方程的解.但对间断解,上述结果不成立众所周知,间断解对双曲型方程是十分重要的,故间断解的误差估计不仅具有理论意义,也有实际意义.就我们所知,关于间断解的误差界,目前仅对一阶单调差分格式有L~1误差估计,而对二阶格式的误差估计尚无结果. 本文研究线性对流方程     

P_v紧算子方程x∈Ax在锥中的近似可解性

设X是一实Banach空间,F(?)X是一楔形,Q,D是X的两个有界开集,0∈Q,Q(?)D。(?)_F(D_F)和(?)_F分别表示D_F=D∩F关于F的边界和闭包,CK(F)表F的全体非空紧凸子集族。令     

大别超高压榴辉岩高温高压下地震波速和密度的初步实验研究——对造山带地壳深部组成和莫霍面性质的启示

<正>深部岩石高温高压下物理性质是制约地球物理测深成果解释、建立岩石圈物质组成和结构模式、探讨超高压变质带俯冲和折返机制的先决条件,也是大陆科学钻探先行研究的重要基础性工作.地震各向异性(Seismic anisotropy)和S波分裂(Shear wave splitting)研究已成为揭示岩石圈动力学机制的新方向,但目前有关超高压岩石的实验数据尚十分缺乏例如,目前国际上对榴辉岩地震波速实验研究最详细的成果应属Fountain等1994年对挪威加里东造山带榴辉岩的研究,该研究系统测定了至600MPa不同压力下榴辉岩和有关麻粒岩的P波速度和波速各向异性,但未研究S波以及温度对波速的影响.本文报道了大别超高压榴辉岩及其围岩在高温高压和组构定向条件下精确测定地震P波、S波、波速各向异性、S波分裂、泊松比、密度和体积变化的初步成果,探讨了实验结果在大别超高压带深部结构、组成和莫霍面性质研究中的意义.     

大别超高压榴辉岩高温高压下地震波速和密度的初步实验研究——对造山带地壳深部组成和莫霍面性质的启示

深部岩石高温高压下物理性质是制约地球物理测深成果解释、建立岩石圈物质组成和结构模式、探讨超高压变质带俯冲和折返机制的先决条件,也是大陆科学钻探先行研究的重要基础性工作.地震各向异性(Seismic anisotropy)和S波分裂(Shear wave splitting)研究已成为揭示岩石圈动力学机制的新方向,但目前有关超高压岩石的实验数据尚十分缺乏例如,目前国际上对榴辉岩地震波速实验研究最详细的成果应属Fountain等1994年对挪威加里东造山带榴辉岩的研究,该研究系统测定了至600MPa不同压力下榴辉岩和有关麻粒岩的P波速度和波速各向异性,但未研究S波以及温度对波速的影响.本文报道了大别超高压榴辉岩及其围岩在高温高压和组构定向条件下精确测定地震P波、S波、波速各向异性、S波分裂、泊松比、密度和体积变化的初步成果,探讨了实验结果在大别超高压带深部结构、组成和莫霍面性质研究中的意义.     

关于常系数齐次线性差分方程解的显式表示

根据经典方法,m阶常系数齐次线性差分方程 y_(n m)=a_1y_(n m-1) a_2y_(n m-2) … a_my_n=(?)a_iy_(n m-i,a_m≠0,n≥0 (1)满足初始条件y_0,y_1,…,y_(m-1)的解可表成y_(n m)=y_(n m)(n,r_1,r_2,…r_m,c_1,c_2,…,c_m)     

光纤扭转和场模旋转

耦合波理论不但能解决法拉第效应的计算,而且能方便地计算应力旋转。如所周知,当光纤经受轴向扭转应力时,圆柱坐标里的介电常数张量ε如下式所示: i=1代表芯, i=2代表包层。把上述张量引入耦合波方程,求得同阶次模中奇、偶波之间的耦合系数,就可得到因轴向扭转的光纤中所传输的场模在单位长度上偏振面的旋转角     

关于Reinhardt域(Ⅱ)

对C~n中域Ω的Bergman核函数K(z,(?))的边界性状的研究,已经有相当长的历史了,它一直可追溯到Bergman的原始的研究工作.后来,Fefferman及稍后的Boutet de Monvel和Sj(?)strand得到了当Ω(?)C~n是强拟凸域时K_Ω(z,(?)的渐近展开.对C~2中的区域,Catlin给出了在边界(?)Ω的有限型点附近K_Ω(z,(?))性状的明确的描述,McNeal和Negal等人则得到了该类域的K_Ω(z,(?))的精确估计.对C~n中的耦合类(decoupled class Ω(?)C~n,McNeal对边界(?)Ω上的有限型点z给出了K_Ω(z,(?))的精确估计,而对Reinhardl域(1)式,D＇Angelo给出了Bergman核函数K(z,(?))的级数形式为     

多值1集压缩场的满射性

设x是实Banach空间,F(?)X是一楔形。D(?)X是一有界开集,(?)_F(D_F)和(?)_F分别表示D_F≡D∩F在F中的边界和闭包。CK(F)表示F中的紧凸子集的全体。 定理1 设T:F→CK(F)是u.s.c.     

磁化离子声孤立波

本文在计及电荷分离条件下考察了双温低β等离子体中与外磁场成一角度斜向传播的磁化离子声孤立波,得到非线性色散关系,确定了波速和波幅范围。分析表明,电荷分离色散对孤立波性质有重要影响。     

内孤立波的计算机代数研究

内孤立波是海洋,大气中的常见现象,近年来我们用渐近方法等对此作了详细研究(参看[1—3]),但由子运算上的复杂性,通常只能算到二阶近似,尚不足以阐释实际存在的大幅度内孤立波。本文采用计算机代数软件进行符号运算,重新研究文[1]中描述的二流体系统俩水平固壁间的两层不可压无粘流体)中的界面孤立波,求得了四阶近似解,从而解释了实验中测得的内孤立波比KdV孤立波的波幅窄、波速大的事实。在符号运算过程中,我们设计了一种半逆序算法,克服了因“中间表达式爆炸”而导致存贮空间不足的困难,为在微机上应用计算机代数软件实现复杂的符号运算开辟了途径。     

关于整数集合的加性完备

设B是k个整数组成的集合,N是充分大的整数,假定对每个正整数n≤N,至少存在一个b∈B,使得n=λ~2+b,其中λ为正整数。Erds最早提出了k的下界估计问题,即是否存在c_0>0,使得k≥(1+c_0)N~(1/2),Moser首先定出了c_0=0.06,以后Donagi和Herzog证明了c_0=0.125;Abbott证明了c_0=0.147,他们都假设B为     

调和Hardy空间和混合模空间之间的连续嵌入

设D={x∈R~n;λ(x)<0}是一具有光滑边界的有界区域,λ∈C~∞(R~n)是D的一个定义函数,(?)λ在(?)D={x∈R~n;λ(x)=0}的某个邻域内处处不为零.对r>0,我们以dσ_r和dσ分别记(?)D_r={x∈R~n; λ(x)=-r}和(?)D上的n-1维Hausdorff测度,而以dm记R~n中的Lebesgue测度D上复值调和函数的全体记h(D)对f∈h(D)及非负整数m,置grad_mf为f的m阶梯度,其模为此处α=(α_1,α_2,…α_n)为n重指标,|α|=α_1+α_2+…+α_n,grad(?)=f.对0相似文献   

富里埃级数的负阶蔡查罗绝对求和因子

设级数Σa_(?)的α阶蔡查罗平均是σ_(?)~a,σ_(-1)~a=0.当级数Σ|σ~(?)~a-σ~(?)~a|收敛时,称级数Σa_(?)是|C,a|可和.设f(x)∈L(0,2π),φ(t)=1/2[f(x+t)+     

透射边界的一个推广

非均匀介质中的波传播问题(包括近场理论地震图的计算、波与人工或天然结构相互作用的分析等)是地震学和地震工程学的一个重要研究课题。近年来,研究这一问题的离散方法日益受到重视,研究者做了很大努力试图建立有限计算区域人工边界的辐射条件,对大部份人工边界处理方法的归纳和比较表明,如果试图寻求一种同时适用于两维及三维暂态波分析的     

高温高压下碱性橄榄玄武岩的P波速度及其影响因素

地震波反演是认识地球深部结构的有效手段之一,尽管近年来高温高压波速就位测量的实验技术得到了发展,所能达到的压力已很高,但仍然缺乏作为反演基础的地球深部物质在高温高压条件下的波速及其影响因素的实验数据。笔者选择蛇纹石化碱性橄榄玄武岩,在2.0～5.0GPa和温度达1500℃范围内测量了P波速度,探讨了温度、压力、相变及其蛇纹石脱水对P波速度的影响,发现在熔融前存在声软化效应,并分析了声软化效应产生的机制。