Loading...
Search for:
mostafaei--mohammad-ali
0.123 seconds
Total 6688 records
Distributed Verifiable Computing: Algorithms and Analysis
, M.Sc. Thesis Sharif University of Technology ; Maddah Ali, Mohammad Ali (Supervisor)
Abstract
Zero knowledge proofs allow a person (prover) to convince another person (verifier) that he has performed a specific computation on a secret data correctly, and has obtained a true answer, without having to disclose the secret data. QAP (Quadratic Arithmetic Program) based zkSNARKs (zero knowledge Succinct Non-interactive Argument of Knowledge) are a type of zero knowledge proof. They have several properties that make them attractive in practice, e.g. verifier's work is very easy. So they are used in many areas such as Blockchain and cloud computing. But yet prover's work in QAP based zkSNARKs is heavy, therefore, it may not be possible for a prover with limited processing resource to run...
Stability analysis of arch dam abutments due to seismic loading
, Article Scientia Iranica ; Volume 24, Issue 2 , 2017 , Pages 467-475 ; 10263098 (ISSN) ; Sohrabi Gilani, M ; Ghaemian, M ; Sharif University of Technology
Sharif University of Technology
2017
Abstract
Abutments of concrete arch dams are usually crossed by several joints, which may create some rock wedges. Abutment stability analysis and controlling the probable wedge movements is one of the main concerns in the design procedure of arch dams that should be investigated. For decades, the quasi-static method, due to its simple approach, has been used by most of dam designers. In this study, the dynamic method is presented and the obtained time history of sliding safety factors is compared with the quasi-static results. For this purpose, all three components of Kobe (1979) and Imperial Valley (1940) earthquakes are applied to the wedge, simultaneously, and the magnitude and direction of wedge...
Exploring cognitive activation writing strategies among iranian english language teachers
, Article Language Related Research ; Volume 12, Issue 5 , 2021 , Pages 433-462 ; 23223081 (ISSN) ; Hassanzadeh, M ; Masoudi, M ; Sharif University of Technology
Tarbiat Modares University
2021
Abstract
In order to engage students in higher-level thinking, cognitive activation (CA) strategies have been advanced and utilized in mathematics. CA develops when learners are challenged, confronted with conflicts, asked to think and explain clearly on their learning, and realize connections between new and previous content. Extending the theme to English language teaching (ELT), this study investigated Iranian English language teachers‟ knowledge and practice of cognitive activation writing strategies (CAWS). In so doing, a model was proposed based on a questionnaire that was developed and validated in the present study. Through this scale, knowledge and practice of CAWS by 213 English as a...
Privacy Preserving Communication Schemes for Light Clients in Blockchain Networks: Algorithms and Analysis
, M.Sc. Thesis Sharif University of Technology ; Pakravan, Mohammad Reza (Supervisor) ; Maddah Ali, Mohammad Ali (Co-Supervisor)
Abstract
Lightweight clients are a type of blockchain users who do not store all the blocks in the blockchain due to limited resources. These users store only a small part of each block and when needed, request transactions from full nodes that store the entire blockchain. These users have no role in block validation and only want to receive transactions related to their addresses with proof of the inclusion in the block from full nodes.Since light clients rely on full nodes for receiving transactions, their privacy against full nodes is important. The current implementation of Bitcoin uses Bloom filters for privacy, but this offers very little privacy to the users.In this thesis, we study the...
The Effect of Soli-Structure Interaction on Dynamic Characteristics of Structures with Embedded Fondation
, M.Sc. Thesis Sharif University of Technology ; Ghannad, Mohammad Ali (Supervisor)
Abstract
Soil-structure interaction has significant effect on dynamic behavior of the super structure. This effect is usually investigated in two separate parts, i.e., the Kinematic Interaction effect and the Inertial Interaction effect. The first modifies the input ground motion to the foundation as a result of difference in soil and foundation stiffness. The later, i.e., the II effect, introduces the effect of soil flexibility and radiation of waves into the supporting medium on the response of the structure. These effects are usually considered by introducing a replacement oscillator with modified natural period and damping ratio subjected...
Perusing Metal Perusing Metal Insulator Transistors with in the Dynamical Field Approximation at Finite Temperature
, Ph.D. Dissertation Sharif University of Technology ; Vesaghi, Mohammad ALi (Supervisor)
Abstract
The aim of this work is to investigate some theoretical models developed in recent years for describing electronic correlation and apply them to some special problems and metallicity and insulating behavior of one type of paramagnetic systems. One of the vast‐applied and effective routines for investigating the strongly correlated electron systems is Dynamical Mean Field Theory (DMFT). In the first part, the equations of DMFT are solved on nearly real frequency axis with a effective and more reliable solver a little parameter γ above the real axis. This approach appears fine structures that can’t be captured with the ...
On a Bounded Budget Network Creation Game
, M.Sc. Thesis Sharif University of Technology ; Safari, Mohammad Ali (Supervisor)
Abstract
In this thesis, we consider a network creation game in which, each player (vertex) has a limited budget to establish links to other players. In our model, each link has a unit cost and each agent tries to minimize its cost which is its local diameter or its total distance to other players in the (undirected) underlying graph of the created network. Two variants of the game are studied: in the MAX version, the cost incurred to a vertex is the maximum distance between that vertex and other vertices, and in the SUM version, the cost incurred to a vertex is the sum of distances between that vertex and other vertices. We prove that in both versions pure Nash equilibria exist, but the problem of...
Power System Load Frequency Control Considering Renewable Energy Sources
, M.Sc. Thesis Sharif University of Technology ; Ranjbar, Ali Mohammad (Supervisor)
Abstract
Power system frequency regulation entitled load frequency control (LFC) has been one of the important control problems in electric power system design and operation. Off-normal frequency can directly impact on power system operation and system reliability. A large frequency deviation can damage equipment, degrade load performance, cause the transmission lines to be overloaded and can interfere with system protection schemes, ultimately leading to an unstable condition for the power system . On the other hand, the increasing need for electrical energy in the 21st century, as well as limited fossil fuel reserves and the increasing concerns with environmental issues for the reduction of carbon...
Pushover Analysis for Soil-Structure Systems
, M.Sc. Thesis Sharif University of Technology ; Ghannad, Mohammad Ali (Supervisor)
Abstract
Controlling damage level of structures for an earthquake with certain intensity is the main purpose in seismic performance based design. This is done by estimating and confining the structure displacements and related global and local response parameters. Even though nonlinear time history analysis method is the most exact method for predicting seismic behavior of structures, but its application is limited because of being complex. Nonlinear static analysis procedure (Pushover analysis) which is based on analyzing the structure subjected to the incremental lateral load is an alternative method that has been recommended by recent structural codes. In order to consider the soil-structure...
Fault-Tolerant Networks with Directional Antennas
,
M.Sc. Thesis
Sharif University of Technology
;
Abam, Mohammad Ali
(Supervisor)
Abstract
Let P be a set of points in the plane, each equipped with a directional antenna that can cover a sector of angle and range r. In the symmetric model of communication, two antennas u and v can communicate to each other, if and only if v lies in u’s coverage area and vice versa. In this paper, we introduce the concept of fault-tolerant spanners for directional antennas, which enables us to construct communication networks that retain their connectivity and spanning ratio even if a subset of antennas are removed from the network. We show how to orient the antennas with angle and range r to obtain a k-fault-tolerant spanner for any positive integer k. For ⩾ , we show that the range 13 for the...
Computing Fundamental Colored Graph Properties in Sublinear Time
, M.Sc. Thesis Sharif University of Technology ; Abam, Mohammad Ali (Supervisor)
Abstract
Because of growing amount of data which communicated across the world, analyzing massive data set becomes more important than ever. The graph structure as an important and broadly used data structure is much more important than others. In this thesis, besides introducing the sublinear time algorithm model for massive data as a very efficient and superfast method to deal with massive data, we use them to solve problems for colored graphs. As a fundamental property, we try to compute the average of colored degree. This problem is analyzed from different aspects with various limitation. Two algorithms with multiplicative approximation factor, based on the average degree of simple graphs are...
Power System Frequency Control Enhancement Considering Wind Power Plants Participation
, Ph.D. Dissertation Sharif University of Technology ; Ranjbar, Ali Mohammad (Supervisor)
Abstract
Synthetic inertial frequency response has attracted increasing attention due to the paradigm shift in power generation from synchronous generators toward wind turbines. Due to application of back-to-back converters in the structure of variable speed wind turbines (VSWTs), their shaft speeds become decoupled from the system frequency and thus, they cannot provide intrinsic inertial response. However, this type of response can be emulated via an extra auxiliary frequency controller or by modifying the conventional control system of the VSWTs. To achieve this goal, a frequency model of VSWT is developed in this dissertation. The power system's load-generation mismatch model is integrated into...
Equivalent Period and Damping of Soil-Structure Systems with Embedded Foundations in Layered Soil
, M.Sc. Thesis Sharif University of Technology ; Ghannad, Mohammad Ali (Supervisor)
Abstract
The main purpose of this study is to estimate the natural frequency and damping ratio for soil-structure systems with embedded foundation with sufficient accuracy. The results are then compared to guidelines in current seismic codes. This is done through an extensive parametric study using a set of non-dimensional parameters, which define the soil-structure systems. For this purpose a simplified soil-structure model is used. Although more rigorous models and numerical solutions are available, they are time consuming and not suitable for parametric study. Existing formula for seismic provisions for the equivalent period and damping ratio of soil-structure systems are based on studies on...
Coded Computing for Distributed Machine Learning
, Ph.D. Dissertation Sharif University of Technology ; Maddah Ali, Mohammad Ali (Supervisor)
Abstract
Nowadays, we are forced to use distributed computing due to the growth of data, the challenge of storing and processing it, as well as the emergence of new problems in machine learning and the complexity of the models. In distributed computing, the computation is per- formed by a distributed system consisting of several worker nodes such that, the main task is divided into several smaller tasks and assigned to each worker node. Then, different worker nodes will cooperate to accomplish the main task. Although distributed systems are efficient in solving problems and dealing with the mentioned challenges, they are vulnerable to the presence of stragglers, adversarial worker nodes, high...
Designing Online Algorithm for Admission Control in Payment Channel Networks
, M.Sc. Thesis Sharif University of Technology ; Maddah Ali, Mohammad Ali (Supervisor)
Abstract
Payment channel networks (PCNs) are a promising technology to improve the scalability of cryptocurrencies. Users can send instant and almost free transactions via payment channel networks and, at the same time, enjoy the security guarantees of Blockchains. In order to open a mutual payment channel, two users should send a ``channel creation" transaction to the underlying Blockchain. Through this transaction, two parties deposit some money on the Blockchain. This money, which we call the channel's capacity, can be used to send off-chain transactions between the two users. After the channel creation, the channel-holders can send each other off-chain transactions by forwarding the money back...
Private Distributed Computing for Machine Learning Algorithms
, M.Sc. Thesis Sharif University of Technology ; Maddah-Ali, Mohammad Ali (Supervisor) ; Mirmohseni, Mahtab (Co-Supervisor)
Abstract
In this thesis, we argue that in many basic algorithms for machine learning, including support vector machine (SVM) for classification, principal component analysis (PCA) for dimensionality reduction, and regression for dependency estimation, we need the inner products of the data samples, rather than the data samples themselves. Motivated by the above observation, we introduce the problem of private inner product retrieval for distributed machine learning, where we have a system including a database of some files, duplicated across some non-colluding servers. A user intends to retrieve a subset of specific size of the inner products of the data files with minimum communication load, without...
Design and Implementation of Distributed Dimensionality Reduction Algorithms under Communication Constraints
, M.Sc. Thesis Sharif University of Technology ; Maddah Ali, Mohammad Ali (Supervisor) ; Salehkaleybar, Saber (Supervisor)
Abstract
Nowadays we are witnessing the emergence of machine learning in various applications. One of the key problems in data science and machine learning is the problem of dimensionality reduction, which deals with finding a mapping that embeds samples to a lower-dimensional space such that, the relationships between the samples and their properties are preserved in the secondary space as much as possible. Obtaining such mapping is essential in today's high-dimensional settings. Moreover, due to the large volume of data and high-dimensional samples, it is infeasible or insecure to process and store all data in a single machine. As a result, we need to process data in a distributed manner.In this...
Novel azo-containing polymethacrylates bearing spiroacetal-norbornene moiety and methylene spacers: synthesis and characterization [electronic resource]
, Article European Polymer Journal ; Volume 37, Issue 10, October 2001, Pages 2111–2121 ; Mirjalili, Bibi Fatemeh ; Entezami, Ali A ; Zohuriaan-Mehr, Mohammad J ; Sharif University of Technology
Abstract
An eight-step synthetic strategy was followed to prepare a series of novel azobenzene-containing methacrylate monomers bearing spiroacetal-norbornene moiety and methylene spacers. Thus, the adduct 2, obtained from cyclopentadiene and acrolein, was converted to 1,3-diol 3. The diol was acetalized with nitrobenzaldehyde 4 under microwave irradiation to obtain nitro compound 5 that was then reduced to amino compound 6. Diazonium salt of 6 was coupled with phenol to produce phenolic compound 7 which was then reacted with n-dibromoalkanes (n=2, 4, 6, 8, 10) to yield bromo compounds 9a–e. Nucleophilic substitution reaction of the bromo compounds with lithium methacrylate produced the methacrylic...
New polysaccharide-g-polyacrylonitrile copolymers: synthesis and thermal characterization [electronic resource]
, Article Polymers for Advanced Technologies ; Volume 14, Issue 7, pages 508–516, July 2003 ; Pourjavadi, Ali ; Sharif University of Technology
Abstract
Various natural and modified polysaccharides (i.e. arabic gum, tragacanth gum, xanthan gum, sodium alginate, chitosan, sodium carboxymethyl cellulose, hydroxyethyl cellulose, methyl cellulose) were modified using ceric-initiated graft polymerization of acrylonitrile under inert atmosphere. Grafting was confirmed using spectral (FT-IR) proofs. The grafting parameters were determined by conventional methods. Thermal characteristics of the homopolymer-free copolymers were studied using differential scanning calorimetry (DSC) and thermogravimetric analysis (TGA) under nitrogen atmosphere. The major thermal transitions as well as the activation energy of the major decomposition stages were...
Fault Tolerant Distributed Computing in Deep Neural Networks
, M.Sc. Thesis Sharif University of Technology ; Aref , Mohammad Reza (Supervisor) ; Maddah Ali, Mohammad Ali (Co-Supervisor)
Abstract
Nowadays, with the development of machine learning and deep learning on one hand, and the dramatic increase in the amount of information available and the complexity of models on the other hand, it is practically impossible to implement learning algorithms on a single node. Thus it is inevitable to distribute learning algorithms on several machines. In a distributed system, the main operations are divided into smaller tasks and performed by different nodes. The final result is then calculated by exchanging messages among the existing nodes.In this thesis, a method is introduced to compute the gradient of a massive data set in a distributed system. In this problem, there are a number of...