-
Effects of settling on inertial particle slip velocity statistics in wall bounded flows
Authors:
Andrew P. Grace,
David Richter,
Tim Berk,
Andrew D. Bragg
Abstract:
Develo** reduced order models for the transport of solid particles in turbulence typically requires a statistical description of the particle-turbulence interactions. In this work, we utilize a statistical framework to derive continuum equations for the moments of the slip velocity of inertial settling Lagrangian particles in a turbulent boundary layer. Using coupled Eulerian-Lagrangian direct n…
▽ More
Develo** reduced order models for the transport of solid particles in turbulence typically requires a statistical description of the particle-turbulence interactions. In this work, we utilize a statistical framework to derive continuum equations for the moments of the slip velocity of inertial settling Lagrangian particles in a turbulent boundary layer. Using coupled Eulerian-Lagrangian direct numerical simulations, we then identify the dominant mechanisms controlling the slip velocity variance, and find that for a range of St+, Sv+, and Re, the slip variance is primarily controlled by local differences between the "seen" variance and the particle velocity variance, while terms appearing due to the inhomogeneity of the turbulence are sub-leading until Sv+ becomes large. We also consider several comparative metrics to assess the relative magnitudes of the fluctuating slip velocity and the mean slip velocity, and we find that the vertical mean slip increases rapidly with Sv+, rendering the variance relatively small -- an effect found to be most substantial for Sv+>1. Finally, we compare the results to a model of the acceleration variance Berk and Coletti (2021) based the concept of a response function described in Csanady (1963), highlighting the role of the crossing trajectories mechanism. We find that while there is good agreement for low Sv+, systematic errors remain, possibly due to implicit non-local effects arising from rapid particle settling and inhomogeneous turbulence. We conclude with a discussion of the implications of this work for modeling the transport of coarse dust grains in the atmospheric surface layer.
△ Less
Submitted 19 June, 2024;
originally announced June 2024.
-
Compiling with Arrays
Authors:
David Richter,
Timon Böhler,
Pascal Weisenburger,
Mira Mezini
Abstract:
Linear algebra computations are foundational for neural networks and machine learning, often handled through arrays. While many functional programming languages feature lists and recursion, arrays in linear algebra demand constant-time access and bulk operations. To bridge this gap, some languages represent arrays as (eager) functions instead of lists. In this paper, we connect this idea to a form…
▽ More
Linear algebra computations are foundational for neural networks and machine learning, often handled through arrays. While many functional programming languages feature lists and recursion, arrays in linear algebra demand constant-time access and bulk operations. To bridge this gap, some languages represent arrays as (eager) functions instead of lists. In this paper, we connect this idea to a formal logical foundation by interpreting functions as the usual negative types from polarized type theory, and arrays as the corresponding dual positive version of the function type. Positive types are defined to have a single elimination form whose computational interpretation is pattern matching. Just like (positive) product types bind two variables during pattern matching, (positive) array types bind variables with multiplicity during pattern matching. We follow a similar approach for Booleans by introducing conditionally-defined variables.
The positive formulation for the array type enables us to combine typed partial evaluation and common subexpression elimination into an elegant algorithm whose result enjoys a property we call maximal fission, which we argue can be beneficial for further optimizations. For this purpose, we present the novel intermediate representation indexed administrative normal form (AiNF), which relies on the formal logical foundation of the positive formulation for the array type to facilitate maximal loop fission and subsequent optimizations. AiNF is normal with regard to commuting conversion for both let-bindings and for-loops, leading to flat and maximally fissioned terms. We mechanize the translation and normalization from a simple surface language to AiNF, establishing that the process terminates, preserves types, and produces maximally fissioned terms.
△ Less
Submitted 28 May, 2024;
originally announced May 2024.
-
Physics-Informed Priors with Application to Boundary Layer Velocity
Authors:
Luca Menicali,
David H. Richter,
Stefano Castruccio
Abstract:
One of the most popular recent areas of machine learning predicates the use of neural networks augmented by information about the underlying process in the form of Partial Differential Equations (PDEs). These physics-informed neural networks are obtained by penalizing the inference with a PDE, and have been cast as a minimization problem currently lacking a formal approach to quantify the uncertai…
▽ More
One of the most popular recent areas of machine learning predicates the use of neural networks augmented by information about the underlying process in the form of Partial Differential Equations (PDEs). These physics-informed neural networks are obtained by penalizing the inference with a PDE, and have been cast as a minimization problem currently lacking a formal approach to quantify the uncertainty. In this work, we propose a novel model-based framework which regards the PDE as a prior information of a deep Bayesian neural network. The prior is calibrated without data to resemble the PDE solution in the prior mean, while our degree in confidence on the PDE with respect to the data is expressed in terms of the prior variance. The information embedded in the PDE is then propagated to the posterior yielding physics-informed forecasts with uncertainty quantification. We apply our approach to a simulated viscous fluid and to experimentally-obtained turbulent boundary layer velocity in a wind tunnel using an appropriately simplified Navier-Stokes equation. Our approach requires very few observations to produce physically-consistent forecasts as opposed to non-physical forecasts stemming from non-informed priors, thereby allowing forecasting complex systems where some amount of data as well as some contextual knowledge is available.
△ Less
Submitted 21 November, 2023;
originally announced November 2023.
-
A Physics-Informed, Deep Double Reservoir Network for Forecasting Boundary Layer Velocity
Authors:
Matthew Bonas,
David H. Richter,
Stefano Castruccio
Abstract:
When a fluid flows over a solid surface, it creates a thin boundary layer where the flow velocity is influenced by the surface through viscosity, and can transition from laminar to turbulent at sufficiently high speeds. Understanding and forecasting the fluid dynamics under these conditions is one of the most challenging scientific problems in fluid dynamics. It is therefore of high interest to fo…
▽ More
When a fluid flows over a solid surface, it creates a thin boundary layer where the flow velocity is influenced by the surface through viscosity, and can transition from laminar to turbulent at sufficiently high speeds. Understanding and forecasting the fluid dynamics under these conditions is one of the most challenging scientific problems in fluid dynamics. It is therefore of high interest to formulate models able to capture the nonlinear spatio-temporal velocity structure as well as produce forecasts in a computationally efficient manner. Traditional statistical approaches are limited in their ability to produce timely forecasts of complex, nonlinear spatio-temporal structures which are at the same time able to incorporate the underlying flow physics. In this work, we propose a model to accurately forecast boundary layer velocities with a deep double reservoir computing network which is capable of capturing the complex, nonlinear dynamics of the boundary layer while at the same time incorporating physical constraints via a penalty obtained by a Partial Differential Equation (PDE). Simulation studies on a one-dimensional viscous fluid demonstrate how the proposed model is able to produce accurate forecasts while simultaneously accounting for energy loss. The application focuses on boundary layer data on a water tunnel with a PDE penalty derived from an appropriate simplification of the Navier-Stokes equations, showing forecasts improved by 33.7% and 80.0% in terms of mass conservation and variability of velocity fluctuation, respectfully, against non physics-informed methods.
△ Less
Submitted 21 May, 2024; v1 submitted 9 November, 2023;
originally announced November 2023.
-
Ehrhart Polynomials of Generic Orthotopes
Authors:
David Richter
Abstract:
A generic orthotope is an orthogonal polytope whose tangent cones are described by read-once Boolean functions. The purpose of this note is to develop a theory ofEhrhart polynomials for integral generic orthotopes. The most remarkable part of this theory is a relation between the number of lattice points in an integral generic orthotope $P$ and the number of unit cubes in $P$ of various floral typ…
▽ More
A generic orthotope is an orthogonal polytope whose tangent cones are described by read-once Boolean functions. The purpose of this note is to develop a theory ofEhrhart polynomials for integral generic orthotopes. The most remarkable part of this theory is a relation between the number of lattice points in an integral generic orthotope $P$ and the number of unit cubes in $P$ of various floral types. This formula is facilitated through the introduction of a set of "local polynomials" defined for every read-once Boolean function.
△ Less
Submitted 16 September, 2023;
originally announced September 2023.
-
Distribution of Telecom Entangled Photons through a 7.7 km Antiresonant Hollow-Core Fiber
Authors:
Michael Antesberger,
Carla M. D. Richter,
Francesco Poletti,
Radan Slavík,
Periklis Petropoulos,
Hannes Hübel,
Alessandro Trenti,
Philip Walther,
Lee A. Rozema
Abstract:
State of the art classical and quantum communication rely on standard optical fibers with solid cores to transmit light over long distances. However, recent advances have led to the emergence of antiresonant hollow-core optical fibers (AR-HCFs), which due to the novel fiber geometry, show remarkable optical guiding properties, which are not as limited by the material properties as solid-core fiber…
▽ More
State of the art classical and quantum communication rely on standard optical fibers with solid cores to transmit light over long distances. However, recent advances have led to the emergence of antiresonant hollow-core optical fibers (AR-HCFs), which due to the novel fiber geometry, show remarkable optical guiding properties, which are not as limited by the material properties as solid-core fibers. In this paper, we explore the transmission of entangled photons through a novel 7.7 km AR-HCF in a laboratory environment at 1550 nm, presenting the first successful demonstration of entanglement distribution via a long AR-HCF. In addition to showing these novel fibers are compatible with long distance quantum communication, we highlight the low latency and low chromatic dispersion intrinsic to AR-HCF, which can increase the secure key rate in time-bin based quantum key distribution protocols.
△ Less
Submitted 21 June, 2024; v1 submitted 2 August, 2023;
originally announced August 2023.
-
Comparing phase-space and phenomenological modeling approaches for Lagrangian particles settling in a turbulent boundary layer
Authors:
Andrew P. Grace,
David H. Richter,
Andrew D. Bragg
Abstract:
Under the right circumstances, inertial particles (such as sand or dust) settling through the atmospheric boundary layer can experience a net enhancement in their average settling velocity due to their inertia. Since this enhancement arises due to their interactions with the surrounding turbulence it must be modelled at coarse scales. Models for the enhanced settling velocity (or deposition) of th…
▽ More
Under the right circumstances, inertial particles (such as sand or dust) settling through the atmospheric boundary layer can experience a net enhancement in their average settling velocity due to their inertia. Since this enhancement arises due to their interactions with the surrounding turbulence it must be modelled at coarse scales. Models for the enhanced settling velocity (or deposition) of the dispersed phase that find practical use in mesoscale weather models are often ad hoc or are built on phenomenological closure assumptions, meaning that the general deposition rate of particle is a key uncertainty. Instead of taking a phenomenological approach, exact phase space methods can be used to model the physical mechanisms responsible for the enhanced settling, and a more general parameterization of the enhanced settling of inertial particles can be built. In this work, we use direct numerical simulations (DNS) and phase space methods to evaluate the efficacy of phenomenological modelling approaches for the enhanced settling velocity of inertial particles with varying friction Stokes numbers and settling velocity parameters. We use the DNS data to estimate profiles of a drift-diffusion based parameterization of the fluid velocity sampled by the particles, which is key for determining the settling velocity behaviour of particles with low to moderate Stokes number. We find that by increasing the settling velocity parameter at moderate friction Stokes number, the magnitude of preferential swee** is modified, and this behaviour is explained by the drift component. We then use these profiles to argue that the eddy-diffusivity-like closure used in phenomenological models is incomplete, relying on inadequate empirical corrections. Finally, we discuss opportunities for reconciling exact phase space approaches with simpler phenomenological approaches for use in coarse-scale weather models.
△ Less
Submitted 25 July, 2023;
originally announced July 2023.
-
Using Rewrite Strategies for Efficient Functional Automatic Differentiation
Authors:
Timon Böhler,
David Richter,
Mira Mezini
Abstract:
Automatic Differentiation (AD) has become a dominant technique in ML. AD frameworks have first been implemented for imperative languages using tapes. Meanwhile, functional implementations of AD have been developed, often based on dual numbers, which are close to the formal specification of differentiation and hence easier to prove correct. But these papers have focussed on correctness not efficien…
▽ More
Automatic Differentiation (AD) has become a dominant technique in ML. AD frameworks have first been implemented for imperative languages using tapes. Meanwhile, functional implementations of AD have been developed, often based on dual numbers, which are close to the formal specification of differentiation and hence easier to prove correct. But these papers have focussed on correctness not efficiency. Recently, it was shown how an approach using dual numbers could be made efficient through the right optimizations. Optimizations are highly dependent on order, as one optimization can enable another. It can therefore be useful to have fine-grained control over the scheduling of optimizations. One method expresses compiler optimizations as rewrite rules, whose application can be combined and controlled using strategy languages. Previous work describes the use of term rewriting and strategies to generate high-performance code in a compiler for a functional language. In this work, we implement dual numbers AD in a functional array programming language using rewrite rules and strategy combinators for optimization. We aim to combine the elegance of differentiation using dual numbers with a succinct expression of the optimization schedule using a strategy language. We give preliminary evidence suggesting the viability of the approach on a micro-benchmark.
△ Less
Submitted 7 July, 2023; v1 submitted 5 July, 2023;
originally announced July 2023.
-
Compact Chirped Fiber Bragg Gratings for Single-Photon Generation from Quantum Dots
Authors:
Vikas Remesh,
Ria G. Krämer,
René Schwarz,
Florian Kappe,
Yusuf Karli,
Malte Per Siems,
Thomas K. Bracht,
Saimon Filipe Covre da Silva,
Armando Rastelli,
Doris E. Reiter,
Daniel Richter,
Stefan Nolte,
Gregor Weihs
Abstract:
A scalable source of single photons is a key constituent of an efficient quantum photonic architecture. To realize this, it is beneficial to have an ensemble of quantum emitters that can be collectively excited with high efficiency. Semiconductor quantum dots hold great potential in this context, due to their excellent photophysical properties. Spectral variability of quantum dots is commonly rega…
▽ More
A scalable source of single photons is a key constituent of an efficient quantum photonic architecture. To realize this, it is beneficial to have an ensemble of quantum emitters that can be collectively excited with high efficiency. Semiconductor quantum dots hold great potential in this context, due to their excellent photophysical properties. Spectral variability of quantum dots is commonly regarded as a drawback introduced by the fabrication method. However, this is beneficial to realize a frequency-multiplexed single-photon platform. Chirped pulse excitation, relying on the so-called adiabatic rapid passage, is the most efficient scheme to excite a quantum dot ensemble due to its immunity to individual quantum dot parameters. Yet, the existing methods of generating chirped laser pulses to excite a quantum emitter are bulky, lossy, and mechanically unstable, which severely hampers the prospects of a quantum dot photon source. Here, we present a compact, robust, and high-efficiency alternative for chirped pulse excitation of solid-state quantum emitters. Our simple plug-and-play module consists of chirped fiber Bragg gratings (CFBGs), fabricated via femtosecond inscription, to provide high values of dispersion in the near-infrared spectral range, where the quantum dots emit. We characterize and benchmark the performance of our method via chirped excitation of a GaAs quantum dot, establishing high-fidelity single-photon generation. Our highly versatile chir** module coupled to a photon source is a significant milestone toward realizing practical quantum photonic devices.
△ Less
Submitted 20 June, 2023;
originally announced June 2023.
-
A Direct-Style Effect Notation for Sequential and Parallel Programs
Authors:
David Richter,
Timon Böhler,
Pascal Weisenburger,
Mira Mezini
Abstract:
Modeling sequential and parallel composition of effectful computations has been investigated in a variety of languages for a long time. In particular, the popular do-notation provides a lightweight effect embedding for any instance of a monad. Idiom bracket notation, on the other hand, provides an embedding for applicatives. First, while monads force effects to be executed sequentially, ignoring p…
▽ More
Modeling sequential and parallel composition of effectful computations has been investigated in a variety of languages for a long time. In particular, the popular do-notation provides a lightweight effect embedding for any instance of a monad. Idiom bracket notation, on the other hand, provides an embedding for applicatives. First, while monads force effects to be executed sequentially, ignoring potential for parallelism, applicatives do not support sequential effects. Composing sequential with parallel effects remains an open problem. This is even more of an issue as real programs consist of a combination of both sequential and parallel segments. Second, common notations do not support invoking effects in direct-style, instead forcing a rigid structure upon the code.
In this paper, we propose a mixed applicative/monadic notation that retains parallelism where possible, but allows sequentiality where necessary. We leverage a direct-style notation where sequentiality or parallelism is derived from the structure of the code. We provide a mechanisation of our effectful language in Coq and prove that our compilation approach retains the parallelism of the source program.
△ Less
Submitted 15 May, 2023;
originally announced May 2023.
-
From coffee stains to uniform deposits: significance of the contact-line mobility
Authors:
Aleksander Matavž,
Urša Uršič,
Jaka Močivnik,
Dmitry Richter,
Matjaž Humar,
Simon Čopar,
Barbara Malič,
Vid Bobnar
Abstract:
Hypothesis: Contact-line motion upon drying of sessile droplet strongly affects the solute transport and solvent evaporation profile. Hence, it should have a strong impact on the deposit formation and might be responsible for volcano-like, dome-like and at deposit morphologies.
Experiments: A method based on a thin-film interference was used to track the drop height profile and contact line moti…
▽ More
Hypothesis: Contact-line motion upon drying of sessile droplet strongly affects the solute transport and solvent evaporation profile. Hence, it should have a strong impact on the deposit formation and might be responsible for volcano-like, dome-like and at deposit morphologies.
Experiments: A method based on a thin-film interference was used to track the drop height profile and contact line motion during the drying. A diverse set of drying scenarios was obtained by using inks with different solvent compositions and by adjusting the substrate wetting properties. The experimental data was compared to the predictions of phenomenological model.
Findings: We highlight the essential role of contact-line mobility on the deposit morphology of solution-based inks. A pinned contact line produces exclusively ring-like deposits under normal conditions. On the contrary, drops with a mobile contact line can produce ring-, at- or dome-like morphology. The developed phenomenological model shows that the deposit morphology depends on solvent evaporation profile, evolution of the drop radius relative to its contact angle, and the ratio between initial and maximal (gelling) solute concentration. These parameters can be adjusted by the ink solvent composition and substrate wetting behaviour, which provides a way for deposition of uniform and at deposits via inkjet printing.
△ Less
Submitted 13 February, 2023;
originally announced February 2023.
-
Simultaneous MMC readout using a tailored μMUX based readout system
Authors:
Daniel Richter,
Mathias Wegner,
Felix Ahrens,
Christian Enss,
Nick Karcher,
Oliver Sander,
Constantin Schuster,
Marc Weber,
Thomas Wolber,
Sebastian Kempf
Abstract:
Magnetic microcalorimeters (MMCs) are cryogenic, energy-dispersive single-particle detectors providing excellent energy resolution, intrinsically fast signal rise time, quantum efficiency close to 100\%, large dynamic range as well as almost ideal linear response. One of the remaining challenges to be overcome to ultimately allow for the utilization of large-scale MMC based detector arrays with th…
▽ More
Magnetic microcalorimeters (MMCs) are cryogenic, energy-dispersive single-particle detectors providing excellent energy resolution, intrinsically fast signal rise time, quantum efficiency close to 100\%, large dynamic range as well as almost ideal linear response. One of the remaining challenges to be overcome to ultimately allow for the utilization of large-scale MMC based detector arrays with thousands to millions of individual pixels is the realization of a SQUID based multiplexing technique particularly tailored for MMC readout. Within this context, we report on the first truly multiplexed readout of an MMC based detector array using a frequency-division multiplexing approach realized by a custom microwave SQUID multiplexer based readout system.
△ Less
Submitted 27 March, 2023; v1 submitted 14 November, 2022;
originally announced November 2022.
-
Generic Orthotopes
Authors:
David Richter
Abstract:
This article studies a large, general class of orthogonal polytopes which we may call "generic orthotopes". These objects emerged from a desire to represent a Coxeter complex by an orthogonal polytope that is particularly nice with respect to traditional topological, structural, or combinatorial considerations. Generic orthotopes have a pleasant "homogeneity" property, somewhat like a smoothly bou…
▽ More
This article studies a large, general class of orthogonal polytopes which we may call "generic orthotopes". These objects emerged from a desire to represent a Coxeter complex by an orthogonal polytope that is particularly nice with respect to traditional topological, structural, or combinatorial considerations. Generic orthotopes have a pleasant "homogeneity" property, somewhat like a smoothly bounded compact subset of Euclidean space. Thus, as soon as we demand that every vertex of an orthogonal polytope be a floral arrangement, as defined here, many derivative structures such as faces and cross-sections are also described by floral arrangements. We also give formulas for the volume and Euler characteristic of a generic orthotope using a couple of statistics that are defined naturally for floral arrangements.
△ Less
Submitted 21 October, 2022;
originally announced October 2022.
-
A stochastic model for the residence time of solid particles in turbulent Rayleigh-Bénard Flow
Authors:
Colin J. Denzel,
Andrew D. Bragg,
David H. Richter
Abstract:
The Pi Chamber, located at Michigan Technological University, generates moist turbulent Rayleigh-Bénard flow in order to replicate steady-state cloud conditions. We take inspiration from this setup and consider a particle-laden, convectively-driven turbulent flow using direct numerical simulation (DNS). The aim of our study is to develop a simple stochastic model that can accurately describe the r…
▽ More
The Pi Chamber, located at Michigan Technological University, generates moist turbulent Rayleigh-Bénard flow in order to replicate steady-state cloud conditions. We take inspiration from this setup and consider a particle-laden, convectively-driven turbulent flow using direct numerical simulation (DNS). The aim of our study is to develop a simple stochastic model that can accurately describe the residence times of the particles in the flow, this time being determined by the complex competition between the gravitational settling of the particles, and the interaction of the particles with the turbulent structures in the flow. A simple conceptual picture underlies the stochastic model, namely that the particles take repeated trips between the top and bottom boundaries, driven by the convective cells that occur in Rayleigh-Bénard turbulence, and that their residence times are determined by the time it takes to complete one of these trips, which varies from one trip to another, and the probability of falling out to the bottom boundary after each trip. Despite the simplicity of the model, it yields quantitatively accurate predictions of the distribution of the particle residence times in the flow. We independently vary the Stokes numbers and settling velocities in order to shed light on the independent roles that gravity and inertia play in governing these residence times.
△ Less
Submitted 27 August, 2022;
originally announced August 2022.
-
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version)
Authors:
David Richter,
David Kretzler,
Pascal Weisenburger,
Guido Salvaneschi,
Sebastian Faust,
Mira Mezini
Abstract:
Decentralized applications (dApps) consist of smart contracts that run on blockchains and clients that model collaborating parties. dApps are used to model financial and legal business functionality. Today, contracts and clients are written as separate programs -- in different programming languages -- communicating via send and receive operations. This makes distributed program flow awkward to exp…
▽ More
Decentralized applications (dApps) consist of smart contracts that run on blockchains and clients that model collaborating parties. dApps are used to model financial and legal business functionality. Today, contracts and clients are written as separate programs -- in different programming languages -- communicating via send and receive operations. This makes distributed program flow awkward to express and reason about, increasing the potential for mismatches in the client-contract interface, which can be exploited by malicious clients, potentially leading to huge financial losses. In this paper, we present Prisma, a language for tierless decentralized applications, where the contract and its clients are defined in one unit and pairs of send and receive actions that "belong together" are encapsulated into a single direct-style operation, which is executed differently by sending and receiving parties. This enables expressing distributed program flow via standard control flow and renders mismatching communication impossible. We prove formally that our compiler preserves program behavior in presence of an attacker controlling the client code. We systematically compare Prisma with mainstream and advanced programming models for dApps and provide empirical evidence for its expressiveness and performance.
△ Less
Submitted 15 May, 2023; v1 submitted 16 May, 2022;
originally announced May 2022.
-
Online Demodulation and Trigger for Flux-ramp Modulated SQUID Signals
Authors:
N. Karcher,
T. Muscheid,
T. Wolber,
D. Richter,
C. Enss,
S. Kempf,
O. Sander
Abstract:
Due to the periodic characteristics of SQUIDs, a suitable linearization technique is required for SQUID-based readout. Flux-ramp modulation is a common linearization technique and is typically applied for the readout of a microwave-SQUID-multiplexer as well as since recently also for dc-SQUIDs. Flux-ramp modulation requires another stage in the signal processing chain to demodulate the SQUID outpu…
▽ More
Due to the periodic characteristics of SQUIDs, a suitable linearization technique is required for SQUID-based readout. Flux-ramp modulation is a common linearization technique and is typically applied for the readout of a microwave-SQUID-multiplexer as well as since recently also for dc-SQUIDs. Flux-ramp modulation requires another stage in the signal processing chain to demodulate the SQUID output signal before further processing. For cryogenic microcalorimenters, these events are given by fast exponentially rising and slowly exponentially decaying pulses which shall be detected by a trigger engine and recorded by a storage logic. Since the data rate can be decreased significantly by demodulation and event detection, it is desirable to do both steps on the deployed fast FPGA logic during measurement before passing the data to a general-purpose processor.
In this contribution, we show the implementation of efficient multi-channel flux-ramp demodulation computed at run-time on a SoC-FPGA. Furthermore, a concept and implementation for an online trigger and buffer mechanism with its theoretical trigger loss rates depending on buffer size is presented. Both FPGA modules can be operated with up to 500 MHz clock frequency and can efficiently process 32 channels. Correct functionality and data reduction capability of the modules are demonstrated in measurements utilizing magnetic microcalorimeter irradiated with an Iron-55 source for event generation and read out by a microwave SQUID multiplexer.
△ Less
Submitted 22 October, 2021;
originally announced October 2021.
-
Proof of Concept for Through Silicon Vias (TSVs) in Application Specific Integrated Circuits (ASICs) for Hard X-ray Imaging Detectors
Authors:
Jaesub Hong,
Jonathan Grindlay,
Branden Allen,
Daniel P. Violette,
Hiromasa Miyasaka,
Dean Malta,
Jennifer Ovental,
David Bordelon,
Daniel Richter
Abstract:
Application Specific Integrated Circuits (ASICs) are commonly used to efficiently process the signals from sensors and detectors in space. Wire bonding is a space qualified technique of making interconnections between ASICs and their substrate packaging board for power, control and readout of the ASICs. Wire bonding is nearly ubiquitous in modern space programs, but their exposed wires can be pron…
▽ More
Application Specific Integrated Circuits (ASICs) are commonly used to efficiently process the signals from sensors and detectors in space. Wire bonding is a space qualified technique of making interconnections between ASICs and their substrate packaging board for power, control and readout of the ASICs. Wire bonding is nearly ubiquitous in modern space programs, but their exposed wires can be prone to damage during assembly and subject to electric interference during operations. Additional space around the ASICs needed for wire bonding also impedes efficient packaging of large arrays of detectors. Here we introduce the Through Silicon Vias (TSV) technology that replaces wire bonds and eliminates their shortcomings. We have successfully demonstrated the feasibility of implementing TSVs to existing ASIC wafers (a.k.a. a via-last process) developed for processing the X-ray signals from the X-ray imaging CdZnTe detectors on the Nuclear Spectroscopic Telescope Array (NuSTAR) Small Explorer mission that was launched in 2012. While TSVs are common in the semiconductor industry, this is the first (to our knowledge) successful application for Astrophysics imaging instrumentation. We expect that the TSV technology will simplify the detector assembly, and thus will enable significant cost and schedule savings in assembly of large area CdZnTe detectors.
△ Less
Submitted 15 March, 2021;
originally announced March 2021.
-
Multichannel read-out for arrays of metallic magnetic calorimeters
Authors:
F. Mantegazzini,
S. Allgeier,
A. Barth,
C. Enss,
A. Ferring-Siebert,
A. Fleischmann,
L. Gastaldo,
R. Hammann,
D. Hengstler,
S. Kempf,
D. Richter,
D. Schulz,
D. Unger,
C. Velte,
M. Wegner
Abstract:
Metallic magnetic micro-calorimeters (MMCs) operated at millikelvin temperature offer the possibility to achieve eV-scale energy resolution with high stop** power for X-rays and massive particles in an energy range up to several tens of keV. This motivates their use in a wide range of applications in fields as particle physics, atomic and molecular physics. Present detector systems consist of MM…
▽ More
Metallic magnetic micro-calorimeters (MMCs) operated at millikelvin temperature offer the possibility to achieve eV-scale energy resolution with high stop** power for X-rays and massive particles in an energy range up to several tens of keV. This motivates their use in a wide range of applications in fields as particle physics, atomic and molecular physics. Present detector systems consist of MMC arrays read out by 32 two-stage SQUID read-out channels. In contrast to the design of the detector array and consequently the design of the front-end SQUIDs, which need to be optimised for the physics case and the particles to be detected in a given experiment, the read-out chain can be standardised. We present our new standardised 32-channel parallel read-out for the operation of MMC arrays to be operated in a dilution refrigerator. The read-out system consists of a detector module, whose design depends on the particular application, an amplifier module, ribbon cables from room temperature to the millikelvin platform and a data acquisition system. In particular, we describe the realisation of the read-out system prepared for the ECHo-1k experiment for the operation of two 64-pixel arrays. The same read-out concept is also used for the maXs detector systems, developed for the study of the de-excitation of highly charged heavy ions by X-rays, as well as for the MOCCA system, developed for the energy and position sensitive detection of neutral molecular fragments for the study of fragmentation when molecular ions recombine with electrons. The choice of standard modular components for the operation of 32-channel MMC arrays offer the flexibility to upgrade detector modules without the need of any changes in the read-out system and the possibility to individually exchange parts in case of damages or failures.
△ Less
Submitted 13 October, 2021; v1 submitted 22 February, 2021;
originally announced February 2021.
-
Flux ramp modulation based MHz frequency-division dc-SQUID multiplexer
Authors:
Daniel Richter,
Ludwig Hoibl,
Thomas Wolber,
Nick Karcher,
Andreas Fleischmann,
Christian Enss,
Marc Weber,
Oliver Sander,
Sebastian Kempf
Abstract:
We present a MHz frequency-division dc-SQUID multiplexer that is based on flux ramp modulation and a series array of $N$ identical current-sensing dc-SQUIDs with tightly coupled input coil. By running a periodic, sawtooth-shaped current signal through an additional modulation coil being tightly, but non-uniformly coupled to the individual SQUIDs, the voltage drop across the array changes according…
▽ More
We present a MHz frequency-division dc-SQUID multiplexer that is based on flux ramp modulation and a series array of $N$ identical current-sensing dc-SQUIDs with tightly coupled input coil. By running a periodic, sawtooth-shaped current signal through an additional modulation coil being tightly, but non-uniformly coupled to the individual SQUIDs, the voltage drop across the array changes according to the superposition of the flux-to-voltage characteristics of the individual SQUIDs within each cycle of the modulation signal. In this mode of operation, an input signal injected in the input coil of one of the SQUIDs and being quasi-static within a time frame adds a constant flux offset and leads to a phase shift of the associated SQUID characteristics. The latter is inherently proportional to the input signal and can be inferred by channelizing and down-converting the sampled array output voltage. Using a prototype multiplexer as well as a self-developed high-speed readout electronics for real-time phase determination, we demonstrate the simultaneous readout of four signal sources with MHz bandwidth per channel.
△ Less
Submitted 4 March, 2021; v1 submitted 16 January, 2021;
originally announced January 2021.
-
When is settling important for particle concentrations in wall-bounded turbulent flows?
Authors:
Andrew D. Bragg,
David H. Richter,
Guiquan Wang
Abstract:
We explore the role of gravitational settling on inertial particle concentrations in a wall-bounded turbulent flow. While it may be thought that settling can be ignored when the settling parameter $Sv\equiv v_s/u_τ$ is small ($v_s$ - Stokes settling velocity, $u_τ$ - fluid friction velocity), we show that even in this regime the settling may make a leading order contribution to the concentration p…
▽ More
We explore the role of gravitational settling on inertial particle concentrations in a wall-bounded turbulent flow. While it may be thought that settling can be ignored when the settling parameter $Sv\equiv v_s/u_τ$ is small ($v_s$ - Stokes settling velocity, $u_τ$ - fluid friction velocity), we show that even in this regime the settling may make a leading order contribution to the concentration profiles. This is because the importance of settling is determined, not by the size of $v_s$ compared with $u_τ$ or any other fluid velocity scale, but by the size of $v_s$ relative to the other mechanisms that control the vertical particle velocity and concentration profile. We explain this in the context of the particle mean-momentum equation, and show that in general, there always exists a region in the boundary layer where settling cannot be neglected, no matter how small $Sv$ is (provided it is finite). Direct numerical simulations confirm the arguments, and show that the near-wall concentration is highly dependent on $Sv$ even when $Sv\ll 1$, and can reduce by an order of magnitude when $Sv$ is increased from $O(10^{-4})$ and $O(10^{-2})$. The results also show that the preferential sampling of ejection events in the boundary layer by inertial particles when $Sv=0$ is profoundly altered as $Sv$ is increased, and is replaced by a preferential sampling of sweep events due to the onset of the preferential swee** mechanism.
△ Less
Submitted 9 September, 2021; v1 submitted 12 January, 2021;
originally announced January 2021.
-
Mechanisms governing the settling velocities and spatial distributions of inertial particles in wall-bounded turbulence
Authors:
Andrew D Bragg,
David H Richter,
Guiquan Wang
Abstract:
We use theory and Direct Numerical Simulations (DNS) to explore the average vertical velocities and spatial distributions of inertial particles settling in a wall-bounded turbulent flow. The theory is based on the exact phase-space equation for the Probability Density Function describing particle positions and velocities. This allowed us to identify the distinct physical mechanisms governing the p…
▽ More
We use theory and Direct Numerical Simulations (DNS) to explore the average vertical velocities and spatial distributions of inertial particles settling in a wall-bounded turbulent flow. The theory is based on the exact phase-space equation for the Probability Density Function describing particle positions and velocities. This allowed us to identify the distinct physical mechanisms governing the particle transport. We then examined the asymptotic behavior of the particle motion near the wall, revealing the fundamental differences to the near wall behavior that is produced when incorporating gravitational settling. When the average vertical particle mass flux is zero, the averaged vertical particle velocity is zero away from the wall due to the particles preferentially sampling regions where the fluid velocity is positive, which balances with the downward Stokes settling velocity. When the average mass flux is negative, the combined effects of turbulence and particle inertia lead to average vertical particle velocities that can significantly exceed the Stokes settling velocity, by as much as ten times. Sufficiently far from the wall, the enhanced vertical velocities are due to the preferential swee** mechanism. However, as the particles approach the wall, the contribution from the preferential swee** mechanism becomes small, and a downward contribution from the turbophoretic velocity dominates the behavior. Close to the wall, the particle concentration grows as a power-law, but the nature of this power law depends on the particle Stokes number. Finally, our results highlight how the Rouse model of particle concentration is to be modified for particles with finite inertia.
△ Less
Submitted 6 October, 2020;
originally announced October 2020.
-
Conceptualizing A Configuration Service for Complex Automation Systems
Authors:
Javad Ghofrani,
Paul Patoola,
Daniel Richter,
Dirk Reichelt
Abstract:
Arrowhead Framework (AHF) is being developed to enable large-scale IoT based automation by providing an interoperability layer for local clouds. This framework aims to create an abstract model for distributed, heterogeneous, and non-linear systems. Managing the variability in such environments plays a key role in handling complex automation tasks such as in smart production systems. However, there…
▽ More
Arrowhead Framework (AHF) is being developed to enable large-scale IoT based automation by providing an interoperability layer for local clouds. This framework aims to create an abstract model for distributed, heterogeneous, and non-linear systems. Managing the variability in such environments plays a key role in handling complex automation tasks such as in smart production systems. However, there is no standard solution available for handling the variability and configuration specifications in such environments. In this paper, we analyze the existing solutions for configuration management in industrial automation frameworks and provide leverage points for a standardization framework for handling configurations of automated production systems based on the concept of industrial internet of things.
△ Less
Submitted 30 March, 2020;
originally announced March 2020.
-
Transport and two-way coupling effect of inertial particles by large-scale and very-large-scale motions in turbulence
Authors:
Guiquan Wang,
David Richter
Abstract:
Direct numerical simulations two-way coupled with inertial particles are used to investigate the particle distribution and two-way coupling effect of low-inertia ($St_{LSM}=0.0625$, $St_{VLSM}=0.009$) and high-inertia ($St_{LSM}=0.475$, $St_{VLSM}=0.069$) particles associated with the large-scale motions (LSMs) and very-large-scale motions (VLSMs) in an open channel flow at a Reynolds number of…
▽ More
Direct numerical simulations two-way coupled with inertial particles are used to investigate the particle distribution and two-way coupling effect of low-inertia ($St_{LSM}=0.0625$, $St_{VLSM}=0.009$) and high-inertia ($St_{LSM}=0.475$, $St_{VLSM}=0.069$) particles associated with the large-scale motions (LSMs) and very-large-scale motions (VLSMs) in an open channel flow at a Reynolds number of $Re_τ= 550$. One method of filtering the VLSMs from the flow is via artificial domain truncation, which alters the mean particle concentration profile and particle clustering due to the removal of VLSMs from a large domain simulation. In order to exclude possible correlation of the turbulence introduced by a small domain size with periodic boundary conditions, low- and high-pass filtering is performed during the simulation to isolate the particle interaction with different spatial scales. The results show that particle accumulation and turbophoresis are under-predicted without VLSMs, whereas the particle clustering and two-way coupling effects are mainly determined by particle coupling with LSMs. In the inner layer, the elongated streamwise anisotropic particle clustering can be reproduced by particles coupling solely with LSMs for low Stokes number ($St_{LSM}=0.0625$) particles. However, we do not observe similar particle clustering behavior in the outer layer as seen in the full simulation by coupling particles with either LSMs or VLSMs for high Stokes number ($St_{VLSM}=0.069$) particles. This indicates that the organized particle structures are formed by the joint action of LSMs and VLSMs, especially for high Stokes number particles in the outer layer.
△ Less
Submitted 4 June, 2019;
originally announced June 2019.
-
4MOST: Project overview and information for the First Call for Proposals
Authors:
R. S. de Jong,
O. Agertz,
A. Agudo Berbel,
J. Aird,
D. A. Alexander,
A. Amarsi,
F. Anders,
R. Andrae,
B. Ansarinejad,
W. Ansorge,
P. Antilogus,
H. Anwand-Heerwart,
A. Arentsen,
A. Arnadottir,
M. Asplund,
M. Auger,
N. Azais,
D. Baade,
G. Baker,
S. Baker,
E. Balbinot,
I. K. Baldry,
M. Banerji,
S. Barden,
P. Barklem
, et al. (313 additional authors not shown)
Abstract:
We introduce the 4-metre Multi-Object Spectroscopic Telescope (4MOST), a new high-multiplex, wide-field spectroscopic survey facility under development for the four-metre-class Visible and Infrared Survey Telescope for Astronomy (VISTA) at Paranal. Its key specifications are: a large field of view (FoV) of 4.2 square degrees and a high multiplex capability, with 1624 fibres feeding two low-resolut…
▽ More
We introduce the 4-metre Multi-Object Spectroscopic Telescope (4MOST), a new high-multiplex, wide-field spectroscopic survey facility under development for the four-metre-class Visible and Infrared Survey Telescope for Astronomy (VISTA) at Paranal. Its key specifications are: a large field of view (FoV) of 4.2 square degrees and a high multiplex capability, with 1624 fibres feeding two low-resolution spectrographs ($R = λ/Δλ\sim 6500$), and 812 fibres transferring light to the high-resolution spectrograph ($R \sim 20\,000$). After a description of the instrument and its expected performance, a short overview is given of its operational scheme and planned 4MOST Consortium science; these aspects are covered in more detail in other articles in this edition of The Messenger. Finally, the processes, schedules, and policies concerning the selection of ESO Community Surveys are presented, commencing with a singular opportunity to submit Letters of Intent for Public Surveys during the first five years of 4MOST operations.
△ Less
Submitted 1 April, 2019; v1 submitted 6 March, 2019;
originally announced March 2019.
-
Two mechanisms of VLSM modulation by inertial particles in open channel flow
Authors:
Guiquan Wang,
David Richter
Abstract:
Very large-scale motions (VLSMs) and large-scale motions (LSMs) coexist at moderate Reynolds numbers in a very long open channel flow. Direct numerical simulations two-way coupled with inertial particles are analysed using spectral information to investigate the modulation of VLSMs. In the wall-normal direction, particle distributions (mean/preferential concentration) exhibit two distinct behavior…
▽ More
Very large-scale motions (VLSMs) and large-scale motions (LSMs) coexist at moderate Reynolds numbers in a very long open channel flow. Direct numerical simulations two-way coupled with inertial particles are analysed using spectral information to investigate the modulation of VLSMs. In the wall-normal direction, particle distributions (mean/preferential concentration) exhibit two distinct behaviors in the inner flow and outer flow, corresponding to two highly anisotropic turbulent structures, LSMs and VLSMs. This results in particle inertia's non-monotonic effects on the VLSMs: low inertia (based on the inner scale) and high inertia (based on the outer scale) both strengthen the VLSMs whereas moderate and very high inertia have little influence. Through conditional tests, low and high inertia particles enhance VLSMs following two distinct routes. Low inertia particles promote VLSMs indirectly through the enhancement of the regeneration cycle (the self-sustaining mechanism of LSMs) in the inner region whereas high inertia particles enhance the VLSM directly through contribution to the Reynolds shear stress at similar temporal scales in the outer region. This understanding also provides more general insight into inner-outer interaction in high Reynolds number, wall-bounded flows.
△ Less
Submitted 18 February, 2019; v1 submitted 10 November, 2018;
originally announced November 2018.
-
Modulation of the turbulence regeneration cycle by inertial particles in planar Couette flow
Authors:
Guiquan Wang,
David Richter
Abstract:
Two-way coupled direct numerical simulations are used to investigate the effects of inertial particles on self-sustained, turbulent coherent structures (i.e. the so-called the regeneration cycle) in plane Couette flow at low Reynolds number just above the onset of transition. Tests show two limiting behaviors with increasing particle inertia, similar to the results from the linear stability analys…
▽ More
Two-way coupled direct numerical simulations are used to investigate the effects of inertial particles on self-sustained, turbulent coherent structures (i.e. the so-called the regeneration cycle) in plane Couette flow at low Reynolds number just above the onset of transition. Tests show two limiting behaviors with increasing particle inertia, similar to the results from the linear stability analysis of saffman, 1962: low-inertia particles trigger the laminar-to-turbulent instability whereas high-inertia particles tend to stabilize turbulence due to the extra dissipation induced by particle-fluid coupling. Furthermore, it is found that the streamwise coupling between phases is the dominant factor in dam** the turbulence and is highly related to the spatial distribution of the particles. The presence of particles in different turbulent coherent structures (large scale vortices or large scale streaks) determines the turbulent kinetic energy of particulate phase, which is related to the particle response time scaled by the turnover time of large scale vortices. By quantitatively investigating the periodic character of the whole regeneration cycle and the phase difference between linked sub-steps, we show that the presence of inertial particles does not alter the periodic nature of the cycle or the relative length of each of the sub-steps. Instead, high-inertia particles greatly weaken the large-scale vortices as well as the streamwise vorticity stretching and lift-up effects, thereby suppressing the fluctuating amplitude of the large scale streaks. The primary influence of low-inertia particles, however, is to strengthen the large scale vortices, which fosters the cycle and ultimately reduces the critical Reynolds number.
△ Less
Submitted 5 July, 2018;
originally announced July 2018.
-
The Role of the Functionality in the Branch Point Motion in Symmetric Star Polymers: A Combined Study by Simulations and Neutron Spin Echo
Authors:
S. Holler,
A. J. Moreno,
M. Zamponi,
P. Bacova,
L. Willner,
H. Iatrou,
P. Falus,
D. Richter
Abstract:
We investigate the effect of the number of arms (functionality f ) on the mobility of the branch point in symmetric star polymers. For this purpose we carry out large-scale molecular dynamics simulations of simple bead-spring stars and neutron spin echo (NSE) spectroscopy experiments on center labeled polyethylene stars. This labeling scheme unique to neutron scattering allows us to directly obser…
▽ More
We investigate the effect of the number of arms (functionality f ) on the mobility of the branch point in symmetric star polymers. For this purpose we carry out large-scale molecular dynamics simulations of simple bead-spring stars and neutron spin echo (NSE) spectroscopy experiments on center labeled polyethylene stars. This labeling scheme unique to neutron scattering allows us to directly observe the branch point motion on the molecular scale by measuring the dynamic structure factor. We investigate the cases of different functionalities f = 3, 4 and 5 for different arm lengths. The analysis of the branch point fluctuations reveals a stronger localization with increasing functionality, following 2/f-scaling. The dynamic structure factors of the branch point are analyzed in terms of a modified version, incorporating dynamic tube dilution (DTD), of the Vilgis-Boue model for cross-linked networks [J. Polym. Sci. B 1988, 26, 2291-2302]. In DTD the tube parameters are renormalized with the tube survival probability φ(t). As directly measured by the simulations, φ(t) is independent of f and therefore the theory predicts no f-dependence of the relaxation of the branch point. The theory provides a good description of the NSE data and simulations for intermediate times. However, the simulations, which have access to much longer time scales, reveal the breakdown of the DTD prediction since increasing the functionality actually leads to a slower relaxation of the branch point.
△ Less
Submitted 31 July, 2017;
originally announced July 2017.
-
Validity of Stokes-Einstein Relation in Soft Colloids up to the Glass Transition
Authors:
Sudipta Gupta,
Jörg Stellbrink,
Emanuela Zaccarelli,
Christos N. Likos,
Manuel Camargo,
Peter Holmqvist,
Jürgen Allgaier,
Lutz Willner,
Dieter Richter
Abstract:
We investigate the dynamics of kinetically frozen block copolymer micelles of different softness across a wide range of particle concentrations, from the fluid to the onset of glassy behavior, through a combination of rheology, dynamic light scattering and pulsed field gradient NMR spectroscopy. We additionally perform Brownian dynamics simulations based on an ultrasoft coarse-grained potential, w…
▽ More
We investigate the dynamics of kinetically frozen block copolymer micelles of different softness across a wide range of particle concentrations, from the fluid to the onset of glassy behavior, through a combination of rheology, dynamic light scattering and pulsed field gradient NMR spectroscopy. We additionally perform Brownian dynamics simulations based on an ultrasoft coarse-grained potential, which are found to be in quantitative agreement with experiments, capturing even the very details of dynamic structure factors S(Q, t) on approaching the glass transition. We provide evidence that for these systems the Stokes-Einstein relation holds up to the glass transition; given that it is violated for dense suspensions of hard colloids, our findings suggest that its validity is an intriguing signature of ultrasoft interactions.
△ Less
Submitted 30 August, 2015; v1 submitted 28 August, 2015;
originally announced August 2015.
-
Phonon-Assisted Incoherent Excitation of a Quantum Dot and its Emission Properties
Authors:
S. Weiler,
A. Ulhaq,
C. Roy,
S. M. Ulrich,
D. Richter,
M. Jetter,
S. Hughes,
P. Michler
Abstract:
We present a detailed study of a phonon-assisted incoherent excitation mechanism of single quantum dots. A spectrally-detuned laser couples to a quantum dot transition by mediation of acoustic phonons, whereby excitation efficiencies up to 20 % with respect to strictly resonant excitation can be achieved at T = 9 K. Laser frequency-dependent analysis of the quantum dot intensity distinctly maps th…
▽ More
We present a detailed study of a phonon-assisted incoherent excitation mechanism of single quantum dots. A spectrally-detuned laser couples to a quantum dot transition by mediation of acoustic phonons, whereby excitation efficiencies up to 20 % with respect to strictly resonant excitation can be achieved at T = 9 K. Laser frequency-dependent analysis of the quantum dot intensity distinctly maps the underlying acoustic phonon bath and shows good agreement with our polaron master equation theory. An analytical solution for the photoluminescence is introduced which predicts a broadband incoherent coupling process when electron-phonon scattering is in the strong phonon coupling (polaronic) regime. Additionally, we investigate the coherence properties of the emitted light and study the impact of the relevant pump and phonon bath parameters.
△ Less
Submitted 20 July, 2012;
originally announced July 2012.
-
SPHERES, Jülich's High-Flux Neutron Backscattering Spectrometer at FRM II
Authors:
Joachim Wuttke,
Alfred Budwig,
Matthias Drochner,
Hans Kämmerling,
Franz-Joseph Kayser,
Harald Kleines,
Vladimir Ossovyi,
Luis Carlos Pardo,
Michael Prager,
Dieter Richter,
Gerald J. Schneider,
Harald Schneider,
Simon Staringer
Abstract:
SPHERES (SPectrometer with High Energy RESolution) is a third-generation neutron backscattering spectrometer, located at the 20 MW German neutron source FRM II and operated by the Juelich Centre for Neutron Science. It offers an energy resolution (fwhm) better than 0.65 micro-eV, a dynamic range of +-31 micro-eV, and a signal-to-noise ratio of up to 1750:1.
SPHERES (SPectrometer with High Energy RESolution) is a third-generation neutron backscattering spectrometer, located at the 20 MW German neutron source FRM II and operated by the Juelich Centre for Neutron Science. It offers an energy resolution (fwhm) better than 0.65 micro-eV, a dynamic range of +-31 micro-eV, and a signal-to-noise ratio of up to 1750:1.
△ Less
Submitted 13 August, 2012; v1 submitted 16 April, 2012;
originally announced April 2012.
-
Exact Gap Computation for Code Coverage Metrics in ISO-C
Authors:
Dirk Richter,
Christian Berg
Abstract:
Test generation and test data selection are difficult tasks for model based testing. Tests for a program can be meld to a test suite. A lot of research is done to quantify the quality and improve a test suite. Code coverage metrics estimate the quality of a test suite. This quality is fine, if the code coverage value is high or 100%. Unfortunately it might be impossible to achieve 100% code covera…
▽ More
Test generation and test data selection are difficult tasks for model based testing. Tests for a program can be meld to a test suite. A lot of research is done to quantify the quality and improve a test suite. Code coverage metrics estimate the quality of a test suite. This quality is fine, if the code coverage value is high or 100%. Unfortunately it might be impossible to achieve 100% code coverage because of dead code for example. There is a gap between the feasible and theoretical maximal possible code coverage value. Our review of the research indicates, none of current research is concerned with exact gap computation. This paper presents a framework to compute such gaps exactly in an ISO-C compatible semantic and similar languages. We describe an efficient approximation of the gap in all the other cases. Thus, a tester can decide if more tests might be able or necessary to achieve better coverage.
△ Less
Submitted 28 February, 2012;
originally announced February 2012.
-
Splints of classical root systems
Authors:
David A. Richter
Abstract:
This article introduces a new term "splint" and classifies the splints of the classical root systems. The motivation comes from representation theory of semisimple Lie algebras. In a few instances, splints play a role in determining branching rules of a module over a complex semisimple Lie algebra when restricted to a subalgebra. In these particular cases, the set of submodules with respect to t…
▽ More
This article introduces a new term "splint" and classifies the splints of the classical root systems. The motivation comes from representation theory of semisimple Lie algebras. In a few instances, splints play a role in determining branching rules of a module over a complex semisimple Lie algebra when restricted to a subalgebra. In these particular cases, the set of submodules with respect to the subalgebra themselves may be regarded as the character of another Lie algebra.
△ Less
Submitted 7 July, 2008;
originally announced July 2008.
-
Triacontagonal coordinates for the E(8) root system
Authors:
David A. Richter
Abstract:
This note gives an explicit formula for the elements of the E(8) root system. The formula is triacontagonally symmetric in that one may clearly see an action by the cyclic group with 30 elements. The existence of such a formula is due to the fact that the Coxeter number of E(8) is 30.
This note gives an explicit formula for the elements of the E(8) root system. The formula is triacontagonally symmetric in that one may clearly see an action by the cyclic group with 30 elements. The existence of such a formula is due to the fact that the Coxeter number of E(8) is 30.
△ Less
Submitted 24 April, 2007;
originally announced April 2007.
-
Star-Like Micelles with Star-Like Interactions: A quantitative Evaluation of Structure Factor and Phase Diagram
Authors:
M. Laurati,
J. Stellbrink,
R. Lund,
L. Willner,
D. Richter,
E. Zaccarelli
Abstract:
PEP-PEO block copolymer micelles offer the possibility to investigate phase behaviour and interactions of star polymers (ultra-soft colloids). A star-like architecture is achieved by an extremely asymmetric block ratio (1:20). Micellar functionality f can be smoothly varied by changing solvent composition (interfacial tension). Structure factors obtained by SANS can be quantitatively described i…
▽ More
PEP-PEO block copolymer micelles offer the possibility to investigate phase behaviour and interactions of star polymers (ultra-soft colloids). A star-like architecture is achieved by an extremely asymmetric block ratio (1:20). Micellar functionality f can be smoothly varied by changing solvent composition (interfacial tension). Structure factors obtained by SANS can be quantitatively described in terms of an effective potential developed for star polymers. The experimental phase diagram reproduces to a high level of accuracy the predicted liquid/solid transition. Whereas for intermediate f a bcc phase is observed, for high f the formation of a fcc phase is preempted by glass formation.
△ Less
Submitted 4 May, 2005;
originally announced May 2005.
-
Phase separation in star polymer-colloid mixtures
Authors:
J. Dzubiella,
A. Jusufi,
C. N. Likos,
C. von Ferber,
H. Lowen,
J. Stellbrink,
J. Allgaier,
D. Richter,
A. B. Schofield,
P. A. Smith,
W. C. K. Poon,
P. N. Pusey
Abstract:
We examine the demixing transition in star polymer-colloid mixtures for star arm numbers f=2,6,16,32 and different star-colloid size ratios. Theoretically, we solve the thermodynamically self-consistent Rogers-Young integral equations for binary mixtures using three effective pair potentials obtained from direct molecular computer simulations. The numerical results show a spinodal instability. T…
▽ More
We examine the demixing transition in star polymer-colloid mixtures for star arm numbers f=2,6,16,32 and different star-colloid size ratios. Theoretically, we solve the thermodynamically self-consistent Rogers-Young integral equations for binary mixtures using three effective pair potentials obtained from direct molecular computer simulations. The numerical results show a spinodal instability. The demixing binodals are approximately calculated, and found to be consistent with experimental observations.
△ Less
Submitted 12 October, 2000;
originally announced October 2000.
-
Quantization of cohomology in semi-simple Lie algebras
Authors:
R. Milson,
D. Richter
Abstract:
The space of realizations of a finite-dimensional Lie algebra by first order differential operators is naturally isomorphic to H^1 with coefficients in the module of functions. The condition that a realization admits a finite-dimensional invariant subspace of functions seems to act as a kind of quantization condition on this H^1. It was known that this quantization of cohomology holds for all re…
▽ More
The space of realizations of a finite-dimensional Lie algebra by first order differential operators is naturally isomorphic to H^1 with coefficients in the module of functions. The condition that a realization admits a finite-dimensional invariant subspace of functions seems to act as a kind of quantization condition on this H^1. It was known that this quantization of cohomology holds for all realizations on 2-dimensional homogeneous spaces, but the extent to which quantization of cohomology is true in general was an open question. The present article presents the first known counter-examples to quantization of cohomology; it is shown that quantization can fail even if the Lie algebra is semi-simple, and even if the homogeneous space in question is compact. A explanation for the quantization phenomenon is given in the case of semi-simple Lie algebras. It is shown that the set of classes in H^1 that admit finite-dimensional invariant subspaces is a semigroup that lies inside a finitely-generated abelian group. In order for this abelian group be a discrete subset of H^1, i.e. in order for quantization to take place, some extra conditions on the isotropy subalgebra are required. Two different instances of such necessary conditions are presented.
△ Less
Submitted 29 May, 1998; v1 submitted 22 May, 1998;
originally announced May 1998.