分享到:

解大规模非对称矩阵特征问题的一些精化算法

本文研究求解大规模非对称矩阵特征问题的一些精化投影算法、算法的收敛性以及算法的重新启动等问题.全文共分五章.第一章介绍大规模非对称矩阵特征问题的来源、解决这类问题的基本方法以及本学科的发展现状.最后介绍本文所作的工作.第二章研究精化Arnoldi方法的重新启动问题.对如何构照重新启动的求解子空间作了两点工作:第一,用所产生的精化Ritz向量的一种巧妙的线性组合构造出新的Krylov子空间的单位初始向量;第二,在新的子空间中保留用来逼近所求特征向量的精化Ritz向量.改进后的求解子空间为一增广Krylov子空间,该空间中包含更丰富的特征向量信息,因此用精化Arnoldi方法在该空间上求解矩阵特征问题时收敛速度更快.数值试验将这种重新启动的精化Arnoldi方法与隐式重新开始的Arnoldi方法(IRA)和隐式重新开始的精化Arnoldi方法(IRRA)进行了比较,数值结果表明这种重新启动方法的有效性.第三章首先建立了用调合Rayl  (本文共107页) 本文目录 | 阅读全文>>

大连理工大学
大连理工大学

计算大规模矩阵部分奇异值分解的精化Lanczos型算法

本文研究大规模矩阵奇异值问题的Lanczos类算法、算法的收敛性以及算法的重新启动等问题,全文共分六章。引言部分介绍大规模矩阵奇异值问题的来源、解决此类问题的基本方法以及本学科的发展状况,最后介绍本文的工作。第一章给出了投影类方法收敛性分析方面已有的重要结果,表明传统投影类方法存在着近似特征值收敛而近似奇异值可能不收敛的严重隐患,而贾提出的精化投影方法则可以克服这一隐患。只要近似特征值收敛,则对应的精化近似特征向量必然收敛。第二章研究了增广矩阵在一类特殊子空间上Ritz对的性质,证明投影后的特征问题可以通过计算阶数降低一半的小规模奇异值问题来求解。这一性质可以用于双对角化Lanczos方法以及计算隐式重新启动的精化双对角化Lanczos方法中的精化位移,从而显著地节省存储量和计算量。第三章研究了计算部分最大(或最小)奇异组的隐式重新启动的下双对角化Lanczos方法,分析了其收敛性,指出这一方法存在着近似奇异值收敛而近似奇异向量...  (本文共98页) 本文目录 | 阅读全文>>

《计算机应用研究》2009年05期
计算机应用研究

一种基于概念分解的政策精化方法

政策[1]通常表示为决策动作流程时应遵从的准则集,反映了人的决策意图,可以指导系统的行为选择,从而引导系统完成相应的目标。人通过政策来干预和影响系统的行为,实现系统管理过程的可控性。基于政策的管理是将指导系统行为选择的规则与具体功能实现相分离,以便更灵活地控制和管理系统。该方法最先应用于网络设备的管理,近年来,它的应用领域不断扩大,从管理一个网络设备到管理一般的对象,如一个系统的模块等软件构件到具有一定自治能力和智能的agent[2],已经成为一种用于管理网络和分布式系统的很有前景的方法。政策精化对成功实现基于政策管理至关重要。在基于政策的管理系统中,目标或系统行为约束定义在抽象政策中,通过政策精化将这些目标或系统行为约束进行细化,以便更好地引导系统的运行。政策精化的过程就是将高层的目标或约束映射为低层的政策,其实质就是将管理系统行为的一个抽象规则细化为具体的、可实施的规则,通过执行低层的具体规则来完成高层的管理目标。Moffe...  (本文共5页) 阅读全文>>

《计算机应用与软件》2002年02期
计算机应用与软件

精化演算支撑工具的分析

1引言 R.J.R Back(1978)[l]最早提出精化演算,在八十年代中期由R.J.R.Back,~wright,c.c.Mo笔an川,J.M.Morr等人对精化演算作了进一步的研究,使精化演算通过一系列保证程序正确的转换方法为系统化的程序开发提供了一个语义框架。 数据精化可视为程序精化的一个特例:程序中的抽象局部变量被另一组具体变量所替换,而程序的结构尽可能不变。 精化演算的基础是Dijkstla的最弱前置条件理论:将程序看作谓词转换,即从后置条件到前置条件的函数。精化演算实际上是一种广谱语言以及精化规则的集合,精化演算扩充了Dijkstla的卫式命令语句,在可执行的结构中加人规约语句。利用精化演算的方法开发软件,其过程由巨大数量的小步骤构成,由手工完成极其烦琐,也极容易出错。因此,利用精化演算的方法开发软件,特别是大型软件,自然要考虑采用机器辅助工具的支持。目前已经有不少用于研究目的的精化工具,其中,由Carn和多on等...  (本文共6页) 阅读全文>>

《父母必读》1991年07期
父母必读

脚崴了怎么办?

1.宁宁,走路、下楼梯小心点儿。 2.瞧,殊空了,脚成了吧! 3.“唉哟,好痛呀,快给我热教一下吧!”刚成了脚是不能马上热数的,要不,受损处破裂的血管会继续出血的。 4.应该先用凉的湿毛巾教一两天,然后...  (本文共1页) 阅读全文>>

武汉大学
武汉大学

面向业务过程的协作需求获取与精化方法研究

需求获取是需求工程的第一步,也是最重要的一步。在需求获取中,如下问题亟需解决:(1)如何有效促进用户参与到需求获取过程中来。目前已有的需求获取方法多以需求分析师主导,涉众被动参与。研究如何在需求获取过程中使涉众变被动为主动至关重要。特别是需要尝试在需求工程上下文环境中能够推动充分的沟通和知识转移的方法,同时能够支持涉众使用他们自己的语言作为工具表达需要和请求。(2)如何有效和高效地从涉众那里获取需要并构建出业务过程模型。作为获取软件需求的一种途径,业务过程建模易于得到反映现实业务需要的一致和完整的软件需求,从而使所开发的软件最终满足企业的业务需要。因此,研究如何更好地从涉众那里获取需要并构建出业务过程模型,对于准确描述待建系统的功能需求具有重要意义。(3)随着全球软件开发的流行,涉众分散在不同地理位置对于需求获取增加了额外困难。如何利用合适的工具支持分布式软件开发团队开展分布式需求获取活动也至关重要。针对上述亟需解决的问题,本文...  (本文共141页) 本文目录 | 阅读全文>>