求解右定两参数特征值问题的精化Jacobi-Davidson方法(英文)

在文献[1]中,作者M E Hochstenbach和B Plestenjak认为精化的方法不适合两参数特征值问题,原因是求解两参数特征值问题的精化方法存在着三个问题:即精化Ritz向量收敛性差,运算量大,不能计算多个特征值.本文指出,事实并非如此.针对右定两参数特征值问题,本文提出了一种有效的精化数值方法.并通过理论证明和数值实验说明了Ritz值的收敛性,以及精化Ritz向量具有比通常的Ritz向量更好的收敛性.

高校思政教育精准化的方法与路径

精准思维是习近平新时代中国特色社会主义思想的核心特质,它为高校思政教育提供了重要的指导思路。当前,传统思政教育面临的挑战包括内容抽象、方法单一、缺乏针对性,同时精准化教育进程也遭遇了内容与学生需求不匹配、信息技术整合不足以及教育过程缺少连贯性和互动性的问题。面对这些问题,必须深入分析高校精准思政教育的价值逻辑,并采取相应措施进行精准的需求分析、内容供应和过程管理,这些措施将增强教育的针对性、有效性和吸引力。

大数据支持下的高中数学精准化辅导策略研究

在大数据飞速发展的背景下,我国数字化教育正逐渐普及高中教育领域,同时高中教育基础设施、资源也在持续化发展,高中教师纷纷针对数字化探究全新的教学改革方向与教育模式.文章在高度明确精准化辅导内涵、大数据应用于数学辅导的优势后,自多维度入手探究高中数学教学期间如何基于大数据技术实现精准化辅导,确保辅导内容、方向与过程高度满足高中生适应新高考在数学能力方面提出的要求,并为我国高中数学教育的高质量发展奠定技术基础.

1:2000基础地理信息数据与国土调查数据融合精化方法研究

文章以1:2000基础地理信息数据和第三次国土调查数据为基底,研究了一种集两类数据优势于一身的数据融合精化方法,通过数据预处理、数据提取、数据分类、图形精化、属性精化等步骤形成一套既能准确表达国土调查数据属性信息又能反映基础地理信息数据自然要素空间分布的自然资源空间管理基础数据,为自然资源管理和经济社会发展提供更为全面精准的数据支撑。

数据驱动的精准化学习评价机制与方法

综合素质评价是深化教育改革、落实立德树人根本任务的必然要求。信息技术赋能教育教学过程,使得传统教育评价机制向数据驱动的精准化学习评价方向迈进。数据驱动的精准化学习评价是一种不断获取、整合、分析学习过程中的多模态数据,对教学和学习活动的信息流与运行轨迹作出观测、解释和反馈,以发现教育中存在的问题,辅助课堂教学干预的评价方法,包含多场景数据采集、多空间数据融合、精准分析模型构建、分析结果可视化四个关键组成部分。多场景数据采集为学习评价提供数据来源和量化手段支撑,多空间数据融合为学习评价提供统一数据标准,精准分析模型为学习评价提供数据驱动的学习分析与评价方法,分析结果可视化为学习评价提供反馈和应用服务。数据驱动的精准化学习评价框架,应以区块链技术为基础,融合人工智能、云计算、学习分析、情境感知等新兴技术,在多维时空尺度上全面采集学习过程中的多元海量数据,通过全面、系统的统计分析和数据挖掘,从学习者的内在动机到认知发展、情感表现,再到社会综合交互能力,多维度、及时、准确地评估学生的学习状况。当前,探索数据驱动的精准化学习评价,可从构建符合多空间数据特征的综合素质评价框架,完善过程性数据的采集与共享机制,突破情感、认知、动机与社交评价的关键技术,以及研制数据驱动的学习评价平台等方面入手。

区域似大地水准面精化成果检验方法探讨

利用GNSS技术可以简单快速地测定厘米级的大地高,使用GNSS测定的大地高结合高精度的大地水准面精化模型,可以快速准确地确定待测点的海拔高程。随着各省、市似大地水准面精化模型的建设,似大地水准面成果正在改变着测绘的方式,推动测绘工作快速高效地应用于国民经济建设。目前我国缺少区域似大地水准面成果检验的相关规范或技术规程,如何对似大地水准面成果进行检验,缺乏统一的技术依据。本文从检验内容与方法方面探讨区域似大地水准面精化成果检验的相关问题,提出内容、方法的同时并应用于实际检验工作,为区域似大地水准面精化检验工作提供参考。

顽固性高血压痰瘀互结证治疗方药方案精准化的思路和方法

中医走精准发展路是改变自身弱势学科地位的必然趋势,真实世界与大数据技术能解决辨证论治存在的客观证据与精细化、量化不足的难题,据此本研究在既往肯定痰瘀辨治顽固性高血压（Resistant Hypertension, RH）有效的基础上,提出了基于真实世界和大数据技术的RH痰瘀互结精准方药方案的思路和方法,为解决辨证论治中方药方案精准的共性技术提供方法学上新发现。

一种从Z规约到并行程序的精化方法

提出了一种通过对设计模式进行精化,从Z规约开发并行程序的方法.该方法对Z语言进行了并行扩充,从Z功能规约出发,通过使用扩展的设计模式逐步精化得到并行的设计规约,再通过保持语义的转换,得到可最后转换为并行代码的抽象并行程序.通过实例对这一方法进行了详细的描述.

基于遗传规划的行为模型精化方法

行为模型的精化是软件工程中的基于模型驱动开发的关键问题.基于针对环境的形式化行为模型和形式化方法中的精化理论,提出了一种基于遗传规划的行为模型的自动精化方法.该方法将精化看作可执行的基本操作的组合过程.首先通过分析抽象行为的后置条件公式,执行基于逻辑归约的精化方法,从而生成循环结构和其他简单新行为的描述.然后利用基于遗传规划的精化方法对新行为继续精化,直到产生的程序最终由基本操作构成.由于传统的遗传规划方法对选择结构难以演化,提出了组合终止条件的概念.通过测试组合终止条件,选择结构也能较好的产生.最后以排序问题为例,给出实际的演化过程,结果说明该方法具有较强的可行性.事实上该方法适用于任何由若干基本操作组合以完成复杂操作的问题求解过程.

加工精密主轴时顶尖定位精度的精化方法

介绍了加工精密主轴零件时保证顶尖孔定位精度的一般工艺措施 ,提出在外圆终磨时采用球形顶尖定位以及多次修研顶尖孔的定位精度精化方法 ,以提高精密主轴外圆的加工精度。

精化区域似大地水准面技术方法与设计

2003年至2006年国家测绘局与地方测绘部门合作,在华东、华中、华北15个省、市开展区域似大地水准面精化项目,文中论述了该项目采用的技术路线、项目设计所顾及的有关问题,以及所取得的成果。

魔芋精粉水膨化膨化度指标的确定和测定方法

从魔芋精粉水膨化处理的特点出发 ,认为采用体积膨胀比作为其膨化处理的膨化度指标是合适的和可行的 ,并利用体积相似理论设计了测定魔芋精粉膨化溶胶体积的简便方法 。

一种基于Z和精化演算的形式化开发方法

通过分析 Z和精化演算各自的特点 ,本文提出了一种使两者无缝集成的形式化开发方法 .该方法利用 Z良好的描述特性和扩充的类机制 ,将系统规约直接定义成精化演算中的抽象程序 ,然后用精化规则对抽象程序逐步精化 ,直到可执行程序 .

求解大型特征值问题的块Davidson方法的精化技术

块Davidson方法是求解大型对称矩阵特征值问题的一种有效的方法.但对一些特征值问题,当Ritz值收敛以后,该方法并不能保证Ritz向量也同时收敛.因此,为加速块Davidson方法的收敛性,研究了块Davidson方法的重新开始技术,提出了精化块Davidson方法,并对精化块Davidson方法进行了收敛性分析.数值试验和理论分析均表明,新方法对计算大型对称矩阵的一些极端特征对是有效的.

高校家庭经济困难学生精准化认定方法探析

困难生认定是高校资助工作的基础和前提。教育部和财政部于2007年6月26日联合下发的《关于认真做好高等学校家庭经济困难学生认定工作的指导意见》为困难生认定工作提供了基本政策依据,但是在多年实践中已暴露出许多问题,针对高校家庭经济困难学生有效的精准认定方法仍有待深入研究。

形式化方法B的精化

形式化方法B支持从抽象规约到实现的完整的开发过程,用于开发安全关键的软件系统。给出了B方法精化的定义后,介绍了抽象机的精化过程与方法,结合实例分析了仅使用前向精化的普通精化规则的不完整性,通过引入反向精化提供了完备的精化理论,二者联合起来能够证明任何正确的精化。

GPSurvey软件中基线解算质量评价和精化处理方法

以GPSurvey软件处理GPS基线为例,探讨了GPS静态基线解算的质量评价和精化处理方法。

一种从面向对象Z规约到代码的精化演算方法

COOZ(complete object- oriented Z)的优势在于精确描述大型程序的规约 .COOZ本身的结构不支持精化演算 ,这限制了 COOZ的应用能力 ,使 COOZ难以作为完整的方法应用于软件的开发 .将精化演算引入COOZ,弥补了 COOZ在设计和实现阶段的不足 ,同时也消除了规约与实现之间在结构和表示方法上的完全分离 ,使程序开发在一个完整的框架下平滑进行 .该文提出了基于 COOZ和精化演算的软件开发模型 ,通过实例讨论了数据精化和操作精化问题 .在精化演算实现技术方面构造了一种数据精化算子 ,提出一种基于数据精化演算和程序窗口推理的数据精化的方法 .

形式化方法Designware及其规约精化机理

介绍了一种新的支持算法设计自动化的形式化方法Designware,详细分析了其理论基础及规约精化机理,阐述了其半自动算法设计支撑系统,并结合一个开发实例展示了Designware的具体使用,给出了Designware的两个实际应用项目,最后对Designware进行了评述。

解反对称矩阵特征问题的精化广义Lanczos方法

利用广义Lanczos算法,提出了一种计算反对称矩阵特征问题的广义Lanczos方法,并根据精化策略给出了求解大规模反对称矩阵部分特征对的精化广义Lanczos算法,数值实验表明精化变形需要的迭代次数更少.