期刊
ADVANCED ENGINEERING MATERIALS
卷 14, 期 9, 页码 810-817出版社
WILEY-V C H VERLAG GMBH
DOI: 10.1002/adem.201200109
关键词
-
资金
- AFOSR [FA9550-11-1-0199]
- ONR [N00014-10-1-0562, N00014-10-10841]
An important objective in materials design is to develop a systematic methodology for replacing unavailable or expensive material building blocks by simpler and abundant ones, while maintaining or improving the functionality of the material. The mathematical field of category theory provides a formal specification language which lies at the heart of such a methodology. In this paper, we apply material ologs, category-theoretic descriptions of hierarchical materials, to rigorously define a process by which material building blocks can be replaced by others while maintaining large-scale properties, to the extent possible. We demonstrate the implementation of this approach by using algebraic techniques to predict concrete conditions needed for building block replacement. As an example, we specify structurefunction relationships in two systems: a laminated composite and a structurefunction analogue, a fruit salad. In both systems we illustrate how ologs provide us with a mathematical tool that allows us to replace one building block with others to achieve approximately the same functionality, and how to use them to model and design seemingly distinct physical systems with a consistent mathematical framework.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据