US-Germany Cooperative Research: Analysis of Multi-Paradigm Moebius Models using Kronecker-Based Techniques

美德合作研究：使用基于克罗内克的技术分析多范式莫比乌斯模型

• 批准号: 0233490
• 负责人: William Sanders
• 金额: $ 2万
• 依托单位: University of Illinois at Urbana-Champaign
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2003
• 资助国家: 美国
• 起止时间: 2003-02-01 至 2006-01-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0233490&HistoricalAwards=false
• 关键词: US; Germany; Cooperative; Research; Analysis

0233490SandersThis award supports William Sanders, a junior faculty member, and two students from the University of Illinois-Urban-Champaign in a collaboration with Peter Kemper of the Department of Information Science at the University of Dortmund, Germany. The project will focus on the use of Kronecker representations and analysis methods within the Moebius framework. The Moebius framework was developed at the University of Illinois and makes validation of large systems models possible by supporting many different model solution methods as well as model specification in multiple modeling formalisms. Kronecker representations, studied by the German group, area a mathematical way to handle large models for functional and quantitative analysis by exploiting the fact that complex models are often built by composition of submodels, and have revolutionized the way state-based models are represented and solved. The joint research will provide a formal semantics for model composition that will allow for investigating the use of Kronecker techniques for new model composition formalisms, and will make it possible to use Kronecker methods developed with other methods already supported by the Moebius tool.

0233490SANDERSERSER奖颁奖典礼支持初级教师William Sanders，以及来自伊利诺伊州 - 城市 - Champaign大学的两名学生与德国多特蒙德大学信息科学系的彼得·肯珀（Peter Kemper）合作。 该项目将集中于Moebius框架内的Kronecker表示和分析方法的使用。 Moebius框架是在伊利诺伊大学开发的，并通过支持许多不同的模型解决方案方法以及多种建模形式主义的模型规范来验证大型系统模型。 由德国集团研究的Kronecker表示，是一种数学方式来处理大型模型来处理功能和定量分析的方法，该事实通常是通过子模型组成建立复杂模型的事实，并彻底改变了基于州的模型的代表和求解的方式。 联合研究将为模型组成提供正式的语义，该语义将允许研究Kronecker技术对新模型组成形式主义的使用，并将可以使用Moebius工具已经支持的其他方法开发的Kronecker方法。