Sharif Digital Repository

Abstract The problem of competetive facility location can be defined as follows: There are a number of customers in the form of points in space, and two players arrange a number of facilities in the form of points in space, given some limitations, respectively. Each customer’s connection to each facility has a cost for the customer and an advantage for the facility, and each customer wants to be connected to at most one of the facilities which has the lowest cost for him. The goal is to find the strategy of placing the facilities and determining the cost which the facility receives from the customer, in such a way that the player’s profit is maximised.In this thesis, we first sought to... 

In the beginning of the 90’s a new type of robot was introduced by Fukuda. The brachiation is a type of mobile robot that moves from branch to branch like a long-armed ape. Here, as a new innovation, optimal control is used to obtain the optimal trajectories for two different problems. The first problem is “Brachiation between fixed branches with different distance and height” and the second is “Brachiating and catching the moving target branch”. Theoretical results show that the control effort in the proposed method is reduced by 25% in comparison with the “Target Dynamics” method which was proposed in prior articles for this robot. The obtained optimal trajectory also minimizes the... 

After the discovery of integer and fractional quantum Hall effects, a comprehensive effort started to understand the physics behind these findings thoroughly. At the end, these efforts resulted in the introduction of topological phases of matter and the notion of topological phase transition. With the recent developments in this field, as the introduction and synthesis of 3D topological insulators, many researchers began inspecting the effects of disorders and impurities in the lattice structure on the topological phases, As these imperfections are inevitable in the lab-created instances. Since, in the previous works only on-site disorders was studied, the concentration of this thesis is on... 

Statistical studies indicate the fact that in Iran, like many other developing countries, a significant percentage of buildings are made of traditional materials and most of them are adobe buildings especially in rural areas. Furthermore, geological data indicates that Iran is located in alps-Himalayas seismic zone and exposed by destructive earthquakes and adobe buildings suffer the most damages comparing with other type of the structures. According to these explanations, this research deals with adobe buildings behavior and provides solutions for reinforcing them and improving the seismic response of these buildings. These studies include numerical modeling with finite elements methods by... 

In the first chapter of this thesis we consider the simplest problem of calculus of variation with mixed boundary conditions and we obtain the Euler-Lagrange equation. We will see that the work here is very similar to the work for Dirichlet boundary conditions. In chapter two we investigate the sufficient condition for the existence of solution. Here we will see the work is really different from the work for Dirichlet condition. In fact this result is published in a credible journal. The main work of this thesis will begin in chapter three and will end in chapter five. In these chapters we will investigate a necessary condition for existence of solution for a calculus of variation problem... 

In this thesis we consider the problem of distributed computation by many processors.We mainly concentrate on matrix multiplication problem in this thesis because of its importance. A distributed system consists of N worker processors and one master processor. The master processor should distribute the computation between workers and after computation in each of them, collect the results. In this thesis, we are going to mitigate the effect of straggler processors by using coding methods. Straggler processors can cause delays in the computation time.In this thesis, we firstly introduce a method to multiply any number of matrices in each other. The proposed method occurred in one shot without... 

The main goal of current investigation was partial reduction of Fe2O3 available in Hematite-rich ore to Magnetite by Fludization Bed method. The reductive gas, CO, was produced by incomplete combustion of Acetylene and Airmixed in inappropriate ratio. X-Ray Diffraction and X-Ray Florescence analyses were implemented in order to conducting qualitative analysis of present phases before and after reduction of the ore. Quantitative analysis of the same phases was also conducted by Titration. The latter analysis revealed the precise magnitude of available iron in each of the oxide containing phases. The chemical composition of the reactor gas was also determined before and after reduction... 

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... 

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... 

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... 

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 ... 

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 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... 

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...