Abstract Surrogate modeling can overcome computational and data-privacy constraints of micro-scale economic models support their incorporation into large-scale simulations interactive simulation experiments. We compare four data-driven methods to reproduce the aggregated crop area response simulated by farm-level in price variation. use isometric log-ratio transformation accommodate composition...

Among different currents in musical sound synthesis the instrumental approach developed at ACROE with the CORDIS ANIMA project, needs specific computer and low level software architecture for the real-time interactive simulation. Since the very beginning of this project several real-time configuration have been designed in which the basic principles of physical modeling were implemented at a lo...

This paper presents a novel theoretical framework for the state space reduction of Kripke structures. We define two equivalence relations, Kripke minimization equivalence (KME) and weak Kripke minimization equivalence (WKME). We define the quotient system under these relations and show that these relations are strictly coarser than strong (bi)simulation and divergence-sensitive stutter (bi)simu...

Incomplete information is present in many engineering domains, hindering traditional and non—traditional simulation techniques. This paper describes SQPC (semi—quantitative physics compiler), an implemented approach to modelling and simulation that can predict the behavior of incompletely specified systems, such as those that arise in the water control domain. SQPC is the first system that unif...

Concept algebra (CA) is a denotational mathematics for formal knowledge manipulation and natural language processing. In order to explicitly demonstrate the mathematical models of formal concepts and their algebraic operations in CA, a simulation and visualization software is developed in the MATLAB environment known as the Visual Simulator of Concept Algebra (VSCA). This paper presents the des...

In this paper, a simplified formulation for compositional reservoir simulator is presented. These types of simulators are used when inter-phase mass transfer depends on phase composition as well as pressure. The procedure for solving compositional model equations is completely described. For equilibrium calculation, property estimation Peng Robinson equation of state is used. This equation ...

For technical and economic success of miscible gas injection projects, an accurate laboratory measurement of Minimum Miscibility Pressure (MMP) at reservoir conditions is essential. On the other hand, compositional reservoir simulator is a useful tool in gas injection studies and prediction of MMP. The main goal of this paper is to describe a procedure to generate a three phase sequential t...

finding a representative fluid in a hydrocarbon reservoir is crucial for integrated reservoir management. in this study, a systematic approach for screening and selecting consistent fluid samples in a reservoir was developed. the model integrated quality control (qc) of well conditioning before sampling, qc of pvt data, thermodynamic modeling and compositional gradient within a reservoir. well ...

In the interleaving model of concurrency, where events are totally ordered, linearizability is compositional: the composition of two linearizable objects is guaranteed to be linearizable. However, linearizability is not compositional when events are only partially ordered, as in many weak-memory models that describe multicore memory systems. In this paper, we present causal linearizability, a c...

In this paper we develop a new mathematical formulation for chemical compositional reservoir simulation, and provide a comparison of its results on alkaline-surfactant-polymer flooding with those of UTCHEM simulator. Our research has found that the existing chemical compositional model estimates the adsorption effect on the transport of a component reasonably well but it does not satisfy the pr...