Freedom From Choice and the Power of Models - in Honor of Alberto Sangiovanni-Vincentelli.

ISPD(2019)

引用 2|浏览46
暂无评分
摘要
Discovery, invention, and design are all about models. When we say "Joseph Priestly discovered oxygen in 1774," we do not mean that Priestly dug up a canister of oxygen, recognized it as something new, and released it, for the first time, into the air. We mean instead that Priestly came up with a model for the composition of air and the role of one of its components. The model was the discovery, not the O$_2$ molecule. Models in engineering and science are strongly affected by the modeling paradigm within which a model is constructed. Priestly's paradigm was firmly rooted in a theory of phlogiston, a fire-like element released in combustion, and his inability to break out of this rut made his work more like idiosyncratic philosophy than like science. The constraints of a modeling paradigm can be debilitating, but at the same time, they are essential. The constraints define the "platform" in "platform-based design." No effective modeling paradigm lacks constraints, and those constraints do not just limit our thinking, they also enable our thinking. In engineering, constraints are even more important because models that cannot be turned into real, working systems are not useful models. Whereas in science the value of a model lies in how well it matches a pre-existing physical system, in engineering, the value of a manufactured physical system lies in how well it matches a model. Sangiovanni-Vincetelli has pointed out that modeling constraints provide a "freedom from choice" that makes it easier to build models for which we can create matching physical realizations. Because of this, engineers strive to grow the number of relevant modeling paradigms, those for which we can build effective physical realizations, whereas scientists strive to shrink the number of relevant paradigms, those needed to explain the physical world.
更多
查看译文
关键词
modeling, platform-based design
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要