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

the purpose of this study is to identify parameters influence on the particle deposition within fin and tube heat exchanger of air-conditioning systems by cfd analysis. first the basic sketch of periodic geometry drawn and meshing operation including boundary conditions was performed. then the gas side properties and flow parameters were solved by ansys fluent 14.5 software. lagrangian equation...

the microstructure of dual phase steels can be considered as a matrix of ferrite phase reinforced by martensite particles. recent measurements show that the mechanical properties of the ferrite phase are changed with the distance from the martensite grains. in this paper, a new method has been proposed to consider this phenomenon in finite element modeling of dual phase steels microstructure. i...

in recent years, formal methods have been used as an important tool forperformance evaluation and verification of a wide range of systems. in the viewpoints of engineers and practitioners, however, there are still some major difficultiesin using formal methods. in this paper, we introduce a new formal modelinglanguage to fill the gaps between object-oriented programming languages (oopls)used by...

in this research, the effect of surface roughness and bubble injection on skin friction and hydrodynamic drag force has been numerically considered. this research is based on taylor-couette flow. considered flow includes two concentric cylinders which internal cylinder is movable and external is immovable. the effective equations on the flow includes: equations of momentum, continuous, turbulen...

A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...

wetlands as a situ for the growth of native plants, as a habitat for certain species of fish and aquatic birds, and because of their potential economic, cultural and recreational services, are valuable heritage so their protection and conservation is very essential. mostly due to the absence of wetlands services’ valuation, lack of special regulations, and lack of guarantee for these properties...

Hidden Markov Model is a popular statisical method that is used in continious and discrete speech recognition. The probability density function of observation vectors in each state is estimated with discrete density or continious density modeling. The performance (in correct word recognition rate) of continious density is higher than discrete density HMM, but its computation complexity is very ...