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

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

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

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

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

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

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

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

基于事务线索树的一次扫描关联规则增量挖掘算法

首先将事务数据库压缩存储到一棵事务线索树(TT-tree)的结点上，并建立这些结点的索引表，然后寻找结点索引表的最后结点到根结点的全部路径，这些路径及路径的交集包含了用于挖掘关联规则的频繁集，该算法只需扫描事务数据库一次，由于采用了逆向搜索TT-tree的方法,搜索的时间开销非常少，该算法可以挖掘中短模式的海量数据，具有很好的伸缩性,同时该算法具有增量挖掘的功能，通过大量的实验数据进行比较。该算法的速度约是Apriori算法的10倍。     

任意维数半线性拟抛物方程的整体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]的结果.     

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

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

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

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

SQL Server事务处理程序设计实例

给出了一个基于SQL SERVER 2000事务处理的编程实例，讨论了如何使用Delhpi6作为开发工具调用ADO控件，使事务处理编程更为安全简单．     

基于语义可串行性的锁协议并发控制算法

为实现语义可串行性调度而提出的基于两段锁协议的并发控制算法无法保证所得到的历史具有可恢复性，为解决该算法的可用性问题，利用并发控制和恢复的统一模型给出一种基于两段锁协议的并发控制算法。