In this paper, we introduce a new fragment of the rst-order temporal language, called the monodic fragment, in which all formulas beginning with a temporal operator (Since or Until) have at most one free variable. We show that the satissability problem for monodic formulas in various linear time structures can be reduced to the satissability problem for a certain fragment of classical rst-order...

It is now common in the mining industry to deal with several correlated attributes, which need to be jointly simulated in order to reproduce their correlations and assess the multivariate grade risk reasonably. Approaches to multivariate simulation which remove the correlation between attributes of interest prior to simulate and then re-impose the relationship afterward have been gaining popula...

based on the notion of micro-structure in linear elasticity presented by mindlin, a newextended continuum mechanics (ecm) formulation is derived which can be utilized to model thematerial behavior at atomic scale. an attempt has been made to present a formulation capable ofproducing the molecular dynamics (md) simulation results with less computational effort. to thisend, some new kinematical v...

In this paper application of a simulation algorithm for dynamic and nonlinear analysis of a specific liquid propellant engine is presented. The mathematical model of the engine includes a set of nonlinear algebraic equations which is coupled with a set of time varying differential equations. In contrast to the existing liquid propellant simulation algorithms, the presented work does not depend ...

 It is scientifically challenging to determine the inventory level all through the supply chain in such a way that the desired objectives such as effectiveness and responsiveness of the supply chain system can be obtained. Simulation is a means for solving various problems which cannot be solved by regular exact models such as mathematical ones due to their complexity. The present paper is aime...

in despite of all progress in technology in mining industry, still labor is one of the key factors in mining operation. this paper presents a system dynamics approach to evaluate the mining labor productivity. therefore, after the identification of main effective variables, two quantitative and qualitative models were built. the qualitative model illustrates the complex interrelated structure o...

--Traditional simulation methodology supports only changes in models’ state variables. Dynamic structure modeling allows to model both changes in state variables and changes in structure and has been applied to different applications. This paper focuses on the performance issue of dynamic structure implemented in the DEVS modeling and simulation environment. Six performance measurement metrics ...

Our main objective in the present study was to assess the spatial variation of chemical and physical water properties. Prior to the design of groundwater quality monitoring networks, it is essential to investigate the spatial structure of the groundwater quality variables. A case study is presented which used ground water quality observations from groundwater domestic wells in the Dameghan, Ira...

one of the models that can be used to study the relationship between boolean random sets and explanatory variables is growth regression model which is defined by generalization of boolean model and permitting its grains distribution to be dependent on the values of explanatory variables. this model can be used in the study of behavior of boolean random sets when their coverage regions variation...