Notions of k-asimulation and asimulation are introduced as asymmetric counterparts to k-bisimulation and bisimulation, respectively. It is proved that a first-order formula is equivalent to a standard translation of an intuitionistic propositional formula iff it is invariant with respect to k-asimulations for some k, and then that a first-order formula is equivalent to a standard translation of...

A sufficient condition for exact linearization of a nonlinear system via an exponential transformation is obtained as a Lagrange partial differential equation. When its solution can be found, the transformation is determined such that the nonlinear systemis exactly converted into a linear system with arbitrary dynamics. When the transformation is invertible, this technique can be applied to exa...

Mixtures of cyclohexane and cyclohexene are investigated by means of all-atom molecular dynamics simulations. Thermodynamic properties (density, enthalpy of vaporization), transport coeecients (diierent diffusion coeecients, reorientation times), and structural properties (radial distribution functions) were calculated for seven diierent compositions and compared to experimental results where a...

Computational simulation is an important tool for predicting the behavior of physical systems. Many powerful simulation programs exist today. However, using these programs to reliably analyze a physical situation requires considerable human effort and expertise to set up asimulation by transforming a description of a physical system into a representation the simulation program can successfully ...

There are growing concerns for reserves estimation of incurred but not reported (IBNR) claims in actuarialsciences. In this paper, we propose a copula-based dependency model to capture the relationship betweentwo main IBNR reserve variables, i.e., “time between two successive occurrences” and “delay time”.A maximum likelihood (MLE) method is used estimate parameters model. Asimulation study con...

asimulation-optimization approach is proposed for replenishment planning andshelf space allocation. the customers’ demand is divided into fixed andvariable demand. each customer follows a given path while shopping in thestore. by dividing the store space into several zones and calculating therelated substantial and random utilities, an analytical equation is proposedfor the probability of zone ...

This papers represents one of the most widely challenging control problems. The accepted blockdiagrams in automatic used to describe processes have been replaced by based on bond graphmodeling. graph model physical hydraulic process is presented. goal research toobtain a with and without knowledge mathematical model, which obtain asimulation prediction model. Due feedback effect liquid pipes (p...