Sharif Digital Repository

The removal of glyphosate, one of the most widely used herbicide, with membrane bioreactor (MBR) was studied. Beside of glyphosate, the synthetic wastewater contained molasses and other salts as nutrient source. The membrane was made from polypropylene and was immersed in the bioreactor. The COD of the feed was adjusted by varying the ratio of glyphosate to molasses. The total COD was 500, 750 and 1000 mg/L. The resulted showed that when the bioreactor coupled with membrane the removal efficiency increased. The increase was attributed to higher concentration of biomass or MLSS in the MBR. The average of MLSS in the MBR was 8500 mg/L while in bioreactor without cell recycling and in batch... 

The PM2.5 particles are considered as one the most important pollutants of Tehran’s air due to their undesirable effect on health and environment. The particular matters which are in Tehran’s air are distributed from different sources. Because of lack of sufficient data about amount and chemical compounds of such matters in different areas, this study considers only concentration of particular matter and their composing elements in Sharif University, Tehransar, Mahalati, and Shahriyar station. By use of field measuring between 2015 to 2016 mass concentration of PM2.5 pollutant was calculated and then with the help of IC, GC/MS, and ICP chemical analysis which were conducted in University of... 

When today’s aircrafts reach the end of their service lifes, fatigue cracks are found to have developed along rivet holes and other highly stressed regions of the aircraft. In order to extend life of these aircrafts, repairs have been made to arrest these cracks. Composite repair patches provide an innovative repair technique, which can enhance the way aircrafts are maintained. In this thesis, composite patch design is presented based on axiomatic design technique. Axiomatic design is investigated design methodology for large or complex system design. Tools to enable successful application of axiomatic design are expressed as axioms and process for axiomatic system design. The patch design... 

Nowadays, the axial transonic compressors are used widely in aircraft engines, oil and gas industry and etc. because of higher pressure ratio and more efficiency than the other compressors. The Major part of losses in transonic compressors is due to shock waves. In this study the idea of using Shock Control Bump as a passive flow control method has been used for weakening the shock waves. The Shock Control Bump is modeled with the Hicks-Henne function and added to the suction side of a section of the NASA rotor 67 blade. Validation of flow solver is done in both two and three dimensions. Single-point and multi-point optimizations are performed in the design condition and in two off-design... 

The fluid structure interaction (FSI) problems are widely encountered in many industrial applications in mechanical, aerospace, biomedical, marine, and wind engineering. The main contributions of this research are focused on simulating flow with moving or deforming boundaries including FSI problems with large movement or deformations. In this regard, a hybrid finite-element-volume (FEV) method was used in an arbitrary Lagrangian-Eulerian (ALE) framework. In this research, a new layer-by-layer mesh movement strategy was developed to perform the unstructured grid movement more robustly. This strategy converts the complex data structure of an unstructured grid to a simple quasi-structured data... 

In recent years, global salt lakes have faced severe environmental challenges. Lake Urmia, the world’s second-largest hyper saline lake, is located in the northwest of Iran, has experienced a significant shrinkage in last years. Lake Urmia is a terminal lake where water enters through precipitation and rivers inflow and loses through evaporation. Analysis of long-term trends (1990-2018) using the Mann-Kendall test indicates no significant trend in precipitation, an increasing trend in evaporation, and a decreasing trend in river discharge. However, precipitation during 1990-1999 (beginning of accelerated lake drying) showed a decreasing trend. An investigation of the correlation between... 

Without optimization, it is impossible to reduce the cost of power generation from an efficient megawatt wind turbine. In this work, we present a multi-objective algorithm to optimize the megawatt blade geometry. In this algorithm, the mass of blade and the wind turbine annual energy production (AEP) are considered as the objective functions. The design variables are blade chord, blade twist, airfoil thickness, spar geometry and blade curvature distribution.The constraints are maximum allowable strain for the chosen materials, maximum tip deflection and maximum tip speed. For the internal geometry, we consider two spars and four panels. The blade element momentum method (BEM) is used for... 

Reverse osmosis (RO) is by far the most widely used membrane desalination process worldwide. The RO process depends on the properties of semi-permeable membranes which allow the separation of water from a salt solution by applying external pressure higher than the osmotic pressure on the seawater. The main problem in membrane separation process is the fouling of the membrane walls, which decreases the permeate flux. Having spacer filaments in the feed channel has been proven to dynamically change the concentration boundary layer and preventing fouling. The impact of spacer configurations (cavity, zigzag and submerged) on the alleviation of concentration polarization and the enhancement of... 

Immensity and profundity of mathematical logic have provided an opportunity for its interconnection with other branches of science, one of which is computer science where theory of dependent types and lambda calculus lounges amongst the area of their overlap. The former has been engendered for the sake of deepening the connection between mathematical logic and programming. On the other side, lambda calculus which is a formal system in mathematical logic and computer science, developed as a tool for formal computations, could also be counted as a programming discipline. It is the objective of this thsis to study the two aforementioned fields with emphasis on unification of higher-order...