检索结果-内蒙古大学图书馆

Towards unified system modeling with the ModelicaML UML profile

Towards unified system modeling with the ModelicaML UML prof...

1st International Workshop on Equation-Based Object-Oriented Languages and Tools, EOOLT 2007 - In Conjunction with the ECOOP 2007 Conference

作者： Pop, Adrian Akhvlediani, David Fritzson, Peter Programming Environments Lab Department of Computer and Information Science Linköping University SE-581 83 Linköping Sweden

In order to support the development of complex products, modeling tools and processes need to support co-design of software and hardware in an integrated way. Modelica is the major object-oriented mathematical modeling language for component-oriented modeling of complex physical systems and UML is the dominant graphical modeling notation for software. In this paper we propose ModelicaML UML profile as an integration of Modelica and UML. The profile combines the major UML diagrams with Modelica graphic connection diagrams and is based on the System Modeling Language (SysML) profile.

关键词： Unified Modeling Language

来源：评论

学校读者我要写书评

暂无评论

NestStepModelica - Mathematical modeling and bulk-synchronous parallel simulation

NestStepModelica - Mathematical modeling and bulk-synchronou...

引用

8th International Workshop on Applied Parallel Computing, PARA 2006

作者： Kessler, Christoph Fritzson, Peter Eriksson, Mattias PELAB Programming Environments Lab. Dept. of Computer Science Linköping University SE-581 83 Linköping Sweden

ISBN: (纸本)9783540757542

Many parallel computing applications are used for simulation of complex engineering applications and/or for visualization. To handle their complexity, there is a need for raising the level of abstraction in specifying such applications using high level mathematical modeling techniques, such as the Modelica language and technology. However, with the increased complexity of modeled systems, it becomes increasingly important to use today's and tomorrow's parallel hardware efficiently. Automatic parallelization is convenient, but may need to be combined with easy-to-use methods for parallel programming. In this context, we propose to combine the abstraction power of Modelica with support for shared memory bulk-synchronous parallel programming including nested parallelism (NestStepModelica), which is both flexible (can be mapped to many different parallel architectures) and simple (offers a shared address space, structured parallelism, deterministic computation, and is deadlock-free). We describe NestStepModelica and report on first results obtained with a prototype implementation. © Springer-Verlag Berlin Heidelberg 2007.

关键词： Parallel processing systems

来源：评论

学校读者我要写书评

暂无评论

Robust initialization of differential algebraic equations

Robust initialization of differential algebraic equations

引用

1st International Workshop on Equation-Based Object-Oriented Languages and Tools, EOOLT 2007 - In Conjunction with the ECOOP 2007 Conference

作者： Bachmann, Bernhard Aronsson, Peter Fritzson, Peter Dept. Mathematics and Engineering University of Applied Sciences D-33609 Bielefeld Germany MathCore Engineering AB Teknikringen 1F SE-583 30 Linköping Sweden Department of Computer Science PELAB Programming Environments Lab Linköping University SE-581 83 Linköping Sweden

This paper describes a new solution method applied to the problem initializing DAEs using the Modelica language. Modelica is primarily an object- oriented equ-tion-based modeling language that allows specification of mathematical models of complex natural or man-made systems. Major features of Modelica are the multidomain modeling capability and the reusability of model components corresponding to physical objects, which allow to build and simulate highly complex systems. However, initializing such models has been quite cumbersome, since initial equations have to be pro-vided at the system level, where the user needs to know details on the underlying transformation and index-reduction algorithms, that in general are applied to simulate a Modelica model.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

Characterizing Java™ application performance

Characterizing Java™ application performance

引用

International Parallel and Distributed Processing Symposium, IPDPS 2003

作者： Lashari, Ghulam Srinivas, Suresh High Performance Programming Environments SGI United States Emerging Platforms Lab Intel Corporation United States

ISBN: (纸本)0769519261

Managed runtime are becoming standard execution environments for a variety of applications written in Java, C# etc. Comprehending their performance is a very challenging exercise since these applications spend time not only in user written code, but in system libraries, the underlying runtime, dynamic compilers, native libraries, and operating system services. In this paper we describe our work in providing a model to comprehend the JRE (Java Runtime environments) application performance. We validate this model with measurement and analysis of a wide variety of Java applications (industry standard benchmarks such as SPEC JVM98, real server-side Java applications (Java Servlet Engine TomCat), interactive graphical applications (swing based GUI)) on the SGI IRIX platform. We also developed new benchmarks for measuring and characterizing GUI performance. Each of the benchmarks have surprisingly different characteristics and so do the real world applications. We hope this paper will provide the necessary framework and a blueprint for application developers to characterize their applications. © 2003 IEEE.

关键词： Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

Automatic Roundtrip Engineering

引用

Electronic Notes in Theoretical Computer Science 2003年第5期82卷 33-41页

作者： Uwe Aßmann Research Center for Integrational Software Engineering (RISE) Programming Environments Lab (PELAB) Linköpings Universitet Sweden

A systematic method for roundtrip engineering of systems, automatic roundtrip engineering (ARE) , is presented. It relies on the automatic derivation of inverses for domain transformations. While roundtrip engineering is a well known system engineering method, systematic conditions for its deployment have not yet been formalized, and this is done in the paper. Secondly, ARE is a generic architectural style for different architectural scenarios. To show this, the paper gives a first classification, defining several subclasses of ARE systems: sequenced ARE systems, automatic Model-View-Controller engineering (MVARE), and bidirectional aspect systems ( Beavers ). Sequenced ARE systems extend the ARE principle to chains of transformations. MVARE systems project a domain into a set of simpler ones, simplifying system understanding. Beaving systems generalize aspect-oriented programming to roundtrip engineering. All ARE classes describe different generic application architectures and have a great potential to simplify the construction of roundtrip engineering tools and applications.

关键词：

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：