Loading...
Search for: salimi--mohammad
0.133 seconds

    Incorporating Degree of Belief, Desire and Capability into Propositional Belief Desire and Intention Logic

    , M.Sc. Thesis Sharif University of Technology Salimi, Babak (Author) ; Ardeshir, Mohammad (Supervisor)
    Abstract
    Nowadays, BDI architecture is of the most well known agent’s architectures. BDI architecture or the architecture in which the system is viewed as rational agents based on the attitudes of belief, desire and intention represents an abstraction of human deliberation based on a theory of rational action in the human cognition process. BDI logic introduced by Rao and Georgeff have been widely used as the theoretical basis of specification and implementation of rational agents. BDI logic is limited to deal with crisp assertion, while the assertions encountered in real world are not precise and thus cannot be treated simply by using yes or no. Moreover, In order to obtain more human like agents we... 

    Computational Simulation of Turbulent Incompressible Film Cooling with Consideration of Jet and Cross Flow Density and Viscosity Differences

    , M.Sc. Thesis Sharif University of Technology Salimi, Mohammad Reza (Author) ; Taibi Rahni, Mohammad (Supervisor)
    Abstract
    One of the most powerful means to increase thermal efficiency in gas turbines is to increase the turbine inlet temperature. However, due to metallurgical limitations, the turbine blades need to be cooled constantly. Thus, film cooling of blades has shown to be the most efficient way. In this study, a three-dimensional film cooling problem at jet Reynolds number of 4700 are investigated, using RANS approach and three different turbulence models, namely (Wilcox), SST(Shear Stress Transport), and the new model. A fine non-uniform staggered grid and a SIMPLE based finite volume method were used. Film cooling simulation results, including mean velocity components and turbulent kinetic energy... 

    Two-dimensional Numerical Simulation of Bubble Bursting in the Vicinity of a Corner, Using DIM Interfacial Modeling

    , M.Sc. Thesis Sharif University of Technology Safavi, Mohammad Mahdi (Author) ; Taeibi Rahni, Mohammad (Supervisor) ; Salimi, Mohammad Reza (Co-Supervisor)
    Abstract
    Bubble collapse is a two-phase problem whose numerical simulation has many important applications in science and technology. In hydrodynamics systems (pumps, ship propellers, …), bubbles form due to cavitation. These bubbles grow and collapse These bubbles grow and collapse farther downstream and their energy destroys the surrounding walls. In medical sciences, the shear force caused by collapse of a bubble can be used to destroy adipose tissues in arteries. The small scales time in this phenomenon, as well as the compressibility of the flow in bubble collapse, are interesting challenges researchers face. The present thesis targets are two-dimensional numerical simulation of bubble collapse... 

    Solving Symmetric Nonlinear Equations System Using BFGS Trust Region Quadratic Method

    , M.Sc. Thesis Sharif University of Technology Salimi, Samira (Author) ; Razvan, Mohammad Reza (Supervisor) ; Peyghami, Mohammad Reza (Supervisor)

    Computational Simulation of Cooling of Porously Covered Surfaces, Using a Navier-stokes and Lattice Boltzmann Solver

    , Ph.D. Dissertation Sharif University of Technology Salimi, Mohammad Reza (Author) ; Tayyebi Rahni, Mohammad (Supervisor) ; Jam, Freydoon (Co-Advisor)
    Abstract
    Considering the wide range of applications of porous media for heat transfer enhancement in various components of industrial machineries, including solar collectors, air dryers, compact heat exchangers, electronic microchips, investigation of heat transfer characteristics in porous media has been a major concern for many researchers. On the other hand, precise understanding of the physics of porous media-flow interaction has been an open research topic for a long time. The present research however, has aimed at developing a computational method to simulate the interaction between fluid flow and porous media to investigate heat transfer from prously covered surfaces. Pore scale modeling of... 

    Numerical Investigation of the Effect of Dust on the Performance of a H-type Vertical Axis Wind Turbine

    , M.Sc. Thesis Sharif University of Technology Golmakani, Atousa (Author) ; Taeibi Rahni, Mohammad (Supervisor) ; Salimi, Mohammad Reza (Supervisor)
    Abstract
    Nowadays, due to the increase in energy demand and the limitations of using fossil fuels, renewable energy plays an important role in the world's energy supply. Wind turbines generate electrical power using the kinetic energy of the wind. This research investigates the effects of dust and particles on the flow in a vertical axis wind turbine blades. The performance of a H-type vertical axis wind turbine in dusty flow was numerically investigated in two and three dimensions. The effects of two dimensionless numbers (Stokes and particle loading) on the turbine’s aerodynamics and output power were examined. In addition, the erosion rate of turbine blades due to dust particles and turbine... 

    Computational Investigation of Primary Atomization of an Unsteady and 3D Laminar Liquid Jet, Using LBM and GPU

    , M.Sc. Thesis Sharif University of Technology Shadkhah, Mehdi (Author) ; Taeibi, Mohammad (Supervisor) ; Kebriaee, Azadeh (Co-Supervisor) ; Salimi, Mohammad Reza (Co-Supervisor)
    Abstract
    Based on the history of computational fluid dynamics, choosing a proper method for three-dimensional investigation of two-phase flows is always challenging. In this research, the flow of atomization of a liquid jet was investigated. Also, Using GPU technique made our computations about 40 times faster. The numerical results are in good agreement with available numerical and experimental data. Based on our results, jet flow can achieve different regimes at different Weber and Reynold. Jet flow was found in dripping and Rayleigh instability regimes when Weber number was set to 1.79 and 3.10, respectively. Also, the transition between dripping and jetting was estimated at We between 2 to 3. In... 

    Numerical Study of Induced-charge Electroosmotic (ICEO)Flow Effects on Mixing Phenomena in a Porous Media, Using Lattice Boltzmann Method

    , M.Sc. Thesis Sharif University of Technology Shahriari Darabad, Zahra (Author) ; Taeibi Rahni, Mohammad (Supervisor) ; Salimi, Mohammad Reza (Co-Supervisor)
    Abstract
    Rapid preparation of a homogeneous mixture is essential for many chemical and biological applications, such as micro-scale biological-chemical agent detection, drug delivery, and DNA hybridization. Some mixing systems have a micro-scale geometry, which results in a very slow mixing process, mainly due to laminar flow in these systems. Mixing in a slow flow is performed only by molecular diffusion. In the absence of any disturbances, increased mixing is not possible simply by diffusion. Accordingly, a suitable and innovative method to improve mixing for such systems is required. Induced charge electro-osmosis is a new field of electro-osmotic flow, which performs better than conventional... 

    Numerical Study of Pollutants Distribution in a Residential Complex Having Many High-rise Buildings

    , M.Sc. Thesis Sharif University of Technology Sadat Kiaei, Mohammad (Author) ; Taeibi Rahni, Mohammad (Supervisor) ; Salimi, Mohammad Reza (Supervisor)
    Abstract
    Nowadays, air pollution has become one of the biggest problem of large cities and has numerous negative effects on the environment and people's health. The present research examines how various types of pollutants are distributed in an urban environment, depending on the type of arrangement in different places. Razaviyeh town (including nine 15-story buildings) in the 9th phase of Pardis new city in Tehran has been studied three-dimensionally here. The dimensions of each building in this complex are 12 x 13.5 meters and their height is about 45 meters. Thus, the dimensions of the computational domain used are estimated to be less than 0.02 square kilometers. In this research, computational... 

    Numerical Investigation of a Wind Turbine Blade Dynamic Stall in a Dusty Flow

    , M.Sc. Thesis Sharif University of Technology Vaziri Moghaddam, Amir (Author) ; Taeibi Rahni, Mohammad (Supervisor) ; Salimi, Mohammad Reza (Supervisor)
    Abstract
    Interaction of vortices with particles is one of the complex and fascinating phenomena in fluid dynamics, which is often observed in wind turbines operating in dusty environments. In these turbines, dynamic stall occurs where vortices continuously form and dissipate. In this study, the impact of the presence of dust particles on dynamic stall, which can noticeably affect the aerodynamic efficiency of wind turbines, has been examined and analyzed; We focus on three airfoil models of the horizontal-axis wind turbines. namely S809, S822, and SD7062 at a Reynolds number of 10^6. These were examined using numerical simulation, with k-ω SST turbulence model and discrete phase model (DPM). The... 

    Study on Pretreatment of the Uranous Effluents of the UCF & Natanz Plants by Using Supercritical Water Method

    , M.Sc. Thesis Sharif University of Technology Salimi, Ali Akbar (Author) ; Otoukesh, Mohammad (Supervisor) ; Ahmadi, Javad (Co-Advisor)
    Abstract
    Pretreatment of nuclear waste for valuable and limited uranium resources in the nuclear industry as well as environmental protection is imperative. Wash the affected parts of the Natanz uranium enrichment plant uranium centrifuges with a standard cleaning solution of citric acid, a liquid waste is generated in this study, the preparation of these residues using supercritical water oxidation (SCWO) and near critical (HTWO1) was studied as a result, the optimum operating conditions, and conditions of solvent extraction has been studied. In the result, the optimum operating conditions, and conditions of solvent extraction has been introduced. Also in the UCF2 as a liquid waste contaminated with... 

    Secrecy Rates in Wiretap Channels

    , Ph.D. Dissertation Sharif University of Technology Salimi, Somayeh (Author) ; Salmasizadeh, Mahmoud (Supervisor) ; Aref, Mohammad Reza (Supervisor)
    Abstract
    Security has been considered from the information theoretic point of view in different channels such as broadcast, multiple access and relay channels. Due to application of these channels in modern networks such as wireless, sensor and Ad-hoc networks, information theoretic security arguments especially wiretapping, has major significance in these networks. With regard to necessity of confidentiality protection in modern telecommunication services, security from the information theoretic point of view should be considered as well as capacity and achievable rate region considerations in these networks. In this thesis, first, a survey of basic works in the subjects of secrecy capacity and... 

    Computational Two-dimensional Study of Oscillating Electrical Field on Break-up of a Drop, Using Hybrid Lattice Boltzmann-Finite Volume Method

    , M.Sc. Thesis Sharif University of Technology Mohseni Kafshgar Kolaei, Amir Hossein (Author) ; Taeibi Rahni, Mohammad (Supervisor) ; Salimi, Mohammad Reza (Supervisor)
    Abstract
    Drop formation is an interesting field of research due to its wide-range of applications, such as drug delivery, biomedical studies, pharmaceutical industry, Lab-On-Chip (LOC) devices, etc. In recent years, researchers have used numerical studies to better understand how the process of forming and carefully examining the factors that affect quality improvement. One of the most effective methods in controlling the size and the process of drop formation is use of external force in microfluidic devices. Among the external force in this study, an electric field with oscillating current was used. Rapid methods for creating, deforming, and breaking up of drops in microfluidic applications are... 

    Numerical Simulation of Acoustics Wave Propagation in Bubbly Media, Using Lattice Boltzmann Method

    , M.Sc. Thesis Sharif University of Technology Salimi, Hesameddin (Author) ; Taeibi Rahni, Mohammad (Supervisor) ; Massah, Hamid Reza (Supervisor)
    Abstract
    The Phenomena of generation and propagation of pressure waves (e.g. sounds) are of fundamental importance in studying fluid dynamics. Conventional computational fluid dynamics (CFD) simulations has always been part of the investigation. On the other hand, the lattice Boltzmann method (LBM) has been developed into an alternative and promising numerical method for simulating sound propagation in heterogeneous media with complex geometries. In this project, propagation of sound waves in a liquid was simulated, using lattice Boltzmann method (LBM) and particularly phononic model. To survey effect of different viscosities on this phenomenon, the kinematic viscosity of the medium was varied and... 

    Synthesis and Evaluation of Molybdenum Disulfide for Combined Photothermal-chemo Therapy

    , Ph.D. Dissertation Sharif University of Technology Salimi, Marzieh (Author) ; Vosoughi, Manouchehr (Supervisor) ; Shokrgozar, Mohammad Ali (Supervisor) ; Delavari, Hamid (Co-Supervisor)
    Abstract
    New methods of cancer treatment are always the attention of researchers all over the world, among which the photothermal treatment method is of particular importance. In addition to being easy, this treatment method has the least invasiveness. Studies have shown that combining this method with other methods such as chemotherapy not only can be very effective in destroying tumor tissue, but can significantly reduce the side effects of chemotherapy drugs.In order to apply the photothermal treatment method, an effective photothermal agent is needed. Molybdenum disulfide nanosheets have performed successfully in this field, which have been of great interest, due to their high efficiency in... 

    Simulation of the Urinary Concentration Mechanism

    , M.Sc. Thesis Sharif University of Technology Mahdavi Salimi, Sharareh (Author) ; Abd Khodaei, Mohammad Jafar (Supervisor) ; Farhadi, Fathollah (Supervisor)
    Abstract
    The kidneys serve essential regulatory roles in the body which remove excess organic molecules from the blood and the removal of waste products of metabolism. They are essential in the urinary system. Urinary concentration mechanism has long been interested for mathematicians and physiologists to elucidate the obscurities within the process. In this study, a novel three-dimensional approach is used for simulating urine concentrating mechanism in rat renal medulla. The model equations are based on three spatial dimensions mass and momentum transports. Exact 3D geometry has been designed by using COMSOL Multiphysics software and results have been compared with the latest available data. In... 

    VulSlicer: Vulnerability detection through code slicing

    , Article Journal of Systems and Software ; Volume 193 , 2022 ; 01641212 (ISSN) Salimi, S ; Kharrazi, M ; Sharif University of Technology
    Elsevier Inc  2022
    Abstract
    There has been a multitude of techniques proposed for identifying vulnerabilities in software. Forcing a program into a vulnerable state has become increasingly unscalable, given the size of the programs and the number of possible execution states. At the same time, techniques that are looking for vulnerability signatures are marred with weak and incomplete signatures. This is not to say that such techniques have failed to identify previously unknown vulnerabilities in the code. However, they have inherent weaknesses, which result in identifying vulnerabilities that are limited in type and complexity. We propose a novel technique to extract succinct vulnerability-relevant statements... 

    Synthesis of Novel Biodegradable Collagen-Based Superabsorbent Hydrogels and Investigation of their Swelling Behavior in Various Media

    , Ph.D. Dissertation Sharif University of Technology Salimi,Hamid (Author) ; Pourjavadi, Ali (Supervisor)
    Abstract
    The use of super-swelling polymers is steadily increasing and the applications in industry are continuing to grow. With the authorization of the superabsorbents in food packaging by the Food and Drug Administration recently, demand may soon take off in the market. The worldwide production of SAPs is more than one million tons per year, representing a multibillion-dollar market. However, the increase in prices of petroleum products in recent years may be a drawback for these acrylic-based materials. Thus, there is now a need to develop natural-based super-swelling hydrogels which are more economical and environment friendly. In addition, the super-swelling gels are promising novel functions... 

    Activity-based Travel Demand Modeling in Rural Areas; Case Study of Villages Far-from-city in Fars Province

    , M.Sc. Thesis Sharif University of Technology Salimi, Farzam (Author) ; Vaziri, Manouchehr (Supervisor)
    Abstract
    Although rural inhabitants constitute a large portion of developing countries’ population, they have always been neglected in many ways. Expansion of equity, calls for a new concern in adequacy of rural development. The problem could be considered in two aspects: Firstly, there is a great tendency for immigration to nearby cities, hoping for a better life. This would result in more crowded cities, extended poverty and an increasing rate of crime mainly in suburban areas. On the other hand, the evacuation of farms and fertilized lands imposes great economical loss to the country. Therefore, development of rural facilities should be integrated into national policies to assure a homogeneous and... 

    Vulnerability Extraction in Large Codebases Through Template Generalization

    , Ph.D. Dissertation Sharif University of Technology Salimi, Solmaz (Author) ; Kharrazi, Mehdi (Supervisor)
    Abstract
    As the size and complexity of software increase, the number of software vulnerabilities also increases. An examination of vulnerability reports shows that in addition to the fact that a large number of unknown vulnerabilities still exist in software, there is still no proper solution for identifying vulnerabilities that have been observed one sample of them exit in real-world software. The main reason for such an event is the lack of a suitable template for recognized vulnerabilities, which ultimately makes searching for them in other software a problem of scalability and high search cost. This thesis, recognizing the importance of the issue, presents a framework for extracting robust and...