Sharif Digital Repository

Flow through porous media depends strongly on the spatial distribution of the geological heterogeneities which appear on all length scales. We lack precise information about heterogeneity distribution on various scales, from pore level to reservoir scale. However, some sources provide suitable information. At pore scale, for example, the micro-CT images show considerable insights into pore space structures and play valuable role in porous media characterization. The consequence of all geological heterogeneities is a great deal of uncertainty in dynamic performance of porous media which can be investigated using percolation theory. The main percolation quantities include the connected pore... 

Laminated composites are made using different routes, including adhesive bonding. In this investigation, Aluminum layers are bonded together using epoxy adhesive (neat, rubber-modified and filled-epoxy). In phase one of this investigation, the influence of number of layers and adhesive ductility have been studied on dynamic behavior of composites. The results of impact behavior of laminates indicate that the impact energy increases with the number of layers. Also, it can be concluded that there is much more sensitivity of the impact energy of the composite to the number of the layers than that to the adhesive composition. © 2004 Elsevier B.V. All rights reserved  

Iron oxide nanoparticles supported on mesoporous silica-type materials have been successfully utilized in the aqueous selective oxidation of alkenes under mild conditions using hydrogen peroxide as green oxidant. The supported catalyst could be easily recovered after completion of the reaction and reused several times without any loss in activity (no metal leaching observed during the reaction), constituting a facile and straightforward example of aqueous oxidation chemistry promoted by iron-based heterogeneous systems. Copyright  

The present investigation introduces a new series of cycloplatinated(II) complexes, with the general formula Pt(O-bpy)(Me)(CN-R)] (R = benzyl, 2-naphtyl and tert-butyl), which are able to generate the stable trans-Pt(IV) product in the solution after the reaction with iodomethane. In fact, the trans product is both the kinetic and thermodynamic product of the reaction; this observation was supported by DFT calculations. These Pt(II) complexes are supported by 2,2'-bipyridine N-oxide (O-bpy) and one of several isocyanides as the cyclometalated and ancillary ligands, respectively. These new Pt(II) complexes undergo oxidative addition with MeI to give the corresponding trans-Pt(IV) complexes.... 

Zeolite-based Ag/AgBr and Ag/AgBr/TiO 2 photocatalysts were prepared by sol-gel and deposition methods and were characterized. Their photocatalytic activities were evaluated by inactivation of Escherichia (E.) coli and the photodegradation of Acid Blue 92 and potassium permanganate. The composites containing Ag/AgBr showed the antibacterial activity in the dark by releasing Ag ions into the medium. The results for inactivation of E. coli indicated that Ag/AgBr/TiO 2 modified photocatalyst had better antibacterial activity than Ag/AgBr/zeolite, while zeolite and TiO 2/zeolite did not show any antibacterial activity under visible light and dark conditions. Photodecolarization rate was affected... 

CeO 2-TiO 2 nanoparticles were prepared by the sol-gel process using 2-hydroxylethylammonium formate as room-temperature ionic liquid and calcined at different temperatures (500-700°C). CeO 2-TiO 2-graphene nanocomposites were prepared by hydrothermal reaction of graphene oxide with CeO 2-TiO 2 nanoparticles in aqueous solution of ethanol. The photocatalysts were characterized by X-ray diffraction, BET surface area, diffuse reflectance spectroscopy, scanning electron microscopy, and Fourier transformed infrared techniques. The results demonstrate that the room-temperature ionic liquid inhibits the anatase-rutile phase transformation. This effect was promoted by addition of CeO 2 to TiO 2.... 

Serious and challengeable role in markets of low power supplies for cellular phones and other small portable devices is expected for single fuel cell in future. Single fuel cell voltage level is extremely low in comparison with its output current. According to the extremely low level of the voltage, a suitable dc/dc boost converter must be used for increasing the voltage. In this paper, a model for a single fuel cell is presented and the effect of external load variation and changing of reactant pressure on cell performance is investigated. Moreover, a predictive voltage controller for boost convertor of PEM fuel cell is presented, simulated and validated using MATLAB/Simulink. The results... 

This paper addresses the problem of identifying central nodes from the information flow standpoint in a social network. Betweenness centrality is the most prominent measure that shows the node importance from the information flow standpoint in the network. High betweenness centrality nodes play crucial roles in the spread of propaganda, ideologies, or gossips in social networks, the bottlenecks in communication networks, and the connector hubs in biological systems. In this paper, we introduce DICeNod, a new approach to efficiently identify central nodes in social networks without direct measurement of each individual node using compressive sensing, which is a well-known paradigm in sparse... 

Betweenness centrality is a prominent centrality measure expressing importance of a node within a network, in terms of the fraction of shortest paths passing through that node. Nodes with high betweenness centrality have significant impacts on the spread of influence and idea in social networks, the user activity in mobile phone networks, the contagion process in biological networks, and the bottlenecks in communication networks. Thus, identifying k-highest betweenness centrality nodes in networks will be of great interest in many applications. In this paper, we introduce CS-HiBet, a new method to efficiently detect top-k betweenness centrality nodes in networks, using compressive sensing.... 

We describe a general method for analyzing a nonstationary stochastic process X (t) which, unlike many of the previous analysis methods, does not require X (t) to have any scaling feature. The method is used to study the fluctuations in the daily price of oil. It is shown that the returns time series, y (t) =ln [X (t+1) X (t)], is a stationary and Markov process, characterized by a Markov time scale tM. The coefficients of the Kramers-Moyal expansion for the probability density function P (y,t y0, t0) are computed. P (y,t, y0, t0) satisfies a Fokker-Planck equation, which is equivalent to a Langevin equation for y (t) that provides quantitative predictions for the oil price over times that... 

Modern power systems have been faced with a rising appeal for the upgrade to a highly intelligent generation of electricity networks known as the smart grid. Thus, security for the smart grid has emerged as an important issue. Recently, Hur proposed an attribute based data sharing for smart grid which unfortunately is vulnerable to the denial of service (DoS) attack. Moreover, it does not support the user revocation property and the grid system manager cannot prevent the revoked user of having access to the shared data in the storage center. For these weaknesses, we suggest an efficient revocable data sharing scheme which is immune against DoS attack. In addition, we present the security... 

A numerical model based on the boundary element method is proposed for the sloshing of a flowing liquid in a three-dimensional tank. Assuming a mean flow in the tank in addition to a perturbation flow, the nonlinear boundary conditions of the liquid free-surface are linearized. Using the boundary element method along with the modal analysis technique a reduced order model is obtained which is used to calculate the fundamental sloshing frequencies and modes in the tank with an inlet and outlet. The obtained results for a test case are compared with the literature data to validate the proposed model. The results are in a very good agreement with analytical results and show an acceptable... 

In this paper, for the first time, chaotic behavior of a classical moving-mirror Fabry-Perot cavity is obtained by finding numerical solution of a system of delay differential equations (previously obtained by a phenomenological approach (T. Carmon, M. C. Cross, K. J. Vahala, Phys. Rev. Lett. 98 (2007) 167203)). Fourier transform of the electromagnetic power for different values of pump power is calculated. By increasing the power, a period-doubling route to chaos is observed. Since the quality factor of the cavity has an important role in the chaotic behavior, variation of Lyapunov exponent and threshold power for the onset of chaos versus quality factor are investigated. A near linear... 

We derive some bounds on the Optimum Asymptotic Multiuser Efficiency (OAME) of randomly spread CDMA as extensions of the result by Tse and Verdú. To this end, random Gaussian and random binary antipodal spreading are considered. Furthermore, the input signal is assumed to be Binary Phase Shift Keying (BPSK). It is shown that in a CDMA system with K-user and N chips when K and N → 8 and the loading factor, K over N, grows logarithmically with K, the OAME converges to 1 almost surely under some condition. It is also shown that a Gaussian randomly spread CDMA system has a performance close to the single user system at high Signal to Noise Ratio (SNR) when the loading factor is kept less than... 

In this study, the performance of a spectral-amplitude-coding optical code division multiple access (SAC-OCDMA) system in the asynchronous regime is evaluated using a Gaussian approximation of the decision variable for codes with fixed cross-correlation used in SAC-OCDMA systems. The authors consider the effect of phase-induced intensity noise (PIIN), thermal noise and shot noise. Moreover, the validity of the Gaussian approximation is confirmed by a Kolmogorov-Smirnov fitness test. For sake of comparison, the bit error rate (BER) of the asynchronous SAC-OCDMA system is also plotted numerically in comparison with the BER of the synchronous SAC-OCDMA. They show that a SAC-OCDMA system without... 

Quality is one of the most important issues in the context of agile and lightweight methodologies. These methodologies recommend automated testing as the main method for quality assurance; however, they are plagued with several deficiencies in this regard, including complex and difficult-to-maintain test case scripts. Model-based testing is an approach for automating the test creation process through replacing individual test-case design with abstract models. In this paper, we explore a set of patterns based on current methods used in model-based testing which can be used to ameliorate the abovementioned deficiencies in agile/lightweight methodologies. We then demonstrate how these patterns... 

Extensive subsonic wind tunnel tests were conducted on a coplanar wing-canard configuration at various angles of attack. In these experiments, a 60° swept canard was placed upstream of a 60° swept main delta wing. This paper deals with the distribution of mean and fluctuating pressure coefficients on the upper surfaces of both the canard and the wing immersed in a variety of angles of attack. According to the results, presence of canard postpones the vortex formation and growth on the wing to higher angles of attack compared to the canard-off case. Due to the canard downwash field, the wing operates at lower effective angles of attack and therefore, its vortex breakdown is delayed. The... 

Eligibility is one of the important security properties which must be satisfied in electronic voting systems. This property refers to legitimacy of voters and their right to vote only once. Due to insufficiency of an observational analysis to guarantee this property, formal methods are recently used to build trust on sensitive systems such as e-voting for all the involved parties. This paper reports our attempt to automatically check the eligibility property in electronic voting systems using the model checking approach. ThemCRL2 language and its toolset are also used to achieve such a checking. Two protocols, FOO92 and Lee&Kim, are modeled as case studies  

This overview presents a tutorial introduction to the theory of magnetic plasma confinement in toroidal confinement systems with particular emphasis on axisymmetric equilibrium geometries, and tokamaks. The discussion covers three important aspects of plasma physics: Equilibrium, Stability, and Transport. The section on equilibrium will go through an introduction to ideal magnetohydrodynamics, curvilinear system of coordinates, flux coordinates, extensions to axisymmetric equilibrium, Grad-Shafranov Equation (GSE), Green's function formalism, as well as analytical and numerical solutions to GSE. The section on stability will address topics including Lyapunov Stability in nonlinear systems,... 

In high-integrity systems, certain quality requirements have gained utmost significance in such a way that failing to satisfy them at a particular level may result in the loss of the entire system, endangerment of human life, peril to the organization's existence, or serious damage to the environment. High-integrity computer systems should incorporate top-quality software in order to adequately address their stringent quality requirements. The methodologies used for developing high-integrity software must possess special characteristics in order to ensure successful realization of the requirements. Software Process patterns represent empirically proven methods of software development that...