Sharif Digital Repository

In this paper, we consider the network coding in networks with broadcast channels (called hypernetworks) as the first step for applying network coding to wireless networks. We first prove a Max-Flow Min-Cut theorem for such networks. While we propose an algorithm to achieve this bound, we will introduce new definitions and provide sufficient tools to extend many of the theorems stated for flows in wireline networks to the case of hypernetworks. As an example, we will extend the Max-Flow Min-Cut condition for feasibility of the point-to-point connection in wireline networks to the case of hypernetworks. Then, we will extend the algebraic approach of Koetter and Medard in [3] to the... 

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.... 

Barcoding photons, atoms, and any quantum states can provide a host of functionalities that could benefit future quantum communication systems and networks beyond today's imagination. As a significant application of barcoding photons, we introduce code division multiple-access (CDMA) communication systems for various applications. In this context, we introduce and discuss the fundamental principles of a novel quantum CDMA (QCDMA) technique based on spectrally encoding and decoding of continuous-mode quantum light pulses. In particular, we present the mathematical models of various QCDMA modules that are fundamental in describing an ideal and typical QCDMA system, such as quantum signal... 

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  

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  

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  

In this paper, we investigate the stabilization of an Euler-Bernoulli beam with time delays in the boundary controller. The boundary velocity feedback law is applied to obtain the closed-loop system. It is shown that this system generates a C-semigroup of linear operators. Moreover, the stability of the closed-loop system is discussed for different values of the controller constants and time delays via using spectral analysis and a suitable Lyapunov function. © 2022, The Author(s), under exclusive licence to South China University of Technology and Academy of Mathematics and Systems Science, Chinese Academy of Sciences  

This paper presents a numerical multiscale formulation for analysis of the transient heat and fluid flow in deformable heterogeneous porous media. Due to the heterogeneity of the media, the direct numerical simulation of the micro-structures leads to high computational costs. Hence, the multi-scale method can provide an efficient computational procedure. To this end, the first-order computational homogenization is adopted for two-scale simulation of THM problems. The governing equations of the problem contain a stress equilibrium equation, a mass continuity equation and an advection–diffusion equation in a fully coupled manner. Accordingly, the proper virtual power relations are defined as a...