Sharif Digital Repository

Dams are one of the vital infrastructures of the country and their correct use can have a significant impact on reducing costs and increasing their productivity. Due to the fact that dams are mainly large structures with a large number of components and with many complications of operation and maintenance, their operation and maintenance require spending a lot of money. On the other hand, the depth and volume of water behind the dams and the entanglement of the connection between the dams and the surrounding environment make the operation and maintenance of dams face many risks. The use of new technologies that can reduce the costs and risks of operating and maintaining dams can greatly help... 

Security protocols assure the security of the communications in computer systems using techniques such as cryptographic primitives. However, the usage of such protocols is faced by the lack of fault tolerance, where a minor disruption could cause a destructive damage. Therefore, there is a requirement to assess the reliability of these protocols. In this thesis model checking of timed security protocols is done. Model checking process includes steps that will be modeling protocol with high level and human readable specification language named THLPSL and converting this specification to special kind of timed automata named XTA and model checking will be done with UPPAAL verification tool. We... 

Early failure of pavement is one of the most important problems. As the research conclusions in Iran, Non-conformancity is the most important cause of this problem.Quality management system, Audits and expert systems are the solutions. This research provides an Audit system for quality management system of batch-type asphalt plants as the preliminary solution.A state survey conducted and useful part of state programs had been considered. After developing software, The system functionality has been tested  

This study presents an efficient decision making model for tourism services managers. Decisions of bundle pricing and ordering for a perishable multi-product jointly are considered in a multiple period horizon to maximize the expected profit of the firms. The retailer uses bundling strategy for products pricing to give customers discount when buying a bundle of products. The discretionary sales is incorporated which authorizes managers to save inventory for satisfying future demand even if some present demand is lost.
For solving the problem in deterministic case, we apply modified-genetic algorithm and in stochastic case, sequential quadratic programming (SQP), stochastic simulation and... 

Nowadays, economical extraction of oil and gas, and their products is an important issue for many countries. Up to now, vertical wells have been used for oil extraction but some wells exist that they cannot be reached by using vertical drilling; for example the wells under a sea. Therefore, this makes the governments and scientists determined to find a new way to reach them. Horizontal drilling is one of the new ways to reach such worthy wells. In this project, dynamics of the horizontal drill string is studied. Then, according to the forces that affect the dynamics of drilling, its vibration is analyzed. After finding the boundary conditions and normal modes of the system with using mode... 

Due to largre number of patients treated by dialysis and its significant increasing progress, dialysis efficiency and patients' life quality are of great interest.Dialyzer, the dialysis beating heart, has the role of cleaning blood by removing toxic solutes and balancing volume of bood's water through hollow fiber membranes. In this thesis, firstly we tried to focus on performance characteristics of dialyzer by studying effective parameters influencing dialyzer efficiency and ultimately we set two important performance characteristics, ultrafiltration coefficient and solute clearance, as our goal parameters for evaluating dialyzer's yield. To this purpose, we designed an experimental set... 

Air conditioning systems are one of the main parts of buildings, and their performance is very important, especially during the peak heat and cold days, both in terms of providing comfort area for the people and in terms of energy consumption. These systems control the temperature and humidity inside one or more target zones using heating, cooling, humidification, and dehumidification processes. One of the most common solutions to optimize the performance of air conditioning systems is the use of control systems. In this study, a nonlinear multi input-multi output dynamic model of a two-zone variable air volume & temperature air handling unit is considered for operation in the summer season.... 

Renewable energies and their various types have been recognized as sustainable solutions to address the challenges arising from increasing energy consumption and environmental issues. The use of wind energy as one of the renewable energy sources has particular advantages, considering it as one of the most sustainable energy sources. One of the key factors in wind turbine development is the diversity and multiplicity in their structural designs. Therefore, the design of wind turbine structures with characteristics such as suitable strength, high energy efficiency, optimal cost, and high reliability is of great importance. By employing various sciences such as vibrations and optimization in... 

Titania is semiconductor material and have many applications including photocatalysis, photochromic, air and water purification, sensors, and solar cell. In electrophoretic deposition, charged particles dispersed in a stable suspension move towards an oppositely charged electrode, and form dense layer of deposit on it. In this investigation electrophoretic deposition of titania nano-particles in suspensions prepared by different solvents (methanol, ethanol and butanol) with and without dispersant (triethanolamine and polyethylenimine), was studied. Well stabilized suspensions, prepared for electrophoretic deposition. The effects of solvent type, additive concentration, mechanism of particles... 

The purpose of this study is to present a suitable model for calculating the costs imposed on society due to deaths and injuries due to infrastructure failure due to earthquakes, which is used in the analysis of community resilience. Much research has been done to date to calculate the economic costs of infrastructure failure. However, no suitable analytical framework has been provided to quantify the costs of deaths and injuries to people due to earthquake failure. Previous research has provided methods such as the value of statistical life to quantify the social costs caused by accidents and environmental pollution. However, the literature review results in the field of seismic resilience... 

Software defect prediction is a significant and growing field in software development that focuses on identifying software modules prone to defects before the testing phase. The challenge of lacking historical data has shifted software defect prediction towards a cross-project approach. In this method, identifying defective software modules in a project (target project) is done using historical data collected from other projects (source project). The difference in data distribution between source and target projects is a major challenge in cross-project defect prediction. One way to overcome this challenge is the appropriate selection of the source project, which most existing studies... 

Exoskeletons, or wearable robots, are electromechanical devices that have become the focus of academic and industrial research in recent years, and their applications in power augmentation have increased. One of the most important challenges of these applications is controlling the robot and synchronizing it with the user. The close interaction of the robot with the user and the change of movement pattern between different users and different gait cycles show the importance of estimating the user's movement intention, but the need for online method of estimating the movement intention and the complexity of accurate dynamic modeling has caused researchers to use reinforcement learning (RL) in...