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