Sharif Digital Repository

The Iranian government has started and performed several Information Technology (IT) development plans and projects during recent years with the aim of taking advantage of IT in developing governmental services and increasing their efficiency. This case study intends to investigate the overall effectiveness of the implemented plans according to viewpoints of experts. A survey was conducted in The 1st International Conference on Information and Communication Technology Management in which the attendants were experts from academia and public sector. The questions were designed to obtain their views and standpoints about various issues concerning the success of IT plans in different segments... 

In recent years, unmanned aerial systems have attracted great attention due to the electronic systems technology advancements. Among these vehicles, unmanned helicopters are more important because of their special abilities and superior performance. The complex nonlinear dynamic system (caused by main rotor flapping dynamics coupled with the rigid body rotational motion) and considerable effects of ambient disturbance make their utilization hard in actual missions. Attitude dynamics have the main role in helicopter stabilization, so implementing proper control system for attitude is an important issue for unmanned helicopter hovering and trajectory tracking performance. Besides this,... 

Unmanned helicopters have gained great importance during recent years due to their special abilities such as hover flight, vertical take-off and landing, maneuverability and superior agility. The advances in electronic devices technologies lead to more powerful and lighter processors to be used in avionic systems which have attracted more attention to these UAVs. The first steps of utilizing an unmanned helicopter are dynamic modeling, control system design and performing model-in-the-loop (MIL) and hardware-in-the-loop (HIL) tests which are presented in this paper. In this research, MIL and HIL tests of an unmanned helicopter are done using novel Linux-based flight control system built on... 

Unmanned helicopters have gained great importance during recent years due to their special abilities such as hover flight, vertical take-off and landing, maneuverability and superior agility. The advances in electronic devices technologies lead to more powerful and lighter processors to be used in avionic systems which have attracted more attention to these UAVs. The first steps of utilizing an unmanned helicopter are dynamic modeling, control system design and performing model-in-the-loop (MIL) and hardware-in-the-loop (HIL) tests which are presented in this paper. In this research, MIL and HIL tests of an unmanned helicopter are done using novel Linux-based flight control system built on... 

Unmanned helicopters have gained great importance during recent years due to their special abilities such as hover flight, vertical take-off and landing, maneuverability and superior agility. The advances in electronic devices technologies lead to more powerful and lighter processors to be used in avionic systems which have attracted more attention to these UAVs. The first steps of utilizing an unmanned helicopter are dynamic modeling, control system design and performing model-in-the-loop (MIL) and hardware-in-the-loop (HIL) tests which are presented in this paper. In this research, MIL and HIL tests of an unmanned helicopter are done using novel Linux-based flight control system built on... 

Recent development in technology and improvement of manufacturing tools have accelerated the use of microrobots (MRs) in numerous areas such as micro sensing and medical applications. The ability to control multiple MRs simultaneously and independently could lead to higher performance, and even make new applications possible. In this paper, we have proposed a system for simultaneous and independent control of the position of multiple MRs in a plane. The system consists of 2N permanent magnets (PMs) with a circular arrangement in the plane around the workspace and a pair of Helmholtz coil to control N MRs. PMs are rotated by servomotors, and the coil aligns the orientation of the MRs normal... 

In this paper we show how the higher index theory can be used to prove results concerning the non-existence of a complete Riemannian metric with uniformly positive scalar curvature at infinity. By improving some classical results due to M. Gromov and B. Lawson we show the efficiency of these methods to prove such non-existence theorems  

In this paper we state and prove delocalized Morse type inequalities for Morse functions as well as for closed differential 1-forms. These inequalities involve delocalized Betti numbers. As an immediate consequence, we prove the vanishing of delocalized Betti numbers of manifolds fibering over the circle under a vanishing condition on the delocalizing conjugacy class  

Development of novel engineering techniques that can promote new clinical treatments requires implementing multidisciplinary in-vitro and in-vivo approaches. In this study, we have implemented microfluidic devices and in-vivorat model to study the mechanism of neural stem cell migration and differentiation.These studies can result in the treatment of damages to the neuronal system. In this research, we have shown that by applying appropriate ranges of biochemical and biomechanical factors as well as by exposing the cells to electromagnetic fields, it is possible to improve viability, proliferation, directional migration and differentiation of neural stem cells. The results of this study can... 

Swimming microrobots have a variety of applications including drug delivery, sensing, and artificial fertilization. Their small size makes onboard actuation very hard, and therefore an external source such as the magnetic field is a practical way to steer and move the robot. In this paper, we have designed a novel microrobot steered by magnetic paddles. We have also discussed design parameters where, based on the conducted simulation, the robot speed reaches 520 um/s. It is shown that the microrobot speed depends on the robot paddle dimensions. According to the microrobots motion characteristics and their different reactions to the same input, we have designed a steering strategy for... 

We explore the dictionary learning problem for sparse representation when the signals are dependent. In this paper, a first-order Markovian model is considered for dependency of the signals, that has many applications especially in medical signals. It is shown that the considered dependency among the signals can degrade the performance of the existing dictionary learning algorithms. Hence, we propose a method using the Maximum Log-likelihood Estimator (MLE) and the Expectation Minimization (EM) algorithm to learn the dictionary from the signals generated under the first-order Markovian model. Simulation results show the efficiency of the proposed method in comparison with the... 

Using smoothness criteria to separate smooth graph signals from their summation is an approach that has recently been proposed (Mohammadi et al., 2023) and shown to have a unique solution up to the uncertainty of the average values of source signals. In this correspondence, closed-form solutions of both exact and approximate decompositions of that approach are presented. This closed-form solution in the exact decomposition also answers the open problem of the estimation error. Additionally, in the case of Gaussian source signals in the presence of additive Gaussian noise, it is shown that the optimization problem of that approach is equivalent to the Maximum A Posteriori (MAP) estimation of... 

In this paper, we address theoretical limitations in estimating the mixing matrix in noisy Sparse Component Analysis (SCA) in the two-sensor case. We obtain the Cramér-Rao Bound (CRB) error estimation of the mixing matrix based on the observation vector x=(x1,x2)T. Using the Bernoulli-Gaussian (BG) sparse distribution for sources, and some reasonable approximations, the Fisher Information Matrix (FIM) is approximated by a diagonal matrix. Then, the effect of off-diagonal terms in computing the CRB is investigated. Moreover, we compute an oracle CRB versus the blind uniform CRB and show that this is only 3 dB better than the blind uniform CRB. Finally, the CRB, the approximated CRB, the... 

In this paper, we address recovery of sparse signals from compressed measurements, and sparse signal approximation, which have received considerable attention over the last decade. First, we revisit smoothed L0 (SL0), a well-known sparse recovery algorithm, and give some insights into it that have not been noticed previously. Specifically, we re-derive the SL0 algorithm based on proximal methods, and using recent results in solving nonconvex problems by proximal algorithms, we provide a convergence guarantee for it. In addition, inspired by this derivation, we propose a general family of algorithms, which we call iterative sparsification-projection (ISP), having SL0 as a special member. Our... 

In this study, a detector/estimator is proposed for compressed sensing radars, which does not need to reconstruct the radar signal, and which works directly from compressive measurements. More precisely, through direct processing of the measurements, and without the need for reconstructing the original radar signal, the system performs target detection, and then estimates range, Doppler frequency shift and radar cross section in the presence of a Gaussian clutter. It can be seen that for large compression ratios, the detection performance and estimation quality is comparable with a common radar system while having a much lower data rate and with less computational load  

This letter is concerned with designing incoherent unit-norm frames, i.e., a set of vectors in a finite dimensional Hilbert space with unit norms and very low absolute pairwise correlations. Due to their widespread use in a variety of applications, including compressed sensing and coding theory, incoherent frame design has received considerable attention, and many algorithms have been proposed to this aim. In this letter, a new algorithm is presented which constructs incoherent frames by minimizing the maximum absolute pairwise correlations (mutual coherence) of the frame vectors. Our strategy is based on an alternating minimization penalty method, which admits efficient solvers using... 

Let M be a complete n-dimensional Riemannian spin manifold, partitioned by q two-sided hypersurfaces which have a compact transverse intersection N and which in addition satisfy a certain coarse transversality condition. Let E be a Hermitean bundle on M with connection. We define a coarse multi-partitioned index of the spin Dirac operator on M twisted by E. Our main result is the computation of this multi-partitioned index as the Fredholm index of the Dirac operator on the compact manifold N, twisted by the restriction of E to N. We establish the following main application: if the scalar curvature of M is bounded below by a positive constant everywhere (or even if this happens only on one of... 

The main motivation behind compressive sensing is to reduce the sampling rate at the input of a digital signal processing system. However, if for processing the sensed signal one requires to reconstruct the corresponding Nyquist samples, then the data rate will be again high in the processing stages of the overall system. Therefore, it is preferred that the desired processing task is done directly on the compressive measurements, without the need for the reconstruction of the Nyquist samples. This paper addresses the case in which the processing task is “detection” (the existence) of a sparse signal in additive white Gaussian noise, with applications e.g. in radar systems. Moreover, we will...