Sharif Digital Repository

Recent violation of security properties of e-voting protocols not using provable security, indicates the importance of provable security. In this thesis, we use the provable security approach to analyze security properties of e-voting protocols.In addition to presenting an efficient and provably secure protocol, the minimal assumptions to achieve privacyin e-voting protocols are analyzed. The firstcon-tribution of this thesis is presenting an efficient and provably secure coercion-resistant protocol, which is a variant of the JCJ e-voting protocol (Juels et al.,2010). It decreases the total number of JCJ’s operations fromO(n2) to O(n). The second contribution of this thesis is proving the... 

In most of the engineering applications, the mechanical behavior of materials in high strain rate deformations differs from their behavior in quasi-static deformations. In some engineering problems like impact loading on structures, metal forming and explosive forming, the range of strain rate is about . Taylor impact test is one of the experiments used for characterizing the dynamic behavior of materials in high strain rate deformations. In the Taylor impact test a rigid cylindrical projectile is impacted normally onto a hard and massive surface (anvil), the projectile deforms by mushrooming at the impact end. With plastic wave propagation analysis, the plastic deformation of projectile is... 

Soil structures have important roles in civil engineering applications. The most important types of these structures are soil dams and foundations which their damages may cause huge loss. Thus, appropriate analysis of these structures under possible loading conditions is unavoidable. The real behavior of this media can be achieved from the solution of its coupled governing differential equations. In order to solve this set of equations in practical applications, appropriate numerical solutions should be used. The finite element method can be called as one of the most important numerical solutions of differential equations which have been used in analyzing different types of engineering... 

Nowadays, prolific usage of free air as a medium for data transmission leads interests to optimize the conditions of devices which are involved in wireless communication systems. Inter-Symbol Interference (ISI) distortion is a natural characteristic of wireless channels that occurs due to propagating electromagnetic waves in different directions. Due to different paths between a transmitter and a receiver, the received signal consists of several copies of the transmitted signal with different delays. The most common way of eliminating or mitigating the effects of ISI is channel equalization. The present work leads to implementing a supervised equalization in wireless communication. The... 

Airport Traffic Control Towers (ATCTs) are among the most critical structures in an airport that are expected to keep their level of serviceability after severe strong earthquakes. Therefore analysis and design of these structures need a detailed investigation on the seismic behavior of the structure based on the structural characteristics. In this study three different existing reinforced concrete ATCTs have been investigated. As important parameters of earthquake design of structures, response modification factor (R-factor) of these towers will be determined. R-factor reduces elastic force level to design force level and contains the effect of ductility, overstrength. In Iranian seismic... 

Controlling the nonlinear processes is very important in industry. In this thesis, model predictive control is considered as a nonlinear control strategy and two nonlinear models, namely wiener and Hammerstein models are used and their identification methods are described. State-space model is also considered and closed-loop stability has been studied. Another strategy for controlling the nonlinear process is global linearization control. Some concepts and related theorems for this strategy are stated. PID controller is used as a linear controller for this strategy. In this model for estimating the state and load, two nonlinear observers are used. Stability analysis of output feedback... 

The objective of this thesis is to investigate the application of graph theory in managing emergency evacuations of passengers from airplanes and space stations. Given the critical importance of passenger safety and the necessity for optimized design of emergency evacuation routes, this research aims to provide a mathematical and analytical framework to reduce evacuation time under critical conditions. Common methods in this field are typically based on costly and time-consuming simulations that require significant financial and temporal resources. Instead of relying on these approaches, this study explores the application of analytical and mathematical methods, particularly graph theory.... 

Reviewing trends of energy consumption in the world reveals that sooner or later energy resources will be depleted. This concerning rate of consumption has brought about more greenhouse gases (GHG) emission influencing deleteriously on environment and climate. Human has continued energy consumption to maintain and improve the quality of his life through industrial production. Industry as a significant energy user owns considerable contribution to this consumption. Several attempts have been carried out to develop energy management systems in order to improve the energy efficiency of industrial sectors. Whilst they are comprehensive and could be applied to any sector, there is lack of... 

The behavior of boundary layer under the effect of the sweep angle is considered. The measurements were performed by a pitot tube rake. Three models with various sweep angels at angles of attack -2, 0 and 2 degree were tested. Both tip and root of all wings were closed by flat plates in order to prevent the flow to roll-up. However the flow field on the wing was still three-dimensional because of the sweep angle. The velocity on the wing has two components; longitudinal and lateral. The cross flow emerges due to the non-equilibrium of pressure and centrifugal forces. The velocity profiles showed that the magnitude of cross flow was stronger near the leading edge of the wing. The cross flow... 

The competitiveness of a port convinced shipping lines and shippers with a significant basis in selecting a port. Port authorities and port operators can make use of the competitive advantage as a parameter for counter measures by grasping the advantages and disadvantages of the ports and be a prime factor of opportunities and threats of the ports. Ports have a significant role in today’s networked business environment. They are being regarded as hubs that are part of various logistic systems. The very essence of a seaport is to link maritime networks and land network. These networks for the port are means of analyzing its competitiveness. A port overall competitiveness is determined by it’s... 

Wireless Sensor Networks have become widespread because of their flexibility, applicability and ability to precept data with high accuracy. However, the most limiting factor in their usage is the amount of available energy in nodes since energy depletion in a node means that it is dead, therefore many efforts have been done for optimum energy management in Wireless Sensor Networks. In many cases, the key solution to prolong the network lifetime is load balancing. In this way, all the nodes will die (approximately) together and the lifetime of network will be maximized. Load balancing can be implemented in all layers from physical layer to application. It should be noted that it is not always... 

Concrete is the second most structural material in the world. So attention and promotion of the concrete mix design with respect to variable issues and requirements, is very important. On the other hand, these days environment and its pollution has become very popular discussion. Waste-glass which is produced by human products is one of the environmental pollutants. In this thesis it replaces some aggregate in concrete and it can reduce the level of this material in the world. Also we study effects of silica-fume as cement replacement and properties enhancer in our concrete mix design and see how it can ... 

In recent decades the use of FRP materials for strengthening structures has been developed extensively, thanks to their high strength, sufficient stiffness, high durablity, and ease of use. A great deal of research has been conducted on strengthening reinforced concrete beams and columns with FRP composites. By contrast, not many researches are performed on slabs, especially two-way slabs. In these few researches, the loading and boundary conditions are limited to simplest ones. Therefore, in this thesis, the focus of attention is on strengthening reinforced concrete slabs under various loads and boundary conditions using FRP composites.
In this thesis, first, FRP composites and their... 

This research attempts to develop the optimal solution for an inventory problem consisting of a single machine which produces items some of which may be defective. We assume that no shortages are allowed and all defective items are to be reworked. Setup cost for rework and waiting time of defectives are considered. This research consists of two different parts. In the first part we consider two different policies where in the first policy in each cycle after the regular production the machine is setup for the rework of defectives of the same cycle. In the second policy several cycles constitute a period. All the defectives produced in the period are reworked in the last cycle of that period.... 

Energy harvesters are used in today’s Wireless Sensor Networks (WSNs) to harvest the energy from the environment. One of the important advantages of the energy harvesting sensor networks over battery-operated sensor networks is that the use of the energy harvester prolongs the life time of the nodes, while a battery-operated node becomes useless once its energy runs out. Although an energy harvester can provide a supply source with a lifetime much greater than a battery, the amount of available energy for an energy harvesting system is a random variable and is not as predictable as the energy of a battery. This unpredictability may cause reliability problems. In order to solve the existing... 

Reinforced concrete (RC) shear walls with a curved cross-section are appealing structural elements to architects and engineers due to the aesthetic and structural advantages. Owing to the paucity of decent experimental research on curved RC shear walls (CRCSWs), the seismic response of these structural elements is essentially unknown. In that regard, this study includes research on a high-demanding type of structural element, which has found its application in North America, Europe, Asia, and to some extent in the Middle East with relatively no design specifications and laboratory research, structural analysis, and design methodology. Therefore, in order to provide an insight into the... 

Supplier selection is a strategic decision that has a key impact on the success of the supply chain. Due to the nature of goods and storage conditions in the cold supply chain has a great impact on environmental pollution compared to other chains, and it also has the possibility of disrupting the chain due to the importance of temperature and time conditions. Currently, due to the spread of international pressures on the observance of environmental and social principles, the issue of choosing a sustainable supplier has been raised. Also, the expansion of supply chains has caused the challenges and risks faced by supply chains to expand and disrupt the chain, so the decision of supply chain... 

In this research, initially the Glycerol liquid membrane with dissolved sodium carbonate carriers, which is supported by CA porous filter, was prepared. The effects of Na2CO3 concentration and pressure difference on gas permeability were investigated. Permeability of CO2 and N2 were measured at pressure difference of 0.7, 1.6, 2.1 and 2.8 bar with carbonate sodium concentration of 0, 1 and 2 mol/lit. Permeability of CO2 was found to be higher than N2. Increasing the pressure difference resulted in an increase in the N2 permeability coefficient while decreased the CO2 permeability coefficient. Increasing the concentration of sodium carbonate increased the CO2 permeability drastically but...