带有随机项Barbour单宿主模型正解的存在唯一性和最终有界性

来源 :信阳师范学院学报:自然科学版 | 被引量 : 0次 | 上传用户:cqt19900112
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
考虑到血吸虫病传播过程受很多随机因素的影响,在Barbour模型的基础上引入随机项,建立血吸虫病随机模型.通过构造Lyapunov函数,利用It积分证明了该随机系统正解的存在唯一性和最终有界性.
其他文献
期刊
特征匹配是形式化规范匹配的基础。本文给出了基于运算符和抽象数据类型的特征匹配的定义、应用和展望。
<正>一引言,用计算机模拟人类智能一直是人工智能研究者所追求的目标,其研究的范畴已由模拟人类逻辑思维的智能拓展到模拟人类象思维的智能。
<正>知识发现是一个众多学科诸如人工智能、机器学习、模式识别、统计学、数据库和知识库数据可视化等相互交叉、融合所形成的一个新兴的且具有广阔应用前景的领域。目前国际
互动性的增加,体现出课堂教学的活跃性,也体现出学生对于学科学习的态度和投入的情况。初中语文课堂的互动性增加,意味着教师在教学的方法和理念方面进行适当的调整,通过课程
一节严谨的小学美术课堂不仅仅要完成即定的教学目标,落实丰富的教学内容,在整个教学的过程中课堂作业展示环节也是非常重要的。在小学美术教学中课堂最后五分钟作业展示能够
<正>实现软件开发过程各阶段的自动化是软件工程的重要目标之一。软件自动化的前提是形式,包括软件需求规格、软件设计规格和算法描述等的形式化。形式化软件规格说明不仅是