Sharif Digital Repository

There have been significant developments in the design and application of algorithms for both one-dimensional signal processing and multidimensional signal processing, namely image and video processing, with the recent focus changing from a step-by-step procedure of designing the algorithm first and following up with in-depth analysis and performance improvement to instead applying heuristic-based methods to solve signal-processing problems. In this book the contributing authors demonstrate both general-purpose algorithms and those aimed at solving specialized application problems, with a special emphasis on heuristic iterative optimization methods employing modern evolutionary and swarm... 

In today's programmable blockchains, smart contracts are limited to being deterministic and non-probabilistic. This lack of randomness is a consequential limitation, given that a wide variety of real-world financial contracts, such as casino games and lotteries, depend entirely on randomness. As a result, several ad-hoc random number generation approaches have been developed to be used in smart contracts. These include ideas such as using an oracle or relying on the block hash. However, these approaches are manipulatable, i.e. Their output can be tampered with by parties who might not be neutral, such as the owner of the oracle or the miners.We propose a novel game-theoretic approach for... 

In this paper, we consider termination of probabilistic programs with real-valued variables. The questions concerned are: (a) qualitative ones that ask (i) whether the program terminates with probability 1 (almost-sure termination) and (ii) whether the expected termination time is finite (finite termination); (b) quantitative ones that ask (i) to approximate the expected termination time (expectation problem) and (ii) to compute a bound B such that the probability to terminate after B steps decreases exponentially (concentration problem). To solve these questions, we utilize the notion of ranking supermartingales which is a powerful approach for proving termination of probabilistic programs.... 

We propose a new algorithm for finding sparse solution of a linear system of equations using `0 minimization. The proposed algorithm relies on approximating the non-smooth `0 (pseudo) norm with a differentiable function. Unlike other approaches, we utilize a particular definition of `0 norm which states that the `0 norm of a vector can be computed as the `1 norm of its sign vector. Then, using a smooth approximation of the sign function, the problem is converted to `1 minimization. This problem is solved via iterative proximal algorithms. Our simulations on both synthetic and real data demonstrate the promising performance of the proposed scheme. © 2019 IEEE  

This paper is concerned with designing efficient algorithms for recovering sparse signals from noisy underdetermined measurements. More precisely, we consider minimization of a nonsmooth and nonconvex sparsity promoting function subject to an error constraint. To solve this problem, we use an alternating minimization penalty method, which ends up with an iterative proximal-projection approach. Furthermore, inspired by accelerated gradient schemes for solving convex problems, we equip the obtained algorithm with a so-called extrapolation step to boost its performance. Additionally, we prove its convergence to a critical point. Our extensive simulations on synthetic as well as real data verify... 

Al-Zn-Mg-Cu alloys (7xxx series Al alloys) are extensively used for their superior mechanical and corrosion performance. These properties are microstructure-sensitive and highly dependent on the formation, growth and coarsening of precipitates. To date, a wide variety of ageing procedures have been developed to tailor the evolved microstructures so as to yield a good combination of mechanical capacity and corrosion resistance of 7xxx series Al alloys. Among these methods, isothermal ageing, multi-stage ageing, non-isothermal ageing, retrogression and re-ageing (RRA), and stress ageing (i.e. creep ageing) are the most significant. In the present review, all of these approaches are... 

In this paper, we consider termination of probabilistic programs with real-valued variables. The questions concerned are: (a) qualitative ones that ask (i) whether the program terminates with probability 1 (almost-sure termination) and (ii) whether the expected termination time is finite (finite termination); (b) quantitative ones that ask (i) to approximate the expected termination time (expectation problem) and (ii) to compute a bound B such that the probability to terminate after B steps decreases exponentially (concentration problem). To solve these questions, we utilize the notion of ranking supermartingales which is a powerful approach for proving termination of probabilistic programs.... 

After an earthquake, the residual stiffness and strength of structural elements are typically estimated based on a qualitative visual inspection of cracks that is prone to error. In this paper a new approach is proposed to automatically estimate the updated stiffness and strength of damaged unreinforced masonry walls by characterization of crack patterns by a mathematical index. It is shown that structural and textural fractal dimensions of a crack pattern reflect the extent of cracking and the type of cracking or crushing, i.e., whether the cracks pass through joints or whether bricks have been damaged and crushed. Using results of six quasi-static cyclic tests on unreinforced brick masonry... 

In order to optimize the aging treatment of Mg-1.8Zn-0.7Si-0.4Ca alloy, different times and temperatures of solid solution and age hardening were applied to the alloy specimens. Microstructures and mechanical properties of the specimens were investigated using the optical microscopy, field emission scanning electron microscopy equipped with an energy dispersive x-ray spectrometer, x-ray diffraction, hardness, and shear punch tests. The lowest hardness and strength were achieved by solution treating of the alloy at 500 °C for 8 h, presenting the optimal condition for solution treatment of the alloy. The microstructural examinations revealed three different precipitates consisting of CaMgSi,... 

The concept of a nonlinear transfer function of a fibre-optic communication link is reviewed. Also an approximation of the nonlinear transfer function is introduced, which allows to define an equivalent single-span model of a dispersion-managed multi-span system. In this paper we will show its limits of validity and try to extent these limits by enhancing the theoretical model. In this respect we will discuss the impact of dispersion precompensation and show the influence of residual dispersion per span, number of spans and local dispersion on transmission systems with on-off keying and differential phase-shift keying modulation formats. This approach allows fast assessment of the... 

Hydrogen technology through water electrolyzer systems has attracted a great attention to overcome the energy crisis. So, rationally designed non-noble metal based-electrocatalysts with high activity and durability can lead to high performance water electrolyzer systems and high purity hydrogen generation. Herein, a facile two-step method: hydrothermal and electrodeposition, respectively, are developed to decorate highly porous three-dimensional binder-free structure NiFeO/NiO nanosheets array on Ni foam (NiFeO/NiO/NF) with robust adhesion as a high-performance electrode for Hydrogen Evolution Reaction (HER). The electrodeposition process applied after the initial hydrothermal process... 

New techniques for Class-AB Operational Transconductance Amplifiers (OTAs) are presented. These new techniques are two topologies based on current boosting in class-AB stage which achieve considerable improvement of Slew Rate and Gain-Bandwidth while maintaining the same power consumption as the conventional design. Circuit level analysis and simulation results of proposed circuits in 0.18μm CMOS technology for gain, GBW, slew rate, and settling time are presented to prove the effectiveness of the proposed design method  

In this paper, first we shall define a list of technology transfer barriers in the biotechnology field through interviews and literature reviews. Next, we shall categorize them into four major categories of technology, and at last introduce all of the hypotheses on the existence of relationship between each part of technology and failure in the technology transfer process. Questionnaires consisting of two parts were created and handed out to all of the specialists and biotechnology idea-holders in the Iranian National Research center of Biotechnology, Lidco Co, Iran Pastor Institute, Biotechnology Department of University of Tehran, etc. Going on, we've evaluated the factors' validity... 

Most researches on the application of the adjoint method in turbine blade design are concentrated on the aerodynamic shape optimization without considering the heat transfer to/from the blade material. In this study, the adjoint method is extended to the conjugate heat transfer problems in which the viscous flow field is coupled to heat transfer in the solid region. Introducing a new adjoint variable in the solid domain, a heat adjoint equation is derived which is coupled with the energy adjoint equation in the fluid zone at the fluid/solid interface. The detailed mathematical description associated with the derivation of the heat adjoint equation with corresponding boundary conditions are... 

This article presents a novel identification approach which can deal with nonlinear and time-varying characteristics of complex dynamic systems, especially an aerial vehicle in the entire flight envelope. A set of local sub-models are first developed at different operating points of the system, and subsequently a self-organizing multi-model ensemble is introduced to aggregate the outputs of the local models as a single model. The number of employed local models in the proposed multi-model ensemble is optimized using a novel self-organizing approach. Also, wavelet neural networks, which combine both the universal approximation property of neural networks and the wavelet decomposition... 

L-tryptophan functionalized AgNPs were successfully fabricated using a one-pot synthesis method and assessed as a colorimetric probe for rapid and accurate determination of Mg2+ ions. The developed sensor showed a selective response towards Mg2+ with no interference from Ca2+ in the wide concentration range of 1–200 µM. The sensor's response was optimized in the pH range of 9–10, which can be attributed to the protonation of amine groups and their interaction with Mg2+ ions. The stability and selectivity of the sensor were examined in different salt (NaCl) and other metal ions, respectively. The L-tryptophan-AgNPs sensor detected Mg2+ with the limit of detection of 3 µM, which is way lower... 

In this paper, we propose what we believe is a novel sensitive micro-optoelectromechanical systems (MOEMS) accelerometer based on intensity modulation by using a one-dimensional photonic crystal. The optical sensing system of the proposed structure includes an air-dielectric multilayer photonic bandgap material, a laser diode (LD) light source, a typical photodiode (1550 nm) and a set of integrated optical waveguides. The proposed sensor provides several advantages, such as a relatively wide measurement range, good linearity in the whole measurement range, integration capability, negligible cross-axis sensitivity, high reliability, and low air-damping coefficient, which results in a wider... 

In the present work, the effect of brazing pa rameters on the properties of the brazed joint of pure titanium and 304 stainless steel (304SS) was investigated. Three different Ag-Cu filler metals were used, while the temperature and time of brazing were in the range of 800-950°C and 5-45 minutes, respectively. The microstructural observations show that, depending on the brazing conditions, different intermetallic phases such as CuTi2, CuTi, Cu3Ti4, and FeTi were formed at the phases interface. Based on the microstructural observations, a model was developed to characterize the formation of phases at the interfaces and brazed joint. The results show that, while some phases may form during the... 

Empirical drift capacity models for in-plane loaded unreinforced masonry (URM) walls are derived from results of quasi-static cyclic shear-compression tests. The experimentally determined drift capacities are, however, dependent on the applied demand, i.e., on the loading protocol that is used in the test. These loading protocols differ between test campaigns. The loading protocols applied in tests are also different from the displacement histories to which URM walls are subjected in real earthquakes. In the absence of experimental studies on the effect of loading histories on the wall response, this article presents numerical simulations of modern unreinforced clay block masonry walls that... 

Displacement-based assessment procedures require as input reliable estimates of the deformation capacity of all structural elements. For unreinforced masonry (URM) walls, current design codes specify the in-plane deformation capacity as empirical equations of interstory drift. National codes differ with regard to the parameters that are considered in these empirical drift capacity equations, but the inhomogeneity of datasets on URM wall tests renders it difficult to validate the hypotheses with the currently available experimental data. This paper contributes to the future development of such empirical relationships by investigating the sensitivity of the drift capacity to the shear span,...