A General Reliable Quadratic Form: An Extension of Affine Arithmetic

In this article, a new extension of affine arithmetic is introduced. This technique is based on a quadratic form named general quadratic form. We focus here on the computation of reliable bounds of a function over a hypercube by using this new tool. Some properties of first quadratic functions and then polynomial ones are reported. In order to show the efficiency of such a method, ten polynomial global optimization problems are presented and solved by using an interval branch-and-bound based algorithm. The work of the first author was also supported by the Laboratoire de Mathématiques Appliquées CNRS–FRE 2570, Université de Pau et des Pays de l'Adour, France, and by the Laboratoire d'Electrotechnique et d'Electronique Industrielle CNRS–UMR5828, Group EM³, INPT–ENSEEIHT.     

Property Testing of Regular Tree Languages

We consider the edit distance with moves on the class of words and the class of ordered trees. We first exhibit a simple tester for the class of regular languages on words and generalize it to the class of ranked and unranked regular trees. We also show that this distance problem is -complete on ordered trees. A preliminary version of this paper appeared in Proceedings of 31st International Colloquium on Automata, Languages and Programming, volume 3142 of Lecture Notes in Computer Science, pages 932–944, Springer, 2005. Work supported by ACI Sécurité Informatique: VERA of the French Ministry of research.     

Memory Management for Real-Time Java: An Efficient Solution using Hardware Support*

This paper addresses the issue of improving the performance of memory management for real-time Java applications, building upon the real-time specification for Java (RTSJ) from the Real-Time Java Expert Group. In a first step, a collecting dynamic memory solution including both a real-time garbage collector and region-based memory management, is proposed. A thorough analysis of the parameters influencing the performance of write barriers in memory management, together with ways of improvement are then presented. Finally, the implementation of a memory management solution compliant with the RTSJ and integrating the proposed improvements is sketched.     

Thermophysical Properties of Binary Mixtures of R125 + R143a in Comparison with a Simple Prediction Method

The thermal diffusivity and sound speed of binary refrigerant mixtures of R143a (1,1,1-trifluoroethane) and R125 (pentafluoroethane) have been determined for both the saturated liquid and vapor phase using dynamic light scattering (DLS). Measurements were performed for four quite different mixture compositions over a wide temperature range from 293 to 345 K approaching the vapor-liquid critical point. The results obtained corroborate the usefulness of a simple prediction method for the determination of different thermophysical properties of multicomponent mixtures in the two-phase region up to the critical point. Besides the information on the properties for the pure components, the successful application of the prediction method is also based on an exact knowledge of the critical temperature. The composition dependence of the critical temperature has been determined by observation of the vanishing meniscus between liquid and vapor phases. The mixture results are discussed in detail and compared with available literature data.     

Identification and Validation of a Discrete Element Model for Concrete

The use of a three-dimensional discrete element method (DEM) is proposed to study concrete structures submitted to dynamic loading. The aim of this paper is to validate the model first in the quasistatic domain, and second in dynamic compression, at the sample scale. A particular growing technique is used to set a densely packed assembly of arbitrarily sized spherical particles interacting together, representing concrete. An important difference from classical DEMs where only contact interactions are considered, is the use of an interaction range. First, the correct identification of parameters of the DEM model to simulate elastic and nonlinear deformation including damage and rupture is made through quasistatic uniaxial compression and tension tests. The influence of the packing is shown. The model produces a quantitative match of strength and deformation characteristics of concrete in terms of Young’s modulus, Poisson’s coefficient, and compressive and tensile strengths. Then, its validity is extended through dynamic tests. The simulations exhibit complex macroscopic behaviors of concrete, such as strain softening, fractures that arise from extensive microcracking throughout the assembly, and strain rate dependency.