一类带有Hardy项和Sobolev—Hardy临界指数椭圆方程的非平凡解

研究了一类带有Hardy项和Sobolev—Hardy临界指数的椭圆方程{-△u-u＋h（x）/｜x｜2u=｜u｜2·（s）-2/｜x｜s u＋λ｜u｜q-2 u,x∈Ω; u=0,x∈ Ω。通过运用变分方法和精确估计得到了非平凡解u∈D 1,2（Ω）的存在性．其中：Ω R N（N≥3）是一个有界光滑区域,0∈Ω,λ〉0,u∈R,0≤s〈2．     

一类奇异半线性椭圆型问题解的存在性的注记

证明了若线性椭圆型问题-△u = k（x），u 〉 0, x ∈Ω, u │аΩ = 0存在解v ∈ C^2＋α（Ω） ∩ C（Ω￣），则半线性椭圆型问题-△u = k（x）g（u），u〉0，x∈ Ω, u │аΩ = 0存在解u∈C^2＋α（Ω） ∩ C（Ω￣）．这里，Ω是R^N中的有界光滑区域，k∈C^α（Ω）非负、非平凡，g∈C^1（（0，∞），（0，∞）），g在（0，∞）有上界且lin s→0＋ g（s）=∞．     

一类拥有不确定权值的椭圆方程解的存在性

研究了Dirichlet问题 {-Δμu=：-div（｜Δ↓u｜^（μ-2）μ↓u）=λW（x）｜u｜^（μ-2）u｜f（x,u）,x∈Ω, u=0,x∈δΩ， 其中，Ω是R^n（n≥3）上的一个有界域，W（x）是一个不确定权值，通过局部环绕，证明在λ与W（x）满足适当条件下，该方程有弱解及无穷多解的存在性．     

一类超线性椭圆方程正解的存在性

设Ω是R∧N中单位球，N≥3，本文考虑Dirichlet问题：（*）{-△u=K（x）|u|∧p-1u λu x∈Ωu=0， x∈ЭΩ径向对称正解的存在性。其中0≤K（x）≤C（1 |x|∧α），K（x）≡/0，-N/2<α<0，1相似文献   

带有临界Sobolev-Hardy指标椭圆问题的一个全局紧性结果

设Ω属于R^N是有界光滑区域，0∈Ω，N≥3，0≤s〈2，2＊（s）：=2（N-s）/N-2，2≤q〈2＊：=2＊（0）=2N/N-2，μ≥0，λ∈R．运用变分方法和分析技巧，证明了带有Dirichlet边界条件的奇异临界问题-△u-μu/｜x｜^2=｜u｜^2＊（s）-2/｜x｜^su＋λ｜u｜^q-2u的一个全局紧性结果．     

一类半线性椭圆问题多解的存在性

利用了3个临界点定理,研究了一类半线性椭圆方程：-△u＋a（x）u=f（x,u）,x∈Ω力,在H0^1（Ω）中至少存在两个非平凡解,其中Ω为R^N中的光滑有界区域,N≥3,a（x）〉0,并且满足a（x）∈L^N/2（Ω）．     

一类非线性Euler微分方程组解的存在性

获得了Euler微分方程组-△ui（x）＋N↑∑j=1Fpij（x,u（x）,△↓u（x））＋Fζi（x,u（x）,△↓u（x））=hi（x）,i=1,2,…,m在边界条件ui（x）｜δΩ=0下存在广义解的一个充分条件，这里Ω∪→R^N（N≥3）是具有C^1边界的有界开区域，h∈L2N/N＋2（Ω）^m。     

带变指标反应项的半线性抛物方程的爆破现象

研究了下列带有变指标反应项的半线性抛物方程{ut=Δu＋∫Ωup（x）dx,（x,t）＋ku∈Ω×（0,T）,u（x,0）=u0（x）,x∈Ω,u（x,t）=0,（x,t）∈Ω×（0,T）解的爆破现象,证明了方程解的爆破性和整体存在性.     

一类带临界指数的Schr?dinger-Poisson方程正解的存在性简

运用Ekeland变分原理研究了一类带临界指数的凹凸非线性项的Schr?dinger-Poisson方程{-Δu+u+kφu=λh（x）|u|q-2 u+|u|4 u x∈R3 -Δφ=u2 x∈R3正解的存在性.     

一类p—Laplacian型方程正解的存在性

应用极小化原理研究方程-div（a（x,△↓u））=λf（x,u）,x∈Ω,ulδΩ=0非平凡正解的存在性,推广了文[1]中关于问题：-△pu=f（x,u）,x∈Ω,ulδΩ=0,1〈p〈＋∞,非平凡正解的存在性的结果。     

某型号锻压机床上梁有限元分析及结构优化设计

在满足锻压机床上梁强度和刚度要求的情况下,集成ISIGHT／ANSYS／Pro／e进行结构设计优化．在结构优化中,保证体积不变,以减小最大应力和应变为目标,重点考虑上梁两边孔的位置．通过ISIGHT软件构建了一个锻压机床上梁结构尺寸优化软件集成系统,实现了上梁结构优化的整个过程．优化结果表明通过该设计方法得到的上梁孔结构布局合理且能够满足强度要求．     

Intranet信息系统集成分析

近年来Ｉｎｔｒａｎｅｔ崛起，标志着网络时代的开始，文章论述了作者在Ｉｎｔｒａｎｅｔ的体系结构，信息管理、安全机制等方面的研究，开发和应用方面的成果。     

基于M/M/1/n的传感器网络sink节点过载性能研究

传感器网络sink节点的过载拥塞是影响其应用性能的重要因素.在分析了传感器网络中sink节点的收包过程后,把sink节点的收包过程概括为无线网卡中断处理和数据处理两部分.根据二级串连排队网络的理论,建立了收包过程模型并对此模型进行了过载性能分析,提出了一种自适应包丢弃的过载控制方案,并在Micaz平台上进行测试,测试结果表明该方案能够较好地解决sink节点的过载拥塞问题.     

耙吸挖泥船泥舱段结构强度的有限元分析

随着经济的发展,沿海地区的港口建设规模不断扩大,对挖泥船的需求也朝着大型化、多功能化、高自动化发展。但随着吨位的增大,大型挖泥船已超出规范尺度比的要求,因此需要对相关结构进行有限元校核。目前规范对挖泥船的有限元分析过程还没有详细的规定,因此本文结合15000m3耙吸挖泥船,对挖泥船泥舱段结构强度进行有限元分析,并提出结论。     

Ag层厚度对Ag/Fe/Ag薄膜的微结构和磁特性的影响

室温下,利用直流对靶磁控溅射设备制备了Ag(x)/Fe(35nm)/Ag(x)系列薄膜,x=1,2,3,4nm.利用扫描探针显微镜(SPM)观测了样品的表面形貌及磁畴结构,应用X射线衍射仪(XRD)分析了样品的晶体结构,通过振动样品磁强计(VSM)测量了样品的磁特性.研究表明,非磁性Ag层厚度对Ag/Fe/Ag系列薄膜的微结构和磁特性有很大的影响.SPM观测显示,随Ag层厚度增加磁畴尺寸呈现先减小后增加的趋势.VSM结果显示,矫顽力的变化与磁畴尺寸的变化趋势是一致的,x=3nm时,垂直膜面矫顽力达到最大.     

试论汉语语素的类型及其相关概念

科学研究离不开分类 ,本文通过对汉语中最基本的语法单位语素的分类研究 ,不仅准确地定义了汉语虚词 ,而且理清了汉语语法研究中长期混淆不清的两个概念———汉语虚语与附加成分的界限     

SAODV协议在Isabelle/HOL中的正确性验证

将SAODV(secure Ad-hoc on-demand distance vector routing)协议的正确性性质划分为安全性性质和活动性性质.前者是指SAODV发现的路由具有某些期望的性质,如无环路等;后者是指节点一定能够找到合适的路由,并利用其成功传送数据.很多移动自组网路由协议的形式化验证工作关注安全性性质,而活动性性质却被忽略了.利用Paulson归纳法来描述SAODV协议并验证其安全性性质,扩展Paulson归纳法描述和验证SAODV的活动性性质.所有定义和推理都是在机器辅助定理证明工具Isabelle/HOL/Isar中进行的.     

动态优先级队列的离散时间排队分析

动态优先级队列能够较好地满足多媒体网络业务流的多种QoS需求。采用离散时间的D-MAP／PH／1排队模型来研究动态优先级队列,并应用矩阵分析的方法,对该排队模型的稳态分布进行分析,得到了系统的主要性能指标：两类业务流的平均队长、阻塞概率和平均延时等结果。     

模具技术现状与发展趋势综述

介绍了前模具设计与制造技术的现状,尤其是CAD/CAE/CAM集成技术及"逆向工程"技术,并对模具技术的发展趋势作出了分析.     

模具虚拟制造技术概述

文章综述了模具行业存在的问题和现实性要求，介绍了一种虚拟模具CAD／CAE／CAM系统思想VC3，及其系统框架结构，并对其环境技术进行了详细的分析和研究。为模具行业开辟了一个新的研究方向。