The explosion process of explosives in a borehole applies a very high pressure on its surrounding rock media. This process can initiate and propagate rock fractures, and finally, may result in the rock fragmentation. Rock fragmentation is mainly caused by the propagation of inherent pre-existing fractures of the rock mass and also from the extension of the newly formed cracks within the intact ...

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

In discrete event systems event times are often correlated among events of one event stream and also between different event streams. If this correlation is neglected, then resulting simulation models do not describe the real behavior in a sufficiently accurate way. In most input modeling approaches, no correlation or at most the autocorrelation of one event stream is considered, correlation be...

Abstract This paper presents an approach to estimate mode-choice models from spatially anonymized revealed preference travel survey data. We propose algorithm find a feasible sequence of activity locations for each individual that minimizes the maximum error trip’s Euclidean distance within chain. The synthetic are then used create unchosen alternatives choice set individual. is followed by mod...

Discrete event simulation is an important system analysis technique. But for today’s demand for speed, the time to complete a simulation study is considered to be long, even with current developments in hardware and simulation software. In this scenario, simplification methods for simulation models could play a key role. This paper proposes a technique for reducing the complexity of a discrete ...