一类四阶非线性椭圆型问题解的存在性

研究了一类四阶非线性椭圆型超线性边值问题,对任意的参数λ,应用山路定理得到了问题存在非平凡解.     

裸眼井和套管井中偶极声场的辐射和接收

运用弹性波互易原理,指出并验证井中声场辐射和接收存在的互易性,使得井的接收响应可以由井的辐射因子计算得到,并结合辐射声场的远场渐近解,使得远探测声场的计算效率显著提高;模拟结果与三维有限差分数值模拟结果吻合。由于井对声场辐射和接收的调制作用,偶极横波远探测测井数据SH型横波的贡献远大于SV型横波的贡献,这一结果为数据的处理和解释提供了理论基础;模拟数据及其成像处理结果还证明了横波远探测技术在套管井中的可行性。所提的理论和方法可以快速模拟偶极横波远探测声场。     

面向水环境监测的迭代定位算法

针对水环境的特殊性,提出了一种迭代定位算法.该算法结合了极大似然定位算法和三角余弦定理定位算法,将信标节点按照一定的规则放置在节点部署区域的边缘,根据三角形余弦定理估计可定位区域内的所有未知节点的位置,并将已获得位置信息的节点标记为信标节点.计算剩余未知节点的邻居节点中包含信标节点的数目,若含有3个及以上的信标节点,则执行极大似然定位算法,迭代定位直到所有的节点被定位.     

带有非局部条件Caputo分数阶差分方程解的存在性

考虑如下Caputo分数阶差分方程△C^v y（t）=-f（t＋v-1,y（t＋v-1））在非局部条件y（v-3）=φ（y）,△y（v＋6）=ψ（y）,△^2y（v-3）=λ（y）下的边值问题（BVP）,其中t∈[0,b],f：[v-2,v-1,…,v＋b]Nv-2×R→R,f为连续函数,φ,ψ,λ∈C（[v-3,v＋b]）→R,2〈v≤3。利用Banach压缩映射定理和Brouwer不动点定理得到此边值问题解存在的充分条件。     

运用压缩映射原理证明满足一定条件的函数存在定理及推广

压缩映射是度量空间与度量空间之间的一种特殊的对应关系,通过这种对应关系可以找到集合X中的稳定点即不动点;通过压缩映射定理知道满足一定条件的情况下可以得到唯一的不动点;在已有的定理证明上,通过一些条件的改变,然后得出新的命题,再用微分中值定理证明其正确性.     

弹性地基有限长梁的动力学建模

弹性地基梁模型的动力响应对于土木工程抗震和土-结构动力相互作用的研究均有非常重要的意义.本文考虑梁的不可伸长条件作用效应,分别运用Newton法和Hamilton变分原理建立了弹性地基有限长梁的精细化动力学模型.由于考虑了地基反力的二次弯矩效应,在动力学方程中包括了相互作用导致的平方非线性.最后研究了弹性地基梁的主共振响应,并分析了二次弯矩对非线性响应的影响.     

蕴含A(m)r+1-可图序列刻划定理的一个构造性证明

采用构造性方法证明了蕴含A(m)r+1-可图序列刻划定理.     

Banach空间分数阶微分方程边值问题解的存在性

考虑Banach空间E中分数阶微分方程边值问题{-Dβ0＋u（t）=f（t,u（t））,t∈Ju（0）=u（1）={θ解的存在性,其中1〈β≤2为实数,J=[0,1],Dβ0＋是标准的Riemann-Liouville导数,f：J×E→E连续.用新的非紧性测度估计技巧,在f满足比较一般的增长条件和非紧性测度条件下通过凝聚映射的不动点定理获得了该边值问题解的存在性.     

利用最小作用原理研究共振问题的周期解

文章的主要目的是研究以下二阶系统{ü（t）＋q（t）u·（t）=↓△F（t,u（t））u（0）-u（T）=u·（0）-e^Q（T）u·（T）=0,a.e.t∈[0,T]。在F（t,x）=F1（t,x）＋F2（x）满足假设（A）及F1（t,x）,F2（x）满足一些可解性条件下,通过使用最小作用原理获得了2个新的存在性定理。     

对称群Sn（n≤15）的一个新刻画

本文首先通过计算给出了对称群Sn（n≤15）的阶｜Sn｜,最高阶元的阶k1（Sn）,次高阶元的阶k2（Sn）及第三高阶元的阶k3（Sn）。然后利用有限单群分类定理证明了Sn（n=1,2,…,9,11,13,14）可由｜Sn｜和k1（Sn）刻画,即有限群G同构于Sn当且仅当｜G｜=｜Sn｜且k1（G）=k1（Sn）。最后对Sn（n=10,12,15）证明了它们可由｜Sn｜和k1（Sn）,k2（Sn）及k3（Sn）刻画,即G 同构于Sn当且仅当｜G｜=｜Sn｜且k1（G）=k1（Sn）,k2（G）=k2（Sn）及k3（G）=k3（Sn）。