线性阻尼的时滞2D-Navier-Stokes方程的全局吸引子

考虑线性阻尼的时滞2D-Navier-Stokes方程的长时间行为,在外力项满足适当的条件下,证明了全局吸引子的存在性.     

一个修正的强次可行SQCQP算法

提出了一个修正的强次可行序列二次约束二次规划(SQOQP)算法.通过设计一个新的矩阵修正策略,算法在全局收敛性分析中不需要假设目标函数的(近似)Hesse阵正定或一致正定.在适当条件下,算法具备超线性收敛性.     

基于辅助相机的多目视觉线结构光测量系统全局标定方法研究

为解决现有的多目视觉线结构光测量系统在大视场测量时,相机之间无公共视场,导致标定工具要求高、全局标定过程复杂等问题,本文提出了一种基于辅助相机的多目视觉线结构光测量系统全局标定方法.首先,将辅助相机作为中介,它与线结构光传感器的相机有1/2左右的视场重叠,构成了双目子系统,通过拍摄标定板不同姿态的图像来建立辅助相机和相邻两个线结构光传感器的空间几何关系.然后基于此通过坐标转换求解出相邻两个无公共视场线结构光传感器的位置关系,最后再逐步换算求解出局部坐标系向全局坐标系统一的变换矩阵,完成全局标定过程.此方法对标定工具要求低,不需要借助高精度测量设备及复杂靶标,只需简易的棋盘格靶标即可完成多目视觉线结构光测量系统的全局标定,标定过程简单,并且可达到较高的标定精度.测量试验表明,该方法的全局标定误差是0.067 mm,有效提高了测量精度,为后续大构件的机器人“测量-加工”一体化作业提供精度保障.     

一类高阶有理差分方程的全局渐近稳定性

运用子序列分析法研究一类高阶有理差分方程xn=xn-mxn-k axn-m xn-k的全局渐近稳定性,式中:m,k∈Z ,xs,xs 1,…,x0∈(0,∞),a∈[0,∞),s=min{1-m,1-k}.     

无线传感器网络中适于协作定位的全局节点选择

为了有效解决无线传感器网络(WSN)节点定位精度和测距技术复杂性之间的矛盾,基于WSN随机分布特性和天线阵列几何结构约束,通过节点协同形成的虚拟天线阵列对WSN进行定位,提出了一种适于定位的虚拟阵列节点选择方法.仿真结果和理论分析表明,当波达角估计算法的性能满足要求时,该方法具有很强的可行性和优良的定位性能.     

反应扩散变时滞细胞神经网络的稳定性

利用构造Lyapunov函数的方法讨论了带反应扩散项的变时滞细胞神经网络全局指数稳定性.在输出响应函数有界且满足Lipschitz条件和系统满足文章所给的条件下,得到了判定该类网络解的全局指数稳定性.     

一类具有非线性传染率的SIRS传染病模型的稳定性分析

研究了一类既有旧病复发率又有治愈率的SIRS传染病模型,且此模型的传染率为非线性的.证明当基本再生数小于1时,无病平衡点是全局指数型稳定的;当基本再生数等于1时,无病平衡点是全局渐近稳定的;当基本再生数大于1时,得到模型在地方病平衡点全局稳定的充分条件.最后,通过数值模拟为理论计算提供了依据.     

具有饱和接触率与混合控制策略的SIQR模型的动力学分析

考虑接种、隔离和剔除混合控制策略,建立了一个具有饱和接触率的SIQR传染病模型,从理论分析和数值模拟方面研究了该模型的全局稳定性.首先,通过计算得到了疾病灭绝与否的阈值—基本再生数R₀和平衡点存在的条件;其次,当R₀<1时,利用Liapunov函数证明了无病平衡点P₀是全局渐近稳定的;然后,当R₀>1时,运用Dulac函数证明了地方病平衡点P^*是全局渐近稳定的;最后,利用计算机仿真,进一步证实理论分析的正确性.     

N种群Gilpin-Ayala脉冲竞争模型正周期解存在性和全局吸引性

基于一类具脉冲的N种群Gilpin-Ayala竞争模型,对农业病虫害防治周期周期解存在性的充分必要条件和正周期解的全局吸引性进行研究。利用延拓定理得出该模型至少存在一个周期解的结论,并利用Lyapunov泛函方法得出该模型周期解的全局吸引性和稳定性结论都成立,为进一步阐明此具脉冲竞争模型的周期解全局渐近稳定性且唯一性提供了充足的依据。通过上述方法证明了具脉冲的N种群Gilpin-Ayala竞争模型的正周期解存在性和全局吸引性成立,同时给出具体实例进一步论证了该模型的可行性。研究具有较强的实用性,为农业病虫害防治周期性的研究提供了理论依据。     

PAR平台中并发分布式事务处理机制及其应用研究

随着大数据、云计算和云服务等新技术的兴起,并发分布式计算作为这些新技术的基础,扮演着越来越重要的角色.在分布式计算中,数据的一致性难以得到保证,而事务处理技术能够有效解决该问题.为了提升PAR平台在高可靠应用程序的使用范围,在其建模语言Apla中融入了并发分布式事务处理机制,使得Apla语言不仅支持分布式数据库事务,还支持分布式非数据库事务.该文对Apla语言并发分布式事务处理机制进行了深入地研究,并将其应用在学生管理系统、在线购物系统等实际应用场景中.