This paper concerns the problem of building reactive systems in a modular way. Several institutions have been proposed for the specification of reactive systems throughout the last fifteen years. Based on the institutions, formalisms for the incremental construction of system specifications have been developed. Related problem of modular construction of system implementations has received less ...

This work deals with the stabilization of early stages of Lagrangian calculations of compressible gas dynamics in the context of cell-centered discretization. We describe a totally conservative algorithm based on an entropy analysis of the distortion of a Lagrangian mesh. The resulting scheme is an extension of the cell-centered GLACE scheme [10]. Numerical tests are proposed to assess the accu...

the purpose of this paper is to investigate the egm method and the behavior of a solid particle suspended in a twodimensional rectangular cavity due to conjugate natural convection. a thermal lattice boltzmann bgk model is implemented to simulate the two dimensional natural convection and the particle phase was modeled using the lagrangian–lagrangian approach where the solid particles are treat...

This paper presents an enhanced merit order (EMO) and augmented Lagrange Hopfield network (ALHN) for unit commitment (UC). The EMO method is a merit order based heuristic search for unit scheduling and ALHN is a continuous Hopfield network based on augmented Lagrange relaxation for economic dispatch problem. First, generating units are sorted in ascending average production cost and committed t...

We propose an efficient numerical algorithm for computing deformations of ‘very’ soft tissues (such as the brain, liver, kidney etc.), with applications to real-time surgical simulation. The algorithm is based on the finite element method using the total Lagrangian formulation, where stresses and strains are measured with respect to the original configuration. This choice allows for pre-computi...

In AI a large number of calculi for efficient reasoning about spatial and temporal entities have been developed. The most prominent temporal calculi are the point algebra of linear time and Allen’s interval calculus. Examples of spatial calculi include mereotopological calculi, Frank’s cardinal direction calculus, Freksa’s double cross calculus, Egenhofer and Franzosa’s intersection calculi, an...

MICHEL BIDOIT†, DONALD SANNELLA‡ and ANDRZEJ TARLECKI§ † Laboratoire Spécification et Vérification, CNRS & ENS de Cachan, France Website: www.lsv.ens-cachan.fr/~bidoit/ ‡ Laboratory for Foundations of Computer Science, University of Edinburgh, UK Website: homepages.inf.ed.ac.uk/dts/ § Institute of Informatics, Warsaw University, and Institute of Computer Science, Polish Academy of Sciences, War...

We present a weak theory BasicReal of the real numbers in the rst order speciication language Casl. The aim is to provide a datatype for practical purposes, including the central notions and results of basic analysis. BasicReal captures for instance e and ; as well as the trigonometric and other standard functions. Concepts such as continuity, diierentiation and integration are shown to be deen...