迪姆西姆

网络物理系统的自动量纲分析。建立一个网络物理系统的第一步是建立一个能捕捉相关行为的忠实模型。量纲一致性提供了对这些模型和其中所代表的物理量的正确性的第一个检验。虽然在物理科学中,人工量纲分析是用来找出公式中的错误,但这种方法不适用于具有许多相互作用组件的复杂网络物理系统。我们提出了DimSim,一个在Simulink中自动检查网络物理系统的尺寸一致性的工具。DimSim从Simulink模型中以模块化的方式为每个子系统生成一组约束,并使用Gauss-Jordan消去法求解。该工具依赖于用户提供的标注,它可以检测给定标注约束中的不一致性和不规范性。在维度不一致的情况下,DimSim可以提供一组最小的约束来捕获不一致的原因。我们已经将DimSim应用于来自不同嵌入式系统领域的大量实例。实验结果表明,DimSim中的量纲分析是可扩展的,能够发现网络物理系统模型中的关键错误。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


参考文献中的数学1条)

显示结果1/1。
按年份排序(引用)

  1. 哦,山姆;萨哈,印地安;Shankar,Natarajan:网络物理系统的自动量纲分析(2012)ioport公司