Loading...
Search for:
haghighat--soheil
0.106 seconds
Studying the Problem of Maximum Matching in Stochastic Environments
, M.Sc. Thesis Sharif University of Technology ; Ghodsi, Mohammad (Supervisor)
Abstract
The problem studied in this research is the online stochastic bipartite matching. In this problem the vertices of one side of the given graph arrive in an online manner, with respect to a probability distribution. Also the edges of the graph exist according to a given probability distribution and one should perform queries from an oracle to know about the existence of an edge. The given graph shall be weighted or unweighted. The goal here is to find a maximum matching in the graph that is as close to the omniscient optimum as possible, while the number of queries performed per vertex is limited. In the general case of the problem, there are no specific conditions, but in other versions,...
CO2/N2 Mixed Gas Separation in Glycerol Liquid Membrane Containing Sodium Carbonate Carriers
, M.Sc. Thesis Sharif University of Technology ; Bastani, Darush (Supervisor)
Abstract
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...
Influence of Shear Wall Positioning in Design of Concrete Frames
, M.Sc. Thesis Sharif University of Technology ; Maleki, Shervin (Supervisor)
Abstract
Numerous research is available in the literature regarding shear walls. These have considered parameters like wall cross-section, Reinforcement configuration, boundary elements, etc. In addition, seismic and wind loading behavior has been discussed. Currently, the software ETABS is used extensively in automatic design of shear walls, The programs design bases are investigated in this thesis in ragards to flexural, shear and boundary elements of shear walls under seismic loading. The attachment of wall elements to frame (column) elements is of particular interest in this study
Range-Doppler Map Generation in the Presence of Sparse Clutter for Multistatic Radar
, M.Sc. Thesis Sharif University of Technology ; Karbasi, Mohammad (Supervisor)
Abstract
Multistatic radar has several advantages over monostatic radar (such as better detection), which are due to the use of different viewing angles and the difference in their clutter characteristics. Clutter in many applications (such as marine applications) has the property of being sparse in certain dictionaries. Therefore, the investigation of sparse clutter (such as sea clutter) is of particular importance. It is worth noting that the detection of targets in the vicinity of the sea faces difficulties due to the dynamics of the sea, which causes the Doppler spectrum to change with time and change in space. Considering the fact that the sea clutter is sparse clutter, one of the powerful...
Fraud Detection in Financial Transactions
, M.Sc. Thesis Sharif University of Technology ; Beigy, Hamid (Supervisor)
Abstract
With development of electronic payment infrastructures and increase of payment transactions in result, abusing these infrastructures and fraudulent efforts has been increased. Problem of “Fraud Detection in Financial Transactions” is finding these illegal/abnormal transactions while many other legitimate transactions exist. Goal of this thesis is providing a method for fraud detection in financial transactions using representation learning. Many approaches are used for solving fraud detection including classic data mining algorithms and deep learning based methods, which are compared in this thesis. We also covered diverse feature engineering and representation learning ideas for improving...
Modelling of Frictional Cracks by the Extended Finite Element Method Considering the Effect of Singularity
, M.Sc. Thesis Sharif University of Technology ; Khonsari, Vahid (Supervisor) ; Mohammadi, Soheil (Co-Advisor)
Abstract
When a crack is subjected to a compression field, it will close and its edges will get into contact with each other. Depending on the direction and magnitude of the loads and also the coefficient of friction, ‘stick’ or ‘slip’ situationsbetween the edges will occur. This type of crack is known as ‘frictional crack.’ In this project, first these cracks are studied analytically and the order of singularity is derived using asymptotic analysis and also the analytical fields are determined for both ‘isotropic’ and ‘orthotropic’ materials. Then, numerical simulations are carried out using extended finite element method which is considered as the most powerful means for analyzing the problems...
Theoretical and Numerical Analysis of Shock Waves Propagation in Porous Medium
, Ph.D. Dissertation Sharif University of Technology ; Ahmadi, Mohammad Mehdi (Supervisor) ; Mohammadi, Soheil ($item.subfieldsMap.e)
Abstract
Particulate porous mateials have always been of interest in terms of reducing shock waves effects in different protective applications. Therefore, the physics governing the flow in porous media is especially significant for which different models have been presented by the researchers. The complexities of these media have caused many existing models to be unable to properly predict the behavior of granular media under shock loadings. On the other hand, the complexity of the equations makes the numerical solution of them cumbersome and costly in a way that many researchers do not solve the whole coupled equations and reduce their number. In addition, current high-resolution TVD solutions of...
Modeling Saturated Porous Media Using Extended Finite Element Method
, M.Sc. Thesis Sharif University of Technology ; Khoei, Amir Reza (Supervisor)
Abstract
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...
Decomposition of Poverty in Iran with Reference to Household’s Socioeconomic Characteristics, Using Integrated Macro and Micro Data
, M.Sc. Thesis Sharif University of Technology ; Neili, Farhad (Supervisor)
Abstract
This research uses the new approach of Son (2003) for the decomposition of poverty in Iran into three separate components of growth, inequality and population effects during 2001 to 2007 and meanwhile uses the integration of microeconomic and macroeconomic data together to increase the accuracy of the results. The main question of this research is to determine the orientation of development strategies for alleviation of poverty in Iran, which could be either growth-oriented or inequality-oriented ones. The resultes suggest that the former has always been pro-poor in Iran and has had the most dominant effect. Therefore, in order to decrease the poverty in Iran in the future, there should be...
Formal Analysis of Security Properties of Homomorphic-Cryptography-Based E-voting Protocols using µCRL
, M.Sc. Thesis Sharif University of Technology ; Jalili, Rasool (Supervisor)
Abstract
With fast improvements of technology in advances in electronic voting systems, has been very effective in substantially reducing the disadvantages of traditional elections and thus enhancing the legitimacy of those being elective. These systems, to be effective,
ought to be designed based on several security factors such as eligibility, correctness, voters' privacy, verifiability and receipt-freeness. One of the most important issues in this concept is ensuring the satisfaction of these properties. Using an incomplete and vulnerable system may cause negative consequences. Therefore, it is necessary to evaluate the system before implementation. Using formal methods for verification of...
ought to be designed based on several security factors such as eligibility, correctness, voters' privacy, verifiability and receipt-freeness. One of the most important issues in this concept is ensuring the satisfaction of these properties. Using an incomplete and vulnerable system may cause negative consequences. Therefore, it is necessary to evaluate the system before implementation. Using formal methods for verification of...
Design and Comparison of Memristor Implementation for Different Machine Learning Algorithms
, M.Sc. Thesis Sharif University of Technology ; Bagheri Shouraki, Saeed (Supervisor)
Abstract
The first physical realization of the missing fourth fundamental element of electrical circuits, namely memristor, in 2008 by HP labs triggered an immense amount of research on the capabilities of this element in implementing artificial neurons and artificial brain. In this project we will propose several reinforcement learning-based algorithms that are implemented on a specific memristor-based structure, the memristor crossbar structure. Hence we provide a learning paradigm that resembles the human learning paradigm not only because of the the algorithmic core, which is based on learning from sparse and delayed rewards and penalties, but also because of the hardware over which the...
Source Apportionment of Air Particulate Matter (PM2.5)in Tehran Using CMB Model
, M.Sc. Thesis Sharif University of Technology ; Erhami, Mohammad (Supervisor)
Abstract
In recent years, one of the most important air pollution in Tehran in terms of creating unhealthy air quality is particulate matter and especially PM2.5. Particulate matter in Tehran is released from various sources. Identification of components and estimating the contribution of each emission sources, helps governers to find air pollution control strategies. To find out major components of PM2.5 in Tehran, a one year sampling to collect PM2.5 was conducted from February 2014 through February 2015 in AQM station at Sharif University of Technology located west of Tehran. 24-hour integrated samples collected on a 1-in-6 day schedule on both Teflon and quartz filters. TOT analysis was done for...
Seismic Performance of Self-centering Concentrically Steel Braced Structures
, M.Sc. Thesis Sharif University of Technology ; Kazemi, Mohammad Taghi (Supervisor)
Abstract
The purpose of this thesis is assessment of seismic performance of self-centering concentric braced frames (SC-CBF). In this structures, the column under tension can uplift from the foundation at a specified level of lateral loading and by using some methods such as post-tensioning (PT) bars or tendons, the structure is able to self-center after severe Earthquakes. In this systems, PT bars and energy dissipation elements resist column uplift. The effect of energy dissipation ratio and initial stress in PT bars was investigated in design and performance of four four-story analytical models. Nonlinear static and dynamic analyses were conducted to compare some parameters in these four models...
Physics-informed neural network simulation of multiphase poroelasticity using stress-split sequential training
, Article Computer Methods in Applied Mechanics and Engineering ; Volume 397 , 2022 ; 00457825 (ISSN) ; Amini, D ; Juanes, R ; Sharif University of Technology
Elsevier B.V
2022
Abstract
Physics-informed neural networks (PINNs) have received significant attention as a unified framework for forward, inverse, and surrogate modeling of problems governed by partial differential equations (PDEs). Training PINNs for forward problems, however, pose significant challenges, mainly because of the complex non-convex and multi-objective loss function. In this work, we present a PINN approach to solving the equations of coupled flow and deformation in porous media for both single-phase and multiphase flow. To this end, we construct the solution space using multi-layer neural networks. Due to the dynamics of the problem, we find that incorporating multiple differential relations into the...
TiO2 Nanophotocatalyst: Preparation via Sol-Gel Method and Deposition on Natural Fiber
, M.Sc. Thesis Sharif University of Technology ; Sadrnezhad, Khatiboleslam (Supervisor)
Abstract
TiO2 is one of the most frequently used photocatalyst materials. Porous TiO2 nanostructure has drawn much attention recently due to high decomposition rate of organic pollutants. In this thesis, TiO2 nanoparticles were synthesized via sol-gel method and were coated on cotton and jute fiber separately; besides, the impregnated fibers were heat treated to eliminate cellulose. Titanium tetraisopropoxide (TTIP) was used as a precursor and two solutions, acidic and alcoholic, were used as the primary solutions for synthesis. In acidic solution, the crystalline phase and size distribution of TiO2 nanoparticles were evaluated with changing pH.Then, the appropriate pH was chosen for coating. In...
Analysis of Security Properties of E-voting Protocols: A Provable-security Approach
, M.Sc. Thesis Sharif University of Technology ; Jalili, Rasool (Supervisor)
Abstract
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...
Thermo-hydro-mechanical modeling of impermeable discontinuity in saturated porous media with X-FEM technique
, Article Engineering Fracture Mechanics ; Volume 96 , December , 2012 , Pages 701-723 ; 00137944 (ISSN) ; Moallemi, S ; Haghighat, E ; Sharif University of Technology
2012
Abstract
In this paper, the extended finite element method is presented for thermo-hydro-mechanical (THM) modeling of impermeable discontinuities in saturated porous media. The X-FEM technique is applied to the THM governing equations for the spatial discretization, followed by a generalized Newmark scheme for the time domain discretization. The displacement field is enriched by the Heaviside and crack tip asymptotic functions, and the pressure and temperature fields are enriched by the Heaviside and appropriate asymptotic functions. The process is accomplished by partitioning the domain with triangular sub-elements. Numerical examples are presented to demonstrate the capability of proposed technique...
Payload attribution via character dependent multi-bloom filters
, Article IEEE Transactions on Information Forensics and Security ; Volume 8, Issue 5 , 2013 , Pages 705-716 ; 15566013 (ISSN) ; Tavakoli, M ; Kharrazi, M ; Sharif University of Technology
2013
Abstract
Network forensic analysts employ payload attribution systems (PAS) as an investigative tool, which enables them to store and summarize large amounts of network traffic, including full packet payload. Hence an investigator could query the system for a specific string and check whether any of the packets transmitted previously in the network contained that specific string. As a shortcoming, the previously proposed techniques are unable to support wildcard queries. Wildcards are an important type of query that allow the investigator to locate strings in the payload when only part of the string is known. In this paper, a new data structure for payload attribution, named Character Dependent...
Adaptive LSTAR model for long-range variable bit rate video traffic prediction
, Article IEEE Transactions on Multimedia ; Volume 19, Issue 5 , 2017 , Pages 999-1014 ; 15209210 (ISSN) ; Shayesteh, M. G ; Haghighat, N ; Sharif University of Technology
2017
Abstract
Static bandwidth allocation for variable bit rate (VBR) video traffic forfeits the available bandwidth. Prediction of the next frame size is thus useful in dynamic bandwidth allocation. It has been shown that VBR video traces are long-range dependent, which makes one-frame-ahead prediction insufficient for dynamic bandwidth allocation. Several studies have been conducted based on the linear autoregressive (AR) model to address VBR traffic prediction. In this paper, we propose the use of a nonlinear model from the AR family called logistic smooth transition autoregressive (LSTAR) to predict VBR video traffic. Furthermore, we introduce adaptive algorithms, including least mean square (LMS),...
Evaluation of the simulated material microstructures using the image processing and image analyzing methods
, Article Journal of Testing and Evaluation ; Volume 34, Issue 6 , 2006 , Pages 507-514 ; 00903973 (ISSN) ; Karimi Taheri, A ; Sharif University of Technology
American Society for Testing and Materials
2006
Abstract
With the development of computing systems for data processing, the image processing and image analyzing methods have been developed on the basis of pixel assessment. These methods can analyze and detect the images by assigning a value for each pixel and using the matrices calculations. In the present research, two methods have been used to assess the simulated material microstructures. In the first method, the vertices of the microstructure are counted to determine accurately the mean grain size by the Euler's relationship, while in the second method, the image processing and image analyzing methods are utilized to assess the microstructure image. To verify the accuracies of the methods...