广义分离变量非线性非自治系统的部分变元全局稳定性

利用一般分离变量Lyapunov函数方法 ,讨论了一类非线性非自治系统的解关于部分变元的全局稳定性 ,得到了保证平凡解关于部分变元全局稳定的几个充分性条件     

全球气候变化对中国自然灾害的可能影响

随着人口增多和社会经济的发展，全球CO2、CH4、N2O等气体的排放增加所引起的温室效应，预期本世纪的全球变暖较20世纪更为强烈．讨论了全球气候变化及其对中国自然灾害的可能影响．结果表明，本世纪全球气候进一步变暖将可能导致我国北方干旱趋势仍将延续．南方雨量增加特别是暴雨和台风的增加，会使洪涝灾害扩大加剧．沿海地区由于海平面上升，海岸带灾害主要是风暴潮呈现加剧趋势、农林病虫害、滑坡与泥石流、水土流失与土壤侵蚀灾害也将发展，唯寒冻灾害可能大幅度减轻．面对全球气候变化，我国政府及科学界应加强科学研究，积极参与国际合作，采取减轻、防范和适应措施，以减少经济损失．     

非线性系统的积分变结构间接自适应模糊控制

讨论了一类不确定非线性系统的间接自适应模糊控制问题 .基于变结构控制原理 ,并利用具有线性可调参数的模糊系统去逼近过程未知函数 ,提出一种具有监督控制器的积分变结构自适应模糊控制方法 .该方法通过监督控制器保证闭环系统所有信号有界 .进一步通过引入最优逼近误差的自适应补偿项来消除建模误差的影响 .理论分析证明了跟踪误差收敛到零 .仿真结果表明了该方法的有效性     

蚁群算法的全局收敛性研究及改进

针对蚁群算法(ACA)寻优性质优良,但搜索时间长、收敛速度慢、易限于局部最优解,从而使其进一步推广应用受到局限的问题,对算法的全局收敛性进行了深入的理论研究,并从改善全局收敛性的角度对算法作了一系列改进,最后对Bayes29这一典型的TSP问题进行了仿真实验。实验结果证明,改进后的蚁群算法具有很好的全局收敛性能。这为蚁群算法的进一步理论研究打下了很好的基础,对其在各优化领域中的推广应用具有重要意义。     

任意维数半线性拟抛物方程的整体W2,p(2＜p＜∞)解

研究有界域上的任意维数的半线性拟抛物方程的初边值问题ut-△ut=f(u) x∈Ω, t＞0 (1.1)u(x, 0)= u0(x) x∈Ω (1.2)u| Ω=0 t≥0 (1.3)利用逐次磨光法,证明了,若f∈C1,f(u)上方有界,且满足(H) |f′u)|≤A1|u|γ1+B1, 0≤γ1＜∞ ifn=4; 0≤γ1＜4/n-4 if n＞4u0(x)∈W2,p(Ω)∩W1,p 0(Ω)(2＜p＜∞),则对任一T(x),问题(1.1)-(1.3)存在唯一整体解u(x,t)∈W2,∞(0,T;W2,p(Ω)∩W1,p 0(Ω)).从实质上改进和推广了文献[1-3]的结果.     

多芯片组件中时钟线无时延偏差的改进四通孔(v4R)算法

由于多芯片组件(MCM)布线中所使用的四通孔(v4R)算法在时钟线网布线中不考虑其无时延偏差的特殊布线要求，会使同步功能失控。针对这一缺陷，对MCM的时钟布线提出了一种新的方法。通过引入MMM(Method of Meansand Medians)方法，使得自动布线结果中，时钟源点到各作用单元的时延相等，从而改进了v4R算法。     

基于GPS的FAST望远镜馈源平台自动测量控制系统

500m直径大射电望远镜(简称FAST望远镜)的跟踪观测是由馈源的空间运动来实现,因此馈源在搜索运动过程中要保持很高的稳定性。就馈源平台自动控制系统对位置和姿态测量精度要求进行分析,提出了采用实时动态技术和全球定位系统(GPS)姿态测量技术进行馈源平台的实时监控,以实现整个FAST望远镜对宇宙射电源的自动化跟踪。介绍了GPS时实动态姿态测量原理和FAST监测系统的构成,以及姿态测量的数学模型和解算方法。该方法在50mFAST馈源模型上试验得到馈源平台中心点位精度为5.65mm、姿态精度0.345°可以满足FAST望远镜一次支撑的精度要求。     

基于电热模拟的电迁移可靠性诊断及时钟完整性分析

为诊断大规模集成电路设计过程中电迁移可靠性及分析时钟信号完整性,开发一种用于集成电路片上时钟信号模拟软件Etsim3。该模拟软件考虑了集成电路自热效应,通过电热耦合模拟以及金属连线温度分布解析模型获得更准确的集成电路芯片表面以及各金属连线网络上的温度分布。模拟结果表明,考虑集成电路自热效应前后,电迁移诊断以及时钟信号完整性分析结果都有了较大程度上的改变,Etsim3可以得到更为精确的分析以及诊断结果。     

具有时滞和扩散的捕食与被捕食系统

报道了一类带有扩散和时滞的捕食与被捕食系统，分析了系统的非负不变性，边界平衡点性质及全局渐近稳定性．在这个系统中，随着时滞的增加，时滞能引起稳定性，不稳定性现象．     

一类浮游生物植化相克抛物方程

研究2种群竞争抑制系统，利用上下解的方法给出了抛物方程组解的存在性和惟一性的证明，讨论对应常微分方程组平衡解的全局稳定性。给出相应椭圆系统的Harnack不等式．并通过构造Lyapunov泛函说明在种群内部竞争激烈或扩散系数足够大的条件下，其对应的椭圆系统没有非常数解．