Sharif Digital Repository

Planar grating diffraction analysis based on Legendre expansion of electromagnetic fields is reported. In contrast to conventional RCWA in which the solution is obtained using state variables representation of the coupled wave amplitudes; here, the solution is expanded in terms of Legendre polynomials. This approach, without facing the problem of numerical instability and inevitable round off errors, yields well-behaved algebraic equations for deriving diffraction efficiencies, and can be employed for analysis of different types of gratings. Thanks to the recursive properties of Legendre polynomials, for longitudinally inhomogeneous gratings, wherein differential equations with non-constant... 

Service-Oriented Architecture (SOA) is a technology for designing software systems. By using this architecture, new challenges appeared for software testing. Functional testing of services assures the quality of service-oriented applications. Herein, we introduce a new test web service named TaaWS (Test as a Web Service), which is a combination of both online testing and testing as a service to overcome SOA testing challenges. Each web service can have its test web service. Thus, the consumer can call TaaWS to assure the accuracy of the web services used in the application. TaaWS consists of semantic and structural test cases extracted from the extended-attribute grammar of the web service... 

This paper aims the nonlinear aeroelastic analysis of slender wings using a nonlinear structural model coupled with the linear unsteady aerodynamic model. High aspect ratio and flexibility are the specific characteristic of this type of wings. Wing flexibility, coupled with long wingspan can lead to large deflections during normal flight operation of an aircraft; therefore, a wing in vertical/forward-afterward/torsional motion using a third-order form of nonlinear general flexible Euler-Bernoulli beam equations is used for structural modeling. Unsteady linear aerodynamic strip theory based on the Wagner function is used for determination of aerodynamic loading on the wing. Combining these... 

This paper uses a fourth-order compact finite-difference scheme for solving steady incompressible flows. The high-order compact method applied is an alternating direction implicit operator scheme, which has been used by Ekaterinaris for computing two-dimensional compressible flows. Herein, this numerical scheme is efficiently implemented to solve the incompressible Navier-Stokes equations in the primitive variables formulation using the artificial compressibility method. For space discretizing the convective fluxes, fourth-order centered spatial accuracy of the implicit operators is efficiently obtained by performing compact space differentiation in which the method uses block-tridiagonal... 

We investigate heat transfer between parallel plates separated by liquid argon using two-dimensional molecular dynamics (MD) simulations incorporating with 6-12 Lennard-Jones potential between molecule pairs. In molecular dynamics simulation of nanoscale flows through nanochannels, it is customary to fix the wall molecules. However, this approach cannot suitably model the heat transfer between the fluid molecules and wall molecules. Alternatively, we use thermal walls constructed from the oscillating molecules, which are connected to their original positions using linear spring forces. This approach is much more effective than the one which uses a fixed lattice wall modeling to simulate the... 

In this paper, a new algorithm for fault detection/location on transmission line based on linear state estimation is presented. The proposed technique uses phasor measurements from PMU's. Fault location and voltage of fault point are added as the new state variables in a linear state estimator based on PMU data. In addition, by using the ability of bad data identification in the state estimation, a new scheme for fault location and identification of faulted transmission line is proposed. For test and validation of the proposed algorithm, simulation results on a six bus test case are presented. ©2009 IEEE  

With the increasing number and complexity of network attacks, the demand for automatic vulnerability analysis tools has increased. The prerequisite of making these tools is to have a formal and precise model of network configurations and vulnerabilities. Utilizing this model, network administrators can analyze the effects of vulnerabilities on the network and complex attack scenarios can be detected before happening. In this paper, we present a general logic-based framework for modeling network configurations and topologies. Then, a number of important and wide-spread network vulnerabilities are modeled as general inference rules based on the framework definitions. We implemented the... 

A numerical simulation algorithm based on the finite volume discretisation is presented for analyzing ship motions. The algorithm employs a fractional step method to deal with the coupling between the pressure and velocity fields. The free surface capturing is fulfilled by using a volume of fluid method in which the interface between the liquid (water) and gas (air) phases are computed by solving a scalar transport equation for the volume fraction of the liquid phase. The computed velocity field is employed to evaluate the acting forces and moments on the vessel. Using the strategy of boundary-fitted body-attached mesh and calculating all six degrees-of-freedom of motion in each time step,... 

Overall turbine analysis requires large CPU time and computer memory, even in the present days. As a result, choosing an appropriate computational domain accompanied by a suitable boundary condition can dramatically reduce the time cost of computations. This work compares different geometries for numerical investigation of the 3D flow in the runner of a Francis turbine, and presents an optimum geometry with least computational effort and desirable numerical accuracy. The numerical results are validated with a GAMM Francis Turbine runner, which was used as a test case (GAMM workshop on 3D computation of incompressible internal flows, 1989) in which the geometry and detailed best efficiency... 

The flow of non-Newtonian fluids through two-dimensional porous media is analyzed at the pore scale using the smoothed particle hydrodynamics (SPH) method. A fully explicit projection method is used to simulate incompressible flow. This study focuses on a shear-thinning power-law model (n < 1), though the method is sufficiently general to include other stress-shear rate relationships. The capabilities of the proposed method are demonstrated by analyzing a Poiseuille problem at low Reynolds numbers. Two test cases are also solved to evaluate validity of Darcy's law for power-law fluids and to investigate the effect of anisotropy at the pore scale. Results show that the proposed algorithm can... 

This paper presents a method for nonlinear aeroelastic analysis of Human Powered Aircraft (HPA) wings. In this type of aircraft there is a long, highly flexible wing. Wing flexibility, coupled with long wing span can lead to large deflections during normal flight operation; therefore, a wing in vertical and torsional motion using the second-order form of nonlinear general flexible Euler-Bernoulli beam equations is used for structural modeling. Unsteady linear aerodynamic theory based on Wagner function is used for determination of aerodynamic loading on the wing. Combining these two types of formulations yields the nonlinear integro-differentials aeroelastic equations. Using the Galerkin's...