Algorithmic probabilistic game semantics

We present a detailed account of a translation from probabilistic call-by-value programs with procedures to Rabin’s probabilistic automata. The translation is fully abstract in that programs exhibit the same computational behaviour if and only if the corresponding automata are language-equivalent. Since probabilistic language equivalence is decidable, we can apply the translation to analyse the behaviour of probabilistic programs and protocols. We illustrate our approach on a number of case studies.     

Where does model-driven engineering help? Experiences from three industrial cases

There have been few experience reports from industry on how Model-Driven Engineering (MDE) is applied and what the benefits are. This paper summarizes the experiences of three large industrial participants in a European research project with the objective of developing techniques and tools for applying MDE on the development of large and complex software systems. The participants had varying degrees of previous experience with MDE. They found MDE to be particularly useful for providing abstractions of complex systems at multiple levels or from different viewpoints, for the development of domain-specific models that facilitate communication with non-technical experts, for the purposes of simulation and testing, and for the consumption of models for analysis, such as performance-related decision support and system design improvements. From the industrial perspective, a methodology is considered to be useful and cost-efficient if it is possible to reuse solutions in multiple projects or products. However, developing reusable solutions required extra effort and sometimes had a negative impact on the performance of tools. While the companies identified several benefits of MDE, merging different tools with one another in a seamless development environment required several transformations, which increased the required implementation effort and complexity. Additionally, user-friendliness of tools and the provision of features for managing models of complex systems were identified as crucial for a wider industrial adoption of MDE.     

Transient Friction in Pressurized Pipes. I: Investigation of Zielke’s Model

This paper investigates the well-known model for unsteady friction developed by Zielke in 1968. The model is based on weights of past local bulk accelerations and is analytically correct for laminar flow, but computationally demanding. Different models have been proposed using dynamic properties, typically based on instantaneous accelerations (IAB) that are more rapid in computational schemes. Unfortunately, they are not as accurate as Zielke’s model and fail to model certain types of transients. This paper points out that the water hammer transient is dominated by a periodicity varying along the pipe. Because of this, the unsteady friction calculated by the Zielke model is distributed nonuniformly along the pipe, and changes in the pipe length change the local unsteady friction. This phenomenon may explain why IAB models using calibrated coefficients to match experimental results have a large span in value for the reported coefficients. This paper will hopefully contribute to further work to find highly accurate and rapid models. The subject deserves to be brought up for discussion as a part of a total understanding of the problem.     

Transient Friction in Pressurized Pipes. II: Two-Coefficient Instantaneous Acceleration–Based Model

The goal in the field of modeling of hydraulic transients is a comprehensive model for pipe networks that is computationally fast and accurate. The fastest models are the one-dimensional (1D) models that use instantaneous acceleration–based (IAB) properties, but unfortunately these models are not as accurate as the more demanding 1D convolution-based (CB) models or quasi two-dimensional models. Focusing on a single pipe, this paper investigates the fundamental behavior of the much more accurate 1D CB model to find two coefficients for use with the two-coefficient formulation of the much-used modified IAB (MIAB) model for complete closing of a downstream valve. Two coefficients are found based on the weighting function used in the CB model, and these coefficients vary along the pipe length. Simulations are compared with two experimental results from tests performed at University of Adelaide in Australia in 1995. The experimental results are for different initial Reynolds numbers of approximately 2,000 and 5,800. The results show very good agreement between simulations and experiments. The improvement of the MIAB model is not general, and for the time being, only complete closure of a downstream valve in a single pipeline at low Reynolds numbers has been investigated.     

Overview of the MPEG Reconfigurable Video Coding Framework

Video coding technology in the last 20 years has evolved producing a variety of different and complex algorithms and coding standards. So far the specification of such standards, and of the algorithms that build them, has been done case by case providing monolithic textual and reference software specifications in different forms and programming languages. However, very little attention has been given to provide a specification formalism that explicitly presents common components between standards, and the incremental modifications of such monolithic standards. The MPEG Reconfigurable Video Coding (RVC) framework is a new ISO standard currently under its final stage of standardization, aiming at providing video codec specifications at the level of library components instead of monolithic algorithms. The new concept is to be able to specify a decoder of an existing standard or a completely new configuration that may better satisfy application-specific constraints by selecting standard components from a library of standard coding algorithms. The possibility of dynamic configuration and reconfiguration of codecs also requires new methodologies and new tools for describing the new bitstream syntaxes and the parsers of such new codecs. The RVC framework is based on the usage of a new actor/ dataflow oriented language called CAL for the specification of the standard library and instantiation of the RVC decoder model. This language has been specifically designed for modeling complex signal processing systems. CAL dataflow models expose the intrinsic concurrency of the algorithms by employing the notions of actor programming and dataflow. The paper gives an overview of the concepts and technologies building the standard RVC framework and the non standard tools supporting the RVC model from the instantiation and simulation of the CAL model to software and/or hardware code synthesis.     

A review of the Namntall Tunnel project with regard to grouting performance

The 6 km tunnel under the Namntall hill is a part of the Botniabanan railway project in northern Sweden. The tunnels were excavated by means of drilling and blasting and with, for Scandinavian conditions, a normal grouting routine. The grouting is performed to reduce water ingress into the tunnel to the level defined in the contract. When the water ingress requirements proved difficult to meet, it was obvious that the geological and the hydrogeological conditions in the tunnel would dictate the work processes. A distinctive change in rock conditions influenced both grouting performance and seepage into the tunnel. The rock conditions and the grouting were quantified throughout the project and these are summarized in this paper. It can be concluded that the strongest correlation is between the water ingress, the hydrogeological conditions and the density of the zones and the conditions in and around these zones. The paper suggests a different approach to hydrogeological prognosis and the grouting process, such as distribution of grouting classes, increased mixer capacities and regular use of two grouting rounds.