学科分类
/ 10
195 个结果
  • 简介:考虑一个带非局部低阶项非线性抛物方程的时间最优控制问题.首先利用Schauder不动点定理证明了系统的适定性,然后利用Carleman不等式和Kakutani不动点定理证明了容许控制和最优控制的存在性,并且建立了时间最优控制的最大值原理.

  • 标签: CARLEMAN不等式 时间最优控制 最大值原理
  • 简介:本文研究二阶中立时滞差分方程△^2(xn-cnxn-m)=pnxn-k,n≥no(*)的振动性与非振动性.其中,Cn,pn均为实效,pn≥0,pn≠0,n≥n0,m,k,n0是给定的非负整数,且m≥1,△为向前差分算子,△xn=xn+1-xn,我们证明了t若Cn≥0,则方程(*)总存在一个无界正解,也给出(*)的一切有界解振动的若干充分条件及充分必要条件.

  • 标签: 中立型时滞差分方程 二阶 变系数 有界解 差分算子 非振动性
  • 简介:分析了应用本科高校数学与应用数学专业建设的现状,从应用人才培养方案的构建、模块化教学体系的优化、应用师资队伍的建设、学生应用能力的培养、实践教学的改革等五个方面探讨了应用本科高校数学与应用数学专业教育教学改革的方法,提出了明确应用培养目标、优化模块化教学体系和创新培养模式的专业建设思路.

  • 标签: 数学与应用数学 应用型人才培养 专业建设
  • 简介:将微分方程初值问题转化为等价的积分方程,近来此方法被应用于讨论非线性微分方程初值问题解的存在性.利用凸幂凝聚算子的不动点定理,研究了Banach空间中混合非线性二阶积分-微分方程的初值问题解的存在性.

  • 标签: BANACH空间 积分-微分方程 解的存在性 初值问题
  • 简介:在Banach空间中讨论一类新的广义非线性混合拟变分包含问题.用预解算子的概念,建立了一种解此类问题的算法.所得结果改进、推广和统一了文献中的一些结果.

  • 标签: 变分包含 预解算子 m-增生映射 迭代方法
  • 简介:首先在局部凸H-空间中,建立了新Fan—Ha截口定理及一些相应的等价形式.作为应用,我们在H-空间中研究极大极小定理,本文中的定理把已有文献中的相应结果改进和推广到H-空间.

  • 标签: 局部凸H-空间 转移开(闭)集 转移下半连续 零调集
  • 简介:图G称为谱唯一的,如果任何与G谱相同的图一定与G同构.一棵树称为T-树如果其仅有一个最大度为3的顶点.本文给出了T-树谱唯一性的一个简单刻画,从而完全解决了T-树的谱唯一性问题.

  • 标签: 图的谱 谱相同的图 谱半径 谱唯一性
  • 简介:数据分析与管理建模是哈尔滨工业大学信息管理与信息系统专业根据就业市场需求所设立的一门新课.本课程以研究教学模式为导向,选择数据挖掘中的经典分析方法作为教学内容,根据本课程的特点,采用二元教学模式,即知识导向与能力导向相结合、平等参与与权威控制相结合,将合作性学习贯穿整个教学过程之中,同时,考评体系采用了学科竞赛参与模式.于2010年春季学期进行的第一轮教学实践表明:本课程的教学设计合理、教学效果良好,从而为本科教学改革提供了一个可以借鉴的新案例.

  • 标签: 数据分析 管理建模 研究型教学模式 合作性学习
  • 简介:研究一类脉冲时滞抛物偏微分方程组解的振动性,利用一阶脉冲时滞微分不等式获得了该类方程组在两类不同边值条件下所有解振动的若干充分条件.所得结果充分反映了脉冲和时滞在振动中的影响作用.

  • 标签: 脉冲 时滞 抛物型偏微分方程组 振动性
  • 简介:研究了具有变时滞Hopfield神经网络的正不变集与吸引集.获得了正不变集与吸引集存在性的充分判据.

  • 标签: 神经网络 时滞 正不变集 吸引集
  • 简介:非线性抛物方程的参数反演在工程技术领域具有重要的应用价值.但由于此类问题的非线性和不适定性,给求解带来了很大困难.本文主要利用重心插值配点法给出了求解一类非线性抛物方程正问题的高精度数值解,在此基础上,根据某时刻在不同空间点和同一空间点在不同时刻的观测值,利用牛顿迭代正则化算法对其参数进行了反演,讨论了不同初始猜测以及数据随机扰动对该算法的影响,并给出了数值模拟,结果表明本文的方法可行且有效.

  • 标签: 抛物型 重心插值 配点法 参数反演 牛顿迭代 正则化
  • 简介:研究一类偶数阶中立时滞偏泛函微分方程系统解的振动性,建立了该类系统的解振动的若干充分条件,主要结果通过一些例子加以阐明.

  • 标签: 偏泛函微分方程系统 中立型 时滞 振动性
  • 简介:借助于Hlder范数而引入K-泛函,从而给出了一类新的内插Besov空间,由此给出了一类整函数插值算子逼近的正逆定理.

  • 标签: BESOV空间 插值型算子 逼近
  • 简介:为二次的表格的所有类型,在几何序列和结果在1993和1997由Klapper介绍了的序列决心延长的最新定义的二次的表格之间跨关联。为计算的技术跨关联基于数由一张二次的表格和一个线性函数组成的方程的一个系统的解决方案的数字。

  • 标签: 有限域 二次型序列 几何序列 互相关性
  • 简介:研究了一类具无穷时滞的中立周期微分系统周期解的存在性问题.利用指数二分性及Krasnoselskii不动点定理,建立了保证该系统的周期解的存在性的充分条件.所得结果推广了文[1—7]的有关结果.

  • 标签: 中立型周期微分系统 周期解 存在性