两种解线性方程组方法的C程序实现

线性方程组的数值解法一般有两类:直接法和迭代法。直接法中的平方根法,就是利用对称正定矩阵的三角分解而得到的求解对称正定方程组的一种有效方法。迭代法中的雅克比迭代法是一种比较常用的方法,它公式简单,每迭代一次只需计算一次矩阵和向量乘法。本文通过示例介绍了这两种解线性方程组的方法的C程序实现。     

一种实用的读C程序方法

C语言是一门结构化程序设计语言，读程序能力的提高对于学好C语言很有帮助，对培养程序设计思想也很重要，只有读程序的能力提高了，才能写出好的程序来。列表分析法可以记录下程序执行过程中变量值的变化，从而很从容地读懂C程序。     

CCodeExtractor:一种针对C程序自动化的函数提取方法

随着程序规模和复杂性的增加,代码重构在改善软件质量、性能以及提高软件的扩展性和维护性等方面至关重要。目前的Eclipse中,C源代码重构工具的函数提取只能处理一些简单的代码,且处理过程需要人工参与,不能自动化处理。为此,提出一种C源代码级别自动化的函数提取方法(CCodeExtractor),它通过指定提取条件,在保证语义一致的前提下,将符合条件的代码片段自动分离成一个单独的函数,并将其放到新文件中,而原代码片段替换成了一个函数调用。为了验证CCodeExtractor的有效性,结合循环分析和优化在实际应用中的广泛应用,在LLVM上实现了一个提取循环的工具,将程序中满足条件的for循环封装成单独的函数。在实验中,使用该工具对6个不同规模的程序进行了测试并且对比了变换前后程序运行的结果。实验结果表明,CCodeExtractor代码提取方法在保证程序语义不变的前提下,适用于不同规模的程序。     

一种实用的读C程序方法

C语言是一门结构化程序设计语言,读程序能力的提高对于学好C语言很有帮助,对培养程序设计思想也很重要,只有读程序的能力提高了,才能写出好的程序来。列表分析法可以记录下程序执行过程中变量值的变化,从而很从容地读懂C程序。     

对线性方程组数值解法中迭代法及收敛性的研究

随着计算机技术的普及和发展,线性方程组的数值解法在数值代数、控制论、电力系统理论、经济数学、统计学等众多领域中有着广泛的应用,受到了许多数学工作者的关注。本文中,主要考虑线性方程组数值解法的经典迭代法如Jacobi、Gauss拋Seidel、JacobiandSOR迭代法等,并对这些数值解法及收敛性进行证明和探讨。     

面向MPP Fortran的程序自动并行化

ＭＰＰ Ｆｏｒｔｒａｎ是Ｃｒａｙ公司为分布存储、全局编址的Ｃｒａｙ Ｔ３Ｄ ＭＰＰ系统推出的一种数据并行语言。本文首先介绍了ＭＰＰ Ｆｏｒｔｒａｎ的主要特点，然后以该语言为例，对面向ＭＰＰ系统程序自动并行化的基本内容以及关键技术进行了分析和探讨。     

面向Java的实用别名分析技术

别名分析对程序分析起着十分重要的作用,不进行别名分析或分析 算法选择不当,可能会影响分析结果的可信度,甚至会导致分析析完全不正确,因此给出了一种适用于Ｊａｖａ程序的别名分析技术,并给出了分析算法的形式化描述。     

求解Cauchy型奇异积分方程的数值方法

1.引 言 断裂力学中许多裂纹问题的数学模型都可归结为奇异积分方程(SIE)[1,2].由于这些奇异积分方程的封闭解一般情况下都难以得到,因而数值方法受到广泛的注意.Muskhelishvili[3]对奇异积分方程的一般理论进行了深入的研究.这些研究成果为奇异积分方程的求解,不论     

热弹塑性断裂分析有限元软件系统TEPFA

本文简要介绍了热弹塑性断裂分析有限元软件系统ＴＥＰＦＡ的主要功能、使用技术和基本结构。该系统有如下主要功能：（１）采用自动化固有应变法模拟焊接残余应力；（２）热／残余应力存在时的弹塑性断裂分析；（３）采用节点力释放技术模拟稳态裂纹的扩展。     

具有间断系数热传导方程的局部间断Galerkin方法

本文给出了求解具有间断系数热传导方程稳定的局部间断Galerkin方法.理论表明,当采用k阶多项式有限元空间逼近时,该方法连续时间的L~2模误差估计阶为O(h~(k+1/2)).文中分别应用显式和隐式时间离散求解局部间断Galerkin格式,数值算例验证了方法的有效性和理论结果.     

基于腕力传感器的机器人位置触觉

作为对常规位置触觉的一种替代，本文展示了在机器人手指尖的根部安装腕力传感器，并利用其测量数据来确定上述位置信息的方法，文中提出了一种带有重力效应补偿的数学模型，并对其解的唯一性和精度进行了论证和分析，最后，还给出了一个采用美国产ＬｏｒｄＦＴ３３５ｘ腕力传感器作为位置触觉的实验结果。     

切比契夫序列多点估值的两个新方法

自1.引言众所周知,切比契夫多项式在工程实践中使用非常普遍,广泛应用于计算流体力学、计算空气动力学和计算电磁学等科学和工程计算中.这些问题通常可以归结为偏微分方程数值解,而切比契夫序列估     

刚性多滞量积分微分方程的BDF方法

本文研究了求解刚性多滞量Volterra型积分微分方程的BDF方法的非线性稳定性和计算有效性．经典BDF方法被改造用于求解一类刚性多滞量Volterra型积分微分方程,数值试验表明所给出的方法是高度有效的．此外,证明了在适当条件下,其扩展的BDF方法是渐近稳定和整体稳定的．     

C语言中EGA／VGA图形显示象素的读写

本文介绍了ＥＧＡ／ＶＧＡ显示器在图显示方式下，用ＭｉｃｒｏｓｏｆｔＣ６．０实现象素读写的四种方法。