考虑疾病传播过程中的随机干扰,运用随机人口建模中参数扰动的标准化技术,建立了一类具有随机扰动的传染病SEIR(susceptible-exposed but not infectious-infectious-removed)模型,证明了模型解的存在唯一性及非负性,并研究了无病平衡...考虑疾病传播过程中的随机干扰,运用随机人口建模中参数扰动的标准化技术,建立了一类具有随机扰动的传染病SEIR(susceptible-exposed but not infectious-infectious-removed)模型,证明了模型解的存在唯一性及非负性,并研究了无病平衡点满足p阶矩指数稳定的条件.研究结果为传染病预防与控制提供一定的理论依据与决策支持.展开更多
在ITCPN(Interval Timed Colored Petri Nets)模型的基础上引入变迁条件函数和变迁数据操作函数,实现对UML状态图中数据计算的建模;利用抑止弧对迁移的优先级进行建模;同时借助抑止弧实现了对UML状态图中子状态之间"或"语义...在ITCPN(Interval Timed Colored Petri Nets)模型的基础上引入变迁条件函数和变迁数据操作函数,实现对UML状态图中数据计算的建模;利用抑止弧对迁移的优先级进行建模;同时借助抑止弧实现了对UML状态图中子状态之间"或"语义的建模。展开更多
研究了一般平衡线性混合效应模型下的最优设计问题.主要关注模型固定效应估计,随机效应的估计以及对个体未来观察值预测的最优设计.以de la Garaz现象和Loewner偏序为工具降低求解最优设计问题的维度,用解析方法或数值方法求解最优设计...研究了一般平衡线性混合效应模型下的最优设计问题.主要关注模型固定效应估计,随机效应的估计以及对个体未来观察值预测的最优设计.以de la Garaz现象和Loewner偏序为工具降低求解最优设计问题的维度,用解析方法或数值方法求解最优设计,并利用等价性定理判断解的最优性.展开更多
文摘考虑疾病传播过程中的随机干扰,运用随机人口建模中参数扰动的标准化技术,建立了一类具有随机扰动的传染病SEIR(susceptible-exposed but not infectious-infectious-removed)模型,证明了模型解的存在唯一性及非负性,并研究了无病平衡点满足p阶矩指数稳定的条件.研究结果为传染病预防与控制提供一定的理论依据与决策支持.
