Finite constants: characterizations of a new decidable set of constants

Constant propagation, the replacement of program terms which represent a unique value at run time by their values, is a classical program optimization method. In spite of being treated for years, constant propagation still has been in the unsatisfactory phase of heuristics. We enhance the known constant propagation techniques to obtain an algorithm which is optimal for programs without loops. Fundamental is the introduction of a new decidable set of constants, the finite constants. This set has two different characterizations: a denotational one, which directly specifies our iterative algorithm and an operational one, which delivers the completeness or optimality of this algorithm for programs without loops. The algorithm is implemented in a commercial compiler project.     

Smooth velocity approximation for constrained systems in real-time simulation

The rapidly increasing complexity of multi-body system models in applications like vehicle dynamics, robotics and bio-mechanics requires qualitative new solution methods to slash computing times for the dynamical simulation.     

Tests and Proofs

This special issue collects current advances in the ongoing attempt to obtain synergies from the combination of Tests and Proofs.     

An investigation of multiphase CFD modelling of a lateral sloshing tank

A near-resonant, sway-induced sloshing flow in a rectangular tank is used to compare a homogeneous and inhomogeneous multiphase approach for fluid density and viscosity in a commercial CFD code. Dimensional analysis of the relative motion between the phases suggests the application of an inhomogeneous multiphase model whereas previous published work has used the computationally cheaper homogeneous (or average property) approach. The comparison between the computational and experimental results shows that the homogeneous model tends to underestimate the experimental peak pressures by up to 50%. The inhomogeneous multiphase model gives good agreement with the experimental pressure data. Examination of the relative velocity at the fluid interface confirms that the inhomogeneous model is the appropriate model to use for the simulation of a violent sloshing flow.     

Numerical integration of singular integrands using low-discrepancy sequences

We investigate quasi-Monte Carlo integration for functions on thes-dimensional unit cube having point singularities. Error bounds are proved and the theoretical results are verified by computations using Halton, Sobol’ and Niederreiter sequences. Supported by the Austrian Science Foundation (Project 10223-PHY).     

BioPACE

While developing the specifications for electronically enabled Machine Readable Travel Documents, the ICAO paid significant attention to security aspects related to the digital information stored in this type of electronic document. This has resulted in Passive and Active Authentication, Basic Access Control and Extended Access Control. The goal of Basic Access Control (BAC) is preventing unauthorized access to the chip data stored on eMRTDs. The PACE protocol has been developed as a future-proof method to overcome the limitations of BAC and to replace BAC in the future. In this paper the BioPACE protocol is proposed as a supplement to the PACE protocol. Besides verifying if the document holder is indeed the rightful owner, the BioPACE protocol provides a higher convenience for the bearer of the document.