论文部分内容阅读
一族超可积非线性演化方程及其双哈密尔顿结构
【机 构】
:
郑州大学
【出 处】
:
郑州大学
【发表日期】
:
2019年期
其他文献
模型检测是一种被广泛应用的自动化的形式化验证技术,当今在这领域的热门研究课题是如何解决模型检测中的状态爆炸问题.抽象((abstraction)是解决状态爆炸问题最为普遍和重要的
移动机器人是近年来发展起来的一门综合学科,集中了机械、电子、计算机、自动控制以及人工智能等多学科最新研究成果,代表了机电一体化的最高成就。在移动机器人相关技术研究中
p-Laplace方程是偏微分方程理论的一个重要分支,对于这种方程的解的存在性与非存在性,唯一性与多重性以及正则性历来是人们研究的主题.在本文中,主要研究三个不同的蜕化p-Laplace
毛主席说过:“世界是你们的,也是我们的,但是归根结底是你们的,你们青年人朝气蓬勃,正在兴旺时期,好象早上八九点钟的太阳。希望寄托在你们身上。”已故的中国航天之父——钱
埃尔拉多公司在锦丰地下矿的开发工作中复制了在其他矿区采用过的澳大利亚与加拿大共同开发的采矿模型。这是首次将此种类型的采矿模型应用到中国矿山,该公司的白山地下矿开
小规模软件项目在国内外软件项目中占了很大比例,尤其在国内,小规模软件项目所占比例更大。然而针对小规模软件开发方法的研究一直处于非主流的地位,已有的方法又存在着种种不足
在实际工程实践中,精确地建立系统的数学模型是不可能的。对于实际控制系统而言,时滞是普遍存在的,并且它的存在严重地降低了系统的性能。另外,实际系统中也不可避免地存在很多不
本论文的主体分为三个部分.第一部分介绍了图像处理中涉及的一些偏微分方程的背景知识以及文章的结构.第二部分利用Banach空间的Picard定理以及自治常微分方程解的连续性结果