Loading...
Search for:
iranmanesh--mohammad-ali
0.178 seconds
Total 6911 records
Incentive Mechanisms For Peer-to-Peer Systems Based On Game Theory
, M.Sc. Thesis Sharif University of Technology ; Safari, Mohammad Ali (Supervisor)
Abstract
Since robustness of peer-to-peer networks depends heavily on voluntary resource sharing among individual peers, the intrinsic problem of free riding exists among autonomous rational peers that consume resources of others without contributing anything in return. One solution to the free riding problem in peer to peer networks is to have incentive mechanisms that aim to improve network efficiency by encouraging peers to cooperate. In this project, we have proposed a hybrid double-auction-based incentive mechanism for centralized peer-to-peer file sharing systems. In addition, a cryptography-based trust management scheme has been proposed to prevent peers from sending fake data. We have...
Comparison of Constitutive Laws for Numerical Simulation of Soil Liquefaction Phenomenon
, M.Sc. Thesis Sharif University of Technology ; Pak, Ali (Supervisor)
Abstract
Liquefaction is one of the probable consequences of earthquake in soil layers of saturated loose sands. Various aspects of liquefaction have been investigated using different methods of field, laboratory, and numerical studies. Numerical simulation of liquefaction constitutes a major part of these researches. A proper constitutive law must be implemented in the numerical analysis for modeling the complicated behavior of saturated sands during dynamic loading. Simplicity of formulation, limited number of parameters and good performance are the main features of a proper constitutive law. In this study, Endochronic model for simulating liquefaction has been introduced. This model is implemented...
Numerical Simulation of Hydraulic Fracturing in Porous Media Considering Two Phase Flow and Thermal Effects Using Mesh-less XEFG Method
, Ph.D. Dissertation Sharif University of Technology ; Pak, Ali (Supervisor)
Abstract
In this study, a fully coupled three-dimensional numerical analysis of two-phase fluid flow and heat transfer through deformable porous media is presented in the context of extended element free Galerkin method. By coupling momentum balance equation for the whole mixture, continuity equations of wetting and non-wetting fluid phases and energy balance equation, the developed numerical algorithm is capable of simulating a wide range of engineering problems such as CO2 sequestration, nuclear waste disposal in deep underground strata, hydraulic fracturing in oil and gas reservoirs and so on.By taking the advantages of partition of unity property of MLS shape functions, weak and strong...
Design and Optimization of HTTP Adaptive Video Streaming Algorithm for Mpeg-DASH
, M.Sc. Thesis Sharif University of Technology ; Sharif Khani, Mohammad (Supervisor)
Abstract
The popularity of Internet-based video services has increased in recent years, while in 2017 reached nearly 70% of the total Internet traffic. Changes in network status and the problems that result in the user experience leading to poor quality of the video watching experience, online video players have been using adaptive algorithms to match the quality of the received stream to the current state of the network. Different algorithms have been proposed for optimization of matching operations, but due to the different and sometimes contradictory nature of the constituents of the quality of user experience, the priority and focus of each of these algorithms is based on different challenges...
The Application of BIM for Reducing the Incidents Rate and Increasing Highways Safety
, M.Sc. Thesis Sharif University of Technology ; Alvanchi, Amin (Supervisor)
Abstract
Despite eye-catching progressive trends in highway safety, there have been a great number of unpleasant incidents in highways. A number of 8841 people died in road accidents in the first 6 month this year with 1.7% increase compared to the accidents occurred in 1396 [59]. Operation of a modeling process shall provide the engineers with more opportunities to identify the affecting factors in roads incidents. Safety infrastructure management is mainly aimed at ensuring the efficient measurement, systematic recognition and consequently deterioration of road accidents when they have been designed, constructed and used [37]. Building information modeling (BIM) tends to be a developed managerial...
Extrinsically enriched element free Galerkin method for heat and fluid flow in deformable porous media involving weak and strong discontinuities
, Article Computers and Geotechnics ; Volume 103 , 2018 , Pages 179-192 ; 0266352X (ISSN) ; Pak, A ; Sharif University of Technology
Elsevier Ltd
2018
Abstract
In this study, an extrinsically enriched element free Galerkin (EFG) method is proposed for the thermo-hydro-mechanical simulation of saturated porous media. By taking advantage of partition of unity property of moving least square shape functions, weak discontinuities such as material interfaces are modeled using the Ridge enrichment function and impermeable strong discontinuities are simulated using the Heaviside function. Some guidelines are proposed for the selection of EFG numerical parameters to ensure the stability and accuracy of the results. Numerical examples are provided to illustrate the capability of the proposed approach for fully coupled THM analysis of discontinuous porous...
Three-dimensional numerical simulation of hydraulically driven cohesive fracture propagation in deformable reservoir rock using enriched EFG method
, Article Computational Geosciences ; Volume 27, Issue 2 , 2023 , Pages 317-335 ; 14200597 (ISSN) ; Pak, A ; Sharif University of Technology
Springer Science and Business Media Deutschland GmbH
2023
Abstract
In this paper, a fully coupled 3D. numerical simulation of hydraulic fracture propagation in saturated deformable porous media is presented in the context of the extrinsically enriched element free Galerkin (EFG) method. By exploiting the partition of unity property of moving least square shape functions, weak and strong discontinuities are simulated using the Ridge and the Heaviside enrichment functions, respectively. The cohesive crack model is used to describe the nonlinear fracture processes developing in the area in front of the crack tip where the energy dissipation takes place. The fracturing fluid flow within the fracture is modeled using Darcy’s law and the fracture permeability is...
Modification of carbohydrate polymers via grafting in air. 1. Ceric-Induced synthesis of starch-g-polyacrylonitrile in presence and absence of oxygen [electronic resource]
, Article Starch - Starke ; Volume 54, Issue 3-4, pages 140–147, April 2002 ; Zohurian Mehr, Mohammad J
Abstract
Monomer grafting, a unique technique for polysaccharide modification, is always performed under inert (e.g., N2) atmosphere. This work is the first report related to evaluating the possibility and efficiency of the grafting of acrylonitrile (AN) onto starch in presence of oxygen. Thus, corn starch (in both granular and gelatinized states) as well as soluble starch were grafted by AN using a ceric-carbohydrate redox initiating system. Graft copolymerizations were performed under nitrogen, air, and oxygen atmospheres at similar conditions. Grafting occurrence was verified using chemical and spectral proofs. The polymerization mechanism and kinetics were investigated by recording the...
Modification of carbohydrate polymers via grafting in Air. 2. Ceric-Initiated graft copolymerization of acrylonitrile onto natural and modified polysaccharides [electronic resource]
, Article Starch - Stärke ; Volume 54, Issue 10, pages 482–488, October 2002 ; Zohuriaan-Mehr, Mohammad J
Abstract
Acrylonitrile (AN) was grafted onto various natural and modified polysaccharides (i.e., gum arabic, gum tragacanth, xanthan gum, sodium alginate, chitosan, sodium carboxymethyl cellulose, hydroxyethyl cellulose, methyl cellulose) by using ceric-carbohydrate redox initiating system. After overcoming practical problems, mainly from the high viscosity of the aqueous solutions of the different substrates, the graft copolymerization reactions were run either in air or in N2 atmosphere under similar conditions. Grafting was confirmed using chemical and spectral (FTIR) proofs. The reactions were kinetically investigated using semi-empirical expressions and time-temperature profiles. An anomalous...
Modeling of in Plane Behavior of Retrofitted Adobe Walls with Finite Element Method under Cyclic Loading
, M.Sc. Thesis Sharif University of Technology ; Bakhshi, Ali (Supervisor) ; Ghannad, Mohammad Ali (Co-Advisor)
Abstract
Statistical studies indicate the fact that in Iran, like many other developing countries, a significant percentage of buildings are made of traditional materials and most of them are adobe buildings especially in rural areas. Furthermore, geological data indicates that Iran is located in alps-Himalayas seismic zone and exposed by destructive earthquakes and adobe buildings suffer the most damages comparing with other type of the structures. According to these explanations, this research deals with adobe buildings behavior and provides solutions for reinforcing them and improving the seismic response of these buildings. These studies include numerical modeling with finite elements methods by...
Silica chloride/wet SiO2 as a novel heterogeneous system for the deprotection of acetals under mild conditions [electronic resource]
, Article Phosphorus, Sulfur, and Silicon and the Related Elements ; Volume 178:2667-2670, Issue 12, 2003 ; Pourjavadi, Ali ; Zolfigol, Mohammad Ali ; Bamoniri, Abdolhamid
Abstract
A combination of silica chloride and wet SiO2 was used as an effective deacetalizating agent for the conversion of acetals to their corresponding carbonyl derivatives under mild and heterogeneous condition
Real Tme Recognition of American Sign Language Based on Hand Posture Using RGB-D Camera
, M.Sc. Thesis Sharif University of Technology ; Jamzad, Mansour (Supervisor)
Abstract
Sign Language Recognition using cameras is an alternative way of human communication with personal computers. These systems don’t need to use keyboard. They are used when touching keyboard is not possible or for what ever reason, when we don’t want to use keyboard. In this problem the person shows one of the alphabets with his hand and we capture and process that in real-time to recognize the letter. The problem of previous works in this area are the decreasing rate of detection in condition where the angle of sign and viewer changes. The purpose of our work is getting better result by using depth image from Kinect. We use Pugeault and Bowden dataset (that has fingerspelling sign in multiple...
A logic for multi-domain authorization considering administrators
, Article 9th IEEE Workshop on Policies for Distributed Systems and Networks, POLICY 2008, Palisades, NY, 2 June 2008 through 4 June 2008 ; 2008 , Pages 189-196 ; 9780769531335 (ISBN) ; Amini, M ; Jalili, R ; Sharif University of Technology
2008
Abstract
In multi-domain environments, authorization policies for each administrative domain are determined by either one administrator or through cooperation of multiple administrators. Proposed logic-based models for multi-domain environments' authorization neither consider an administrator as the legislator of a policy in policies' representation nor specify the domain of a policy explicitly. Considering legislators in policy specification provides the possibility of presenting composite administration and utilizing administrators' characteristics in policy analysis such as conflict resolution. In this paper, we propose the syntax, proof theory, and semantics of a logic in which administrators are...
An approach for semantic web query approximation based on domain knowledge and user preferences
, Article 13th International Computer Society of Iran Computer Conference on Advances in Computer Science and Engineering, CSICC 2008, Kish Island, 9 March 2008 through 11 March 2008 ; Volume 6 CCIS , 2008 , Pages 443-452 ; 18650929 (ISSN); 3540899847 (ISBN); 9783540899846 (ISBN) ; Piri, R ; Abolhassani, H ; Sharif University of Technology
2008
Abstract
One of the most important services in the Semantic Web is the Reasoning Service. According to the Semantic Web requirements, reasoning under time pressure or other restrictions is needed; and, reasoning which is not 'perfect' but instead 'good enough' for given tasks is acceptable. One of the approaches for the improvement of reasoning performance is approximation; of course, there is an effort for raising more precise approximations. One of the fields in which approximation seems to be useful is query. So far, all of the approximation strategies introduced for conjunctive queries just consider the query's structure. In this paper, a semantic approach for conjunctive query approximation...
Distributed Fault-tolerant Computation for Massive Data
, M.Sc. Thesis Sharif University of Technology ; Maddah-Ali, Mohammad Ali (Supervisor)
Abstract
In this thesis we consider the problem of distributed computation by many processors.We mainly concentrate on matrix multiplication problem in this thesis because of its importance. A distributed system consists of N worker processors and one master processor. The master processor should distribute the computation between workers and after computation in each of them, collect the results. In this thesis, we are going to mitigate the effect of straggler processors by using coding methods. Straggler processors can cause delays in the computation time.In this thesis, we firstly introduce a method to multiply any number of matrices in each other. The proposed method occurred in one shot without...
Non-isothermal simulation of the behavior of unsaturated soils using a novel EFG-based three dimensional model
, Article Computers and Geotechnics ; Volume 99 , 2018 , Pages 93-103 ; 0266352X (ISSN) ; Pak, A ; Samimi, S ; Sharif University of Technology
Elsevier Ltd
2018
Abstract
In this paper, a three-dimensional simulation of fully coupled multiphase fluid flow and heat transfer through deforming porous media is presented in the context of EFG mesh-less method. Spatial discretization of the system of governing equations is performed using EFG and a fully implicit finite difference scheme is employed for temporal discretization. Penalty method is used for imposition of essential boundary conditions. The developed numerical tool is employed to simulate two problems of nuclear waste disposal and CO2 sequestration in deep underground strata. The obtained results demonstrate the capability and robustness of the developed EFG code. © 2018 Elsevier Ltd
Incomplete Reduction of Iron Ore in a Fluidized Bed Reactor
, M.Sc. Thesis Sharif University of Technology ; Halali, Mohammad (Supervisor)
Abstract
The main goal of current investigation was partial reduction of Fe2O3 available in Hematite-rich ore to Magnetite by Fludization Bed method. The reductive gas, CO, was produced by incomplete combustion of Acetylene and Airmixed in inappropriate ratio. X-Ray Diffraction and X-Ray Florescence analyses were implemented in order to conducting qualitative analysis of present phases before and after reduction of the ore. Quantitative analysis of the same phases was also conducted by Titration. The latter analysis revealed the precise magnitude of available iron in each of the oxide containing phases. The chemical composition of the reactor gas was also determined before and after reduction...
Sequential Competitive Facility Location In Continuous Geometric Space
, M.Sc. Thesis Sharif University of Technology ; Abam, Mohammad Ali (Supervisor)
Abstract
Abstract The problem of competetive facility location can be defined as follows: There are a number of customers in the form of points in space, and two players arrange a number of facilities in the form of points in space, given some limitations, respectively. Each customer’s connection to each facility has a cost for the customer and an advantage for the facility, and each customer wants to be connected to at most one of the facilities which has the lowest cost for him. The goal is to find the strategy of placing the facilities and determining the cost which the facility receives from the customer, in such a way that the player’s profit is maximised.In this thesis, we first sought to...
Distributed Verifiable Computing: Algorithms and Analysis
, M.Sc. Thesis Sharif University of Technology ; Maddah Ali, Mohammad Ali (Supervisor)
Abstract
Zero knowledge proofs allow a person (prover) to convince another person (verifier) that he has performed a specific computation on a secret data correctly, and has obtained a true answer, without having to disclose the secret data. QAP (Quadratic Arithmetic Program) based zkSNARKs (zero knowledge Succinct Non-interactive Argument of Knowledge) are a type of zero knowledge proof. They have several properties that make them attractive in practice, e.g. verifier's work is very easy. So they are used in many areas such as Blockchain and cloud computing. But yet prover's work in QAP based zkSNARKs is heavy, therefore, it may not be possible for a prover with limited processing resource to run...
Privacy Preserving Communication Schemes for Light Clients in Blockchain Networks: Algorithms and Analysis
, M.Sc. Thesis Sharif University of Technology ; Pakravan, Mohammad Reza (Supervisor) ; Maddah Ali, Mohammad Ali (Co-Supervisor)
Abstract
Lightweight clients are a type of blockchain users who do not store all the blocks in the blockchain due to limited resources. These users store only a small part of each block and when needed, request transactions from full nodes that store the entire blockchain. These users have no role in block validation and only want to receive transactions related to their addresses with proof of the inclusion in the block from full nodes.Since light clients rely on full nodes for receiving transactions, their privacy against full nodes is important. The current implementation of Bitcoin uses Bloom filters for privacy, but this offers very little privacy to the users.In this thesis, we study the...