Loading...
Search for: salimi--hesameddin
0.122 seconds

    Meson Thermalizationin AdS/CFT Correspondence

    , M.Sc. Thesis Sharif University of Technology Rajaee, Meshkat (Author) ; Arfaie, Hesameddin (Supervisor) ; Ali-Akbari, Mohammad (Supervisor)
    Abstract
    AdS/CFT correspondence is a suitable framework for studying strongly coupled gauge theories. It corresponds a strongly coupled gauge theory to a classical gravity theory with an extra dimension. Quark-gluon plasma which is produced in accelerators is strongly coupled. We use AdS/CFT correspondence to calculate Meson thermalization time by approximating the collisions by a sudden change of baryon number chemical potential. On the gravity side, this is followed with an apparent horizon formation on probe-brane which is the signal of thermalization  

    Charge Asymmetry as a Tool to Probe Dark Matter at Large Hadron Collider, LHC

    , M.Sc. Thesis Sharif University of Technology Foroughi Abri, Saeed (Author) ; Arfaie, Hesameddin (Supervisor) ; Mohammadi Najafabadi, Mojtaba (Supervisor)
    Abstract
    Today, many evidences, including the distribution of galactic velocities, gravitational lensing observations, and the cosmic microwave background, show that there exist dark matter (non-baryon matter) in large-scale cosmological structures that are stable, free of charge and without color, which has gravitational interaction like normal matter. The hypothesis that weakly interacting massive particles (WIMPs) as a dark matter candidate with mass range of several tens of GeV to several teV and with the typical couplings of Electroweak order of magnitude, is an attractive and desirable model, Which naturally explains the density of cosmic dark matter in agreement with observations. Alongside... 

    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... 

    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... 

    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... 

    Development of Airport Capacity Management Model Based on Decision Support System

    , M.Sc. Thesis Sharif University of Technology Salimi, Mohammad (Author) ; Pourtakdoust, Hossein (Supervisor)
    Abstract
    Airports are one of the most important elements of the aviation system that provide the ground infrastructure that is required for enabling or flight across the globe. Master Planning is currently the dominant approach to airport strategic planning. However, history shows that this approach can often result in costly mistakes. Because there are many stakeholders with conflicting objectives, deep uncertainty about the future, and many potential strategies, planners often narrow their scope by using a single forecast for the future, leaving out alternative strategies, and excluding stakeholders, resulting in a Master Plan that quickly becomes obsolete and may be opposed by some stakeholders.... 

    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... 

    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... 

    The olfactory bulb modulates entorhinal cortex oscillations during spatial working memory

    , Article Journal of Physiological Sciences ; Volume 71, Issue 1 , 2021 ; 18806546 (ISSN) Salimi, M ; Tabasi, F ; Nazari, M ; Ghazvineh, S ; Salimi, A ; Jamaati, H ; Raoufy, M. R ; Sharif University of Technology
    BioMed Central Ltd  2021
    Abstract
    Cognitive functions such as working memory require integrated activity among different brain regions. Notably, entorhinal cortex (EC) activity is associated with the successful working memory task. Olfactory bulb (OB) oscillations are known as rhythms that modulate rhythmic activity in widespread brain regions during cognitive tasks. Since the OB is structurally connected to the EC, we hypothesized that OB could modulate EC activity during working memory performance. Herein, we explored OB–EC functional connectivity during spatial working memory performance by simultaneous recording local field potentials when rats performed a Y-maze task. Our results showed that the coherence of delta,... 

    PMU Based Fault Location on Transmission Lines

    , M.Sc. Thesis Sharif University of Technology Salimi, Saeed (Author) ; Ranjbar, Alimohammad (Supervisor)
    Abstract
    One of the most essential part of power system are transmission lines. Transmission of power from production centers to consumption centers is duty of these lines. Any disturbance in this duty make great losses to producers and consumers. One of the most disturbance in transmission lines are short circuits that occurred because of various causes. Most faults on transmission lines occurred in stormy weather that make more troubles for fault search. So we need a tool that can find location of fault precisely and quickly. This tool named fault locator. There are many algorithms for fault location and detection on power system transmission lines. These algorithms usually are dependent on very... 

    Adaptive control of robot manipulators including actuator dynamics and without joint torque measurement

    , Article 2010 IEEE International Conference on Robotics and Automation, ICRA 2010, Anchorage, AK, 3 May 2010 through 7 May 2010 ; 2010 , Pages 4639-4644 ; 10504729 (ISSN) ; 9781424450381 (ISBN) Salimi Khaligh, Y ; Namvar, M ; Sharif University of Technology
    2010
    Abstract
    Ignoring actuator dynamics in control of rigid manipulators can in practice result in performance degradation or loss of system stability. However, consideration of actuator dynamics usually requires measurement of robot joint torques. This paper addresses motion tracking control of an n-DOF rigid robot by taking into account its actuator dynamics. Joint torque measurement is avoided by using an adaptive observer. The backstepping technique is adopted to develop a dynamically smooth adaptive nonlinear controller dealing with uncertainties in manipulator and actuator dynamics. Semi-global convergence of motion tracking errors as well as torque estimation error are proven without any... 

    Hazard Identification by HAZOP Method and Risk Assessment Based on Fuzzy Logic with Case Study

    , M.Sc. Thesis Sharif University of Technology Salimi, Ruhollah (Author) ; Rashtchian, Davood (Supervisor)
    Abstract
    According to privileged risks existing in process industries and intensity of their consequences, Safety investigation and risk assessment are highly significant in these unites. Execution of risk assessment in process unites has been constituted from two qualitative and quantitative parts. The most crucial issue in risk assessment procedure is uncertainties related to data and needed information, besides of various models presented. This subject frequently relates to deficiency, ambiguity, and inaccessibility of necessary information for specifying of risk assessment characteristics i.e., event reproducibility and their intensities. In this work for overcome these constraints, bow-tie fuzzy... 

    Adaptive and Robust Control of Robots Including Actuator Dynamics

    , M.Sc. Thesis Sharif University of Technology Salimi Khaligh, Yahya (Author) ; Namvar, Mehrzad (Supervisor)
    Abstract
    Ignoring actuator dynamics in control of rigid manipulators can in practice result in performance degradation or loss of system stability. However, on the other hand, consideration of actuator dynamics usually requires measurement of robot joint torques that is not cost-effective. This thesis addresses motion tracking control of an n-DOF rigid robot by taking into account its actuator dynamics. Joint torque measurement is avoided by using an adaptive observer. The novelty of this thesis is in developing a controller for robot manipulators including non-negligible actuator dynamics in presence of uncertainty in robot dynamics; without using joint torque measurement. Controller design is done... 

    New lifting relations for estimating LBM distribution functions from corresponding macroscopic quantities, based on equilibrium and non-equilibrium moments

    , Article Journal of Computational Physics ; Volume 302 , 2015 , Pages 155-175 ; 00219991 (ISSN) Salimi, M. R ; Taeibi Rahni, M ; Sharif University of Technology
    2015
    Abstract
    Due to superior accuracy and stability of multiple relaxation time (MRT) collision operator over its single relaxation time (SRT) counterpart, new lifting relations are proposed here to construct single particle distribution functions for MRT-LBM from macroscopic variables. Using these lifting relations, a new hybrid FVM-LB method is presented (called Finite type-LB hybrid method), which is consistent with MRT-LBM. In this new hybrid method, single-particle distribution functions in MRT-LBM sub-domain boundaries are computed, using equilibrium and non-equilibrium moments. These moments are computed in Navier-Stokes/FVM sub-domain boundaries, using macroscopic variables and their derivatives.... 

    Reducing the entropic uncertainty lower bound in the presence of quantum memory via LOCC

    , Article EPL ; Volume 115, Issue 6 , 2016 ; 02955075 (ISSN) Adabi, F ; Haseli, S ; Salimi, S ; Sharif University of Technology
    Institute of Physics Publishing  2016
    Abstract
    The uncertainty principle sets a lower bound on the uncertainties of two incompatible observables measured on a particle. The uncertainty lower bound can be reduced by considering a particle as a quantum memory entangled with the measured particle. In this paper, we consider a tripartite scenario in which a quantum state has been shared among Alice, Bob, and Charlie. The aim of Bob and Charlie is to minimize Charlie's lower bound about Alice's measurement outcomes. To this aim, they concentrate their correlation with Alice in Charlie's side via a cooperative strategy based on local operations and classical communication. We obtain a lower bound for Charlie's uncertainty about Alice's... 

    Development of Compositional Dynamic Simulator for Gas Transmission Networks Having Online Control Capabilities

    , M.Sc. Thesis Sharif University of Technology Salimi, Amin (Author) ; Bozorgmehry Boozarjomehry, Ramin (Supervisor)
    Abstract
    Increasing demand for natural gas in various parts of energy sectors results in the rapid boost of analysis tools necessitates the development of the appropriate pieces of software for both simulation and optimization of the transient behavior of the gas transmission networks as an important part of the gas industries. The main objective of this project was the development of a dynamic and compositional simulator in an extensible, robust, reusable and yet maintainable manner. To achieve this goal, the object-oriented approach was used as the software development paradigm. After going through the analysis and design of this software based on an object-oriented methodology, it has been... 

    Prognostic Biomarker Selection for Breast Cancer using Bioinformatics and Deep Learning

    , M.Sc. Thesis Sharif University of Technology Salimi , Adel (Author) ; Sharifi Zarchi, Ali (Supervisor)
    Abstract
    Triple Negative Breast Cancer (TNBC) is an invasive subtype of breast cancer. Finding prognostic biomarkers is helpful in choosing the appropriate treatment procedure for patients of this cancer. In recent years, the role of microRNAs in various biological processes, including cancer, has been identified, and their accessibility and stability have made these types of molecules an ideal biomarker. In the first phase of this study, with the aim of overcoming the limitations of previous studies, a new bioinformatics protocol has been proposed to investigate the prognostic miRNAs of triple negative breast cancer. First, using survival analysis, 56 prognostic miRNAs which had a significant... 

    Improving real world vulnerability characterization with vulnerable slices

    , Article PROMISE 2020 - Proceedings of the 16th ACM International Conference on Predictive Models and Data Analytics in Software Engineering, Co-located with ESEC/FSE 2020, 8 November 2020 through 9 November 2020 ; 2020 , Pages 11-20 Salimi, S ; Ebrahimzadeh, M ; Kharrazi, M ; Sharif University of Technology
    Association for Computing Machinery, Inc  2020
    Abstract
    Vulnerability detection is an important challenge in the security community. Many different techniques have been proposed, ranging from symbolic execution to fuzzing in order to help in identifying vulnerabilities. Even though there has been considerable improvement in these approaches, they perform poorly on a large scale code basis. There has also been an alternate approach, where software metrics are calculated on the overall code structure with the hope of predicting code segments more likely to be vulnerable. The logic has been that more complex code with respect to the software metrics, will be more likely to contain vulnerabilities. In this paper, we conduct an empirical study with a... 

    Synthesis of novel water-soluble aminodeoxychitin derivatives

    , Article Starch/Staerke ; Volume 59, Issue 11 , 2007 , Pages 557-562 ; 00389056 (ISSN) Pourjavadi, A ; Seidi, F ; Salimi, H ; Sharif University of Technology
    2007
    Abstract
    Eight new chitin derivatives have been synthesized via SN2 reaction of primary and secondary amines with tosylchitin. The products were characterized using FTIR and 1H NMR spectroscopy. A degree of substitution ∼ 1 was achieved through this process. These materials are soluble in water at room temperature, which enable their further applications in the future. © 2007 WILEY-VCH Verlag GmbH & Co. KGaA  

    Applications of polymeric reagents in organic synthesis

    , Article Monatshefte fur Chemie ; Volume 138, Issue 4 , 2007 , Pages 363-379 ; 00269247 (ISSN) Salimi, H ; Rahimi, A ; Pourjavadi, A ; Sharif University of Technology
    2007
    Abstract
    Polymer supported reagents have found many applications in recent years. Scientists in research laboratories of agrochemical and pharmaceutical industries now routinely utilize these compounds to prepare ensembles of small organic molecules for screening. This review is aimed to highlight some of the most important applications of these promising materials in organic synthesis. Furthermore, an extensive listing of polymeric reagents that were recently used in organic synthesis is included. © Springer-Verlag 2007