Krylov子空间投影法研究进展

Ｋｒｙｌｏｖ子空间投影法是一类非常有效的大型稀疏线性代数方程组解法，已被广泛应用于各种领域，随着左右空间Ｌｍ，Ｋｍ的不同取法可以得到许多人们熟知的方法．本文按矩阵Ｈｍ的不同类型，即为上Ｈｅｓｓｅｎｂｅｒｙ阵还是三对角阵将Ｋｒｙｌｏｖ子空间投影法分成两大类，从每步迭代是否具有最优性和方法的存储量、计算量等方面对Ｋｒｙｌｏｖ子空间法及其最新进展进行评述，指出Ｋｒｙｌｏｖ子空间法的局限及今后的研究方向．     

UNIX系统源语言调试器的分析

源语言调试器是程序员不可缺少的软件开发工具。本文从介绍UNIX系统程序调试的基本思想入手,较详细地分析了UNIX系统源语言调试器的实现,阐述了源语言调试器实现中的几个主要问题。     

加工硬质合金端铣刀刀槽时的工艺调整计算

硬质合金端铣刀刀体上的刀槽，通常将设计为槽底与铣刀轴线倾斜δ角，槽侧壁与铣刀轴线倾角为ω且偏移一个距离为ｅ，以使刀齿装夹在刀体上后获得端铣刀所需的几何角度。本文主要论述在万能铣床上铣削铣刀体上具有δ、ω、ｅ的刀槽时必要的工艺调整，利用矢量及座标转换推导了加工刀槽时必要的参数计算公式，为高效率、高质量地进行铣刀体刀槽的加工提供了一种精确可行的参数计算方法。     

我国土地资源可持续发展与利用

通过对我国土地资源特征及利用现状 ,分析了我国土地利用中存在的主要问题 ,进一步提出了实施土地资源可持续利用的具体对策     

滚齿切削厚度的计算

本文提出了滚齿时基面内切削厚度的计算方法．该方法可作为深入研究滚齿切削过程的理论基础．     

中小企业实施信息化的有效途径

分析了中小企业信息化过程中存在的问题，结合具体实例论述了中小企业有效实施信息化战略的方法和途径。     

卡尔曼滤波过程的稳定性研究

卡尔曼滤波器的稳定性并不能保证实际的滤波器算法具有收敛性,而传统的关于滤波发散的判定方法是基于量测不能出现野值这一严格的假设条件,具有一定局限性;并且通常关于滤波发散只是一种定性的描述,具有一定模糊性。为此,考虑到量测可能出现野值的情况,从滤波发散的具体数学形式出发,提出了卡尔曼滤波过程的稳定性概念,在此基础上给出了滤波发散的判定定理,既消除了通常关于滤波发散描述的模糊性,又降低了通常判定方法的要求。     

武夷山市红壤资源开发利用评价

分析了武夷山市红壤是在中亚热带常绿阔叶林的生物环境影响下,经过明显的富铝化过程和旺盛的生物循环过程而发育形成的.并针对红壤瘦、酸、粘特性,生产力水平不高及水土流失与洪涝灾害的潜在威胁性等三个问题,提出通过健全、完善红壤资源管理体系,建设水土资源环境保护体系,增加投入、培肥土壤、提高产出及发展生态农业等措施以实现对红壤资源的合理开发利用.     

多参数Wiener过程平方函数积分的重对数律

设Ｗ（ｔ）是ｄ维参数Ｗｉｅｎｅｒ过程，我们在此文中证明     

紧度量空间中的不动点定理

在紧度量空间中讨论了压缩型和膨胀型不动点定理 ,推广和改进了 [2 ]和 [5 ]中的若干结果