Sharif Digital Repository

Blind Source Separation (BSS) is the problem of separating signals which are mixed through an unknown function from a number of observations, without any information about the mixing model. Although it has been mathematically proven that the separation can be done when the mixture is linear, there is not any proof for the separability of nonlinearly mixed signals. Our contribution in this paper is performing nonlinear BSS for sparse sources. It is shown in this case, sources are separable even if the problem is under-determined (the number of observations is less than the number of source signals). However in the most general case (when the nonlinear mixing model can be of any kind and there... 

Calculation of camera projection matrix, also called camera calibration, is an essential task in many computer vision and 3D data processing applications. Calculation of projection matrix using vanishing points and vanishing lines is well suited in the literature; where the intersection of parallel lines (in 3D Euclidean space) when projected on the camera image plane (by a perspective transformation) is called vanishing point and the intersection of two vanishing points (in the image plane) is called vanishing line. The aim of this paper is to propose a new formulation for easily computing the projection matrix based on three orthogonal vanishing points. It can also be used to calculate the... 

The dynamic nature of today’s manufacturing industry, which is caused by the intense global competition and constant technological advancements, requires systems that are highly adaptive and responsive to demand fluctuations. Reconfigurable manufacturing systems (RMS) enable such responsiveness through their main characteristics. This paper addresses the problem of RMS configuration design, where the demand of a single product varies throughout its production life cycle, and the system configuration must change accordingly to satisfy the required demand with minimum cost. A two-phased method is developed to handle the primary system configuration design and the necessary system... 

This paper is focused on the development and verification of a heat attitude model (HAM) for satellite attitude determination. Within this context, the Sun and the Earth are considered as the main external sources of radiation that could effect the satellite surface temperature changes. Assuming that the satellite orbital position (navigational data) is known, the proposed HAM provides the satellite surface temperature with acceptable accuracy and also relates the net heat flux (NHF) of three orthogonal satellite surfaces to its attitude via the inertial to satellite transformation matrix. The proposed HAM simulation results are verified through comparison with commercial thermal analysis... 

The dynamic nature of today’s manufacturing industry, which is caused by the intense global competition and constant technological advancements, requires systems that are highly adaptive and responsive to demand fluctuations. Reconfigurable manufacturing systems (RMS) enable such responsiveness through their main characteristics. This paper addresses the problem of RMS configuration design, where the demand of a single product varies throughout its production life cycle, and the system configuration must change accordingly to satisfy the required demand with minimum cost. A two-phased method is developed to handle the primary system configuration design and the necessary system... 

An approach based on unitary transformation for the problem of estimating the number of signals is proposed in this study. Among the information theoretic criteria, the authors focus on the conventional Bayesian information criterion (BIC) in the presence of a uniform linear array. The sample covariance matrix of this array is transformed into the real symmetric one by using a unitary transformation. This real symmetric matrix has real eigenvalues and eigenvectors. Therefore its eigenvalue decomposition needs only real computations. Since the eigenvalues of this real symmetric matrix are equal to the eigenvalues of the sample covariance matrix, by replacing them in BIC formula, the term... 

We present a feasible full step interior-point algorithm to solve the (Formula presented.) horizontal linear complementarity problem defined on a Cartesian product of symmetric cones, which is not based on a usual barrier function. The full steps are scaled utilizing the Nesterov-Todd (NT) scaling point. Our approach generates the search directions leading to the full-NT steps by algebraically transforming the centring equation of the system which defines the central trajectory using the induced barrier of a so-called positive-asymptotic kernel function. We establish the global convergence as well as a local quadratic rate of convergence of our proposed method. Finally, we demonstrate that... 

In reference [1], some weak points in the design of the Shannon stream cipher and a differential distinguisher with complexity of O(214.92) keystream bits (i.e. O(29.92) keystream words) were presented. Another distinguishing attack based on a multidimensional linear transformation was presented in [2] which require 2106.996 keystream words. Both of these attacks need to have access to the initial state that is unlikely. In this paper, a likely attack using fault analysis method is exploited to solve the mentioned problem. Additionally, a new distinguisher is proposed which improves the attack complexity to four times the complexity of running the Shannon stream cipher. Only are two... 

Due to the automatic feature extraction procedure via multi-layer nonlinear transformations, the deep learning-based visual trackers have recently achieved a great success in challenging scenarios for visual tracking purposes. Although many of those trackers utilize the feature maps from pre-trained convolutional neural networks (CNNs), the effects of selecting different models and exploiting various combinations of their feature maps are still not compared completely. To the best of our knowledge, all those methods use a fixed number of convolutional feature maps without considering the scene attributes (e.g., occlusion, deformation, and fast motion) that might occur during tracking. As a... 

We present a feasible full step interior-point algorithm to solve the (Formula presented.) horizontal linear complementarity problem defined on a Cartesian product of symmetric cones, which is not based on a usual barrier function. The full steps are scaled utilizing the Nesterov-Todd (NT) scaling point. Our approach generates the search directions leading to the full-NT steps by algebraically transforming the centring equation of the system which defines the central trajectory using the induced barrier of a so-called positive-asymptotic kernel function. We establish the global convergence as well as a local quadratic rate of convergence of our proposed method. Finally, we demonstrate that... 

We consider an index coding problem in which several transmitters deliver distinct files to a number of users with minimum delay. Each user has access to a subset of other files from the library, which can be used as side information. The information sent by the transmitters experience a linear transformation before being received at the users. By benefiting from the concept of Zero-Forcing in MIMO systems, we generalize the notion of MinRank characterization and the clique cover algorithm to accommodate this generalized setting. We show that increasing the number of transmitters can substantially reduce the delivery delay. © 1997-2012 IEEE  

The theory of silicon optical modulators of ring resonators based on PN diode in reverse bias is primarily discussed. It secondarily provides a full-featured simulator to investigate the behavior of such modulators. Wave equation for ring structure will be solved by using the conformal transformation method and the matrix method as it was used to analyze bent planar optical waveguides. Power coupling between ring and straight waveguides will be calculated by coupled theory of nonparallel waveguides based on experimental results. The time response demonstrates the capability of this device to operate correctly at up to 10 Gbs-1 bitrate, and the frequency spectrum analysis of device shows a >... 

In this work, a general semi-analytical method for the determination of the elastic fields within an anisotropic homogeneous elastic solid with an inclined edge or interior crack is developed. In this method, the displacement field is represented as a sum of a function and a finite series of functions with unknown coefficients. The functions are constructed in such a way that all the essential homogeneous and inhomogeneous boundary conditions are satisfied exactly and, moreover, the displacement discontinuity across the crack faces as well as the exact singular behaviour of the stress field at the crack-tip are captured. The unknown coefficients are determined by utilizing the principle of... 

Stochastic activity networks (SANs) are a well-known petri net-based formalism used for the performance and dependability modeling of a wide range of systems. On the other hand, the growing complexity of timed systems makes it imperative to apply formal analysis techniques in the early stages of the system's development. Finding a suitable framework for the modeling, evaluation, and verication of these systems is still a great challenge. In this paper, we introduce a new formalism named timed activity networks (TANs), which are based on the activity networks that are the nondeterministic settings of the SANs. The advantages of TANs are 2-fold: 1) allowing the construction of more compact... 

In this note we extend the Differential Transfer Matrix Method (DTMM) for a second-order linear ordinary differential equation to the complex plane. This is achieved by separation of real and imaginary parts, and then forming a system of equations having a rank twice the size of the real-valued problem. The method discussed in this paper also successfully removes the problem of dealing with essential singularities, which was present in the earlier formulations. Then we simplify the result for real-valued problems and obtain a new set of basis functions, which may be used instead of the WKB solutions. These basis functions not only satisfy the initial conditions perfectly, but also, may... 

Carbide morphologies of white cast iron containing 22% Cr and 10-12% tungsten with different carbon contents (2.34-3.20. wt.%) were investigated. Results indicated that for the as-cast alloys with no heat treatments, the addition of carbon changes the morphology of carbides during air-cooling in the presence of tungsten. Light microscopy analysis revealed that for an alloy with 2.3. wt% carbon, chromium carbides possess coarse gray appearance (GA). Increasing the carbon content reduced the coarse GA zones volume fraction while a finer GA zones emerged. The coexistence of coarse and fine GA phases came to an end at 2.8. wt% carbon, at which only fine GA zones spread throughout the chromium... 

In this paper, a multi-scale molecular dynamics-finite element coupling is presented to study the mechanical behavior of heterogeneous nano-crystalline structures. The stiffness and mass matrices of the continuum sub-domain are generated by applying a linear transformation on the matrices obtained via the atomic structure underlying the FE mesh. A Lagrange multiplier method is employed to the transition zone imposing velocity resemblance of the coupling regions. The constraint equations of motion are solved by the multi-time-step decomposition thus giving the opportunity to ascribe different time steps to each individual zone. The molecular dynamics is performed by employing the... 

The Wedderburn rank reduction formula is a powerful method for developing matrix factorizations and many fundamental numerical linear algebra processes. We present a new interpretation of the Wedderburn rank reduction formula and its associated biconjugation process and see a more extensive result of the formula. In doing this, we propose a new formulation based on the null space transformations on rows and columns of A simultaneously, and show several matrix factorizations that can be derived from the Wedderburn rank reduction formula. We also present a generalization of the biconjugation process and compute banded and Hessenberg factorizations. Using the new formulation, we compute the WZ... 

In the last decade, there has been a growing interest in distance function learning for semi-supervised clustering settings. In addition to the earlier methods that learn Mahalanobis metrics (or equivalently, linear transformations), some nonlinear metric learning methods have also been recently introduced. However, these methods either allow limited choice of distance metrics yielding limited flexibility or learn nonparametric kernel matrices and scale very poorly (prohibiting applicability to medium and large data sets). In this paper, we propose a novel method that learns low-rank kernel matrices from pairwise constraints and unlabeled data. We formulate the proposed method as a trace... 

In mechanical assemblies, the performance, quality, cost and assemblability of the product are significantly affected by the geometric errors of the parts. This paper develops the statistical error analysis approach for dimensional control in automotive body multi-station assembly process. In this method, the homogeneous transformation matrices are used to describe the location and orientation of part and assembly features and the small homogeneous transformation matrices are used to model the errors. In this approach, the effective errors in automotive body assembly process are classified in three categories: manufacturing errors (dimensional and geometric tolerances), locating errors...