Towards A Theory of Hierarchical Modeling

走向分层建模理论

• 批准号: 9106419
• 负责人: Robert Geist
• 金额: $ 9.94万
• 依托单位: Clemson University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1991
• 资助国家: 美国
• 起止时间: 1991-09-15 至 1994-02-28
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9106419&HistoricalAwards=false
• 关键词: Towards; Theory; Hierarchical; Modeling

Current performance and reliability modeling techniques and tools are seen to be, by themselves, largely inadequate for obtaining realistic predictions of the behavior of very large scale electronics systems. Numerous authors have experienced difficulties with tractability of large scale models, and have resorted to a variety of specialized, ad hoc techniques. The focus of this project is the development of a high-level formalism (language) for the specification, composition, decomposition, and solution of large scale performance and reliability models. It is expected that this formalism for model composition will aid the modeler in assembling models of these large scale systems and in understanding the errors as well as the gain in efficiency achieved by alternative model composition structures. An automated model pipefitting system is expected to emerge.

目前的性能和可靠性建模技术和工具本身很大程度上不足以获得超大规模电子系统行为的实际预测。 许多作者都在大型模型的易处理性方面遇到了困难，并诉诸了各种专门的临时技术。 该项目的重点是开发一种高级形式主义（语言），用于大规模性能和可靠性模型的规范、组合、分解和解决方案。 预计模型组合的这种形式将帮助建模者组装这些大型系统的模型，并理解错误以及通过替代模型组合结构实现的效率增益。 自动化模型管道安装系统有望出现。