Sharif Digital Repository

In this study, the effect of distance-dependent dispersion coefficients on density-driven flow is investigated. The linear asymptotic model, which assumes that dispersivities increase linearly with distance from the source of contamination and reach asymptotic values at a large asymptotic distance, is employed. An in-house numerical model is adapted to handle distance-dependent dispersion. The effect of asymptotic-dispersion on aquifer contamination is analyzed for two tests: (i) a seawater intrusion problem in a coastal aquifer and (ii) a leachate transport problem from a surface deposit site. Global Sensitivity Analysis (GSA) combined with the Polynomial Chaos Expansion (PCE) surrogate... 

A new semianalytical solution is developed for the velocity-dependent dispersion Henry problem using the Fourier-Galerkin method (FG). The integral arising from the velocity-dependent dispersion term is evaluated numerically using an accurate technique based on an adaptive scheme. Numerical integration and nonlinear dependence of the dispersion on the velocity render the semianalytical solution impractical. To alleviate this issue and to obtain the solution at affordable computational cost, a robust implementation for solving the nonlinear system arising from the FG method is developed. It allows for reducing the number of attempts of the iterative procedure and the computational cost by... 

Existing closed-form solutions of contaminant transport problems are limited by the mathematically convenient assumption of uniform flow. These solutions cannot be used to investigate contaminant transport in coastal aquifers where seawater intrusion induces a variable velocity field. An adaptation of the Fourier-Galerkin method is introduced to obtain semi-analytical solutions for contaminant transport in a confined coastal aquifer in which the saltwater wedge is in equilibrium with a freshwater discharge flow. Two scenarios dealing with contaminant leakage from the aquifer top surface and contaminant migration from a source at the landward boundary are considered. Robust implementation of... 

COMSOL Multiphysics is a comprehensive simulation software environment for a wide range of applications. COMSOL has an interactive interface that facilitates the modeling procedure and allows an easy coupling of different physical processes. The Subsurface Flow module extends the COMSOL modeling environment to applications related to fluid flow in saturated and variably saturated porous media. COMSOL is increasingly used in the investigation of geophysical, hydrogeological and environmental phenomena. The main goal of this work is to explore the ability of COMSOL for simulating seawater intrusion (SWI) in fractured coastal aquifers. Numerical modeling of such a problem is of high interest as... 

Carbon dioxide (CO2) storage in geologic formations is an attractive means of reducing greenhouse gas emissions. The main processes controlling the migration of CO2 in geological formations are related to convective mixing and geochemical reactions. The effects of heterogeneity on these coupled processes have been widely discussed in the literature. Recently, special attention has been devoted to fractured geological formations that can be found in several storage reservoirs. However, existing studies on the effect of fractures on the fate of CO2 neglect the key processes of geochemical reactions. This work aims at addressing this gap. Based on numerical simulations of a hypothetical... 

(A) Chakraborty and co-workers have developed a green method for the bulk ring-opening polymerization of lactides in the presence of Cu(OAc)2 as a good catalyst to synthesize polymers with different end-terminal groups.3 These polymerizations are highly controlled leading to the formation of polymers with the expected number of average molecular weights and narrow molecular weight distribution. (B) Garden and co-workers have found that the oxidative addition of anilines with 1,4-naphthoquinone to give N-aryl-2-amino-1,4-naphthoquinones can be performed in the presence of catalytic amounts of copper(II) acetate.4 All the reactions are generally more efficient in that they are cleaner, higher... 

In mathematical programming, an important tool is the use of active set strategies to update the current solution of a linear system after a rank one change in the constraint matrix. We show how to update the general solution of a linear system obtained by use of the scaled ABS method when the matrix coefficient is subjected to a rank one change. © Australian Mathematical Society 2004  

In this study we use polynomial chaos expansion (PCE) to perform uncertainty analysis for seawater intrusion (SWI) in fractured coastal aquifers (FCAs) which is simulated using the coupled discrete fracture network (DFN) and variable-density flow (VDF) models. The DFN-VDF model requires detailed discontinuous analysis of the fractures. In real field applications, these characteristics are usually uncertain which may have a major effect on the predictive capability of the model. Thus, we perform global sensitivity analysis (GSA) to provide a preliminary assessment on how these uncertainties can affect the model outputs. As our conceptual model, we consider fractured configurations of the... 

Natural convection in a porous enclosure in the presence of thermal dispersion is investigated. The Fourier–Galerkin (FG) spectral element method is adapted to solve the coupled equations of Darcy’s flow and heat transfer with a full velocity-dependent dispersion tensor, employing the stream function formulation. A sound implementation of the FG method is developed to obtain accurate solutions within affordable computational costs. In the spectral space, the stream function is expressed analytically in terms of temperature, and the spectral system is solved using temperature as the primary unknown. The FG method is compared to finite element solutions obtained using an in-house code... 

The Henry problem (HP) continues to play a useful role in theoretical and practical studies related to seawater intrusion (SWI) into coastal aquifers. The popularity of this problem is attributed to its simplicity and precision to the existence of semi-analytical (SA) solutions. The first SA solution has been developed for a high uniform diffusion coefficient. Several further studies have contributed more realistic solutions with lower diffusion coefficients or velocity-dependent dispersion. All the existing SA solutions are limited to homogenous and isotropic domains. This work attempts to improve the realism of the SA solution of the dispersive HP by extending it to heterogeneous and... 

Synthesis of dextran-graft-poly(hydroxyethyl methacrylate) gels as a new fluoride biosorbent was considered in this work. For this propose, the Taguchi experimental design method was used for optimizing the synthetic conditions of the gels to reach high level of fluoride absorbency. The effects of three main parameters including concentrations of monomer (hydroxyethyl methacrylate), crosslinking agent (ethylene glycol dimethacrylate), and initiator (ammonium persulfate) on the final properties of the prepared gels were investigated. The proposed mechanism for grafting and chemically crosslinking reactions was proved with equilibrium water absorption, Fourier-transformed infrared, scanning... 

A novel biopolymer-based superabsorbent hydrogel was synthesized through chemical crosslinking by graft copolymerization of partially neutralized acrylic acid onto the hydrolyzed collagen, in the presence of a crosslinking agent and a free radical initiator. The Taguchi method, a robust experimental design, was employed for the optimization of the synthesis reaction based on the swelling capacity of the hydrogels. This method was applied for the experiments and standard L16 orthogonal array with three factors and four levels were chosen. The critical parameters that have been selected for this study are crosslinker (N,N′-methylene bisacrylamide), initiator (potassium persulfate), and monomer... 

We adopt an innovation-driven framework and investigate the sparse/compressible distributions obtained by linearly measuring or expanding continuous-domain stochastic models. Starting from the first principles, we show that all such distributions are necessarily infinitely divisible. This property is satisfied by many distributions used in statistical learning, such as Gaussian, Laplace, and a wide range of fat-tailed distributions, such as student's-t and α-stable laws. However, it excludes some popular distributions used in compressed sensing, such as the Bernoulli-Gaussian distribution and distributions, that decay like exp (-O(|x|p)) for 1 < p < 2. We further explore the implications of... 

In this paper, we establish the connection between the Orthogonal Optical Codes (OOC) and binary compressed sensing matrices. We also introduce deterministic bipolar m × n RIP fulfilling ± 1 matrices of order k such that m ≤ script O sign (k(log2 n) log2 k/ln log2 k). The columns of these matrices are binary BCH code vectors where the zeros are replaced by -1. Since the RIP is established by means of coherence, the simple greedy algorithms such as Matching Pursuit are able to recover the sparse solution from the noiseless samples. Due to the cyclic property of the BCH codes, we show that the FFT algorithm can be employed in the reconstruction methods to considerably reduce the computational... 

Semantic technology is widely used in distributed computational environments to increase interoperability and machine readability of information through giving semantics to the underlying information and resources. Semantic-awareness, distribution and interoperability of new generation of distributed systems demand an authorisation model and framework that satisfies essential authorisation requirements of such environments. In this study, the authors propose an authorisation model and framework based on multi-security-domain architecture for distributed semantic-aware environments. The proposed framework is founded based on the MA(DL)2 logic, which enables policy specification and inference... 

Deep structures consisting of many layers of nonlinearities have a high potential of expressing complex relations if properly initialized. Autoencoders play a complementary role in training a deep structure by initializing each layer in a greedy unsupervised manner. Due to the high capacity presented by autoencoders, these structures need to be regularized. While mathematical regularizers (based on weight decay, sparsity, etc.) and structural ones (by way of, e.g., denoising and dropout) have been well studied in the literature, quite a few papers have addressed the problem of training autoencoder with non-smooth regularization. In this paper, we address the problem of training autoencoder... 

It has been shown that more accurate signal recovery can be achieved with low-coherence dictionaries in sparse signal processing. In this Letter, the authors extend the low-coherence attribute to receptive fields in convolutional neural networks. A new constrained formulation to train low-coherence convolutional neural network is presented and an efficient algorithm is proposed to train the network. The resulting formulation produces a direct link between the receptive fields of a layer through training procedure that can be used to extract more informative representations from the subsequent layers. Simulation results over three benchmark datasets confirm superiority of the proposed... 

Deep neural networks have presented superlative performance in many machine learning based perception and recognition tasks, where they have even outperformed human precision in some applications. However, it has been found that human perception system is much more robust to adversarial perturbation, as compared to these artificial networks. It has been shown that a deep architecture with a lower Lipschitz constant can generalize better and tolerate higher level of adversarial perturbation. Smooth regularization has been proposed to control the Lipschitz constant of a deep architecture and in this work, we show how a deep convolutional neural network (CNN), based on non-smooth regularization... 

The decentralized security management in a pervasive computing environment' requires apportioning the environment into several security domains. In each security domain' an administrator (we call it authority) is responsible for specifying the security policies of the domain. Overlapping of security domains results in the requirement of cooperative security management in the shared/ overlapping domains. To satisfy this requirement' we propose an abstract security model' as well as its supplementary calculus of composite authorities. The security model is based on deontic logic and is independent of the domains' heterogeneity. The model's policy language (we call it MASL) enables multiple...