in this paper, we introduce the notion of primal strong co-ideals and give some results involving them. it is shown thatsubtractive strong co-ideals are intersection of all primal strong co-ideals that contain them. also we prove that the representation of strong co-ideals as reduced intersections of primal strong co-ideals is unique.

A classical force field approach was used to characterize the solvation dynamics of high-density CO₂(g) by monoethanolamine (MEA) at the air-liquid interface. Intra- and intermolecular CO₂ and MEA potentials were parameterized according to the energetics calculated at the MP2 and BLYP-D2 levels of theory. The thermodynamic properties of CO₂ and MEA, such as heat capacity and melting point, were...

This paper draws on perspectives from co-design as an integrative and collaborative design activity co-simulation a supporting information system to advance engineering methods for problems of societal significance. Design implementation the Sustainable Infrastructure Planning Game provides prototypical artifact that leverages High Level Architecture standard. Three role players create strategi...

An iterative co-conditional Monte Carlo simulation (IMCS) approach is developed. This approach derives co-conditional means and variances of transmissivity (T), head (f), and Darcy’s velocity (q), based on sparse measurements of T and f in heterogeneous, confined aquifers under steady-state conditions. It employs the classical co-conditional Monte Carlo simulation technique (MCS) and a successi...

This article shows how a hardware in the loop (HIL) simulation can be formulated such way that quality of assessed by evaluating total energy residual (TER). The validity this approach was checked with standard co-simulation to show TER used compare non-iterative Jacobi and Gauss-Seidel masters. given example known global error value correctly determine which masters is better. In experimental ...

This paper presents a methodology for a unified co-simulation and co-synthesis of hardware-software systems. This approach addresses the modeling of communication between the hardware and software modules at different abstraction levels and for different design tools.ion levels and for different design tools. The main contribution is the use of a multi-view library concept in order to hide spec...

This paper deals with the simulation of hybrid systems. These systems mix two different aspects: continuous and discrete. Their simulation presents many problems mainly the synchronisation between the two models. Stateflow, used to describe the discrete model, is co-ordinated with Matlab, used to describe the continuous model. The gas storage example is used to illustrate the co-ordination of t...

Co-simulation refers to simulating a complex system using several coupled numerical models. Engineers define the rate of data exchange between the models by setting communication steps. FMI is a standardized interface which easily allows coupling and co-simulation of numerical models. The RCOSIM approach allows the parallelization on multi-core processors of co-simulations using the FMI standar...