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.

0233490Sanders该奖项支持来自伊利诺斯州城市香槟大学的初级教师William Sanders和两名学生与德国多特蒙德大学信息科学系的Peter Kemper合作。该项目将侧重于在莫比乌斯框架内使用Kronecker表示和分析方法。Moebius框架由伊利诺伊大学开发，通过支持多种不同的模型解决方法以及多种建模形式化的模型规范，使大型系统模型的验证成为可能。德国研究小组研究的Kronecker表示，利用复杂模型通常由子模型组成这一事实，提出了一种处理大型模型的数学方法，用于功能和定量分析，并彻底改变了基于状态的模型的表示和求解方式。这项联合研究将为模型组合提供一种形式化语义，允许研究Kronecker技术在新模型组合形式化中的使用，并使使用与Moebius工具已经支持的其他方法一起开发的Kronecker方法成为可能。