×

DimSim公司

swMATH ID: 9874
软件作者: Owre,Sam;因德拉尼尔·萨哈;Natarajan Shankar
描述: 计算机物理系统的自动量纲分析。构建网络物理系统的第一步是构建一个能够捕获相关行为的忠实模型。维度一致性是对此类模型及其所表示物理量的正确性的第一次检查。虽然物理科学中使用手动维度分析来发现公式中的错误,但这种方法无法扩展到具有许多交互组件的复杂网络物理系统。我们提供了DimSim,这是一个自动检查Simulink中建模的网络物理系统的维度一致性的工具。DimSim以模块化的方式从Simulink模型为每个子系统生成一组约束,并使用Gauss-Jordan消元法进行求解。该工具依赖于用户提供的尺寸标注,它可以检测给定尺寸约束中的不一致和规格不足。在维度不一致的情况下,DimSim可以提供捕获不一致原因的最小约束集。我们已经将DimSim应用于不同嵌入式系统领域的许多示例。实验结果表明,DimSim中的量纲分析具有可扩展性,能够发现网络物理系统模型中的关键错误。
主页: http://link.springer.com/chapter/10.1007%2F978-3-642-32759-9_30
关键词: 计算机物理系统;同步链接;量纲分析;高斯-乔丹消元;不可满足的堆芯
相关软件: Simulink公司
引用于: 0个文档