Benard花纹的格子BGK模拟

建立了用于模拟二维Benard对流现象的格子BGK模型，该模型要求粒子碰撞过程不仅满足质量和动量守恒，而且满足能量守恒，结合二迭加FHP模型和三迭加HPP模型，确定了此模型的平衡态形式，导出了此模型对应的宏观质量、动量和能量方程，用该模型成功地模拟了二维Benard花纹．     

一类具有非单调传染率的随机SIQR传染病模型的动力学分析

建立一类具有非单调传染率的SIQR随机传染病模型。利用停时理论,证明了该模型全局解的存在唯一性;通过Liapunov函数方法并结合伊藤公式,讨论了随机系统的解在相应确定模型的无病平衡点附近的振荡行为,并且得到了该模型的灭绝性和存在唯一平稳分布的充分条件。最后,数值模拟显示了模型的解与相应的确定性模型解的渐近行为的差异。     

报童问题的扩展模型

经典报童问题即单周期库存问题,研究的是面对随机需求量,零售商应该订购多少产品以获得最大的利润.报童问题是一个十分具有活力的研究问题,本文综述了报童问题近十年来的研究成果,对其扩展模型作了新的分类:决策目标的扩展模型、零售商的扩展模型、市场格局的扩展模型、供应商的扩展模型以及其他扩展模型等.     

嵌入式人脸识别实验系统的模型压缩及其分析

现有国产化嵌入式人工智能计算平台运算能力有限,不能满足部署人脸识别模型等高复杂度模型的要求。在DarkNet19网络中引入跳连接、模型剪枝,提出了一种基于深度卷积网络压缩的嵌入式人脸识别模型。采用8比特定点量化压缩,进一步实现了该网络模型的轻量化。在国产化嵌入式人工智能实验平台K210上,分别部署DarkNet19、DarkNet53和MobileNet-v1的压缩模型,对比其识别性能。同时分析了模型剪枝、精细化模型、模型量化三种压缩方式对上述三种模型的影响。实验结果表明,基于跳连接的DarkNet19压缩模型在模型参数规模、准确率和推理耗时上有更好的综合表现。     

人工脑的三维模型及应用

将二维人工脑模型推广到三维，并给出了一个实际应用算例，还将二、三维模型的计算结果进行了对比，发现三维模型的计算效果明显优于二维模型。     

一种混合授权的RBAC模型及其UML建模

针对核心RBAC模型在实际应用中存在的不足,提出一种对角色和用户混合授权的RBAC改进模型.在模型中加入直接用户权限指派方便了临时授权,在角色和用户权限中分别设置优先级约束和继承约束避免了权限冲突,给出了模型的形式化描述与认证算法.针对RBAC模型抽象化、形式化及开发者难以理解的问题,基于UML对RBAC改进模型进行了静态和动态建模,缩短了理论安全模型和实际应用开发间的差距.     

一种改进的参考点同步模型多媒体同步控制方法

首先介绍了多媒体同步的分类,并指出了实现多种媒体同步的关键就在于建立适当的同步控制模型;接着分析了现在流行的３ 种单一同步模型以及二级同步模型,评价了它们各自的优点与缺陷． 在此基础上,提出了一种改进的参考点同步模型多媒体同步输出控制方法,这种折衷的同步控制方法,在一定程度上弥补了单一同步模型和二级同步模型各自的缺陷．     

具有反馈控制和时滞的离散时间的Lotka-Volterra型食物链模型的持久性(英文)

本文研究了具有反馈控制和时滞的离散时间的Lotka-Volterra型食物链模型.建立了该模型持久的充分条件.     

具有时滞的浮游植物与营养模型的动力学行为分析

考虑了具有营养循环的无时滞及有时滞浮游植物及营养模型。考虑的模型具有一般的营养摄取的反应函数与浮游植物成长反应函数。文章研究了模型的边界平衡点的全局稳定性及正平衡点的存在性与一致稳定性。最后利用数值模拟进一步说明模型的动力学行为。     

各向同性钢材的断裂模型和屈服模型

基于钢材断裂前必先屈服的基本事实, 以钢材断裂面为屈服面后继扩大直至材料完整性(连续性）发生破坏为假设, 以已有的屈服模型的共同特征为切入点, 建议了各向同性钢材在主应力空间的二次函数型断裂模型和屈服模型. 根据不同钢材的特征应力值, 量化了各向同性钢材的二次函数型断裂模型和屈服模型. 依据不同钢材的特征应力值的相互关系, 建议的各向同性钢材的二次函数型断裂模型和屈服模型相应地描述为主应力空间的圆柱面、椭球面、抛物面和双曲面. 建议的各向同性钢材的二次函数型断裂模型和屈服模型较已有的强度模型更具一般性.     

关于推广的Kolmogorov系统的解的定性研究

讨论了推广的单种群Kolmogorov系统的严格正解的存在性,惟一性及全局渐近稳定性,得到了比通常Kolmogorov系统更一般的结果,进一步在周期与概周期的情形下,得到了正周期解与正概周期的存在性。     

关于Hale问题

本文推广了林振声关于 Hale 问题的解答,利用微分系统的指数型三分性给出了弱概周期微分系统中心积分流形的存在性定理.     

一类摆动方程概周期解的存在性

讨论了一个工程问题所导出微分方程,利用微分方程系统的指数二分性理论和一类Banach空间的不动点定理,证明了所讨论的微分方程具有概周期解。     

具有反馈控制的概周期Kolmogorov型系统

研究了一般的具有反馈控制的Kolmogorov型概周期Ⅳ种群竞争系统．利用Schauder不动点定理,Ascoli—Arzela定理和概周期微分方程理论得到了判定正概周期解存在的一个新的准则．     

非自治兔子食草模型的周期解

利用重合度理论,给出了一类兔子食草的非自治生物数学模型至少存在1个正周期解的充分条件.     

一类流体动力方程周期解的存在性和唯一性

研究了一类非齐次流体动力方程的周期解的存在性和唯一性.首先采用Galerkin方法构造近似时间周期解序列,然后利用先验估计和Leray-Schauder不动点定理,证明近似时间周期解序列的收敛性,从而得到了该问题时间周期解的存在性,并且证明在一定条件下该解的唯一性.     

具有时滞食物链系统周期解的存在性和全局渐近稳定性

本文考虑时滞三种群食物链系统,给出周期解存在和全局渐近的充分条件。     

两斑块间具有非对称双向脉冲扩散的周期单种群模型

研究了两斑块间具有脉冲扩散的周期单种群模型。利用脉冲微分方程的比较原理和一些分析方法,得到了系统持久性的充分条件,然后利用Brouwer不动点理论和构造Lyapunov函数的方法,得到了系统正周期解全局渐近稳定的充分条件。     

KdV方程的孤子-椭圆周期波解及其准孤立子行为

以KdV方程为例讨论了孤子-椭圆周期波解的准孤立子行为及其相互作用性质. 首先应用推广的tanh函数展开法构造了KdV方程的孤子-椭圆周期波解及其准孤立子极限, 并由孤子-椭圆周期波解的“穿衣服”结构给出了周期波的相移公式. 此外, 结合国内外研究前沿, 讨论了该解的物理应用.     

基于IPM策略的具有一般功能性反应的捕食与被捕食模型的动力学性质

基于综合害虫管理策略(IPM),对具有脉冲效应的一般功能反应的两种群捕食与被捕食模型进行了分析.通过利用脉冲微分方程的Floquet理论和比较原理,证明了当脉冲周期小于某个临界值时,系统存在一个全局渐近稳定的害虫根除周期解.