Report
Refine
Year of publication
- 2012 (15) (remove)
Document Type
- Report (15) (remove)
Has Fulltext
- yes (15)
Keywords
- Sportentwicklung (2)
- Sportstättenplanung (2)
- Sportwissenschaft (2)
- Stadtplanung (2)
Faculty / Organisational entity
SHIM is a concurrent deterministic programming language for embedded systems built on rendezvous communication. It abstracts away many details to give the developer a high-level view that includes virtual shared variables, threads as orthogonal statements, and deterministic concurrent exceptions.
In this paper, we present a new way to compile a SHIM-like language into a set of asynchronous guarded actions, a well-established intermediate representation for concurrent systems. By doing so, we build a bridge to many other tools, including hardware synthesis and formal verification. We present our translation in detail, illustrate it through examples, and show how the result can be used by various other tools.
One of the fundamental problems in computational structural biology is the prediction of RNA secondary structures from a single sequence. To solve this problem, mainly two different approaches have been used over the past decades: the free energy minimization (MFE) approach which is still considered the most popular and successful method and the competing stochastic context-free grammar (SCFG) approach. While the accuracy of the MFE based algorithms is limited by the quality of underlying thermodynamic models, the SCFG method abstracts from free energies and instead tries to learn about the structural behavior of the molecules by training the grammars on known real RNA structures, making it highly dependent on the availability of a rich high quality training set. However, due to the respective problems associated with both methods, new statistics based approaches towards RNA structure prediction have become increasingly appreciated. For instance, over the last years, several statistical sampling methods and clustering techniques have been invented that are based on the computation of partition functions (PFs) and base pair probabilities according to thermodynamic models. A corresponding SCFG based statistical sampling algorithm for RNA secondary structures has been studied just recently. Notably, this probabilistic method is capable of producing accurate (prediction) results, where its worst-case time and space requirements are equal to those of common RNA folding algorithms for single sequences.
The aim of this work is to present a comprehensive study on how enriching the underlying SCFG by additional information on the lengths of generated substructures (i.e. by incorporating length-dependencies into the SCFG based sampling algorithm, which is actually possible without significant losses in performance) affects the reliability of the induced RNA model and the accuracy of sampled secondary structures. As we will see, significant differences with respect to the overall quality of generated sample sets and the resulting predictive accuracy are typically implied. In principle, when considering the more specialized length-dependent SCFG model as basis for statistical sampling, a higher accuracy of predicted foldings can be reached at the price of a lower diversity of generated candidate structures (compared to the more general traditional SCFG variant or sampling based on PFs that rely on free energies).
Worldwide the installed capacity of renewable technologies for electricity production is
rising tremendously. The German market is particularly progressive and its regulatory
rules imply that production from renewables is decoupled from market prices and electricity
demand. Conventional generation technologies are to cover the residual demand
(defined as total demand minus production from renewables) but set the price at the
exchange. Existing electricity price models do not account for the new risks introduced
by the volatile production of renewables and their effects on the conventional demand
curve. A model for residual demand is proposed, which is used as an extension of
supply/demand electricity price models to account for renewable infeed in the market.
Infeed from wind and solar (photovoltaics) is modeled explicitly and withdrawn from
total demand. The methodology separates the impact of weather and capacity. Efficiency
is transformed on the real line using the logit-transformation and modeled as a stochastic process. Installed capacity is assumed a deterministic function of time. In a case study the residual demand model is applied to the German day-ahead market
using a supply/demand model with a deterministic supply-side representation. Price trajectories are simulated and the results are compared to market future and option
prices. The trajectories show typical features seen in market prices in recent years and the model is able to closely reproduce the structure and magnitude of market prices.
Using the simulated prices it is found that renewable infeed increases the volatility of forward prices in times of low demand, but can reduce volatility in peak hours. Prices
for different scenarios of installed wind and solar capacity are compared and the meritorder effect of increased wind and solar capacity is calculated. It is found that wind
has a stronger overall effect than solar, but both are even in peak hours.
In this work we extend the multiscale finite element method (MsFEM)
as formulated by Hou and Wu in [14] to the PDE system of linear elasticity.
The application, motivated from the multiscale analysis of highly heterogeneous
composite materials, is twofold. Resolving the heterogeneities on
the finest scale, we utilize the linear MsFEM basis for the construction of
robust coarse spaces in the context of two-level overlapping Domain Decomposition
preconditioners. We motivate and explain the construction
and present numerical results validating the approach. Under the assumption
that the material jumps are isolated, that is they occur only in the
interior of the coarse grid elements, our experiments show uniform convergence
rates independent of the contrast in the Young's modulus within the
heterogeneous material. Elsewise, if no restrictions on the position of the
high coefficient inclusions are imposed, robustness can not be guaranteed
any more. These results justify expectations to obtain coefficient-explicit
condition number bounds for the PDE system of linear elasticity similar to
existing ones for scalar elliptic PDEs as given in the work of Graham, Lechner
and Scheichl [12]. Furthermore, we numerically observe the properties
of the MsFEM coarse space for linear elasticity in an upscaling framework.
Therefore, we present experimental results showing the approximation errors
of the multiscale coarse space w.r.t. the fine-scale solution.
In this paper, we propose multi-level Monte Carlo(MLMC) methods that use ensemble level mixed multiscale methods in the simulations of multi-phase flow and transport. The main idea of ensemble level multiscale methods is to construct local multiscale basis functions that can be used for any member of the ensemble. We consider two types of ensemble level mixed multiscale finite element methods, (1) the no-local-solve-online ensemble level method (NLSO) and (2) the local-solve-online ensemble level method (LSO). Both mixed multiscale methods use a number of snapshots of the permeability media to generate a multiscale basis.
As a result, in the offline stage, we construct multiple basis functions for
each coarse region where basis functions correspond to different realizations.
In the no-local-solve-online ensemble level method one uses the whole set of pre-computed basis functions to approximate the solution for an arbitrary realization. In the local-solve-online ensemble level method one uses the pre-computed functions to construct a multiscale basis for a particular realization. With this basis the solution corresponding to this
particular realization is approximated in LSO mixed MsFEM. In both approaches
the accuracy of the method is related to the number of snapshots computed based on different realizations that one uses to pre-compute a
multiscale basis. We note that LSO approaches share similarities with reduced basis methods [11, 21, 22].
In multi-level Monte Carlo methods ([14, 13]), more accurate (and expensive) forward simulations are run with fewer samples while less accurate(and inexpensive) forward simulations are run with a larger number of samples. Selecting the number of expensive and inexpensive simulations carefully, one can show that MLMC methods can provide better accuracy
at the same cost as MC methods. In our simulations, our goal is twofold. First, we would like to compare NLSO and LSO mixed MsFEMs. In particular, we show that NLSO
mixed MsFEM is more accurate compared to LSO mixed MsFEM. Further, we use both approaches in the context of MLMC to speed-up MC
calculations. We present basic aspects of the algorithm and numerical
results for coupled flow and transport in heterogeneous porous media.
A simple transformation of the Equation of Motion (EoM) allows us to directly integrate nonlinear structural models into the recursive Multibody System (MBS) formalism of SIMPACK. This contribution describes how the integration is performed for a discrete Cosserat rod model which has been developed at the ITWM. As a practical example, the run-up of a simplified three-bladed wind turbine is studied where the dynamic deformations of the three blades are calculated by the Cosserat rod model.
Gesunde Kommune - Sport und Bewegung als Faktor der Stadt- und Raumentwicklung - Projektbericht 2011
(2012)
Sport und Bewegung sind seit jeher wesentliche Bestandteile des öffentlichen Lebens. Der in den letzten Jahren erkennbare und sich weiter verstärkende demographische und gesellschaftliche Wandel führt allerdings zu einer Veränderung des Sport- und Bewegungsverhaltens und damit auch der Nachfrage nach Sportstätten und Bewegungsräumen. Die sich zunehmend verändernde Situation von Sport und Bewegung findet bislang weder auf der politischen Ebene noch auf der Ebene der kommunalen Planung ausreichend Berücksichtigung. Vor dem Hintergrund stetig steigender Bedarfe zur Sicherung der kommunalen Daseinsvorsorge müssen jedoch zeitnah Lösungen gefunden werden, die den veränderten Rahmenbedingungen auch zukünftig gerecht werden. Ausgehend hiervon befasst sich das in den Jahren 2011 und 2012 durchgeführte Forschungs- und Entwicklungsprojekt „Gesunde Kommune – Sport und Bewegung als Faktor der Stadt- und Raumentwicklung“ mit der Bedeutung von Sport und Bewegung für die rheinland-pfälzischen Kommunen und verfolgt das Ziel, Verknüpfungen zwischen räumlichen und sportlichen Entwicklungsfeldern zu erschließen sowie Möglichkeiten zur gezielten Nutzung von Sport und Bewegung für die nachhaltige Raumentwicklung aufzuzeigen. Die raumwirksamen Leistungen von Sport und Bewegung werden hierbei unter den Aspekten Gesundheit, Ökonomie, Ökologie und Soziales betrachtet. Ein wesentliches Projektziel bildete darüber hinausgehend die Bewusstseinsbildung und Sensibilisierung aller relevanten Akteure auf Landes- und Kommunalebene. Das Projekt wurde Erarbeitet durch den Lehrstuhl Stadtplanung der TU Kaiserslautern in Kooperation mit dem Fachgebiet Sportwissenschaft der TU Kaiserslautern im Auftrag der Entwicklungsagentur Rheinland-Pfalz e.V..
Sport und Bewegung sind seit jeher wesentliche Bestandteile des öffentlichen Lebens. Der in den letzten Jahren erkennbare und sich weiter verstärkende demographische und gesellschaftliche Wandel führt allerdings zu einer Veränderung des Sport- und Bewegungsverhaltens und damit auch der Nachfrage nach Sportstätten und Bewegungsräumen. Die sich zunehmend verändernde Situation von Sport und Bewegung findet bislang weder auf der politischen Ebene noch auf der Ebene der kommunalen Planung ausreichend Berücksichtigung. Vor dem Hintergrund stetig steigender Bedarfe zur Sicherung der kommunalen Daseinsvorsorge müssen jedoch zeitnah Lösungen gefunden werden, die den veränderten Rahmenbedingungen auch zukünftig gerecht werden. Ausgehend hiervon befasst sich das in den Jahren 2011 und 2012 durchgeführte Forschungs- und Entwicklungsprojekt „Gesunde Kommune – Sport und Bewegung als Faktor der Stadt- und Raumentwicklung“ mit der Bedeutung von Sport und Bewegung für die rheinland-pfälzischen Kommunen und verfolgt das Ziel, Verknüpfungen zwischen räumlichen und sportlichen Entwicklungsfeldern zu erschließen sowie Möglichkeiten zur gezielten Nutzung von Sport und Bewegung für die nachhaltige Raumentwicklung aufzuzeigen. Die raumwirksamen Leistungen von Sport und Bewegung werden hierbei unter den Aspekten Gesundheit, Ökonomie, Ökologie und Soziales betrachtet. Ein wesentliches Projektziel bildete darüber hinausgehend die Bewusstseinsbildung und Sensibilisierung aller relevanten Akteure auf Landes- und Kommunalebene. Das Projekt wurde Erarbeitet durch den Lehrstuhl Stadtplanung der TU Kaiserslautern in Kooperation mit dem Fachgebiet Sportwissenschaft der TU Kaiserslautern im Auftrag der Entwicklungsagentur Rheinland-Pfalz e.V.. Die Dokumentation und Veröffentlichung erfolgte sowohl im Rahmen eines Projektberichts 2011 sowie eines Abschlussberichts 2012.
We present the derivation of a simple viscous damping model of Kelvin–Voigt type for geometrically exact
Cosserat rods from three–dimensional continuum theory. Assuming a homogeneous and isotropic material,
we obtain explicit formulas for the damping parameters of the model in terms of the well known stiffness
parameters of the rod and the retardation time constants defined as the ratios of bulk and shear viscosities to
the respective elastic moduli. We briefly discuss the range of validity of our damping model and illustrate
its behaviour with a numerical example.