Sharif Digital Repository

Today's software systems are more frequently composed from preexisting commercial or non-commercial components and connectors. These components provide complex and independent functionality and are engaged in complex interactions. Component-Based Software Engineering (CBSE) is concerned with composing, selecting and designing such components. As the popularity of this approach and hence number of commercially available software components grows, selecting a set of components to satisfy a set of requirements while minimizing cost is becoming more difficult. This problem necessitates the design of efficient algorithms to automate component selection for software developing organizations. We... 

The effects of using frequency-domain approximation in numerical simulation of fractional-order systems are analytically studied. The main aim in the study is to determine the number, location and stability property of the equilibriums in a fractional-order system and its frequency-based approximating counterpart. The comparison shows that the original fractional-order system and its frequency-based approximation may differ from each other in some or all issues considered in the study. Unfortunately, these differences can lead to wrong consequences in some special cases such as detecting chaos in the fractional-order systems. It is shown that using the frequency-domain approximation methods... 

In this work, the Ion Pair Modified Ghotbi-Vera Mean Spherical Approximation (IP-MGV-MSA) model was proposed to correlate the mean ionic activity coefficients (MIAC) for a number of symmetric and asymmetric aqueous electrolyte solutions at 25 °C. The new model is based on the recently proposed MGV-MSA model by Mortazavi-Manesh et al. In the IP-MGV-MSA model, the effects arising from the ion pair formation in the electrolyte solution was taken into account. Also, in the proposed model, while the cation diameter as well as the relative permittivity of water was considered to be dependent on electrolyte concentration, the anion diameter was independent of electrolyte concentration. The results... 

The spin structure in a magnetic dot is studied as a function of the exchange coupling strength and dot size within the semiclassical approximation on a discrete lattice. As the exchange coupling is decreased or the size is increased, the ground state undergoes a phase change from a homogeneous single-domain ferromagnet (HSDF) to a spin vortex. The line separating these two phases has been calculated numerically for small system sizes. The dipolar interaction has been fully included in our calculations. Magnon frequencies in such a dot have also been calculated in both phases by the linearized equation of motion method. These results have also been reproduced from the Fourier transform of... 

This paper considers scheduling tasks while minimizing the power consumption of one or more processors, each of which can go to sleep at a fixed cost α. There are two natural versions of this problem, both considered extensively in recent work: minimize the total power consumption (including computation time), or minimize the number of "gaps" in execution. For both versions in a multiprocessor system, we develop a polynomial-time algorithm based on sophisticated dynamic programming. In a generalization of the power-saving problem, where each task can execute in any of a specified set of time intervals, we develop a (1 + 23 α)-approximation, and show that dependence on α is necessary.... 

The constitutive equation of an Euler-Bernoulli beam under the excitation of moving mass is considered. The dynamics of the uncontrolled system is governed by a linear, self-adjoint partial differential equation. A Dirac-delta function is used to describe the position of the moving mass along the beam and its inertial effects. An approximate formulation to the problem is obtained by limiting the inertial effect of the moving mass merely to the vertical component of acceleration. Having defined a "critical velocity" in terms of the fundamental period and span of the beam, it is shown that for smaller velocities, the approximate and exact approaches to the problem almost coincide. Since, the... 

In this paper, a novel approach for tuning the parameters of fuzzy wavelet systems which are used for modeling of nonlinear and complex systems is proposed. In fuzzy inference system, each fuzzy rule is analogous to a wavelet basis function multiplied by a coefficient. Using clustering techniques, the center of these basis functions are located in the detected center of clusters. In this way, not only the approximation accuracy is increased, but also the number of unknown parameters is decreased. The feasibility of the proposed method is shown by modeling two highly nonlinear functions. The comparison of the results using the proposed approach, with the previous schemes, shows the... 

The governing equations of two-dimensional steady density currents are solved numerically using a finite volume method. The v2̄-f turbulence model, based on standard k - s model, is used for the turbulence closure. In this method, all Reynolds stress equations are replaced with both a transport equation for v2̄ and an elliptic relaxation equation for f, a parameter closely related to the pressure strain redistribution term. The Simple-C procedure is used for pressure-velocity coupling. In addition, Boussinesq's approximation is used to obtain the momentum equation. The computed height of the progressive density current is compared to the measured data in the literature, resulting in good... 

In this paper Time-Based Random Waypoint (TBRWP) model is analyzed in detail. Random waypoint model has been studied in mobility literature extensively. Traditional RWP model is based on the independency of the velocity and trajectory; TBRWP, instead, focuses on the independency of motion time and trajectory. Basic model is introduced and general method to evaluate the asymptotical probability density function (PDF) is presented. The model for the one-dimensional and two-dimensional cases with uniform destination distribution in unit square area is solved and exact closed form formulas is obtained. Moreover, normal distribution of nodes in one- and two- dimensional models is investigated and... 

The transverse free vibration of a class of variable-cross-section beams is investigated using the Wentzel, Kramers, Brillouin (WKB) approximation. Here the governing equation of motion of the Euler-Bernoulli beam including axial force distribution is utilized to obtain a singular differential equation in terms of the natural frequency of vibration and a WKB expansion series is applied to find the solution. Based on this formulation, a closed form solution is obtained for determination of natural vibration mode shapes and the corresponding frequencies. The first four terms of this asymptotic solution are simplified for homogenous beams to give a compact third-order WKB approximation. Next,... 

In this paper we analyze the stability of the developing thermal boundary layer which is induced by a step-change in the temperature of the lower horizontal boundary of a uniformly cold semi-infinite porous medium. Particular attention is paid to the influence of local thermal non-equilibrium between the fluid and solid phases and how this alters the stability criterion compared with corresponding criterion when the phases are in local thermal equilibrium. A full linear stability analysis is developed without approximation, and this yields a parabolic system of equations for the evolving disturbances. Criteria for the onset of convection are derived as a function of the three available... 

A two-dimensional depth-integrated numerical model is developed using a fourth-order Boussinesq approximation for an arbitrary time-variable bottom boundary and is applied for submarine-landslide-generated waves. The mathematical formulation of model is an extension of (4,4) Padé approximant for moving bottom boundary. The mathematical formulations are derived based on a higher-order perturbation analysis using the expanded form of velocity components. A sixth-order multi-step finite difference method is applied for spatial discretization and a sixth-order Runge-Kutta method is applied for temporal discretization of the higher-order depth-integrated governing equations and boundary... 

An unconditionally stable fully explicit finite difference method for solution of conduction dominated phase-change problems is presented. This method is based on an asymmetric stable finite difference scheme for approximation of diffusion terms and application of the temperature recovery method as a phase-change modeling method. The computational cost of the presented method is the same as the explicit method per time-step, while it is free from time-step limitation due to stability criteria. It robustly handles isothermal and nonisothermal phase-change problems and is very efficient when the global temperature field is desirable (not accurate front position). The robustness, stability,... 

In this paper, the extended finite element method (XFEM) is employed to model the presence of discontinuities caused by frictional contact. The method is used in modeling strong discontinuity within a standard finite element framework. In extended finite element method (XFEM) technique, the special functions are included in standard FEM to simulate discontinuity without considering the boundary conditions in meshing the domain. In this study, the classical finite element approximation is enriched by applying additional terms to simulate the frictional behavior of contact between two bodies. These terms, which are included for enrichment of nodal displacements, depend on the contact condition... 

This article applies a novel non-Boussinesq numerical algorithm to solve the free-convection problem in a wide range of thin to thick vertical cavities subject to different side-wall temperatures. In this regard, the compressible flow equations are solved using a primitive incompressible method. No Boussinesq approximation and low Mach number consideration are included in the formulation. To implement the compressibility effect, the density field is calculated via the equation of state for gas. The temperature gradient is suitably varied to generate different low to high thermobuoyant fields, where the Boussinesq approximation may or may not be valid. Contrary to published works on the thin... 

Ab initio frozen-phonon calculations have been performed for k = 0 A g Raman modes of two superconducting systems Y123 and Y124. We have used the local density approximation pseudopotential method in our calculations by VASP code. Results have been compared with other computational and experimental data for similar systems. Then we present changes of electronic band structure with the change of ionic positions in each Ag mode for both systems. © 2006 WILEY-VCH Verlag GmbH & Co. KGaA  

Ab initio frozen-phonon calculations have been performed for k = 0 A g Raman modes of superconducting GdBa2Cu3O 7 and insulating PrBa2Cu3O7. We have used the generalized gradient approximation full-potential linear augmented plane-wave method in our calculations by Wien2k code. Results have been compared with other computational and experimental data for similar systems. © 2006 WILEY-VCH Verlag GmbH & Co. KGaA  

An extended finite element method has been proposed for modeling crack in orthotropic media. To achieve this aim a discontinuous function and two-dimensional asymptotic crack-tip displacement fields are used in a classical finite element approximation enriched with the framework of partition of unity. It allows modeling crack by standard finite element method without explicitly defining and re-meshing of surfaces of the crack. In this study, fracture properties of the models are defined by the mixed-mode stress intensity factors (SIFs), which are obtained by means of the domain form of the interaction integral (M-integral). Numerical simulations are performed to verify the approach, and the... 

The problem of crack modeling in 2D orthotropic media is considered. The extended finite element method has been adopted for modeling and analyzing a crack and its domain numerically. In this method, first the finite element model without any discontinuities is created and then the two-dimensional asymptotic crack-tip displacement fields with a discontinuous function are added to enrich the finite element approximation using the framework of partition of unity. The main advantage is the ability of the method in taking into consideration a crack without any explicit meshing of the crack surfaces, and the growth of crack can readily be applied without any remeshing. Mixed-mode stress intensity... 

Given a translating and rotating rod robot in a plane in the presence of polygonal obstacles with the initial and final placements of the rod known, the d1-optimal motion planning problem is defined as finding a collision-free motion of the rod such that the orbit length of a fixed but arbitrary point F on the rod is minimized. In this paper we study a special case of this problem in which the rod can translate freely, but can only rotate by some pre-specified given angles around F. We first characterize the d1-optimal motion of the robot under the given conditions and then present a (1 + ε)-approximation algorithm for finding the optimal path. The running time of the algorithm is bounded by...