Sharif Digital Repository

The purpose of this dissertation is proposing a probabilistic model in transition systems of records. In these systems, two acceptance state of finite and infinite string have proposed which acceptance state of finite string is called probabilistic finite automata of records and acceptance state of infinite string is called probabilistic buchi automata of records. The buchi automata of records is an operational semantic for Reo coordination language. Reo is a coordination language to coordinate existing component of a component based system. Reo circuits with non-deterministic and probabilistic channel can be modeled by proposing probabilistic buchi automata of records. In this dissertation... 

Electrochemical deposition of multilayer coatings is one of the surface engineering techniques to create thin surface layers with a controlled structure in order to create desirable surface properties. In this research, the nickel-iron-silicon carbide multilayer coating is deposited from a single bath with a sulfate composition and by changing the current density between two values (10 and 40 mA/cm2). The number of layers in multilayer coating was 4, 8, 16, 32.The effect of current density and the number of layers on chemical composition, surface morphology, phase structure, corrosion resistance, nano hardness measurement, wear resistance of multilayer coatings respectively using electron... 

In this thesis CCM/CVM operation and modeling of the Sheppard-Taylor topology is reviewed and a predictive control strategy is applied for a Sheppard-Taylor-based power factor correction (PFC) rectifier. Compared to conventional boost or buck boost PFC’s, this topology allows a better current tracking at the AC side, with a relatively reduced voltage at the DC side. Consequently, the high frequency AC filters required by the buck PFCs are avoided, and the voltage stresses on the boost switches are significantly reduced. Furthermore In predictive control strategy the duty cycle required to achieve unity power factor in a half line period can be calculated in advance. The main advantage of... 

In the study of supersonic air intakes, two important issues including performance and stability are considered. In these types of intakes, when inlet mass flow rate is reduced to a specified amount, a self-sustained instability called Buzz phenomenon occurs. During this phenomenon, shocks and expansion waves oscillate ahead of the intake that will degrade the performance considerably due to the periodic pressure fluctuations inside the intake. In the current study, a supersonic axisymmetric air intake with mixed compression which has designed for a free stream Mach number of 2.0 has been tested were conducted for free stream Mach numbers of 1.8, 2.0, and 2.2, and the results were analyzed... 

In the resent years, social robots has been emerged to improve the interactions between humans and robots. These intractions are intended more in human environment. So the reasonable performance of such robots is achieved if robots’ motion; become similar to humans. Hence, despite the complexities of manufacturing and controlling the bipedal and humanoid robots, the researches on this class of robots are still in continuing more and more. In 2013, the humanoid robot, R-50, made by Robokind Company, was purchased by the Mechanical Engineering Department of Sharif University of Technology. This robot was named Mina and to be used in the researches on the treatment of autism patients. Although... 

Nowadays, with the advent of Autonomous Vehicles(AV), Researchers in different areas focused more on this type of vehicle. Research shows that autonomous vehicles are faster and more precise than Human-driven vehicles(HDV). So if all the users in a road use autonomous Vehicles, the road’s capacity increases; this Thesis develops a mathematical approach for designing AV exclusive lanes for a time horizon in which there are two types of AVs and HDVs on the road. Considering each type of vehicle’s relative performance for an OD pair in the given year, the demand for that OD pair for the next year calculates with a diffusion model. Designing AV exclusive lanes problem is formulated in a bi-level... 

Low back pain (LBP) problems are of concern to many researchers specially physiologists, biomedical engineers and... .biomechanical models can help us to furthering our knowledge of the mechanical characteristics of the spine and its neural control to know more about potential mechanisms of injury. This thesis involves computational model of lumbar spine to generate and control its flexion-extension movement.
Model has involved 7 links: 5 lumbar vertebrae, pelvis and trunk. Desired trajectory has been generated for rhythmic and discrete motion by the central pattern generators (CPGs). And then controller has produced torque of joints to track desired trajectory. CPGs have been... 

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

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

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

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

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

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