突发事件模型库中模型的层次网络表示方法

模型表示方法是突发事件模型库中模型管理和操纵的基础。该文综合分析突发事件模型的自身特征和辅助,将关系框架和模型网络的表示方法有机地结合起来,提出了一种适合突发事件模型知识表示和模型操纵需求的层次网络模型表示方法。该方法可以根据突发事件不同的辅助决策流程框架,动态地生成相应的模型网络,然后在模型网络中根据决策目标选择出一条或多条模型链。层次网络表示法具有很好的灵活性和智能性,很好地实现了突发事件模型根据不同决策环境和决策对象的模型求解。     

基于面向对象技术的DSS模型设计与实现

根据面向对象技术的原理,探讨了基于面向对象方法的DSS模型的设计和实现方法.提出了基于面向对象DSS模型的定义和表示方法,使用了模型字典来进行模型的存储,描述了复合模型实现的方法.该模型表示方法已应用于信贷决策支持系统中,取得了令人满意的效果.     

基于桥梁健康监测的有限元模型修正研究现状与发展趋势

为了提高有限元模型修正技术的建模精度,从模型修正的对象、信息来源和其他方法3种分类方法出发,系统阐述各种有限元模型修正方法的原理,梳理各种方法的脉络关系及技术演变;从理论研究和桥梁健康监测应用2个方面,分析各种方法的应用现状及其优缺点。研究结果表明:有限元模型修正研究发展的7大方向为:1多尺度、分散子结构、代理模型、随机、非参数的模型修正方法;2基于强度理论及非线性理论的模型修正方法;3通用的模型修正算法和统一的评价准则;4数值模拟、理论分析和工程应用相结合;5充分利用桥梁工程特有的全过程信息;6开发针对桥梁结构的模型修正软件;7有限元模型确认。     

CIMS 的一种面向对象的 IDEF0 建模方法

把结构化的ＩＤＥＦ０功能建模方法和面向对象的分析设计方法结合起来,提出一种面向对象的ＩＤＥＦ０建模方法（ＯＯＩＤＥＦ０）．ＯＯＩＤＥＦ０通过功能对象和ＩＣＯＭ对象的定义以及功能模型和信息模型的集成解决了ＣＩＭＳ功能模型和信息模型的联系问题,并为改善模型的易于修改性和重用性奠定了基础．     

基于全局信息的卷积神经网络模型剪枝微调优化方法

为解决因卷积神经网络模型规模大, 模型剪枝方法引起的精度下降问题, 提出一种模型剪枝微调优化方法。该方法引入原卷积神经网络模型权重全局信息至剪枝后模型, 使原模型信息体现在剪枝后模型的权重上, 提升剪枝后模型的精度。在图像分类任务和目标检测任务中的实验结果表明, 所提出的微调优化方法可获得更大的压缩率和更小的模型精度损失。     

虚拟模型应用于教学的探索与研究

本文通过对现有虚拟模型的分析、模型构建方法的对比,结合在教学中应用模型的特点及应用模型时出现的弊端,提出一种基于使用者、模型控制机、模型检测合理性机制的模型建立方法。并以生物课教学为例,验证了这种方法的可行性和有效性。     

基于模型迁移方法的精炼炉钢水终点硫含量预报

针对精炼炉(LF)钢水脱硫过程的非线性、强动态和多工况问题,提出了基于局部模型迁移方法的钢水硫含量终点预报模型.首先建立简化的机理模型捕捉主要的过程特性,然后采用模型迁移方法补偿机理简化和工况变化引起的预报误差.针对传统模型迁移方法不能处理过程非线性问题,提出局部模型迁移方法,在输入空间内建立多个局部迁移模型,通过融合算法组合成全局迁移模型来自适应校正机理模型的偏差.由于充分利用了机理模型的优势,相比现有的智能预报模型,该方法具有良好的预报精度.最后,通过现场实际数据验证了所提方法的有效性.     

虚拟模型应用于教学的探索与研究

本文通过对现有虚拟模型的分析、模型构建方法的对比,结合在教学中应用模型的特点及应用模型时出现的弊端,提出一种基于使用者、模型控制机、模型检测合理性机制的模型建立方法。并以生物课教学为例,验证了这种方法的可行性和有效性。     

基于曲线拟合的仿真模型验证方法

仿真模型的验证方法研究是仿真模型可信性评估VV＆A（Verification,Validation and Accreditation）中重要的研究内容之一。本文根据仿真模型的特点,利用曲线拟合方法,提出了一种基于计算模型指标过程差的统计验证方法,并以一个简单的物流仿真模型验证为例,说明了该方法的可行性和有效性,为仿真模型的验证提供了一个方法参考。     

仿真模型的智能化验证方法

为实现仿真模型可信度验证过程的自动化,并解决验证技术在应用中过度依赖领域专家经验等问题,提出基于知识的模型验证方法.首先,对模型验证的客观和主观方法中的数据和信息转化过程,以及用于模型验证中真实系统测试数据和领域专家的经验等参考信息进行抽象和归纳.其次,在知识抽象的基础上,分别建立领域知识模型、验证技术模型和验证任务模型.最后,在知识模型的基础上设计和实现智能化验证系统.对电磁轨道炮仿真模型的验证表明,该方法可有效对仿真模型进行验证,且主观和客观的验证方法均可以集成到该系统中,提高了模型验证效率.     

一个食饵有病的捕食与被捕食模型分析

建立一个食饵具有疾病的生态-流行病模型,讨论了该模型平衡点的存在性,并利用特征根法对边界平衡点进行局部渐近稳定性分析,通过构造Liapunov函数得到了两个边界平衡点的全局渐近稳定性和正平衡点的局部渐近稳定性的充分条件.     

一个疾病在捕食者中传播的捕食与被捕食模型的分析

建立并分析了一个疾病在捕食者中传播的捕食与被捕食模型.并且,应用特征根法得到了平衡点的局部渐近稳定的充分条件.分析了其中平衡点的全局稳定性,得到了边界平衡点和正平衡点全局稳定的充分条件.     

一个具有Beddington-DeAngelis功能反应项的捕食-食饵反应扩散模型的全局渐近稳定性

利用迭代方法与比较原理讨论一个具有Beddington-DeAngelis功能反应项和齐次Neumann边界条件的捕食-食饵反应扩散模型的全局渐近稳定性,得到了一些充分判据。     

一个具有Beddington DeAngelis功能反应项的捕食-食饵反应扩散模型的全局渐近稳定性

利用迭代方法与比较原理讨论一个具有Beddington DeAngelis 功能反应项和齐次Neumann边界条件的捕食-食饵反应扩散模型的全局渐近稳定性, 得到了一些充分判据。     

一个具有稀疏效应的生态-流行病模型的分析

本文建立并分析了具有稀疏效应的捕食者有病的生态-流行病模型.首先应用特征根法得到5个边界平衡点的局部渐近稳定的充分条件,然后分析了其中两个边界平衡点的全局稳定性,最后得到了它们稳定的充分条件.     

具Ⅱ型Hlling功能性反应捕食系统解的性质

研究一个齐次Neumann边界条件弱耦合的反应扩散系统.利用Lyapunov函数及局部稳定性给出了正常数解全局渐近稳定的充分条件,并由此说明,只要食饵的出生率足够大、或者捕食者的捕获率足够小、或者捕食者的内部竞争充分强,正常数解就是全局渐近稳定的.另外,还证明了只要一个物种的扩散率足够大,则稳态系统不存在非常数解.     

具Ⅱ型H(o)lling功能性反应捕食系统解的性质

研究一个齐次Neumann边界条件弱耦合的反应扩散系统．利用Lyapunov函数及局部稳定性给出了正常数解全局渐近稳定的充分条件，并由此说明，只要食饵的出生率足够大、或者捕食者的捕获率足够小、或者捕食者的内部竞争充分强，正常数解就是全局渐近稳定的．另外，还证明了只要一个物种的扩散率足够大，则稳态系统不存在非常数解．     

一类三阶非线性时滞系统的全局渐近稳定性

运用类比法构造Lyapunov函数,讨论了一类三阶非线性时滞系统的稳定性,给出了其零解全局渐近稳定的充分性准则.在证明过程中,去掉了一般要求Lyapunov函数具有无穷大这个较强的条件,只要求系统的正半轨线有界,对于正半轨线的有界性是利用了类似构造Poincare-Bendix-son环域外边界的方法来判定.最后,给出了一些具有一般意义的三阶非线性系统推广而成的时滞系统的全局渐近稳定的结果.     

一类时滞静态神经网络模型的全局渐近稳定性

利用拓扑度理论,M-矩阵理论及Lyapunov泛函方法研究了一类时滞静态神经网络模型平衡点的全局渐近稳定性,得出了其平衡点、存在唯一及全局渐近稳定的一些充分条件。     

一类传染病模型的稳定性分析

讨论一类具有非线性传染率的SEIS传染病模型,利用稳定性分析给出了基本再生数R0.最后讨论了当R0≤1时,模型存在无病平衡点,且全局渐近稳定;当R0＞1时,模型存在唯一的地方病平衡点,且全局渐近稳定.