程毅
- 作品数：14 被引量：8H指数：2
- 供职机构：渤海大学数理学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：理学文化科学军事自动化与计算机技术更多>>
- HOMFLY多项式的应用
- 2010年
- 介绍了研究纽结理论的有力工具HOMFLY多项式在链环上的应用,以及它对纽结镜像的影响,并且证明了三叶结是非双向结。
- 邱海燕程毅毛惠玉
- 关键词：纽结链环
- 一类发展包含的端点问题被引量：1
- 2013年
- 考虑一类反周期发展包含端点解的存在性.当集值函数G(t,x)取有界紧凸值,且为关于变量t可测的、关于变量x连续时,利用Tolstonogov端点连续选择定理和Schauder不动点定理,证明了端点反周期解的存在性.
- 王俊彦程毅孙佳慧
- 关键词：不动点
- 一类偏微分包含解的存在性被引量：1
- 2010年
- 考虑一类偏微分包含问题:-Δu∈G(x,u).当集值函数G(x,u)取有界紧凸值的、关于变量x是可测的、关于变量u是闭图像时,运用Kakutani-Fan不动点定理,证明了边值解的存在性,且解集是弱紧的.
- 程毅从福仲
- 关键词：不动点
- Banach空间中发展包含的反周期问题被引量：2
- 2013年
- 考虑一类发展包含在Banach空间中的反周期问题,集值函数G(t,x)取有界紧凸值的,关于变量t是可测的,关于变量x是闭图像,运用Kakutani-Fan不动点定理,对方程做了先验估计,给出了解存在的充分条件,并证明了解集是弱紧的.
- 程毅华宏图从福仲
- 关键词：反周期不动点
- Banach空间中发展方程的反周期边值问题被引量：5
- 2012年
- 利用同伦方法证明了一类发展方程反周期解在Banach空间中的存在性和唯一性.先构造同伦方程,再对方程做先验估计.最后通过定义解算子,运用拓扑度方法,给出了发展方程反周期解存在的充分条件.
- 张育梅程毅王靖华
- 关键词：同伦方法边值问题
- 二阶微分包含的可达集
- 2017年
- 考虑一类二阶微分包含的可达集以及最优控制系统与微分包含的关系,得到了一类二阶仿射控制系统的可达集及求解二阶微分包含可达集的取值范围,并给出实例说明该方法的有效性.
- 程毅朴光浩吴睿
- 关键词：微分包含可达集控制系统
- 关于数学建模概论教学的几点认识
- 数学建模对培养创新意识有着重要意义,让学习者在思维上顺利实现转变,迅速并且深刻的理解数学建模的思维本质和实现过程是数学建模教学过程中的难点问题.本文针对此问题对数学建模概论课的教学内容和方法进行研究,指出概述课的目标和原...
- 高艳超华宏图程毅
- 关键词：高等教育数学思维教学对策
- 文献传递
- 神经网络模型平衡点的全局稳定性
- 2010年
- 该文介绍了一类Hopfield神经网络模型问题,证明了此类系统的平衡点是全局指数稳定的。
- 高艳超程毅刘天宝孙佳慧
- 关键词：HOPFIELD神经网络矩阵
- 一种对非线性配准问题的信赖域方法综述
- 2010年
- 该文主要介绍了应用信赖域方法来得到一个向量u（x）=（u1（x）,u2（x））t,使得匹配由相同的成像设备获取的两幅很相的图像,应用u（x）使得浮动图像T的像素点x=（x1,x2）t变化后而得到的灰度值与参照图像R的灰度值近似相同或相同。主要思想是通过对函数D（u（x））=‖R（x）-T（x-u（x））‖2进行极小化,该文是对非线性函数D（u（x））在当前点线性化估计,但是二次极小化问题也许会出现病态,这样就需要一个辅助的光滑弹性项来对其最小二乘泛函进行惩罚,本文介绍了相应的算法描述。
- 刘天宝高艳超孙佳慧程毅
- 关键词：图像配准信赖域法
- 积分边值条件下一类发展包含的可解性
- 2016年
- 本文讨论了一类发展包含y'(t)+By∈F(t,y)在积分边值条件下解的存在性问题,这里B为有界线性算子,F(t,y)是一个集值函数.本文分别运用连续选择定理和LeraySchauder定理证明了当F(t,y)在凸与非凸两种情况下解的存在性.
- 程毅康悦吴睿
- 关键词：集值函数
