Loading...
Search for: hosseinghorban--ali
0.114 seconds

    Energy Management in Energy Harvesting Systems Equipped with Non-Volatile Memories

    , Ph.D. Dissertation Sharif University of Technology Hosseinghorban, Ali (Author) ; Ejlali, Alireza (Supervisor)
    Abstract
    Forward progress (response time), energy consumption, capacitor size, and correct functionality are the most important design constraints of energy harvesting embedded systems. The system needs to backup the state of the processor and memories during the execution periodically to successfully execute long-running applications on energy harvesting systems with unreliable energy sources and small capacitors. The check-pointing policy, which specifies the place, time, and the data to be backed up, has a major effect on the energy consumption, forward-progress, and correct functionality of energy harvesting systems. Furthermore, emerging non-volatile processors equipped with hybrid volatile and... 

    CATNAP-Sim: A comprehensive exploration and a nonvolatile processor simulator for energy harvesting systems

    , Article IEEE Design and Test ; Volume 38, Issue 2 , April , 2021 , Pages 69-77 ; 21682356 (ISSN) Hosseinghorban, A ; Abbasinia, M ; Paridari, A ; Ejlali, A ; Sharif University of Technology
    IEEE Computer Society  2021
    Abstract
    This article introduces an architecture exploration tool to study and understand the tradeoffs of future processor systems using nonvolatile memory and help guide the design of the future. Energy efficiency serves as a critical factor in designing embedded systems. Furthermore, the growing dominance of energy harvesting systems (EHSs) in sensor-rich applications has eventuated an emerging trend in wearable-systems and IoT devices as an alternative to battery-powered embedded systems. In this article, researchers have presented CATNAP-Sim, a simulator for EHSs, with NVP and hybrid NVM-SRAM memory  

    Uncovering EDK2 firmware flaws: insights from code audit tools

    , Article 2024 5th CPSSI International Symposium on Cyber-Physical Systems (Applications and Theory), CPSAT 2024 ; 2024 ; 979-833152928-4 (ISBN) Farahani, M ; Shenavar, G ; Hosseinghorban, A ; Ejlali, A ; sharif University of Tehnology
    Cornell University  2024
    Abstract
    Firmware serves as a foundational software layer in modern computers, initiating as the first code executed on platform hardware, similar in function to a minimal operating system. Defined as a software interface between an operating system and platform firmware, the Unified Extensible Firmware Interface (UEFI) standardizes system initialization and management. A prominent open-source implementation of UEFI, the EFI Development Kit II (EDK2), plays a crucial role in shaping firmware architecture. Despite its widespread adoption, the architecture faces challenges such as limited system resources at early stages and a lack of standard security features. Furthermore, the scarcity of open-source... 

    Improved active covering via density-based space transformation

    , Article Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining ; 2024 , Pages 107-118 ; 2154817X (ISSN); 979-840070490-1 (ISBN) Bateni, M ; Esfandiari, H ; Hosseinghorban, S ; Montaseri, A ; Sharif University of Technology
    2024
    Abstract
    In this work, we study active covering, a variant of the active-learning problem that involves labeling (or identifying) all of the examples with a positive label. We propose a couple of algorithms, namely Density-Adjusted Non-Adaptive (DANA) learner and Density-Adjusted Adaptive (DAA) learner, that query the labels according to a distance function that is adjusted by the density function. Under mild assumptions, we prove that our algorithms discover all of the positive labels while querying only a sublinear number of examples from the support of negative labels for constant-dimensional spaces (see Theorems 5 and 6). Our experiments show that our champion algorithm DAA consistently improves... 

    CHANCE: Capacitor charging management scheme in energy harvesting systems

    , Article IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ; Volume 40, Issue 3 , June , 2021 , Pages 419-429 ; 02780070 (ISSN) Hosseinghorban, A ; Bahrami, M. R ; Ejlali, A ; Abam, M. A ; Sharif University of Technology
    Institute of Electrical and Electronics Engineers Inc  2021
    Abstract
    The energy efficiency of emerging nonvolatile processors equipped with FRAM-SRAM memory makes them a promising solution for energy harvesting systems. To enable correct functionality and forward progress with an unreliable power supply, the system must accumulate sufficient energy in the capacitor to execute tasks atomically, even in the worst case scenario. Due to the large gap between the average and worst case energy consumption of tasks, state-of-the-art approaches like eM-map require a large capacitor to execute tasks on the SRAM. However, the size, cost, and charging time of the capacitor are major concerns in the energy harvesting systems. In this article, we proposed CHANCE, a... 

    COACH: Consistency aware check-pointing for nonvolatile processor in energy harvesting systems

    , Article IEEE Transactions on Emerging Topics in Computing ; Volume 9, Issue 4 , December , 2021 , Pages 2076-2088 ; 21686750 (ISSN) Hosseinghorban, A ; Hosseini Monazzah, A. M ; Bazzaz, M ; Safaei, B ; Ejlali, A ; Sharif University of Technology
    IEEE Computer Society  2021
    Abstract
    Recently, energy harvesting systems that utilize hybrid NVM-SRAM memory in their designs are introduced as a promising alternative for battery-operated systems. Since the ambient input power of an energy harvesting system fluctuates as the environmental conditions change, the system may stop the execution of programs until it receives enough energy to continue the execution. Resuming the execution of a program after the suspension may lead to data inconsistency in an energy harvesting system and threatens the correct functionality of the programs. In this article, we propose COACH, an energy-efficient consistency-aware memory scheme which guarantees the correct functionality and consistency... 

    Technical English for mechanical engineers

    , Book Alemi, Minoo ; Meghdari,Ali
    Sharif University Press  2014
    Abstract
    Local educational institutions produce in-house English for Specific Purpose (ESP) materials according to the curriculum policies designated and developed by the Ministry of Higher Education In Iran. To this end, this book aims to be used in the Iranian setting at the tertiary level for undergraduate students majoring in Mechanical Engineering. Moreover, the style of English usage in this ESP textbook is American.
    Regarding the content of the textbook, it has both thematic organizations in which the topics are relevant and includes sufficient treatment of the target language areas necessary for the students. The principle organizing approach of this textbook is theme-based. In addition,... 

    Feedback control of the neuro-musculoskeletal system in a forward dynamics simulation of stair locomotion [electronic resource]

    , Article Proc. of IMechE Part H: Journal of Engineering in Medicine ; 2009, Vol. 223, No. 6, pp. 663-675 Journal of NeuroEngineering and Rehabilitation ; Volume 11, Issue 1, 30 April 2014, Article number 78 Selk Ghafari, A. (Ali) ; Meghdari, Ali ; Vossough, Gholam Reza ; Sharif University of Technology
    Abstract
    The aim of this study is to employ feedback control loops to provide a stable forward dynamics simulation of human movement under repeated position constraint conditions in the environment, particularly during stair climbing. A ten-degrees-of-freedom skeletal model containing 18 Hill-type musculotendon actuators per leg was employed to simulate the model in the sagittal plane. The postural tracking and obstacle avoidance were provided by the proportional—integral—derivative controller according to the modulation of the time rate change of the joint kinematics. The stability of the model was maintained by controlling the velocity of the body's centre of mass according to the desired centre of... 

    Design and Construction of a Soft Actuated Exoskeleton for Hand Rehabilitation of Stroke Patients

    , M.Sc. Thesis Sharif University of Technology Razavi Zadehgan, Ali Akbar (Author) ; Ghafari, Ali (Supervisor) ; Meghdari, Ali (Supervisor)
    Abstract
    The main goal of this thesis is the design and development of a rehabilitation device for helping patients “to improve blood circulation” & retain and recover their abilities if possible that were lost during the stroke or a accident like that (my research in karaj/iran shows that it is possible by just movement of the specific body part). The focus is on hand in this thesis because Injuries to the hand are common and can be very debilitating since our hands are our primary means for interacting with our world. For rehabilitation in case of human hand there are several practices that should be done for patients either in home or in a rehabilitation center, time and money that is supposed to... 

    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 Mirjalili, B. F. (BiBi Fatemeh) ; 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  

    Earthquake Branch

    , M.Sc. Thesis Sharif University of Technology Bagher Shemirani, Ali Reza (Author) ; Bakhshi, Ali (Supervisor)
    Abstract
    In the past few decades, shaking tables are widely used to evaluate system response of structures under seismic excitations. These devices are used without any fundamental research performed on a shaking table system as an entity model. In most of these studies for simplicity, it is assumed that there exist no considerable vibration and displacement around the shaking tables, and no attention is paid to the peripheral substances such as soil settled under the foundation.
    In this thesis, result of ambient vibration test on shaking table system (solid deck, concrete foundation and soil layer) has been presented. Precise sensors known as low frequency and high accuracy accelerometers have... 

    Selective synthesis of conjugated enynes from α-arylalkynols using LiCl-Acidic Al2O3 under solvent-free conditions [electronic resource]

    , Article Journal of Chemical Research ; Volume 2002, Number 8, 1 August 2002, pp. 378-380(3) Pourjavadi, A. (Ali) ; Bagheri Marandi, Gholam
    Abstract
    Free Content Selective synthesis of conjugated enynes from α-arylalkynols using LiCl-Acidic Al2O3 under solvent-free conditions  

    Selective preparation of fluorescent 1,8-naphthalimides using acidic alumina under microwave irradiation [electronic resource]

    , Article Journal of Chemical Research ; 01/2001; 2001(11):485-487 Pourjavadi, A. (Ali) ; Bagheri Marandi, Gholam
    Abstract
    7H-benzimidazo[2,1-a]benz[de]isoquinolin-7-one compounds were prepared in a selective manner by reaction between o-phenylenediamines and appropriate 1,8-naphthalenedicarboxylic anhydrides using acidic alumina under microwave irradiation  

    Comparison between Performance of Stone Columns and RAPs from the Bearing Capacity and Settlement Reduction Viewpoints

    , M.Sc. Thesis Sharif University of Technology Golestani Dariani, Ali Akbar (Author) ; Pak, Ali (Supervisor)
    Abstract
    Out of several ground improvement techniques available, stone columns have been widely used. This technique has been successfully applied to increase the bearing capacity and to reduce the settlement for foundation of structures like liquid storage tanks, earthen embankments, raft foundations, etc., where a relatively large settlement is permissible. This technique has, generally, been proven successful in increasing the stiffness of weak soils, upgrading their safe bearing capacity, and reducing their total and differential settlements, as well as speeding up their consolidation process. The beneficial effects of stone column installation in weak deposits is manifested in the form of... 

    Performance of Partially Filled Mini-Channels with Porous Media

    , M.Sc. Thesis Sharif University of Technology Azimi, Adel (Author) ; Nouri, Ali (Supervisor) ; Moosavi, Ali (Co-Advisor)
    Abstract
    Laminar forced convection flow through a channel partially filled with a porous material was numerically studied in this thesis. The Navier-Stokes and Brinkman-Forchheimer equations were used to model the fluid flow in the free and porous regions, respectively. Coupling of the pressure and velocity fields was resolved using the SIMPLEC algorithm. The local thermal equilibrium was adopted in the energy equation. The effects of the thermal conductivity ratio, Darcy number, porosity, Reynolds number and height of the porous insert on velocity and temperature field were investigated. The results show that the flow behavior and its associated heat transfer are susceptible to the variation of the... 

    Improvement of Stability of Haptic Force Interaction with Virtual Environments Using a Haptic Interface with a Separate Tracker

    , M.Sc. Thesis Sharif University of Technology Mashayekhi, Ahmad (Author) ; Meghdari, Ali (Supervisor) ; Nahvi, Ali (Supervisor)
    Abstract
    In the present study, a new version of haptic devices is presented in which user’s hand is in contact with the device just while collision with virtual surface. In this system, the position of user’s finger can be traced by using a camera and the haptic device follows user’s finger at the distance of about two centimeters. While the haptic device approaches to the virtual surface, gradually reduces its speed and stops about two centimeters distant of virtual plane. Then user’s hand collides with the haptic device which is static. Greater fidelity, transparency, more stability and also no need to large actuators are of the advantages of this system. In this project, first we present a new... 

    Simulation of the Biomolecule Imaging and Manipulation Via AFM by Molecular Dynamics Method

    , M.Sc. Thesis Sharif University of Technology Kheiroddin, Mohsen (Author) ; Meghdari, Ali (Supervisor) ; Moosavi, Ali (Supervisor)
    Abstract
    In this thesis we try to find optimized parameters for imaging and manipulation of a biosample with AFM. For this we have prepared a numerous Molecular Dynamics simulation and find some reliable result. So, first we have focused on imaging process in Non contact mode (the less harmful mode). Then we headed into the manipulation process. The main problem about manipulating a biosample is the environment. In imaging section, the process of imaging a biomolecule by AFM is modeled using molecular dynamics simulations. Since the large normal force exerted by the tip on the biosample in contact and tapping modes may damage the sample structure and produce irreversible deformation, the non-contact... 

    Characterzing Variation of Small Strain Shear Modulus of Unsaturated Sand During Hydraulic Hysteresis with Bender Elements

    , M.Sc. Thesis Sharif University of Technology Shahbazan, Parisa (Author) ; Pak, Ali (Supervisor) ; Khosravi, Ali (Supervisor)
    Abstract
    Results of previous studies on silt and clay indicated that variations in the small strain shear modulus, Gmax, during drying had a non-linear increasing trend with matric suction with greater values upon wetting. However, due to different material properties and inter-particle forces, different behaviour in Gmax is expected for sand. Although considerable research has been devoted in recent years to characterize the behaviour of Gmax of sand during drying, rather less attention has been paid to the effect of hydraulic hysteresis on Gmax and its variations during wetting. In the study presented herein, an effort was made to characterize the variation of Gmax for specimens of sand during... 

    Sequential Competitive Facility Location In Continuous Geometric Space

    , M.Sc. Thesis Sharif University of Technology Lavasani, Ali Mohammad (Author) ; 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 Rahimi, Ali (Author) ; 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...