the paper presents a mathematical base modeling combined to modified-winding -function-approach (mwfa) for eccentricity fault detection of a round-rotor synchronous machine. for this aim, a 6-pole machine is considered, and the machine inductances are computed by mwfa in healthy and also under eccentricity fault. a numerical discrete-time method has been proposed to machine modeling in voltage-...

the nonlinear discrete crack modeling of Shahid Rajaee thin arch dam is considered. The interface elements are positioned such that certain potential separated blocks can form possible failure mechanisms. The dynamic stability of theses blocks are investigated by a special finite element program "MAP-73" which its nonlinear algorithm and interface elements formulation are presented.

experimental determination of solubility and ternary phase diagram of chiral compound are of tedious and time consuming tasks, and in many cases, there is not enough experimental data for different enantiomeric compositions to access the experimental ternary phase diagram. using thermodynamic models with predictive capability, having less dependency on experimental data, affords a great advanta...

Wave self-focusing in molecular systems subject to thermal effects, such as thin molecular films and long biomolecules, can be modeled by stochastic versions of the discrete self-trapping equation of Eilbeck et al. [J.C. Eilbeck, P.S. Lomdahl, A.C. Scott, The discrete self-trapping equation, Physica D 16 (1985) 318–338], which gives as a continuum limit approximation the stochastic nonlinear Sc...

Previous research introduced Conditional Phase-type distributions (C-Ph) consisting of a Coxian phase-type distribution conditioned on a BN where the phase-type distribution represents a continuous survival variable, the duration of time until a particular event occurs and the BN represents a network of inter-related variables. The C-Ph model has proved to be a suitable technique for modeling p...

Dynamic Compaction (DC) is a common deep compaction method that is usually used for densification of coarse-grained soils. Although traditional continuum-based models such as the Finite Element Method can be successfully applied for assessment of stress distributions or deformations induced by DC, they are typically not adequate for capturing the grain scale mechanisms of soil behavior under im...

We decompose time-varying beta for stock into beta for continuous systematic risk and beta for discontinuous systematic risk. Brownian motion is assumed as nature of price movements in our modeling. Our empirical research is based on high-frequency data for stocks from Tehran Stock Exchange. Our market portfolio experiences 136 days out of 243 trading days with jumps which is a considerable rat...

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...