Abstract Satisfiability Modulo Linear Integer Arithmetic, SMT (LIA) for short, has significant applications in many domains. In this paper, we develop the first local search algorithm by directly operating on variables, breaking through traditional framework. We propose a framework considering distinctions between Boolean and integer variables. Moreover, design novel operator scoring functions ...

in this paper, a new method is investigated for model order reduction of high order systems based on moment matching technique. in this method, at first, full order model is expanded by legendre wavelet function which is included in orthogonal functions. a suitable fixed structure model is considered as reduced order model whose parameters are unknown. these unknown parameters are determined us...

In the last decades, helicopter-borne electromagnetic (HEM) method became a focus of interest in the fields of mineral exploration, geological mapping, groundwater resource investigation and environmental monitoring. As a standard approach, researchers use 1-D inversion of the acquired HEM data to recover the conductivity/resistivity-depth models. Since the relation between HEM data and model ...

The flow in sewers is a complete three phase flow (air, water and sediment). The mechanism of sediment transport in sewers is very important. In other words, the passing flow must able to wash deposited sediments and the design should be done in an economic and optimized way. In this study, the sediment transport process in sewers is simulated using a hybrid model. In other words, using the Ada...

This vignette describes the R package abn which provides functionality for identifying statistical dependencies in complex multivariate data using additive Bayesian network (ABN) models. This methodology is ideally suited for both univariate one response variable, and multiple explanatory variables and multivariate analysis, where in both cases all statistical dependencies between all variables...