Based on the high-order multi-type π calculus theory, a dynamic architecture description language D-ADL is proposed. 基于高阶多型π演算理论,提出了动态体系结构描述语言D-ADL(dynamicarchitecturedescriptionlanguage)。
The precision of derived definite integral formula by high-order curve fitting like thrice and quartic proximate curve is higher than Simpson formula and the C language original program to realize the above algorithm is presented. 导出比Simpson公式精度更高的三次、四次曲线近似的高次曲线拟合定积分公式,并给出实现该算法的C语言源程序。