hydraulic simulation of water flow in irrigation canals may reveal management shortcomings and help managers find solutions to them. hydraulic simulation models can be appropriate tools for understanding hydraulic behavior of irrigation systems. in the present study, the steady state hec-ras model was tested and compared with the mike 11 unsteady state model. a secondary irrigation canal in the...

Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...

the development of the dynamical core of a potential-vorticity-based atmospheric general circulation model is explored. there are some advantages of using potential vorticity (pv) as a prognostic variable in that the resulting model can give more accurate simulation of the evolution of pv, as arguably the most fundamental dynamical quantity. further, there is possibility of explicit representat...

A novel flexible class of multivariate nonlinear non-Gaussian state space models, based on copulas, is proposed. Specifically, it assumed that the observation equation and are defined by copula families not necessarily equal. Inference performed within Bayesian framework, using Hamiltonian Monte Carlo method. Simulation studies show proposed copula-based approach extremely flexible, since able ...