Sharif Digital Repository

In this work we assume that there is an agent in an unknown environment (domain). This agent has some predefined actions and it can perceive its current state in the environment completely. The mission of this agent is to fulfill the tasks (goals) that are often assigned to it as fast as it can. Acting has lots of cost, and usually planning and simulating the environment can reduce this cost. In this paper we address a new approach for incremental induction of probabilistic planning operators, from this environment while the agent tries to reach to its current goals. It should be noted that there have been some works related to incremental induction of deterministic planning operators and... 

This paper presents a recursive approach for solving kinematic and dynamic problem in snake-like robots using Kane's equations. An n-link model with n-nonholonomic constraints is used as the snake robot model in our analysis. The proposed algorithm which is used to derive kinematic and dynamic equations recursively enhances the computational efficiency of our analysis. Using this method we can determine the number of additions and multiplications as a function of n. The proposed method is compared with the Lagrange and Newton-Euler's method in three different aspects: Number of operations, CPU time and error in the computational procedures. Copyright © 2005 by ASME  

We investigate the Markov property of rough surfaces. Using stochastic analysis, we characterize the complexity of the surface roughness by means of a Fokker-Planck or Langevin equation. The obtained Langevin equation enables us to regenerate surfaces with similar statistical properties compared with the observed morphology by atomic force microscopy. © 2003 The American Physical Society  

Teeth segmentation in computed tomography (CT) images is a major and challenging task for various computer assisted procedures. In this paper, we introduced a hybrid method for quantification of teeth in CT volumetric dataset inspired by our previous experiences and anatomical knowledge of teeth and jaws. In this regard, we propose a novel segmentation technique using an adaptive thresholding, morphological operations, panoramic re-sampling and variational level set algorithm. The proposed method consists of several steps as follows: first, we determine the operation region in CT slices. Second, the bony tissues are separated from other tissues by utilizing an adaptive thresholding technique... 

Suppose we have a family F of sets. For every S∈F, a set D⊆S is a defining set for (F,S) if S is the only element of F that contains D as a subset. This concept has been studied in numerous cases, such as vertex colorings, perfect matchings, dominating sets, block designs, geodetics, orientations, and Latin squares. In this paper, first, we propose the concept of a defining set of a logical formula, and we prove that the computational complexity of such a problem is Σ2-complete. We also show that the computational complexity of the following problem about the defining set of vertex colorings of graphs is Σ2-complete: INSTANCE: A graph G with a vertex coloring c and an integer k.QUESTION: If... 

The problem of the characterization of perfect entanglers was investigated. Perfect entanglers have been defined as unitary operators that can generate maximally entangled states from some suitably chosen separable states. Some well defined tools have also been used to measure the entangling properties of quantum operators and two-qubit states. It was found that such tools help to analyze perfect entanglers and also have the unique property of maximally entangling a complete set of orthonormal product vectors. The results show that the qubit gates provided minimum universal gate construction and two of them were necessary and sufficient in implementation of a generic two-qubit gate  

The entanglement between two spins in the ferromagnetic Heisenberg chain at low temperatures was calculated. It was shown that if a magnetic field is applied to a ferromagnetic Heisenberg chain, then pairwise entanglement develops between spins at arbitrary given states. It was also shown that the entanglement profile is a Gaussian with a characteristic length depending on the temperature and the coupling between spins only when the ground state and the one-particle states are populated. The magnetic field was shown to affect only the amplitude of the profile and not its characteristic length  

Implementation of local quantum gate on specific qubits in an array of qubits by carrying a Hamiltonian around a closed loop is discussed. A family of isospectral Hamiltonians with the same spectrum of the projection operator on the main array is constructed by choice of a suitable curve. For every single qubit gate acting on the k-th qubit, a local operator Xk acts nontrivially on the ancilla and the qubit. Imbedding appropriate operators for a suitable set of qubit gates comprises of a universal set of quantum gates. In tensor product of the array one can enact holonomically any set of gates on any subset of qubits  

It is well-known that the conventional reproducing kernel particle method (RKPM) is unfavorable when dealing with the derivative type essential boundary conditions [1-3]. To remedy this issue a group of meshless methods in which the derivatives of a function can be incorporated in the formulation of the corresponding interpolation operator will be discussed. Formulation of generalized moving least squares (GMLS) on a domain and GMLS on a finite set of points will be presented. The generalized RKPM will be introduced as the discretized form of GMLS on a domain. Another method that helps to deal with derivative type essential boundary conditions is the gradient RKPM which incorporates the... 

We introduce the new concept of "metalines" for manipulating the amplitude and phase profile of an incident wave locally and independently. Thanks to the highly confined graphene plasmons, a transmit-array of graphene-based metalines is used to realize analog computing on an ultracompact, integrable, and planar platform. By employing the general concepts of spatial Fourier transformation, a well-designed structure of such meta-transmit-array, combined with graded index (GRIN) lenses, can perform two mathematical operations, i.e., differentiation and integration, with high efficiency. The presented configuration is about 60 times shorter than the recent structure proposed by Silva et al.... 

With the significant role that warehouse plays in connection to suppliers, distributors, and clients, and considering the costliness of storage systems, efforts have focused on the reduction of procedural expenses. Among the most significant expenses, one involves the distance traveled by operators or S/R machinery for the selection of ordered items; the common solution to which has been through the classification of stored items. Previous articles have focused on linear solutions to the abovementioned problem, such as P-Median. This article shall focus on the problems arising from the said solution, and instead a non-linear method proposed. Further, a heuristic algorithm is produced for the... 

Optical computing has emerged as a promising candidate for real-time and parallel continuous data processing. Motivated by recent progresses in metamaterial-based analog computing [Science 343, 160 (2014)], we theoretically investigate the realization of two-dimensional complex mathematical operations using rotated configurations, recently reported in [Opt. Lett. 39, 1278 (2014)]. Breaking the reflection symmetry, such configurations could realize both even and odd Green's functions associated with spatial operators. Based on such an appealing theory and by using the Brewster effect, we demonstrate realization of a firstorder differentiator. Such an efficient wave-based computation method... 

Boundary stabilization of vibrating three-dimensional Cosserat elastic solids are studied using mathematical tools, such as operator theory and semigroup techniques. The advantages of the boundary control laws for both boundary stabilization problems are investigated. The boundary stabilization problems are studied using a Lyapunov stability method and LaSalle's invariant set theorem. Numerical simulations are provided to illustrate the effectiveness and performance of the designed control scheme. © 2017 Chinese Automatic Control Society and John Wiley & Sons Australia, Ltd  

A novel method is introduced which allows the higher order perturbative solution of a linear operator with a time variant coefficient. This method employs a form of raising and lowering operators which generate higher and lower order harmonics from a given harmonic. The analysis has been applied to the point kinetics equations with a monotone oscillatory reactivity to place bounds on the relative error of the linearization method frequently employed in the power reactor noise techniques. As a result, the maximum permissible reactivity amplitude for a given reactor as a function of frequency has been obtained such that regular power reactor noise methods remain accurate enough. Three... 

Leveraging subwavelength resonant nanostructures, plasmonic metasurfaces have recently attracted much attention as a breakthrough concept for engineering optical waves both spatially and spectrally. However, inherent ohmic losses concomitant with low coupling efficiencies pose fundamental impediments over their practical applications. Not only can all-dielectric metasurfaces tackle such substantial drawbacks, but also their CMOS-compatible configurations support both Mie resonances that are invariant to the incident angle. Here, we report on a transmittive metasurface comprising arrayed silicon nanodisks embedded in a homogeneous dielectric medium to manipulate phase and amplitude of... 

In this paper, a new computational technique is presented based on the eXtended arbitrary Lagrangian-Eulerian finite element method (X-ALE-FEM) for large deformation of solid mechanic problems. An arbitrary Lagrangian-Eulerian (ALE) technique is employed to capture the advantages of both Lagrangian and Eulerian methods and alleviate the drawbacks of the mesh distortion in Lagrangian formulation. The X-FEM procedure is implemented to capture the discontinuities independently of element boundaries. The process is accomplished by performing a splitting operator to separate the material (Lagrangian) phase from convective (Eulerian) phase, and partitioning the Lagrangian and relocated meshes with... 

Recently various versions of alternating group explicit or alternating group explicit-implicit methods were proposed for solution of diffusion equation. The main benefits of these methods are: good stability, accuracy and parallelizing. But these methods were developed for 1D case and stability and accuracy were investigated for 1D case too. In the present study we extend the new group explicit method [R. Tavakoli, P. Davami, New stable group explicit finite difference method for solution of diffusion equation, Appl. Math. Comput. 181 (2006) 1379-1386] to 2D with operator splitting method. The implementation of method is discussed in details. Our numerical experiment shows that such 2D... 

Human action recognition by using standard video files is a well-studied problem in the literature. In this study, we assume to have access to single modality standard data of some actions (training data). Based on this data, we aim at identifying the actions that are present in a target modality video data without any explicit source–target relationship information. In this case, the training and test phases of the recognition task are based on different imaging modalities. Our goal in this paper is to introduce a mapping (a nonlinear operator) on both modalities such that the outcome shares some common features. These common features were then used to recognize the actions in each domain.... 

Traditional analog computers that perform mathematical operations electronically or mechanically suffer from their relatively large size and slow response. Recently, the idea of spatial analog optical computing has overcome these restrictions. The different techniques to implement spatial analog optical computation can be categorized into two fundamental approaches: (I) metasurface (MS) approach and (II) Green's function (GF) approach. In the first approach, a metasurface is designed to implement the Green's function of the desired operator in the spatial domain. This means that this approach needs two sub-blocks to perform Fourier and inverse Fourier transform. On the other hand, in the... 

In this paper a new algorithm for allocating energy and determining the optimum amount of network active power reserve capacity and the share of generating units and demand side contribution in providing reserve capacity requirements for day-ahead market is presented. In the proposed method, the optimum amount of reserve requirement is determined based on network security set by operator. In this regard, Expected Load Not Supplied (ELNS) is used to evaluate system security in each hour. The proposed method has been implemented over the IEEE 24-bus test system and the results are compared with a deterministic security approach, which considers certain and fixed amount of reserve capacity in...