Sharif Digital Repository

Due to the importance of hazardous materials (hazmat) transportation, this problem should be programmed and solved appropriately. Hazardous materials are substances that may endanger the health of humans, animals and the environment. One of the most important parameters in hazmat transportation problem is risk, since other routing researches don’t involve risk as an influencing parameter. In the scientific literature of the transport of hazardous materials, the risk is defined by the calculation of the probability and severity of damage to the endangered recipient through unwanted warnings from hazardous substances. In the model of this research, the accident rate is considered as the... 

Nowadays, multilevel converters are significantly developed in industrial applications as well as energy transmission systems regarding proper quality of output waveforms and fault tolerant operation ability. Among the different topologies of multilevel converters, modular multilevel converter (MMC) due to its modularity feature it more accepted in high voltage direct current (HVDC) transmission systems. Fast fault detection in power electronics converters is necessary to bypass the defected part in order to prevent failure propagation to other Submodules and to provide continues servicing. On this basis, different researches are reported in literature for MMCs fault tolerant operation. In... 

Nowadays, with a constant increase in life expectancy, joints pain and deficiencies have become a major problem and the use of prosthesis is increasing. One of the most important joint in human body is the hip joint which bear a major share of forces in daily activities. Hip joint is a cup-sphere joint with 3 degrees of freedom (DOF). Therefore, design and manufacturing of such prosthesis is very important. The objective of this thesis is to develop the know how for manufacturing of a standard hip prosthesis by hot forging of Ti6Al4V alloy. First a review of kinematics of bones and joints and forces on hip joint is presented, then the proper process for manufacturing of the hip prosthesis... 

The emergence and development of E-commerce prompted many companies to reduce their cost by seeking new solutions that improve customer satisfaction level and product distribution. In this research, the coordination of a truck and a motorcycle is considered to utilize both vehicles' benefits. The mobile location of customers is another assumption in this research. Therefore, it is possible for customers to suggest different delivery times and locations. Based on the customer situation, there are three location modes which specify the accessibility. In this study, a mixed-integer linear programming model is presented to minimize service completion time. In addition, two metaheuristic... 

In this dissertation we discuss various results presented in the literature on single user channels with causal or noncausal side information and multiuser channels with side information such as multiple access channel and broadcast channel. The Series Relay Networks (SRN) with delays, with and without channel state information (CSI) are investigated from an information theoretic point of view. For SRN with unlimited look ahead where the relays can use the whole received block to encode, upper and lower bounds on the capacity are derived which are tight for the degraded case. For SRN without-delay where the relays have access to the present received symbols in addition to the past symbols,... 

Network coding generalizes conventional routing algorithms. It considers data streams as mathematical entities which can be processed in the nodes of networks. In this work, after a concise introduction to network coding, we focus on security issues in network coding form an information theoretic point of view. First we introduce fundamental concepts of network coding such as linear network coding and random network coding. Then, we accentuate the advantages and disadvantages of network coding. To investigate security in network coding, we introduce perfect security and weak security as two different levels of security against wire tapper. Then we scrutinize the prerequisite for reaching... 

Collision attack is one of the usual attacks in cryptanalysis of hash functions. One method for applying this attack is linear approximation of equivalent compress function. Finding collisions for linearized compress function, having low Hamming weight, with a large probability could provide collisions for the main compress function. For this purpose, the problem of finding collision for used compress function is modeled by that of the linearized one, having low Hamming weight differences with a large probability. The problem of finding collisions with low Hamming weight differences is equivalent to the problem of finding codewords with low Hamming weights in linear binary code. Canteaut and... 

Understanding the behavioral processes of boards has been a new line of inquiry in the board literature. This study has focused on the leadership roles of heads of boards of subsidiary companies in a corporation. This subject is widely practical in most industries but rarely explored. An embedded multiple case study design was used to compare the leadership roles of heads of boards of two groups of boards with high and low effectiveness in a corporation assessed by a multi-source appraisal method. Based on several interviews with different stakeholders of the corporation within subsidiary boards of these two groups and the staff managers of the parent company, we compared the mechanisms that... 

During the brewing process, beer alternately goes through different chemical and biochemical reactions and solid–liquid separation stages. The clarification at the final step of brewing is a highly critical stage when it comes to producing a clear and bright beer. Recently, membrane technology has been successfully used in beer clarification, wherein Kieselguhr (diatomaceous earth) filtration is replaced by cross-flow microfiltration. The most important disadvantages of using microfiltration in clarification of beer is the fouling and flux decline during the process. The phenomenology of fouling mechanisms is still undefined and selection of an appropriate technique for flux enhancement in... 

Today safety is one of the major competition factors in automotive industries . The vehicles of today are more and more dependent on electronic systems , for driving safety and ease on control for the driver . Some systems are more or less standard in vehicles on the market , examples of such systems are ABS , ABC , etc. Despite of the effect of these systems on vehicle dynamics ,because they only control longitudinal dynamics and don't receive any feedback from vehicle lateral behavior , now control systems ,named VDC , have been developed and implemented in advanced vehicles. The operation of such systems is as this that in any time instance they evaluate vehicle dynamical behavior.... 

Regarding the numerous casualties and financial losses due to intense earthquakes, the ductility is considered of the main importance in addition to stability, stiffness, and strength criteria of the structure’s connections. In order to enhance the seismic behavior of the structures in such severe earthquakes, design codes for steel structures have suggested special types of connections. Among them, bolted end plate connection is considered a conventional type of connection used for creating ductile semi-rigid connection.In this study, in order to simulate the behavior of this joint, a 3-D finite element model is developed in Abaqus software, in which the inelastic behavior of the materials... 

The main goal of this thesis is to verify real-time properties of timed coordinated systems specified by timed-Reo circuits using the model checking techniqe. We use Timed Buchi Automata of Records (TBAR) as the semantics of timed-Reo. The model checking is done by converting Timed Buchi Automata of Records to an extension of Timed Automata that are usingas input of UPPAAL tool. We introduce a writer-automaton, which is synchronous with the desired Timed Automata, for initializing input ports. A tool that transforms Timed Buchi Automata of Records to UPPAAL Timed Automata has been implemented. Finally, two model checking case studies are examined by usingof our implemented tool over UPPAAL  

The Iranian Nuclear waste management Company is responsible for the safe disposal of the low-level radioactive waste resulting from the various processes of the nuclear fuel cycle and other radioactive-related activities. The safety assessment of waste disposal requires the measurement of transport parameters of radioactive nuclides in the soil around the disposal site.In this project, concentration profiles within a column which filled with Anarak Radioactive Waste Disposal Site soil were obtained using collimated gamma scanning method. Concentration profiles were measured at two different times (69 and 138 hours after injection). Then, using STANDMOD software, the equilibrium... 

Fatigue crack growth can have harmful effects on the reliability rotary machine. While an early warning to crack, can be used to extend the life of these expensive machines and increase reliability.Structural Vibration Condition Monitoring as a primary fault detection method, achieved to a lot amazing result and for this reason studies vibration behavior of cracked rotational shaft is a big issue for engineers of dynamic machine.In this research, first check the fault detection methods based on structural vibration condition monitoring, mode shape methods were extracted. Then by modeling rotational shaft in computer and creation of crack on it, fault detection quality of these methods have... 

Recent research in the field of earthquake engineering has seen the development of a number of different displacement-based seismic design (DBD) methods. Such methods aim to overcome limitations with the force-based design methods incorporated in current codes, and the most developed DBD method currently available is the Direct DBD approach, presented by Priestley. The objective of this work is to investigate the performance of the Direct DBD design procedure for steel moment-resisting frame structures. For this purpose, a series of regular steel MRF frames, varying from 4 to 20 stories in height are designed based on DDBD approach and utilizing displacement design spectrum of the Iranian... 

Concrete has long been considered by engineers as one of the most used constructional materials. Therefore, recognition of mechanical behavior of concrete materials is of particular importance. So, extensive studies have been undertaken to understand and analyze its behavior under different loading conditions. Based on these studies, many models for describing the behavior of concrete are presented. Of these, many models are based on the combination of plastic theory and damage mechanics, and by using them, significant success has been achieved in the correct modeling of concrete materials. On the other hand, one of the important loading conditions encountered by concrete structures is in... 

The strengthening of reinforced concrete structures with externally bonded fibre reinforced polymer (FRP) laminates has shown excellent performance, so this technology is rapidly replacing externally bonded steel plates, steel or concrete jackets, and many traditional techniques available. In this study strengthening of reinforced concrete beams by GFRP to reduce creep deflection is investigated by mathematical method using available relations. Five RC beams with different dimensions, with and without strengthening with GFRP laminate, were investigated for their creep deflection. The creep coefficient of beams selected from experimental result that were mentioned in RILEM DATA BANK. In this... 

In the present study, the buckling of generally laminated truncated conical shells having thickness variation expressed by a linear function, subjected to axial compression with simply or clamped supports has been considered. To begin with, the fundamental relations for a conical shell with variable thickness have been derived applying thin-walled shallow shell theory of Donnell-type and theorem of minimum potential energy; non-linear terms of Donnell equations by the help of adjacent-equilibrium criterion are linearized. Governing equations are solved using power series method and are applicable for all combinations of classical boundary conditions. The results are validated with Galerkin... 

Cooperative coexistence of two kinds of users with different priorities in random access wireless networks has been studied in this thesis. Source burstiness, a phenomenon in data communication networks, allows using silence periods of primary users (PUs) to have a better spectrum utilization. In this respect, new users, known as secondary users (SUs), are considered to exploit the resources opportunistically. In usual spectrum sharing systems, SUs have to act in a way to be transparent for the PUs. Therefore, they are allowed to access the common spectrum band only when PUs are silent. However, seeking such opportunities needs sensing capability of secondary nodes.In this thesis, sensing...