S-invariant analysis of general recursive Petri boxex

The paper shows how to synthesise S-invariants and S-components for Petri Boxes constructed through general recursions, from S-invariants/S-components of their constituents. The construction is based on the tree-structure of the interface places used to define this operator and extends similar results obtained for the refinement operator. Emphasis is put on deriving coverability results; these results are then used to show that all the nets obtained through refinements and recursions from a family covered by S-components are self-concurrency free, at most 2-safe and exhibit a generalised emptiness property; in particular, this is the case for the nets obtained in the translation of the process algebra of Box expressions.Work done within the Esprit Basic Research Working Group 6067     

A compositional Petri net translation of general π-calculus terms

We propose a finite structural translation of possibly recursive π-calculus terms into Petri nets. This is achieved by using high-level nets together with an equivalence on markings in order to model entering into recursive calls, which do not need to be guarded. We view a computing system as consisting of a main program (π-calculus term) together with procedure declarations (recursive definitions of π-calculus identifiers). The control structure of these components is represented using disjoint high-level Petri nets, one for the main program and one for each of the procedure declarations. The program is executed once, while each procedure can be invoked several times (even concurrently), each such invocation being uniquely identified by structured tokens which correspond to the sequence of recursive calls along the execution path leading to that invocation.     

A semidynamic construction of higher-order voronoi diagrams and its randomized analysis

Thek-Delaunay tree extends the Delaunay tree introduced in [1], and [2]. It is a hierarchical data structure that allows the semidynamic construction of the higher-order Voronoi diagrams of a finite set ofn points in any dimension. In this paper we prove that a randomized construction of thek-Delaunay tree, and thus of all the orderk Voronoi diagrams, can be done inO(n logn+k ³n) expected time and O(k²n) expected storage in the plane, which is asymptotically optimal for fixedk. Our algorithm extends tod-dimensional space with expected time complexityO(k ^(d+1)/2+1 n ^(d+1)/2) and space complexityO(k ^(d+1)/2 n ^(d+1)/2). The algorithm is simple and experimental results are given.This work has been supported in part by the ESPRIT Basic Research Action No. 3075 (ALCOM).     

Whodunnit – Searching for the most important feature types signalling emotion-related user states in speech

In this article, we describe and interpret a set of acoustic and linguistic features that characterise emotional/emotion-related user states – confined to the one database processed: four classes in a German corpus of children interacting with a pet robot. To this end, we collected a very large feature vector consisting of more than 4000 features extracted at different sites. We performed extensive feature selection (Sequential Forward Floating Search) for seven acoustic and four linguistic types of features, ending up in a small number of ‘most important’ features which we try to interpret by discussing the impact of different feature and extraction types. We establish different measures of impact and discuss the mutual influence of acoustics and linguistics.     

The mechanism of intergranular corrosion of dilute zinc-aluminium alloys in hot water

On the basis of polarization studies, grain boundary corrosion rate measurements and metallographic results, a corrosion mechanism is advanced which allows for a full explanation of the corrosion behaviour of zin—aluminium alloys. Explanations are provided for the well-known detrimental effects of lead additions, and the beneficial effects of copper and magnesium additions to these alloys.     

Alteration of a cement matrix subjected to biolixiviation test

This paper reports on the assessment of durability and long-term performance of a cement matrix subjected to heterotrophic microbial mediated degradation. In near surface disposal facilities for hazardous and radioactive wastes, microbial activities may likely, in a long-term perspective threaten the integrity of cement-solidified wastes. To investigate the detrimental impact of heterotrophic microorganisms on cement matrices, Aspergillus niger reputed as versatile and prevalent fungus in soil flora was selected as candidate. It was shown that this fungus has the potential of severely degrading ordinary Portland cement pastes through organic acids production. Cement pastes experienced chemical alterations such as substantial leaching of calcium, and mechanical degradation was evident as highlighted by the drastic decline in Young’s modulus. Their poor behaviour with respect to heterotrophic biodeterioration and susceptibility to failure were therefore demonstrated. Consequently, biolixiviation scenario should be seriously considered in order to ensure safe long-term disposal for cement-solidified wastes.