2,905 research outputs found
Moment Generating Stirling Numbers of the first kind and Applications
In this paper we introduce and investigate moment generating Stirling numbers
of the first kind, "`MSN1"'. They are inverses of MSN2's, which make the
representation of the moments for a lot of statistical distributions in closed
formulas possible. Both MSN1's and MSN2's are related to the r-Stirling
numbers, and extend their properties to any real third parameter. If the third
parameter is a nonnegative integer, r-Stirling numbers can be converted to
MSN's and vice versa
Stochastic Generation of Particle Structures with Controlled Degree of Heterogeneity
The recently developed void expansion method (VEM) allows for an efficient
generation of porous packings of spherical particles over a wide range of
volume fractions. The method is based on a random placement of the structural
particles under addition of much smaller "void-particles" whose radii are
repeatedly increased during the void expansion. Thereby, they rearrange the
structural particles until formation of a dense particle packing and introduce
local heterogeneities in the structure. In this paper, microstructures with
volume fractions between 0.4 and 0.6 produced by VEM are analyzed with respect
to their degree of heterogeneity (DOH). In particular, the influence of the
void- to structural particle number ratio, which constitutes a principal
VEM-parameter, on the DOH is studied. The DOH is quantified using the pore size
distribution, the Voronoi volume distribution and the density-fluctuation
method in conjunction with fit functions or integral measures. This analysis
has revealed that for volume fractions between 0.4 and 0.55 the void-particle
number allows for a quasi-continuous adjustment of the DOH. Additionally, the
DOH-range of VEM-generated microstructures with a volume fraction of 0.4 is
compared to the range covered by microstructures generated using previous
Brownian dynamics simulations, which represent the structure of coagulated
colloidal suspensions. Both sets of microstructures cover similarly broad and
overlapping DOH-ranges, which allows concluding that VEM is an efficient method
to stochastically reproduce colloidal microstructures with varying DOH.Comment: 10 pages, 7 figure
Source Code Verification for Embedded Systems using Prolog
System relevant embedded software needs to be reliable and, therefore, well
tested, especially for aerospace systems. A common technique to verify programs
is the analysis of their abstract syntax tree (AST). Tree structures can be
elegantly analyzed with the logic programming language Prolog. Moreover, Prolog
offers further advantages for a thorough analysis: On the one hand, it natively
provides versatile options to efficiently process tree or graph data
structures. On the other hand, Prolog's non-determinism and backtracking eases
tests of different variations of the program flow without big effort. A
rule-based approach with Prolog allows to characterize the verification goals
in a concise and declarative way.
In this paper, we describe our approach to verify the source code of a flash
file system with the help of Prolog. The flash file system is written in C++
and has been developed particularly for the use in satellites. We transform a
given abstract syntax tree of C++ source code into Prolog facts and derive the
call graph and the execution sequence (tree), which then are further tested
against verification goals. The different program flow branching due to control
structures is derived by backtracking as subtrees of the full execution
sequence. Finally, these subtrees are verified in Prolog.
We illustrate our approach with a case study, where we search for incorrect
applications of semaphores in embedded software using the real-time operating
system RODOS. We rely on computation tree logic (CTL) and have designed an
embedded domain specific language (DSL) in Prolog to express the verification
goals.Comment: In Proceedings WLP'15/'16/WFLP'16, arXiv:1701.0014
Microstructures and Mechanical Properties of Dense Particle Gels: Microstructural Characterization
The macroscopic mechanical properties of densely packed coagulated colloidal
particle gels strongly depend on the local arrangement of the powder particles
on length scales of a few particle diameters. Heterogeneous microstructures
exhibit up to one order of magnitude higher elastic properties and yield
strengths than their homogeneous counterparts. The microstructures of these
gels are analyzed by the straight path method quantifying quasi-linear particle
arrangements of particles. They show similar characteristics than force chains
bearing the mechanical load in granular material. Applying this concept to gels
revealed that heterogeneous colloidal microstructures show a significantly
higher straight paths density and exhibit longer straight paths than their
homogeneous counterparts.Comment: 7 pages, 9 figure
Stochastic generation of particle structures with controlled degree of heterogeneity
The recently developed void expansion method (VEM) allows for an efficient generation of porous packings of spherical particles over a wide range of volume fractions. The method is based on a random placement of the structural particles under addition of much smaller "void-particles” whose radii are repeatedly increased during the void expansion. Thereby, they rearrange the structural particles until formation of a dense particle packing and introduce local heterogeneities in the structure. In this paper, microstructures with volume fractions between 0.4 and 0.6 produced by VEM are analyzed with respect to their degree of heterogeneity (DOH). In particular, the influence of the void- to structural particle number ratio, which constitutes a principal VEM-parameter, on the DOH is studied. The DOH is quantified using the pore size distribution, the Voronoi volume distribution and the density-fluctuation method in conjunction with fit functions or integral measures. This analysis has revealed that for volume fractions between 0.4 and 0.55 the void-particle number allows for a quasi-continuous adjustment of the DOH. Additionally, the DOH-range of VEM-generated microstructures with a volume fraction of 0.4 is compared to the range covered by microstructures generated using previous Brownian dynamics simulations, which represent the structure of coagulated colloidal suspensions. Both sets of microstructures cover similarly broad and overlapping DOH-ranges, which allows concluding that VEM is an efficient method to stochastically reproduce colloidal microstructures with varying DO
Market opportunities for animal-friendly milk in different consumer segments
Consumers have increasing, but highly variable, interest in sustainability attributes of food, including ethical aspects, such as animal welfare. We explored market opportunities for animal-friendly cow’s milk based on segmentation (cluster) analysis. Flemish survey participants (n = 787) were clustered (n = 6) based on their intention to purchase (IP) animal-friendly milk, and their evaluation of cows’ welfare state (EV). Three market opportunity segments were derived from clusters and labelled as “high”, “moderate” and “limited”. Only 8% of the participants belong to the “high market opportunities” segment, characterized by a high IP and a low EV. The “limited” segment (44%) indicated a neutral to low IP and a positive EV. The “moderate” segment (48%) had a moderately positive IP and positive/negative EV. Reported willingness to pay, interest in information about the state of animal welfare and importance of the product attribute “animal welfare” differed among segments and were strongly related to IP. Most promising selling propositions about animal-friendly milk were related to pasture access. The high degree of differentiation within the Flemish milk market reveals market opportunities for animal-friendly milk, but for an effective market share increase supply of animal-friendly products needs to get more aligned with the heterogeneous demand
- …