一类合作型椭圆方程组解的存在性与唯一性

研究椭圆型方程组Δu=a(x)upvq,Δv=b(x)urvs,x∈Ω的解,这里p,s1,r,q0,Ω奂RN是一光滑有界区域,在边界坠Ω上具有不同类型的Dirichlet边界条件:(F)u=λ,v=μ;(I)u=+∞,v=+∞,这里λ,μ0.在生物学上该系统表示两物种是合作型模型.本文用上下解方法与极值原理证明了当参数p,s,r,q满足一定的条件时,该系统正解的存在性与唯一性,并且得到了爆破率估计.     

一类捕食模型正平衡解的分支和稳定性

讨论了一类推广的捕食 - 食饵生态模型的平衡态系统在第三类边界值条件下一类严格正解的存在性和稳定性.首先给出了更具有一般性的可解性条件,并结合极值原理分别得到两类半平凡解(u0,0),(0,v0)的存在惟一性,利用局部分歧的技巧证明了系统在(u0,0)和(0,v0)点处出现分支现象,从而得到了正解分支;然后运用线性算子扰动理论和分支解的稳定性理论得出这类正解的稳定性,即当I<0时,系统在(u0,0)附近的正解是稳定的,而当I>0时,正解不稳定;当(I~)＜0时,系统在(0,v0)附近的正解是稳定的,而当＞0时,正解不稳定,其中I,(I~)是两个积分.     

二阶常微分方程组正解的存在性与多解性

本文主要研究以下形式二阶常微分方程组系统正解的存在性与多解性u″(t)+λh1(t)f(u,v)=0,v″(t)+λh2(t)g(u,v)=0,u(0)=u(1)=v(0)=v(1)=0。利用锥上不动点定理,以及令f(u,v),g(u,v)满足一定的增长性条件,确定了使系统至少含有一个或两个正解的系统参数λ的范围。     

一类合作型拟线性椭圆方程组多个解的存在性

利用Ekeland's变分原理和山路引理,考虑合作型拟线性椭圆系统-Δpu=λa(x)|u|p-2u+λ/β+1b(x)|u|α|v|βv+Fu(x,u,v),x∈Ω;-Δqu=λc(x)|v|q-2v+λ/α+1b(x)|u|α|v|βu+Fv(x,u,v),x∈Ω;u=v=0,x∈Ω在参数λ从左边无限接近于相应的非线性特征值问题的第一个特征值λ1时,系统有3个非平凡解.     

不连续非线性半正边值系统的正解及其应用

利用锥上的不动点定理,不要求非线性项f(t,u,v),g(t,u,v)连续且下方有界,在f,g满足Carathéodory条件下,证明了一类三阶二点半正边值系统正解的存在性.     

带饱和项的互惠交错扩散模型整体解的存在性

目的讨论带饱和项的Shigesada-Kawasaki-Teramoto两种群互惠模型在齐次Neumann边值条件下的整体解。方法应用Gagliardo-Nirenberg型不等式和能量估计方法进行研究。结果得到了该模型整体解的存在唯一性和一致有界性的充分条件。结论该条件正好表示了u,v的弱互惠性。     

具有双重变指数的非线性抛物方程组弱解的存在性

研究下列带有双重变指数的非线性抛物方程组在第一初边值条件下弱解的存在性:{ut-div(|u|α(x,t)|▽u|p(x,t)-2▽u)=f(x,t,u,v) vt-div(|v|β(x,t)|▽v|q(x,t)-2▽v)=g(x,t,u,v)}在适当的Sobolev-Orlicz空间里,利用抛物正则化和Galerkin逼近方法,建立了保证有界弱解存在的充分条件.     

一类半线性热方程耦合系统的整体解

研究一类半线性热方程耦合系统带Dirichlet边界条件的问题 ,ut =vα1 uα2 (△u+u) ,　vt=uβ1 vβ2 (△v+v) ,　u =v Ω =0 ,u(x,0 ) =u0 (x) ,　v(x ,0 ) =v0 (x) (x∈Ω ,t>0 ) ,用正则化和上下解方法证明了该系统解的局部存在性 ,同时讨论了整体解的存在性 .     

一类四阶边值问题正解的存在性

讨论了四阶常微分方程边值问题u(4)(t)=f(t,u,),0相似文献   

一类抛物方程组解的爆破速率估计

文章主要探讨了一类抛物方程组解的爆破速率估计．利用上、下解原理,通过构造相应的常微分方程组,获得解（u,v）的爆破速率下界估计;利用反证法,由数学分析原理,得到解（u,v）的爆破速率上界估计的证明．     

用最小势能原理求解支承系统问题

利用弹性力学中的叠加原理和等效原理,将支撑系统看作一个整体来研究,基于弹性力学中的能量守恒原理,以约束力为桥梁,假定各个约束力是依次作用于支撑系统,借助多个位移的叠加,推导出了支承系统的势能泛函公式,并利用最小势能原理,给出了求解支承系统问题的一种新算法。该算法简便、准确,能够较为广泛地应用于各类工程计算。     

单片机控制的滑差矢量调速系统

在简述矢量控制原理基础上,论述了以8031单片机与专用IC片HEF4752V为核心的数字式滑差矢量控制系统。阐述了该系统的硬件设计和软件设计原理,给出了有关原理结构图、系统仿真和实验波形。实验结果表明,整个系统具有设计合理、结构简单和动态性能优良的特点。     

双无衍射光束三角测量系统

提出可用于物体轮廓在线抗振测量的双无衍射光束三角测量系统。系统以双无衍射光束作为测量光束,结构简单灵活。给出了系统结构及原理,推导了相关算法,并在振动条件下进行了实验。结果说明,该系统能有效地去除振动噪声的影响。     

大众POLO轿车CAN-BUS系统概述与故障检修

在第四代改款版的POLO轿车上使用了两大车载网络系统,分别是CAN网络和LIN网络。CAN网络又分为高速CAN网络和低速CAN网络,分别应用于POLO轿车的驱动系统和舒适系统。本文着重介绍CAN-BUS的简单原理、组成以及POLO轿车CAN-BUS系统的结构,在此基础上讨论车载网络的几种诊断维修原理和方法。     

一种提高测井精度的方法及其智能检测系统

本文讨论了采用平均周期检测法提高测井数据精度的原理,提出了一种实现这种方法的智能系统方案.文中对检测精度和主要的技术参数进行了理论分析和计算.     

随炮炮口速度测量传感器的研究

简单介绍了区截测速系统的结构及原理，设计了一种体积小、重量轻、结构简单、可靠性高、成本低的专用区截炮口测速传感器．通过在弹道炮上的特性测试，给出了该传感器实测特性曲线．经过实弹射击证明，整套系统结构简单、使用方便，为高射速转管武器随炮实时测量弹丸炮口速度提供了一种可行方法．     

用于超精微观形貌检测的STM研制

研制了一种具有原子级和纳米级分辨率的宽范围扫描隧道显微镜（ＳＴＭ），通过理论分析和实验论证，介绍纳米级精度微进给机构的原理及特点，研究了一种适于该仪器的简易、有效的隔振系统及探针夹持方法，并对夹持精度进行分析，实验结果表明该仪器可用于原子级与纳米级精度微观形貌的检测。     

一种新的大系统优化协调算法

根据关联预估原理,提出了供水系统的目标规划模拟总协调方法。研究表明,该算法协调过程容易控制,算法简便,收敛速度快。     

基于现场称重测试系统的设计与研究

依据系统结构原理，推导出数学模型，提出一种适于称重传感器测试系统的控制策略。根据该测试系统的特点，建立误差补偿模型，确定数据处理方法。 试验结果表明，整个测试系统简洁、高效、可靠；控制方案简单、易行，满足系统的性能要求；所采取的误差补偿办法切实可行， 经过处理的测试数据能够准确反映传感器测试系统的性能。     

多层升降横移式立体停车库的结构和控制系统

介绍了立体停车库的主要形式 ,着重分析了多层升降横移式立体停车库的结构及控制系统原理 ,编制了多层升降横移式立体停车库控制系统的程序 .经调试、运行证明 :采用可编程序控制器 (PLC)作为控制系统可行、简单且易于实现