Search results: Found 20

Listing 1 - 10 of 20 << page
of 2
>>
Sort by
Configurable Software Performance Completions through Higher-Order Model Transformations

Author:
Book Series: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner ISSN: 18670067 ISBN: 9783866449909 Year: Volume: 8 Pages: XII, 447 p. DOI: 10.5445/KSP/1000033385 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:02:02
License:

Loading...
Export citation

Choose an application

Abstract

Chillies is a novel approach for variable model transformations closing the gap between abstract architecture models, used for performance prediction, and required low-level details. We enable variability of transformations using chain of generators based on the Higher-Order Transformation (HOT). HOTs target different goals, such as template instantiation or transformation composition. In addition, we discuss state-dependent behavior in prediction models and quality of model transformations.

On the Use of Model Order Reduction Techniques for the Elastohydrodynamic Contact Problem

Author:
Book Series: Schriftenreihe des Instituts für Technische Mechanik, Karlsruher Institut für Technologie ISSN: 16143914 ISBN: 9783731503699 Year: Volume: 27 Pages: XXXII, 125 p. DOI: 10.5445/KSP/1000046871 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Technology (General)
Added to DOAB on : 2019-07-30 20:01:58
License:

Loading...
Export citation

Choose an application

Abstract

The objective of this work is to develop a method which solves the nonlinear elastohydrodynamic contact problem in a fast and precise way using model order reduction techniques. The reduction procedure is based on a projection onto a low-dimensional subspace using different hyper-reduction procedures. The method provides fast and highly accurate reduced order models for stationary and transient, Newtonian and Non-Newtonian EHD line and point contact problems.

An Access Definition and Query Language : Towards a Unified Access Control Model

Author:
ISBN: 9783731500889 Year: Pages: IX, 216 p. DOI: 10.5445/KSP/1000036121 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:01:59
License:

Loading...
Export citation

Choose an application

Abstract

In this work we suggest a meta access control model emulating established access control models by configuration and offering enhanced features like the delegation of rights, ego-centered roles, and decentralized administration. The suggested meta access control model is named ''Access Definition and Query Language'' (ADQL). ADQL is represented by a formal, context-free grammar allowing to express the targeted access control model, policies, facts, and access queries as a formal language.

Specification Languages for Preserving Consistency between Models of Different Languages

Author:
Book Series: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner ISSN: 18670067 ISBN: 9783731507840 Year: Volume: 24 Pages: XX, 440 p. DOI: 10.5445/KSP/1000081446 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:02:02
License:

Loading...
Export citation

Choose an application

Abstract

When complex IT systems are being developed, the usage of several programming and modelling languages can lead to inconsistencies that yield faulty designs and implementations. To address this problem, this work contributes a classification of consistency preservation challenges and an approach for preserving consistency. It is formalized using set theory and monitors changes to avoid matching and diffing problems. Three new languages that follow this preservation approach are presented.

Model Transformation Languages with Modular Information Hiding

Author:
Book Series: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner ISSN: 18670067 ISBN: 9783731503460 Year: Volume: 17 Pages: XX, 360 p. DOI: 10.5445/KSP/1000045910 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:02:02
License:

Loading...
Export citation

Choose an application

Abstract

Model transformations, together with models, form the principal artifacts in model-driven software development. Industrial practitioners report that transformations on larger models quickly get sufficiently large and complex themselves. To alleviate entailed maintenance efforts, this thesis presents a modularity concept with explicit interfaces, complemented by software visualization and clustering techniques. All three approaches are tailored to the specific needs of the transformation domain.

The method of densities for non-isotropic Boolean models

Author:
ISBN: 9783731503293 Year: Pages: 122 p. DOI: 10.5445/KSP/1000045101 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Mathematics
Added to DOAB on : 2019-07-30 20:01:58
License:

Loading...
Export citation

Choose an application

Abstract

This book deals with the Boolean model, a basic model of stochastic geometry for the description of porous structures like the pore space in sand stone. The main result is a formula which gives in two and three dimensions a series representation of the most important model parameter, the intensity, using densities of so-called harmonic intrinsic volumes, which are new observable geometric quantities.

Phase-field modeling of microstructural pattern formation in alloys and geological veins

Author:
Book Series: Schriftenreihe des Instituts für Angewandte Materialien, Karlsruher Institut für Technologie ISSN: 21929963 ISBN: 9783731504917 Year: Volume: 58 Pages: XVIII, 201 p. DOI: 10.5445/KSP/1000052440 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Technology (General)
Added to DOAB on : 2019-07-30 20:01:58
License:

Loading...
Export citation

Choose an application

Abstract

With the advent of high performance computing, the application areas of the phase-field method, traditionally used to numerically model the phase transformation in metals and alloys, have now spanned into geoscience. A systematic investigation of the two distinct scientific problems in consideration suggest a strong influence of interfacial energy on the natural and induced pattern formation in diffusion-controlled regime.

Radar Forward Operator for Verification of Cloud Resolving Simulations within the COSMO Model

Author:
Book Series: Wissenschaftliche Berichte des Instituts für Meteorologie und Klimaforschung des Karlsruher Instituts für Technologie ISSN: 1795619 ISBN: 9783731501725 Year: Volume: 62 Pages: VI, 124 p. DOI: 10.5445/KSP/1000038411 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Physics (General)
Added to DOAB on : 2019-07-30 20:01:59
License:

Loading...
Export citation

Choose an application

Abstract

In this work, various simulation methods of the effective radar reflectivity factor and its attenuation by atmospheric particles from the variables of the COSMO model have been implemented within a so-called radar forward operator, and its output was compared to measurements from the German radar network. To perform a statistically reliable model verification, contoured frequency by altitude diagrams (CFADs) were used and refined.

Flexible Views for View-based Model-driven Development

Author:
Book Series: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner ISSN: 18670067 ISBN: 9783731502760 Year: Volume: 15 Pages: XXI, 324 p. DOI: 10.5445/KSP/1000043437 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:01:59
License:

Loading...
Export citation

Choose an application

Abstract

Modern software development faces the problem of fragmentation of information across heterogeneous artefacts in different modelling and programming languages. In this dissertation, the Vitruvius approach for view-based engineering is presented. Flexible views offer a compact definition of user-specific views on software systems, and can be defined the novel ModelJoin language. The process is supported by a change metamodel for metamodel evolution and change impact analysis.

Work-hardening of dual-phase steel

Author:
Book Series: Schriftenreihe Kontinuumsmechanik im Maschinenbau / Karlsruher Institut für Technologie, Institut für Technische Mechanik - Bereich Kontinuumsmechanik ISSN: 2192693X ISBN: 9783731505136 Year: Volume: 7 Pages: XIII, 175 p. DOI: 10.5445/KSP/1000054047 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Technology (General)
Added to DOAB on : 2019-07-30 20:02:01
License:

Loading...
Export citation

Choose an application

Abstract

Dual-phase steels exhibit good mechanical properties due to a microstructure of strong martensitic inclusions embedded in a ductile ferritic matrix. This work presents a two-scale model for the underlying work-hardening effects; such as the distinctly different hardening rates observed for high-strength dual-phase steels. The model is based on geometrically necessary dislocations and comprises the average microstructural morphology as well as a direct interaction between the constituents.

Listing 1 - 10 of 20 << page
of 2
>>
Sort by
Narrow your search

Publisher

KIT Scientific Publishing (20)


License

CC by-sa (20)


Language

english (20)


Year
From To Submit

2019 (1)

2018 (2)

2017 (2)

2016 (5)

2015 (3)

2014 (3)

2013 (4)