Loading...
Search for: soltani-mohammadi--siavash
0.133 seconds

    An introductory course on differentiable manifolds

    , Book Shashahani, Siavash
    Dover Publications, Inc  2016
    Abstract
    Based on author Siavash Shahshahani's extensive teaching experience, this volume presents a thorough, rigorous course on the theory of differentiable manifolds. Geared toward advanced undergraduates and graduate students in mathematics, the treatment's prerequisites include a strong background in undergraduate mathematics, including multivariable calculus, linear algebra, elementary abstract algebra, and point set topology. More than 200 exercises offer students ample opportunity to gauge their skills and gain additional insights.
    The four-part treatment begins with a single chapter devoted to the tensor algebra of linear spaces and their mappings. Part II brings in neighboring points to... 

    Study of Reduced Frequency Effects on Wind Tunnel Wall Pressure for a Plunging Airfoil

    , M.Sc. Thesis Sharif University of Technology Mohammadi, Zeynab (Author) ; Soltani, Mohammad Reza (Supervisor)
    Abstract
    The unsteady phenomena occur in rotors of helicopters, wind turbines and compressors. Investigation of the unsteady flow is a very important test, since it can affect and restrict the performance of rotors of helicopters and wind turbine's blades when operating at high angles of attack. Dynamic tests, such as pitching and plunging oscillations are one of the best methods for studying these phenomena due to the complexity of the unsteady flows. In analyzing the results of dynamic tests one must consider the interference effects of wind tunnel walls. Different investigations show that in dynamic tests, the interference effects of flow field around the model, wind tunnel walls and support of... 

    Low-power high-speed phase frequency detector based on carbon nano-tube field effect transistors

    , Article Analog Integrated Circuits and Signal Processing ; 2021 ; 09251030 (ISSN) Soltani Mohammadi, M ; Sadughi, S ; Razaghian, F ; Sharif University of Technology
    Springer  2021
    Abstract
    A phase frequency detector (PFD) with a very low dead zone is proposed which is based on a configuration adaptable to both CMOS or carbon nano-tube transistors (CNTFETs). In the first step the proposed configuration is designed using CMOS transistors, and then CNTFETs are substituted to improve the speed and reduce the propagation delay. The proposed PFD in addition to very low dead zone, has low power consumption and high frequency range of operation, which are achieved as a result of the elimination of the reset path. The simulation results based on 32 nm technology for CNTFET and 180 nm technology for CMOS, illustrate that CNTFET-based proposed circuit dissipates 2 µW and has frequency of... 

    Numerical Analysis of a Plate Containing Multiple Circular Holes Via RKPM

    , M.Sc. Thesis Sharif University of Technology Soltani Mohammadi, Siavash (Author) ; Mohammdi Shodja, Hossein (Supervisor)
    Abstract
    In this thesis, some new models have been solved via RKPM method, which is one of the meshfree methods family. These models have never been solved via meshfree methods and their analytical solutions do not exist. At first, the RKPM shape functions and their first derivative formulation in 1D and 2D have been presented and then by using FORTRAN program, the shape functions and their first derivative have been obtained. To verifying the code some functions have been reproduced. In the next step by using the governing equations and penalty method whose formulation exists in chapter 2; some famous examples in linear elasticity have been solved via RKPM to verify the FORTRAN code. At last; some... 

    Experimental study of the plunging motion with unsteady wind tunnel wall interference effects

    , Article Experimental Techniques ; Volume 36, Issue 5 , FEB , 2012 , Pages 30-45 ; 07328818 (ISSN) Soltani, M. R ; Marzabadi, F. R ; Mohammadi, Z ; Sharif University of Technology
    2012
    Abstract
    A series of experiments were carried out to investigate unsteady behavior of the flow field as well as the boundary layer of an airfoil oscillating in plunging-type motion in a subsonic wind tunnel. The measurements involved surface-mounted hot films complimented with surface pressure. In addition, wind tunnel wall pressure distribution was acquired to furnish a baseline for the wall interference corrections. The airfoil is the section of a 660-kW wind turbine blade. The experiments were conducted at a Reynolds number of 0.42 million, and over two reduced frequencies of k = 0.06 and 0.085, at prestall, nearstall, and poststall regions. The unsteady aerodynamic loads were calculated from the... 

    Filter-bank design based on dependencies between frequency components and phoneme characteristics

    , Article European Signal Processing Conference, 29 August 2011 through 2 September 2011 ; Septembe , 2011 , Pages 2142-2145 ; 22195491 (ISSN) Mohammadi, S. H ; Sameti, H ; Tavanaei, A ; Soltani Farani, A ; Sharif University of Technology
    2011
    Abstract
    Mel-frequency Cepstral coefficients are widely used for feature extraction in speech recognition systems. These features use Mel-scaled filters. A new filter-bank based on dependencies between frequency components and phoneme characteristics is proposed. F-ratio and mutual information are used for this purpose. A new filter-bank is designed in which frequency resolution of sub-band filters is inversely proportional to the computed dependency values. These new filterbank is used instead of Mel-scaled filters for feature extraction. A phoneme recognition experiment on FARSDAT Persian language database showed that features extracted using the proposed filter-bank reach higher accuracy (63.92%)... 

    Design and Optimization of Looped Thermo-acoustic Engine

    , M.Sc. Thesis Sharif University of Technology Mohammadi Gharagozlou, Neda (Author) ; Soltani, Mohammad Reza (Supervisor) ; Karimi, Mohsen ($item.subfieldsMap.e)
    Abstract
    Thermo-acoustic sience is the conversion of heat to power through the sound wave. Thermoacoustic engines for different reasons like easy making, not having moving parts and so high reliablibility of system is in attention for researchers. Also looped-tube thermoacoustic engines are very new in the world and sience and thechnology of them belong to a few companies and for different reasons are replacing different kinds of thermoacoustic engines.They have higher efficiency than other types. They can be made in large scales. They have a larger thermal range. In this research, the numerical study of one, two and four stage looped-tube thermoacoustic engines has investigated with the help of... 

    Resilient cities, a key solution to safeguard the environment

    , Article Scientia Iranica ; Volume 23, Issue 5 , 2016 , Pages 2067-2076 ; 10263098 (ISSN) Aghajani, Y ; Abbaspour, M ; Mohammadi, A ; Reza Soltani, S ; Aghajani, D ; Ahmadi, A ; Sharif University of Technology
    Sharif University of Technology  2016
    Abstract
    In the 21st century, the world population is growing at a spiraling pace. Much of this growth is occurring in developing countries, where access to food, sanitary water, education, and health is severely limited. The ever-increasing urbanization highlighted the need for sustainable development based on human-environment interaction. The excessive and unplanned expansion of cities has resulted in numerous environmental predicaments due to clearly emphasized economic issues at the expense of social and environmental concerns. The most significant features of megacities are indicated in this paper and the environmental, social, physical, and economic criteria are addressed in order to attain... 

    P - Adic L Functions

    , M.Sc. Thesis Sharif University of Technology Sanjari, Ali (Author) ; Shahshahani, Siavash (Supervisor)
    Abstract
    Using interpolation and starting with Bernoulli numbers, posed by Leopold and Kubota, the aspect of adic function was constructed as adic analogues of the Dirichlet functions.Studing Galois module theory of ideal class group and his favorite structure extensions and modules related to them,Iwasawa found a new method for constructing adic functions by using Stickelberger’s elements.These results wich established by Iwasawa are known as Iwasawa Theory and they have many application in Algebriac Number Theory. Iwasawa’s most remarkable disconvry is the facet that at least in some important cases, there is a similar deep algebraic and analytic dichotomy in arithmetic of extensions. A... 

    The Evolution of a Geometric Space in in the Nineteenth Century

    , M.Sc. Thesis Sharif University of Technology Karimi, Ehsan (Author) ; Shahshahani, Siavash (Supervisor)
    Abstract
    The meaning and the nature of space and it’s essential properties seems to be one of the oldest problems which has been continuing to occupy human’s mind during centuries. It can be counted as a common ground between philosophy, mathematics, physics and even art. However this thesis concentrates on the philosophical and mathematical attitudes, neglecting the other aspects of the issue. Prima facie, it appears that the concept of space is essentially mingled with geometry, the science which seems to investigate the essentials of space. Taking it for granted, Kant regarded space, and so Euclidean geometry which dominates it, as an indispensible and necessary structure of the human’s mind.... 

    Exploiting structural information of data in active learning

    , Article Artificial Intelligence and Soft Computing: Lecture Notes in Computer Science ; Volume 8468 LNAI, Issue PART 2 , 2014 , Pages 796-808 Shadloo, Maryam ; Beigy, Hamid ; Haghiri, Siavash ; Sharif University of Technology
    2014
    Abstract
    In recent years, the active learning algorithms have focused on combining correlation criterion and uncertainty criterion for evaluating instances. Although these criteria might be useful, applying these measures on whole input space globally may lead to inefficient selected instances for active learning. The proposed method takes advantage of clustering to partition input space to subspaces. Then it exploits both labeled and unlabeled data locally for selection of instances by using a graph-based active learning. We define a novel utility score for selecting clusters by combining uncertainty criterion, local entropy of clusters and the factor of contribution of each cluster in queries.... 

    Increasing BIOS Trust in Personal Computers Using Reconfigurable Devices

    , M.Sc. Thesis Sharif University of Technology Eslampanah, Marziye (Author) ; Bayat Sarmadi, Siavash (Supervisor)
    Abstract
    Due to the expansion of digital system threats, trusted computation with a new approach for countering such threats has emerged. This approach is based on using a hardware module for implementing a trusted platform (TPM). TPM includes a chipset and the trusted systems core. Nowadays many of mobile computers do include this technology. This hardware creates trust using a trust chain and expanding this trust to other parts of the system. The starting point in this chain is the computer BIOS. BIOS is the first code that the system usually executes. One of the most powerful recent attacks on computer systems is to infect the BIOS and other firmware. One of such complicated attacks is the rootkit... 

    Performance Evaluation of Physical Unclonable Functions and Proposing a Scheme on FPGA

    , M.Sc. Thesis Sharif University of Technology Ramezani, Alireza (Author) ; Bayat-Sarmadi, Siavash (Supervisor)
    Abstract
    In recent years, in addition to traditional cryptographic blocks, a hardware blocks in this work namely PUF, has been used mostly for chip ID generation, authentication and so on. In this work we study recent proposed PUFs and their implementations on FPGA, and the measurement of quality metrics on them. Some of most important characteristics of PUFs are unpredictability, reliability, number of challenge response pairs and area. According to experiments that have been performed in this study and also according to previous work, one high-quality PUF in term of uniqueness and reliability is Ring Oscillator PUF. However, the disadvantage of this PUF is small number of challenge and response... 

    A Trusted Design Platform for Trojan Detection in FPGA Bitstreams Using Partial Reconfiguration

    , M.Sc. Thesis Sharif University of Technology Shekofteh, Nastaran (Author) ; Bayat-Sarmadi, Siavash (Supervisor)
    Abstract
    Hardware Trojans have emerged as a major concern for integrated circuits in recent years. As a result, detecting Trojans has become an important issue in critical applications, such as finance and health. In this work, a trusted platform for detecting Trojans in FPGA bitstreams is presented. The proposed methodology takes advantage of increased Trojan activation, caused by transition aware partitioning of the circuit, while it benefits partial reconfiguration feature of FPGAs to reduce area overhead. Simulation results, performed for the transition probability thresholds of 〖10〗^(-4) and 〖2×10〗^(-5), show that this method increases the ratio of the number of transitions in the Trojan... 

    Implementation of an IoT Edge Computing Module in Compliance with TPM Standards

    , M.Sc. Thesis Sharif University of Technology Hasanizadeh, Parisa (Author) ; Bayat Sarmadi, Siavash (Supervisor)
    Abstract
    Cloud computing has a significant role in expanding applications of the Internet of Things (IoT). Currently, applications such as virtual reality and augmented reality require low latency, which is not achievable using traditional cloud computing in some scenarios. Edge computing is a new approach in IoT, which solves some of the limitations of the cloud computing by extending and developing its operations. Reducing response time and network traffic are some of the most important achievements of edge computing. Despite of its numerous advantages over cloud computing, edge computing faces serious challenges such as virtualization, implementation infrastructure, resource allocation and task... 

    Improving Remote Attestation Techniques for IoT Devices using Physical Model

    , M.Sc. Thesis Sharif University of Technology Salehi, Mohsen (Author) ; Bayat Sarmadi, Siavash (Supervisor)
    Abstract
    Due to the widespread growth in the use of IoT devices, authors consider these devices as an attractive target platform. Several approaches have been proposed to defend IoT devices against various attacks. However, most of them suffer from some shortcomings such as being computationally expensive, not being general, or not being robust enough.Due to the attacks such as firmware modification and the existence of computational limitations, the use of local approaches is inefficient. Another approach is to use remote attestation techniques, which are divided into two categories, static and dynamic. However, static detection techniques are vulnerable to runtime attacks. Furthermore, existing... 

    Customizing a Privacy-Preserving Blockchain-Based Distributed Ledger for Second-Price Auction Smart Contract

    , M.Sc. Thesis Sharif University of Technology Mirzaei, Amir (Author) ; Bayat Sarmadi, Siavash (Supervisor)
    Abstract
    A distributed ledger is a method of digital data storage and sharing in different places, and the blockchain technology is a way of implementing a distributed ledger. This technology has been employed in many of the cryptocurrencies like Ethereum to store transactions. In addition to storing transactions, Ethereum deploys scripts called smart contracts that are automatically executable. These scripts execute transparently and without preserving the privacy of participants. On the other hand, confidentiality and privacy are among the important components in data, network, and system security. Models such as Hawk and Enigma have been presented to obtain privacy-preserving in smart contracts;... 

    Network Traffic Reduction in Internet of Things Using Reconfigurable Cache based on Workload Characterization

    , M.Sc. Thesis Sharif University of Technology Rezaei, Rezvan (Author) ; Bayat Sarmadi, Siavash (Supervisor)
    Abstract
    Nowadays, with the advancement of internet of things, The number of nodes within the network has increased and there is huge traffic in these networks despite the small volume of data sent and received each node. The current architecture of the Internet network does not have the functionality required for Internet of things, as a result of designing a new architecture for Internet - based Internet of things. Content - based network is a new architecture introduced to the Internet, and its purpose is to change the network from host-centric to content-centric. One of the features of content-based networks is the use of in network caching that helps increase productivity and reduce the traffic... 

    Efficient Implementation of Post-Quantum Cryptography Based on Learning with Errors

    , Ph.D. Dissertation Sharif University of Technology Ebrahimi, Shahriar (Author) ; Bayat Sarmadi, Siavash (Supervisor)
    Abstract
    Public key encryption (PKE) cryptography plays a big role in securing communication channels of internet. The security of every PKE scheme is usually based on a hard problem that has no polynomial time solution using any computational structure. However, widely used classic PKE schemes such as RSA or ECC, are based on hard problems that have polynomial solutions using a quantum computer. Therefore, such PKE schemes will not be secure in post-quantum era. Among quantum-resistant schemes, lattice-based cryptography and especially learning with errors (LWE) problem have gained high attention due to their low computational complexity. In this thesis, different LWE-based cryptosystems are... 

    Hardware Acceleration of Convolutional Neural Networks by Computational Prediction

    , M.Sc. Thesis Sharif University of Technology Sajjadi, Pegahsadat (Author) ; Bayatsarmadi, Siavash (Supervisor)
    Abstract
    Recently, Convolutional neural networks (CNNs) are widely used in many artificial intelligence applications such as image processing, speech processing and robotics. The neural networks superior accuracy comes at the cost of high computational complexity. Recent studies show that these operations can be performed in parallel. Therefore, as graphic processing units (GPUs) offer the best performance in terms of computational power and throughput, they are widely used to implement and accelerate neural networks. Nevertheless, the high price and power consumption of these processors have resulted in drawing more attraction towards Field-Programmable Arrays (FPGAs). In order to improve resource...