×

ACRITH-XSC公司

swMATH标识: 15
软件作者: 沃尔特,沃尔夫冈诉。
说明: ACRITH-XSC是一种类似Fortran的编程语言,用于开发自验证的数值算法。这些算法的结果精度高,经计算机验证是正确的。因此,这些计算不需要手工进行误差分析。例如,自验证数值技术已成功地应用于土力学、液晶光学、地下水建模和振动力学等领域的各种工程问题,而传统的浮点方法已经失败了。
除了少数例外,ACRITH-XSC是fortran77的扩展。ACRITH-XSC中可用的各种语言概念在fortran90中也有或多或少相似的形式。ACRITH-XSC的其他特性是专门为数值目的而设计的:数值常量和数据转换、带舍入控制的算术运算符、区间和复区间算术、精确的向量/矩阵算法、点和区间参数的一组扩大的数学标准函数,等等。对于一个被称为“点积表达式”的受限表达式类,ACRITH-XSC提供了一种特殊的表示法,保证这种类型的表达式的计算精度最低,即计算结果和精确解之间没有机器号。在许多算法中,精确的点积是获得高精度的关键。
介绍了ACRITH-XSC的主要语言特点和数值工具,并用典型实例加以说明。与Fortran 90的不同之处将在适当的地方注明。最后给出了一个计算初值问题解连续界的完整示例程序。
主页: http://www2.math.uni-wuppertal.de/~xsc/xsc/history.html
关键词: 程序设计语言ACRITH-XSC;数值算法;FORTRAN语言77;区间算术;精确点积
相关软件: C-XSC公司;C-XSC 2.0版;帕斯卡-XSC;国际图书馆;国际实验室;FORTRAN-SC语言;国际贸易银行;算法693;VPI;mc工具箱;布拉斯;轮廓/偏差;FORTRAN-XSC语言;阿多-C;浅绿色;算法719;算法524;PNM公司;MPFR公司;MPFI公司
参考文献: 48种出版物

按年份引用出版物