Loading...
Search for: salimi-moghadam--mahkameh
0.163 seconds

    Quantum Information Processing with NMR Spectroscopy

    , M.Sc. Thesis Sharif University of Technology Salimi Moghadam, Mahkameh (Author) ; Raeisi, Sadegh (Supervisor)
    Abstract
    Quantum Information Processing (QIP) is one of the active areas of research in both theoretical and experimental physics. Any experimental technique that is used for a scalable implementation of QIP must satisfy DiVincenzo’s criteria [17]. Nuclear Magnetic Resonance (NMR) satisfies many of these conditions, but it is not scalable and cannot initialize the qubits to pure state [28]. NMR can be a great platform for studying the fundamentals of QIP. In this project, for a two­qubit system, we prepare pseudo pure states from the initial mixed states by using unitary operations and implement CNOT gates. According to the results of our experiments, we can apply all the gates with high fidelity.... 

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

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

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

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

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

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

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

    A novel cyber-secure algorithm in cooperative vehicles platoon

    , Article 2023 9th International Conference on Control, Instrumentation and Automation, ICCIA 2023 ; 2023 ; 979-835036601-3 (ISBN) Moghadam, A.S ; Haeri, M ; Sharif University of Technology
    Institute of Electrical and Electronics Engineers Inc  2023
    Abstract
    This paper studies the problem of secure and resilient distributed cooperative control for autonomous vehicles under false data injection attacks on the vehicular communication net-work. We propose a model-based scheme to detect unknown data falsification attacks using the predicted traj ectory in a distributed nonlinear model predictive control problem. First, as a local agent, each autonomous vehicle stores the information received from its neighboring vehicles to clarify anomalies. The recorded data is investigated over a temporal moving observation window which contains different prediction sequences of the distributed nonlinear model predictive control problem in the previous times. In... 

    On The Non-Linear Behavior of Continuous Beam to Column Connection

    , M.Sc. Thesis Sharif University of Technology Rahmani, Ahmad (Author) ; Moghadam, Hasan (Supervisor)
    Abstract
    A special steel beam-to-column connection, named Khor-jini, is commonly used for steel framing system in Iran. In this system, two continuous beams are passed next to the columns and are connected to the column side using seated brackets.This type of connection has been common in Iran from the late past. Unfortunately, the seismic behavior of Khorjini frames had not been sufficiently studied prior to Manjil Earthquake of 1990. Due to very large damages which occurred in steel structures especially in connections during the said earthquake, the seismic behavior of this type of connection was studied and some of its weak points were recognized.In this study non-linear... 

    Lifetime-Aware Resource Allocation in Cloud Computing for Energy Optimization

    , M.Sc. Thesis Sharif University of Technology Moghadam, Marziyeh (Author) ; Goudarzi, Maziar (Supervisor)
    Abstract
    Cloud computing is a way to increase capacity or add capabilities dynamically without investing in new infrastructure. The purpose of this project is the use of specialized algorithms for efficient energy management for cloud computing environments.One of the issues that is very important with respect to cloud computing is considering lifetime of servers or physical machines. Servers are some of the most important and critical elements of cloud computing. Server costseffect on the costs of the entire cloud computing system and the interference of serverseffects on entire system. Lifetime of each sever is dependent on a few factors, the most important of which is the number of switching... 

    Model-Based Reasoning Based on Giere’s Explanation of Model

    , M.Sc. Thesis Sharif University of Technology Hashemi, Amin (Author) ; Heidari, Moghadam (Supervisor)
    Abstract
    In the present research, model-based reasoning is introduced and explained based on Giere’s explanation of model. In other word, this research could be regarded as a reconstruction of model in Giere’s books and papers due to prpose a clear explanation of model-based reasoning. In the second chapter, after the introduction, the concept of model in Giere’s distinguished book, “Explainnig Science: A Cognitive Approach” (1988) is introduced and analyzed. In the second chapter, however, the concept of model in Giere’s recent works is traced. “An agent-based account of model” and “focusing on functionality rather than ontology” could be explained as the two important differences between his... 

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

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

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

    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  

    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