一类非线性反应扩散系统解的整体存在性和有限时刻爆破

作者研究具有齐次Dirichlet边值的半线性抛物系统ul＝Δu u^p1v^q1,vt=Δv u^p2vq2,解的存在性和爆破条件．证明了如果pl＞1或者q2＞1或者P2q1＞(1-p1)(1-q2)，那么对于系统的非负解，整体解和有限时刻爆破解存在，结论与初值和区域的大小有关。     

一类具时滞的Lotka-Volterra系统的持久性和稳定性

一类具时滞的Lotka Volterra系统的持久性和稳定性(涪陵师范学院数学系,重庆涪陵408003)1　引言生态系统的持久性与全局渐进稳定性是受到学术界重视的问题[1～4].本文研究如下一类Lotka Volterra时滞系统: x1(t)=x1(t)[b1(t)-a1(t)x1(t)-d2(t)x2(t)-d3(t)x3(t)], x2(t)=x2(t)[-b2(t)+k2(t)∫0-τ1μ1(θ)x1(t+θ)dθ-a2(t)x2(t)-a3(t)x3(t)],(1) x3(t)=x3(t)[-b3(t)+k3(t)∫0-τ2μ2(θ)x1(t+θ)dθ-e2(t)x2(t)-a3(t)x3(t)].这里bi(t),ai(t),(i=1,2,3),di(t),ei(t),ki(t)(i=2,3)是连续函数,且有正的下界和上界.μi(s)(i=1,2)是[-τi,0]上…     

GIS,RS和GPS支持下的精确施肥理论技术及展望

以精确农业为背景，在分析了“土壤-作物-养分”间的复杂关系的基础上，概括了信息技术(RS，GIS，GPS)、生物技术、机械技术和化工技术支持下的精确施肥模型。详细阐述了以遥感(RS)技术支持为主体的土壤数据和作物营养实时数据采集技术；全球定位系统(GPS)支持下的空间数据采集和控制施肥技术；地理信息系统支持下的施肥综合决策系统。探讨了当前精确施肥技术理论的进步与不足，并为结合中国国情发展精确施肥作了探索。     

关于常微分方程初值问题数值解误差的探讨

引用B样条插值函数讨论了一阶常微分方程初值问题的数值解 ,给出一个隐式近似求解公式 ,并得到此公式的局部截断误差为O(h5) ,整体截断误差为O(h4 ) .在此基础上又给出了一个校正显式求解公式 ,其局部截断误差为O(h4 ) .     

具有Neumann边界及临界Sobolev指数的半线性抛物方程

主要运用能量方法及稳定集和不稳定集的观点,研究一类半线性抛物方程的整体解和局部解的存在性及爆破问题.这里Ω是RN(N≥3)上的光滑有界区域,2 是临界Sobolev指数.     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

拟线性双曲方程组带有一般形式的边值问题的整体经典解

证明了拟线性双曲方程组带有一般形式的边值问题的整体经典解的存在惟一性。     

拟线性双曲方程组带有一般形式的自由边值问题的整体经典解

证明了拟线性双曲方程组带有一般形式的自由边值问题的整体经典解的存在惟一性。     

一类基于非线性状态反馈的机器人操作手的鲁棒控制

考查了一类具有非匹配不确定性的非线性系统的全局稳定性及其在机器人鲁棒控制中的应用,针对机器人系统存在参数不确定性以及外界干扰的情况，利用非线性鲁棒控制理论给出了连续状态反馈控制器．考虑不确定性存在情况下跟踪误差的渐近收敛性．最后给出了两连杆刚性机器人的仿真例子，验证了其控制效果．     

单调线性互补问题的非精确不可行内点算法

对单调线性互补问题提出了一种非精确不可行内点算法．该算法的迭代方向仅需要达到一个相对的精度．在初始点位于中心线的某邻域内的假设下，证明了算法的全局收敛性．