## Report

### Refine

#### Faculty / Organisational entity

#### Year of publication

#### Document Type

- Report (281) (remove)

#### Keywords

- modelling (7)
- Mathematikunterricht (6)
- Modellierung (6)
- numerical upscaling (6)
- praxisorientiert (6)
- Regelung (5)
- Ambient Intelligence (4)
- Elastoplastizität (4)
- Lineare Algebra (4)
- linear algebra (4)

- Investigate the high-level HDL Chisel (2013)
- Chisel (Constructing Hardware in a Scala embedded language) is a new programming language, which embedded in Scala, used for hardware synthesis. It aims to increase productivity when creating hardware by enabling designers to use features present in higher level programming languages to build complex hardware blocks. In this paper, the most advertised features of Chisel are investigated and compared to their VHDL counterparts, if present. Afterwards, the authors’ opinion if a switch to Chisel is worth considering is presented. Additionally, results from a related case study on Chisel are briefly summarized. The author concludes that, while Chisel has promising features, it is not yet ready for use in the industry.

- Investigate the hardware description language Chisel - A case study implementing the Heston model (2013)
- This paper presents a case study comparing the hardware description language „Constructing Hardware in a Scala Embedded Language“(Chisel) to VHDL. For a thorough comparison the Heston Model was implemented, a stochastic model used in financial mathematics to calculate option prices. Metrics like hardware utilization and maximum clock rate were extracted from both resulting designs and compared to each other. The results showed a 30% reduction in code size compared to VHDL, while the resulting circuits had about the same hardware utilization. Using Chisel however proofed to be difficult because of a few features that were not available for this case study.

- Translating SHIM to Guarded Actions (2012)
- 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.

- A Two-Dimensional Model of the Pressing Section of a Paper Machine Including Dynamic Capillary Effects (2012)
- The paper production is a problem with significant importance for the society and it is a challenging topic for scientific investigations. This study is concerned with the simulations of the pressing section of a paper machine. A two-dimensional model is developed to account for the water flow within the pressing zone. Richards’ type equation is used to describe the flow in the unsaturated zone. The dynamic capillary pressure–saturation relation proposed by Hassanizadeh and co-workers (Hassanizadeh et al., 2002; Hassanizadeh, Gray, 1990, 1993a) is adopted for the paper production process. The mathematical model accounts for the co-existence of saturated and unsaturated zones in a multilayer computational domain. The discretization is performed by the MPFA-O method. The numerical experiments are carried out for parameters which are typical for the production process. The static and dynamic capillary pressure–saturation relations are tested to evaluate the influence of the dynamic capillary effect.

- Multiscale Finite Element Coarse Spaces for the Analysis of Linear Elastic Composites (2012)
- 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.

- Residual Demand Modeling and Application to Electricity Pricing (2012)
- 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.

- An overview on the usage of some model reduction approaches for simulations of Li-ion transport in batteries (2012)
- In this work, some model reduction approaches for performing simulations with a pseudo-2D model of Li-ion battery are presented. A full pseudo-2D model of processes in Li-ion batteries is presented following [3], and three methods to reduce the order of the full model are considered. These are: i) directly reduce the model order using proper orthogonal decomposition, ii) using fractional time step discretization in order to solve the equations in decoupled way, and iii) reformulation approaches for the diffusion in the solid phase. Combinations of above methods are also considered. Results from numerical simulations are presented, and the efficiency and the accuracy of the model reduction approaches are discussed.

- Constitutive models for static granular systems and focus to the Jiang-Liu hyperelastic law (2012)
- Granular systems in solid-like state exhibit properties like stiffness dependence on stress, dilatancy, yield or incremental non-linearity that can be described within the continuum mechanical framework. Different constitutive models have been proposed in the literature either based on relations between some components of the stress tensor or on a quasi-elastic description. After a brief description of these models, the hyperelastic law recently proposed by Jiang and Liu [1] will be investigated. In this framework, the stress-strain relation is derived from an elastic strain energy density where the stable proper- ties are linked to a Drucker-Prager yield criteria. Further, a numerical method based on the finite element discretization and Newton- Raphson iterations is presented to solve the force balance equation. The 2D numerical examples presented in this work show that the stress distributions can be computed not only for triangular domains, as previoulsy done in the literature, but also for more complex geometries. If the slope of the heap is greater than a critical value, numerical instabilities appear and no elastic solution can be found, as predicted by the theory. As main result, the dependence of the material parameter Xi on the maximum angle of repose is established.

- Statistical RNA Secondary Structure Sampling Based on a Length-Dependent SCFG Model (2012)
- 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).

- Deklarative Spezifikation von Datentransformationen (2012)
- Deklarative Spezifikation von Datentransformationen.