面向分析驱动的科学软件体系结构:抽象数据类型演算的案例

摘要

本文从三个分析路径来探讨科学软件体系结构。每条路径检查由耦合微分方程控制的多物理现象的离散时间进展。新的面向对象的Fortran 2003构造为抽象数据类型(ADT)演算提供了正式语法。第一个分析使用传统的面向对象软件设计指标来演示与演算相关的高内聚和低耦合。从计算复杂性理论的角度进行的第二项分析表明，一个比Rouson等人所考虑的更有代表性的bug搜索策略。数学。柔软。34(1)(2008))减少了在一个具有λ总行的代码中从O(λ²)到O(λ log .₂λ)，而在ADT演算的上下文中，它又变得几乎与整体代码大小无关。第三个分析来自信息理论，ADT演算在一定程度上简化了开发人员的通信，因为当开发人员向多物理包中添加新的物理时，ADT演算可以减少界面信息内容的增长。

科学的规划

可伸缩计算的复杂性

摘要

版权

更多相关文章