咨询与建议

限定检索结果

文献类型

  • 4 篇 期刊文献
  • 3 篇 学位论文

馆藏范围

  • 7 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 6 篇 理学
    • 6 篇 数学
  • 1 篇 工学
    • 1 篇 交通运输工程

主题

  • 7 篇 精化策略
  • 4 篇 特征值
  • 4 篇 块davidson方法
  • 4 篇 对称矩阵
  • 3 篇 收缩技术
  • 1 篇 davidson类方法
  • 1 篇 块jacobi-davidso...
  • 1 篇 event-b
  • 1 篇 抽象数据类型
  • 1 篇 大规模矩阵
  • 1 篇 特征值问题
  • 1 篇 矩阵特征值问题
  • 1 篇 新的加速策略
  • 1 篇 列车自主运行控制...
  • 1 篇 数值试验
  • 1 篇 预处理技术

机构

  • 5 篇 南京航空航天大学
  • 2 篇 天津大学
  • 1 篇 大连理工大学
  • 1 篇 同济大学
  • 1 篇 解放军信息工程大...
  • 1 篇 华侨大学
  • 1 篇 卡斯柯信号有限公...
  • 1 篇 中国科学院软件研...

作者

  • 3 篇 吕良福
  • 2 篇 戴华
  • 1 篇 董胜伟
  • 1 篇 刘杰
  • 1 篇 徐中伟
  • 1 篇 刘传振
  • 1 篇 牛传军
  • 1 篇 丁运亮
  • 1 篇 陈祖希
  • 1 篇 熊仲宇
  • 1 篇 孙济洲
  • 1 篇 骆翔宇
  • 1 篇 杨红霞
  • 1 篇 汪小勇
  • 1 篇 何丕廉
  • 1 篇 梅萌
  • 1 篇 潘亮
  • 1 篇 廉庆荣
  • 1 篇 郑黎晓

语言

  • 7 篇 中文
检索条件"主题词=精化策略"
7 条 记 录,以下是1-10 订阅
排序:
基于Event-B与ADT的TACS形式开发方法与验证
收藏 引用
中国铁道科学 2023年 第6期44卷 172-183页
作者: 陈祖希 牛传军 梅萌 刘杰 刘传振 郑黎晓 骆翔宇 潘亮 汪小勇 徐中伟 华侨大学计算机科学与技术学院 福建厦门361021 同济大学电子与信息工程学院 上海201804 中国科学院软件研究所 北京100190 卡斯柯信号有限公司城市轨道交通系统集成部 上海200070
为克服Event-B方法在开发全新一代列车自主运行控制系统(Train Autonomous Circumambulate System,TACS)中所出现的建模复杂性问题,提出将抽象数据类型(Abstract Data Types,ADT)实例与Event-B相结合的方法,对TACS进行形式开发和验... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
求解大型对称特征值问题的改进的块Davidson方法
收藏 引用
天津大学学报 2007年 第5期40卷 559-562页
作者: 吕良福 孙济洲 戴华 何丕廉 天津大学理学院 天津300072 天津大学计算机科学与技术学院 天津300072 南京航空航天大学理学院 南京210016
块Davidson方法是求解大型对称矩阵特征值问题的一种有效方法.但对一些特征值问题,当Ritz值收敛以后,该方法并不能保证Ritz向量也同时收敛.因此,为加速块Davidson方法的收敛性,研究了块Davidson方法的重新开始技术,将精化策略和收缩技... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
Davidson类方法本质的研究及一个新算法
收藏 引用
计算力学学报 2001年 第3期18卷 335-338页
作者: 熊仲宇 廉庆荣 丁运亮 南京航空航天大学飞行器系 江苏南京210016 大连理工大学应用数学系 辽宁大连116023
本文利用有关矩阵扰动理论 ,从分析 Davidson类方法中子空间的扩充向量入手 ,对Davidson方法的本质作了较为深入的研究。分析结果较为合理地解释了有关文献中的一些数值试验现象。本文利用文献 [2 ]所提出的精化策略对 Davidson类方法... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
求解大型特征值问题的块Davidson方法的技术
收藏 引用
黑龙江大学自然科学学报 2006年 第1期23卷 100-104页
作者: 吕良福 戴华 天津大学理学院 天津300072 南京航空航天大学理学院 江苏南京210016
块Davidson方法是求解大型对称矩阵特征值问题的一种有效的方法.但对一些特征值问题,当Ritz值收敛以后,该方法并不能保证Ritz向量也同时收敛.因此,为加速块Davidson方法的收敛性,研究了块Davidson方法的重新开始技术,提出了块David... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
求解大型对称特征值问题的加速与预处理技术
求解大型对称特征值问题的加速与预处理技术
收藏 引用
作者: 杨红霞 南京航空航天大学
学位级别:硕士
块Davidson方法是求解大型对称矩阵特征值问题的一种非常有效的方法。由于块Davidson方法实际是预处理过程和Rayleigh-Ritz过程的结合,其成功与否的关键在于预处理矩阵的选取及重新开始向量的选取,因此针对这两方面,本文作了如下研究工... 详细信息
来源: 同方学位论文库 同方学位论文库 评论
求解大型特征值问题的块Davidson方法的和收缩技术
求解大型特征值问题的块Davidson方法的精化和收缩技术
收藏 引用
作者: 吕良福 南京航空航天大学
学位级别:硕士
块Davidson方法是求解对称矩阵特征值问题的一种有效的方法,由于块Davidson方法存储量大,通常在该方法中使用重新开始过程。本文主要研究了块Davidson方法的重新开始技术,提出了块Davidson方法和收缩的块Davidson方法。 对... 详细信息
来源: 同方学位论文库 同方学位论文库 评论
大型特征值问题的BJD方法研究
大型特征值问题的BJD方法研究
收藏 引用
作者: 董胜伟 解放军信息工程大学
学位级别:硕士
对于求解重特征值和密集特征值问题,通常一步迭代求一个近似特征对的方法都会因为问题的条件变“坏”而导致有效性下降。解决这个问题的手段很多,块方法是比较有效的一类。 Jacobi-Davidson(JD)方法是计算大型矩阵极端特征值问题... 详细信息
来源: 同方学位论文库 同方学位论文库 评论