一种精化演算支撑工具的分析与设计

利用精化演算的方法开发软件，其过程由巨大数量的小步骤构成，由手工完成极其烦琐，也极容易出错，因此利用机器辅助工具的支持是必要的，在分析现有的精化工具的基础上，提出了一个用于软件形式化开发的精化工具，并对其进行了需求分析和功能分析，在精化工具的设计中，讨论了作为定理证明器和精化引擎基础的窗口推理系统和用于程序精化推理的程序窗口推理系统，同时分析了设计中的设计目标，总体结构，精化与证明的表示方法，用户     

半精化双正交Lanczos方法

根据精化投影方法的思想及双正交Lanczos过程提出一种近似精化方法－－半精化及正交Lanczos方法，并给出了半精化近似特征对与精化近似特征对对应的残量范数之间的关系，数值实验表明了新算法的优越性。     

山西省似大地水准面的确定研究

简述了我国大地水准面精化的发展现状,给出了山西省似大地水准面确定的技术路线以及数据处理过程和精度统计方法。     

原子、分子和晶体中电荷密度分布分析的一个新方法(英文)

本文提出一个从X-射线实验数据出发分析电荷密度分布图的新方法。有关此法的完整的量子理论推导可见文献[1,2]。这个新方法的特点在用非球形原子组成预分子,在精化原子结构参数(即原子坐标,热振动参数,标度因子,消光因子)的同时还精化了价轨道的量子参数(即轨道形状参数,轨道方向参数和布居数)。使得原混杂于传统研究方法中的价轨道信息得以分离,从而真正的化学形变密度和分离所得的价轨道量子信息,可帮助我们更进一步地理解分子间及分子内的相互作用,成键本质等…。该法被应用于一系列的不同晶体,结果与分析详见正文。     

精化直接刚度法及九参数三角形薄板单元

提出一种可直接用于精化不协调元的精化直接刚度法．其列式与直接刚度法类同，单元间的协调条件平均满足；既能保证收敛又能提高精度．精化直接刚度法的变分根据是广义变分原理．用精化直接刚度法对著名的九参数三角形Ｚｉｅｎｋｉｅｗｉｃｚ薄板单元进行了精化，建立了新的九参数三角形板元ＲＴ9和ＲＴ１０．数值结果表明本文建立的单元收敛且精度高．     

MRPII系统开发的一种形式化方法

研究了ＭＲＰＩＩ系统开发的形式化方法。使用形式化语言ＲＳＬ定义ＭＲＰＩＩ系统的规范和精化关系。以库存管理子模块为例，详细介绍了将形式化方法ＲＡＩＳＥ应用于ＭＲＰＩＩ系统的规范、精化、验证和实现。     

一种负热膨胀性材料的物相结构分析

用高温固相反应法制备了一种负热膨胀性材料 ,经X射线衍射分析证明为单一物相ZrW2 O8,进而确定了ZrW2 O8为简单立方晶系 .精化的晶胞参数a =0 .92 2 0 0nm ,计算了单位晶胞中含有的ZrW2 O8分子数目Z =4以及平均晶粒尺寸D =79nm、单位晶胞体积V =0 .78378nm3和比表面积S =1.4 9× 10 5cm2 / g等结构参数     

原子、分子和晶体中电荷密度分布分析的一个新方法(英)

本文提出一个从X-射线实验数据出发分析电荷密度分布图的新方法.有关此法的完整的量子理论推导可见文献[1,2].这个新方法的特点在用非球形原子组成预分子,在精化原子结构参数(即原子坐标,热振动参数,标度因子,消光因子)的同时还精化了价轨道的量子参数(即轨道形状参数,轨道方向参数和布居数).使得原混杂于传统研究方法中的价轨道信息得以分离,从而真正的化学形变密度和分离所得的价轨道量子信息,可帮助我们更进一步地理解分子间及分子内的相互作用,成键本质等….该法被应用于一系列的不同晶体,结果与分析详见正文.     

增广Krylov子空间上的精化Lanczos方法

精化Lanczos方法用于计算大规模对称矩阵特征对,与传统的Lanczos方法不同,主要是利用精化向量的优越性,用精化向量替代Ritz向量,介绍了用精化Lanczos重启方法和精化Lanczos压缩重启求近似特征对,理论上分析它们与传统方法的差别及优劣性。     

精化调和Ritz向量张成子空间上的调和Ritz值

研究了精化调和Rayleigh—Ritz过程中的近似特征值选取的问题．一般地。精化调和Ritz对在求解子空间中具有残量最小的最优性。因此在它们张成的子空间中应含有想求的特征向量的更丰富的信息，从而在此子空间上计算的调和Ritz值应该更准确．本正是从这一指导思想出发，研究如何求矩阵A在精化调和Ritz向量所张成的子空间上的调和Rit值θi．对Krylov子空间，建立了θi和调和Ritz值间的一个先验估计式，同时给出了用θi作为近似特征值的精化调和Arnoldi算法。最后的数值结果表明新的算法的有效性．     

精化杂交法及精化平面四边形单元

基于新的泛函、合理的变量假设及应变正交化，提出了称之为精化杂交 元的方法。精化杂交法可以使单元的应变能按假定的应变模式分解，由此得 到相应的分解的单元刚度矩阵，而且常常可以推出显式。精化杂交法有效地 提高了杂交应力元或广义杂交元的精度和计算效率。所建立的平面四边形精 化杂交元，可以作为对著名的Ｐｉａｎ单元的改进。算例表明，所建立的四边形 单元较已有的各类平面四边形单元具有更高的精度和计算效率。     

关于Arnoldi精化算法的收敛性

对于解大型非对称阵Ａ特征问题的Ａｒｎｏｌｄｉ方法，为克服Ｒｉｔｚ值收敛于特征值时而Ｒｉｔｚ向量不一定收敛于特征向量这一弊病，Ｊｉａ提出了用精化向量了代Ｒｉｔｚ向量的精化算法，并且对于具有相异特征值的Ａ证明了：只要Ｒｉｔｚ值收敛于特征值，精化向量就收敛于特征向量，本文取消对Ａ的限制，证明了即使Ａ可能亏损的一般情形上述结论也成立。     

T611型卧式镗床精化改造分析

国产60—70年代的T611型卧式镗床大多因原结构性能和多年使用的原因，有必要进行精化改造。本文分析了T611型卧式镗床存在的一些弊端，并从数显改造等方面有针对性的介绍了一些精化改造的措施和方法，同时分析了改造后所具有的性能特点。     

双原子分子的Stretching效应

系统分析50个双原子分子的a，b值，确定双原子分子的软度．     

求解对称矩阵特征问题的精化Arnoldi方法

研究在有限精度下,如何用精化Arnoldi方法求对称矩阵的一组正交程度可达到机器精度的近似特征向量组.首先给出精化Ritz向量的一个新的表达式,该表达式表明理论上对不同的近似特征值,一般地无法保证精化Arnoldi方法所确定的精化Ritz向量组是正交的.进一步,采用再正交化方法便可得到一组正交化程度可达到机器精度的标准正交近似特征向量组,最后的数值结果验证结论的准确性,同时再正交化后得到新的近似对的残量几乎是不变的.     

增感染料分子电子能级的计算

本文用分子轨道图形理论推导出喹啉菁、硫碳菁、氧碳菁和硒碳菁等十六个增感染 料分子的本征多项式，并求解了这些分子的电子能级。用线性回归分析方法确定了交换 积分β，由此得到的染料分子的激活能和还原半波电位值均与实验数据符合得很好。全 部计算工作只需ＴＩ—５８型袖珍计算器即可完成。     

薄板稳定性分析中的一个精化不协调元

基于直接刚度法建立的十二参数任意四边形薄板精化不协调单元,采用三次和线性插值函数的某种组合构造了其单元几何刚度阵,并着重对几何刚度阵进行精化,给出了精化几何刚度阵显式。数值结果表明,其收敛速度快、精度高、易于实施。     

基于弹性通解的矩形深梁的精化理论

从均匀各向同性梁的二维问题出发, 得到此问题的一维理论. 根据弹性理论, 借助于Papkovich-Neuber通解和Lur’e算子方法, 不作预先假设, 构造了矩形梁的精化理论, 表明梁的位移和应力分量可以由梁的中面挠度和转角表示. 通过梁的精化理论, 得出了自由表面弹性梁的精确方程, 由两个控制微分方程组成: 四阶方程和超越方程. 对于受表面横向载荷的梁, 近似方程可以直接从精化梁理论推出, 并与Timoshenko梁理论的控制方程很相似. 利用两个例子, 对比本文与线弹性理论获得的结果, 表明新精化理论能获得比Levinson的梁理论更好的结果.     

隐式重新启动精化Lanczos双对角化方法

给出一种计算少数几个最小奇异三元组的隐式重新启动精化Lanczos双对角化方法,采用调和Ritz值作为位移,有效地逼近大规模矩阵的小奇异值的奇异三元组,算法用精化残量,精化奇异向量和精化Rayleigh商,同时采取压缩技术压缩掉已经求出的小的奇异三元组,数值实验表明,算法更有效地求解大规模矩阵的小奇异三元组,收敛速度也快.     

面向方面程序的精化演算框架

面向方面程序越来越受到软件工程领域研究者的重视.精化演算已经广泛应用到各种程序设计中,以消除开发过程中的错误.利用精化演算和统一程序理论定义一种面向方面程序的精化演算框架.在该框架中,首先定义了面向方面程序的精化,在此基础上,提出了12条可靠的精化规则,最后用一个例子说明了该框架的可行性.