Search results: Found 21

Listing 1 - 10 of 21 << page
of 3
>>
Sort by
Application of the cohesive zone model to the analysis of rotors with a transverse crack

Author:
Book Series: Schriftenreihe des Instituts für Technische Mechanik, Karlsruher Institut für Technologie ISSN: 16143914 ISBN: 9783866447912 Year: Volume: 16 Pages: XVII, 183 p. DOI: 10.5445/KSP/1000025401 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Technology (General)
Added to DOAB on : 2019-07-30 20:02:00
License:

Loading...
Export citation

Choose an application

Abstract

Ein Riss im Rotor ruft eine lokale Steifigkeitsänderung hervor. Die vorliegende Arbeit ermittelt die Steifigkeitsänderung einer angerissenen Welle. Dazu wird ein Kohäsivzonenmodell eingesetzt. Das Modell wurde für die erste Rissöffnungsmode bei ebenem Verzerrungszustand in Abhängigkeit der Mehrachsigkeit des Spannungszustandes (Triaxialität) entwickelt. Außerdemwird das Kohäsivzonenmodell bei einem eindimensionalen Kontinuumsrotor als FE Modell ausgeführt.

Coupled model transformations for QoS enabled component-based software design

Author:
Book Series: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner ISSN: 18670067 ISBN: 9783866442719 Year: Volume: 1 Pages: XVI, 297 S DOI: 10.5445/KSP/1000009095 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:01:58
License:

Loading...
Export citation

Choose an application

Abstract

This thesis presents the Palladio Component Model and its accompanying transformations for component-based software design with predictable performance attributes. The use of transformations results in a deterministic relationship between the model and its implementation. The introduced Coupled Transformations method uses this relationship to include implementation details into predictions to get better predictions. The approach is validated in several case studies showing the increased accuracy.

Reconstruction of Software Component Architectures and Behaviour Models using Static and Dynamic Analysis

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

Loading...
Export citation

Choose an application

Abstract

Model-based performance prediction systematically deals with the evaluation of software performance to avoid for example bottlenecks, estimate execution environment sizing, or identify scalability limitations for new usage scenarios. Such performance predictions require up-to-date software performance models. This book describes a new integrated reverse engineering approach for the reconstruction of parameterised software performance models (software component architecture and behaviour).

Process Measurement in Business Process Management : Theoretical Framework and Analysis of Several Aspects

Author:
ISBN: 9783866447899 Year: Pages: XIV, 244 p. DOI: 10.5445/KSP/1000025397 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Business and Management
Added to DOAB on : 2019-07-30 20:01:58
License:

Loading...
Export citation

Choose an application

Abstract

Process measurement deals with the quantification of business process models using process model metrics. This book presents a theoretical framework for the prediction of external process model attributes (as, for example, error-proneness and understandabiltiy) based on internal (structural) attributes. The properties of proposed metrics are analyzed. A visualization technique for metric values is introduced and metrics for process model understandability and granularity are evaluated.

Tool-supported identification of functional concerns in object-oriented code

Author:
ISBN: 9783866444942 Year: Pages: XIV, 196 p. DOI: 10.5445/KSP/1000016551 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

Concern identification aims to find the implementation of a functional concern in existing source code. In this work, concerns are described, using the Hierarchic Concern Model, as gray-boxes containing subconcerns, inputs, and outputs. The inputs and outputs are used as concern seeds to identify data-oriented abstractions of concern implementations, called concern skeletons. The identification approach is based on context free language reachability and supported by a tool, called CoDEx.

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler

Author:
ISBN: 9783866448858 Year: Pages: XXI, 412 p. DOI: 10.5445/KSP/1000028867 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

The Java programming language provides safety and security guarantees such as type safety and its security architecture. They distinguish it from other mainstream programming languages like C and C++. In this work, we develop a machine-checked model of concurrent Java and the Java memory model and investigate the impact of concurrency on these guarantees. From the formal model, we automatically obtain an executable verified compiler to bytecode and a validated virtual machine.

Production cost models with regard to liberalised electricity markets

Author:
ISBN: 9783866442696 Year: Pages: XVIII, 115 p. DOI: 10.5445/KSP/1000009066 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Business and Management
Added to DOAB on : 2019-07-30 20:01:59
License:

Loading...
Export citation

Choose an application

Abstract

This book makes a contribution to the formulation and implementation of production cost models for the modelling of liberalized electricity markets by addressing issues associated with the level of detail in the representation of the underlying power system, the accuracy of the results and the modelling effort. To this end a production cost model was formulated and applied to estimate the short-run marginal cost of the power systems of three important European electricity markets.

Personalizing Simulations of the Human Atria : Intracardiac Measurements, Tissue Conductivities, and Cellular Electrophysiology

Author:
Book Series: Karlsruhe transactions on biomedical engineering / Ed.: Karlsruhe Institute of Technology / Institute of Biomedical Engineering ISSN: 18645933 ISBN: 9783866446465 Year: Volume: 12 Pages: VI, 152 p. DOI: 10.5445/KSP/1000022290 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Technology (General)
Added to DOAB on : 2019-07-30 20:01:59
License:

Loading...
Export citation

Choose an application

Abstract

This work addresses major challenges of heart model personalization. Analysis techniques for clinical intracardiac electrograms determine wave direction and conduction velocity from single beats. Electrophysiological measurements are simulated to validate the models. Uncertainties in tissue conductivities impact on simulated ECGs. A minimal model of cardiac myocytes is adapted to the atria. This makes personalized cardiac models a promising technique to improve treatment of atrial arrhythmias.

Modelling the bird flight : Scientific Report 2007-2010

Author:
ISBN: 9783866447615 Year: Pages: 44 p. DOI: 10.5445/KSP/1000020294 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Technology (General)
Added to DOAB on : 2019-07-30 20:02:00
License:

Loading...
Export citation

Choose an application

Abstract

The aerodynamics of flying birds and insects plays a crucial role in the domain of aeronautical engineering. The energy-efficient construction of winglets for airplanes, the formation flight of tactical aircraft or the drone engineering or military applications are inspired by birds. This holds also for flow and structure simulation of flapping wing motion, taking the unsteady aerodynamics and corresponding wing deformations into account at high flow velocities and flapping frequencies.

The future role of renewable energy sources in European electricity supply : A model-based analysis for the EU-15

Author:
ISBN: 9783866442153 Year: Pages: XVI, 249 p. DOI: 10.5445/KSP/1000007531 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Astronomy (General)
Added to DOAB on : 2019-07-30 20:02:01
License:

Loading...
Export citation

Choose an application

Abstract

Ambitious targets for the use of renewable electricity (RES-E) have been formulated by the EU Commission and the EU Member States. Taking into account technical, economic, and ecological framework conditions of the electricity market in a model-based approach, this book provides a comprehensive, quantitative assessment of the future penetration of renewable electricity in the European electricity market.

Listing 1 - 10 of 21 << page
of 3
>>
Sort by
Narrow your search

Publisher

KIT Scientific Publishing (21)


License

CC by-nc-nd (21)


Language

english (19)

german (2)


Year
From To Submit

2012 (6)

2011 (4)

2010 (3)

2009 (3)

2008 (4)

2006 (1)

-->