ACRITH-XSC公司
ACRITH-XSC是一种类似Fortran的编程语言,用于开发自验证的数值算法。这些算法的结果精度高,经计算机验证是正确的。因此,这些计算不需要手工进行误差分析。例如,自验证数值技术已成功地应用于土力学、液晶光学、地下水建模和振动力学等领域的各种工程问题,而传统的浮点方法已经失败了。\除了少数例外,ACRITH-XSC是FORTRAN 77的扩展。ACRITH-XSC中可用的各种语言概念在fortran90中也有或多或少相似的形式。ACRITH-XSC的其他特性是专门为数值目的而设计的:数值常量和数据转换、带舍入控制的算术运算符、区间和复区间算术、精确的向量/矩阵算法、点和区间参数的一组扩大的数学标准函数,等等。对于一个被称为“点积表达式”的受限表达式类,ACRITH-XSC提供了一种特殊的表示法,保证这种类型的表达式的计算精度最低,即计算结果和精确解之间没有机器号。在许多算法中,精确的点积是获得高精度的关键。\第二部分介绍了ACRITH-XSC的主要语言特点和数值工具,并用典型实例加以说明。与Fortran 90的不同之处将在适当的地方注明。最后给出了一个计算初值问题解连续界的完整示例程序。
此软件的关键字