基于三层构架的空间数据库分布式体系结构

空间数据库的分布式体系结构一直是理论研究的热点和工程实践必须面对的问题.提出了基于三层构架的空间数据库分布式体系结构:本地空间数据模型层、统一的空间元数据模型层和统一的全局空间数据模型层,并把这种体系结构用于广东省水资源规划信息管理系统,用于管理分布式的水资源规划信息.     

2-维磁流体议程组整体经典解

利用分析技巧得到磁流体力学方程组新的对称形式.在此基础上,在初始密度趋于真空状态假设下,利用处理双曲方程组的方法证明了经典解的局部存在性,进而得到了经典解的整体存在性.     

非线性Ginzberg-Landau方程初边值问题解的存在性

主要研究了一类非线性Ginzberg-Landau方程混合初边值问题，用Galerkin方法证明了弱解和整体解的存在性．     

同步数字集成电路设计中的时钟树分析

研究了同步数字系统的组成和时钟偏移,并结合一个数字集成电路8051的时钟树设计实例,介绍了时钟树的经验结构和设计方法流程.比较了采用Synopsys公司的布局布线工具实现的自动时钟树分析与指定结构时钟树分析,证明结构恰当的时钟树能得到比自动时钟树分析更好的结果.     

带有扩散和时滞的捕食与被捕食模型的稳定性与Hopf分支

本文考虑一类带有扩散和时滞的捕食与被捕食模型,分析了系统的非负不变性,边界平衡点性质及全局稳定性.在这一系统中,当时滞τ=τ1 τ2适当小时,正平衡点是局部渐近稳定的,随着时滞的增加,正平衡点由稳定变为不稳定,系统在平衡点附近发生Hopf分支.     

具有两性的捕食者-食饵模型的渐近性态

研究具有Holling Ⅱ功能反应的捕食者食饵模型. 得到了食饵两性具有不同的出生率和死亡率时, 边界平衡点全局稳定的条件及食饵和捕食者一致持续生存的条件. 数值模拟表明, 捕食者的存在最终不会改变食饵的性别比例.     

非线性时滞差分方程的全局吸引性

获得了非线性时滞差分方程△xn paf(xn-k)=0 n∈N零解全局吸引的充分条件，并给出了它的应用．     

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

作者研究具有齐次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)支持下的空间数据采集和控制施肥技术；地理信息系统支持下的施肥综合决策系统。探讨了当前精确施肥技术理论的进步与不足，并为结合中国国情发展精确施肥作了探索。