Loading...
Search for:
asadi--alireza
0.105 seconds
Total 849 records
Reliability Analysis of Embedded Software Using Simulation-Based Fault Injection
, M.Sc. Thesis Sharif University of Technology ; Ejlali, Alireza (Supervisor) ; Asadi, Hossein (Supervisor)
Abstract
With the growth of embedded systems, particularly in the fields of infrastructure and critical services, the role of the Unified Extensible Firmware Interface (UEFI) as a key component in managing the early stages of system initialization and bridging hardware and operating systems has become increasingly significant. This component plays a vital role in ensuring the security and reliability of systems. However, firmware vulnerabilities to accidental or deliberate faults remain a fundamental challenge that can disrupt system performance. Fault injection, a powerful method for analyzing reliability and identifying system weaknesses, previously focused on software, hardware, and operating...
A uniquely 3-list colorable, planar and k4-free graph
, Article Journal of Combinatorial Mathematics and Combinatorial Computing ; Volume 72 , 2010 , Pages 115-120 ; 08353026 (ISSN) ; Sharif University of Technology
2010
Abstract
Let G be a graph with v vertices. If there exists a collection of list of colors S1, S1,..., Sv on its vertices, each of size k, such that there exists a unique proper coloring for G from this list of colors, then G is called a uniquely k-list colorable graph. In this note we present a uniquely 3-list colorable, planar and K4-free Graph. It is a counterexample for a conjecture by Ch. Eslahchi, M. Ghebleh and H. Hajiabolhassan [3]
Evaluating Reliability of SSDs Against Power Outage
, M.Sc. Thesis Sharif University of Technology ; Asadi, Hossein (Supervisor)
Abstract
Solid-State Drives (SSDs) provide high performance, low power consumption, and hence are widely used in the I/O cache of enterprise storage systems and high performance servers. Although employing high performance SSDs in the I/O cache of storage systems significantly improves system performance, it comes with significant reliability threats for write operations upon power failures. In order to provide high level of reliability, storage architectures employ SSDs in I/O cache with RAID-1 configuration, however, such configuration only partially mitigates the reliability issues of the SSDs. In this thesis, we analyze the reliability of SSD-based I/O caches against power outage and high...
Rcci Curvature for Metric-Measure Space via Optimal Transport
, M.Sc. Thesis Sharif University of Technology ; Bahraini, Alireza (Supervisor) ; Ranjbar Motlagh, Alireza (Co-Advisor)
Abstract
One of the important questions in mathematics is generalized. In case of metric spaces, one of the questions is: Can we extend notions of Riemannian geometry to arbitrary metric spaces smoothly? Ricci curvature is one of the most important concepts in differential geometry. Ricci curvature is defined for the Riemannian manifold and has many applications in mathematics and physics like Einstein’s equation in relativity theory. There is a good notion for a metric space having “sectional curvature bounded below by K” or “sectional curvature bounded above by K”, due to Alexandrov. Can we define the concept of Ricci curvature in metric space? A motivation for this question comes from Gromov’s...
A Comprehensive Model for Aircraft Maintenance Routing
, M.Sc. Thesis Sharif University of Technology ; Shafahi, Yousef (Supervisor)
Abstract
One of the fundamental constraints that should have been in mind in flight scheduling is aircraft maintenance scheduling. Based on the accepted rules, regulations and flight safety, in a given period of time or after definite number of flight hours each aircraft should be sent to maintenance site. This influences the flight schedule. This research provides a comprehensive model for the flight scheduling. Given the flight schedule, number of the flights and aircrafts, maintenance center's capacity and other parameters such as each check's time, allowable flight days and allowable flight hours this model could determine each season's flight schedule and solve the aircraft routing problem....
Numerical Investigation of Two-Phase Flow Contains Water and Oil in Hydrocyclones
, M.Sc. Thesis Sharif University of Technology ; Farhanieh, Bijan (Supervisor)
Abstract
Having an efficient and reliable system for oil-water separation is of crucial importance in oil and gas industry. Hydrocyclones have been used for more than a century to separate oil from water as well as sand from liquid or gas. The main objectives of this research are as follows: Determination the hydrocyclone principle of operation, based on computational fluid dynamic simulations. Hydrocyclones, in a spite of simple structure, are widely used in industry such as Petrochemical, Mining, Chemical Industries, Pharmacy, Food and Pulp Industries. The CALC BFC is one phase flow numerical code based on finite volume method and SIMPLEC algorithm. It was extended for simulating the two phase flow...
Evaluating Availability of Backend Logic in Enterprise Storage Systems
, M.Sc. Thesis Sharif University of Technology ; Asadi, Hossein (Supervisor)
Abstract
Data storage systems are an essential part of any Information Technology (IT) infrastructure. Unavailability of these systems can directly lead to service disruption to customers and can be very costly in enterprise applications such as ebanking, online reservation systems, and mobile services. Modeling availability of disk subsystem is a major step in design of data storage systems. Previous modeling techniques have mainly focused on data unavailability or data loss due to double or multiple disk failures. In this thesis, we present both simulation and analytical modeling techniques to investigate the effect of serviceability on the overall availability of disk subsystems. The proposed...
Evaluation of Seismic Criteria and Random Parameters on Fragility Curves of RC Frames
, Ph.D. Dissertation Sharif University of Technology ; Bakhshi, Ali (Supervisor)
Abstract
There are many parameters which are utilized to obtain a more reasonable performance for structures under earthquake excitations in seismic provisions. It is well recognized that the main character to design of structures under seismic excitation is probabilistic rather than deterministic; therefore, it should be determined if the probability of structural damages is decreased when such parameters change in design of structures. In this thesis, fragility curves are developed in order to evaluate these parameters. Fragility curves are employed for various probability parameters. These diagrams are utilized to demonstrate when a coefficient or a number of parameters are used to improve...
A Reconfigurable Architecture Using Non-voltatile Memories
, M.Sc. Thesis Sharif University of Technology ; Asadi, Hossein (Supervisor)
Abstract
In recent years, emerging Non-Volatile Memories (NVMs) have become promising alternatives for existing memory technologies. Due to shortcomings of SRAM memory in nanometer era,NVMs such as Phase-Change Memory (PCM) can be used in configuration memories of Field-Programmable Gate Arrays (FPGAs). Despite prominent features of emerging NVMs, they suffer from high write-power, high write-latency, and limited number of reliable write opera-tions. In addition, a dedicated Peripheral Circuit (PC) which is required to convert the NVM state to the equivalent voltage level can impose significant area and power overheads to FPGAs.In this thesis, a reliable power-efficient hybrid architecture employing...
Performance Enhancement of Enterprise Storage Systems Using a Markov-Based Prefetching Method
, M.Sc. Thesis Sharif University of Technology ; Asadi, Hossein (Supervisor)
Abstract
With increasing rate of digital information in the world, design, configuration, and networking of enterprise storage systems has become an essential part in designing data centers. The performance of data storage systems in serving incoming requests is one of the major parameters of such systems. A major metric to measure performance is response time. This parameter is, in particular, crucial in enterprise applications such as financial, credit, multimedia, and real-time applications. A common approach to enhance the performance of enterprise storage systems is improving the hit ratio of the system global memory using prefetching technique. Using prefetching technique, a data block is...
Management of Storage Resources, Power, and Performance in Enterprise Storage Systems Using Prefetching Method
, M.Sc. Thesis Sharif University of Technology ; Asadi, Hossein (Supervisor)
Abstract
Nowadays, enterprise storage systems are widely used in data centers such as databases, servers, and bank institutes. Due to mechanical activity of disk drives, these systems are one of the most power consumptive components in data centers. Prefetching and RAID, which are employed to enhance performance, are widely used in data storage systems. These two methods, however, impose significant energy overhead to the system due to the increased disk activity. In this thesis, we first elaborate shortcomings of prefetching and RAID methods. Then, we propose a new energy efficient and RAID-compatible prefetching method (LPTAP), which aims at improving performance and energy consumption. To evaluate...
Evaluating Impact of Erasure Codes on Performance and Endurance of SSD-Based RAID Array
, M.Sc. Thesis Sharif University of Technology ; Asadi, Hossein (Supervisor)
Abstract
Performance and reliability are the major concerns in design of data storage systems. Using Redundant Array of Independent Disks (RAID) can enhance both performance and reliability. A commonly used configuration in RAID arrays is erasure codes to further enhance system reliability. Due to promising advantages of Solid-State Drives (SSDs)such as low power, shock resistance, and high I/O performance, designers have been encouraged to replace Hard Disk Drives (HDDs) by SSDs in RAID arrays. SSDs, however, suffer from limited endurance due to erase-before-write operation.In this thesis, we investigate the effect of stripe unite size and the number of disks of a RAID array on the endurance of SSDs...
Improving Security of Flash-Based Solid State Disks
, M.Sc. Thesis Sharif University of Technology ; Asadi, Hossein (Supervisor)
Abstract
One of the most intrinsic challenges of flash-based Solid State Drives (SSDs) is erasebefore-write limitation and the limited endurance of flash chips. Wear leveling and garbage collection are two mechanisms implemented in SSD’s controller to enhance endurance and performance. While wear leveling attempts to distribute erasures across all blocks in an even manner, it imposes a new security challenge on SSD,which leads to the presence of invalid data blocks in flash chips. Therefore, some data blocks that are logically deleted by the user are still available in flash chips and can be recovered by software or hardware recovery tools.
In this paper, a new criteria named vulnerability time...
In this paper, a new criteria named vulnerability time...
A Detailed Finite Element Model of the Lumbar Spine under Muscle Forces
, M.Sc. Thesis Sharif University of Technology ; Arjmand, Navid (Supervisor)
Abstract
Etiological studies proves the fact that Low Back Pain (LBP) is one of the most expensive and prevalent desease all over the world. This fact illustrates the reqiurment of the special effort in ordet to reducing the pain due to this problem. Finite element modeling of human spine is one the suitable methods to simulate the behavior of human spine in different loading conditions. These conditions could be different daily occupational tasks. There is two general viewpoint toward finite element modeling of human spine. The fisrt method focuses on the detailed geometry and mechanical properties of spine, while the other complexities such as detailed muscle forces are overlooked. The latter...
An Efficient Routing Method to Reduce Aging Effect in Reconfigurable Devices
, M.Sc. Thesis Sharif University of Technology ; Asadi, Hossein (Supervisor)
Abstract
Signifcant downscaling of CMOS technology to provide high performance along with low power consumption has been accompanied by reliability degradations such as increased noise sensitivity and reliability concern due to aging phenomena (transient and permanent failuers). In this regard, with huge number of configuration bits, Field-Programmable Gate Arrays (FPGAs) are more susceptible to aging since aging not only degrades the performance, but also it may additionally result in corrupting the configuration cells and thus causing permanent circuit malfunctioning. While several works have investigated the aging effects in Look-Up Tables (LUTs), the routing fabric of these devices is seldom...
A Power-efficient Architecture for SRAM-based FPGAs Using Reconfigurable Hard Logic Design in Dark Silicon Era
, M.Sc. Thesis Sharif University of Technology ; Asadi, Hossein (Supervisor)
Abstract
Significant increase of static power with downscaling of transistor feature size and threshold voltage has lead to the end of Dennard scaling. This obstacle has put a Power Wall to further integration of CMOS technology in Field Programmable Gate Arrays (FPGAs). An efficient solution to cope with this obstacle is to apply power gating to the inactive fractions of a single die, referred to as Dark Silicon. Previous studies employing power gating on SRAM-based FPGAs have primarily focused on using large-input Look-up Tables (LUTs) which suffer from poor logic utilization, and subsequently, limiting the benefits of power gating techniques. This thesis proposes a heterogeneous Power-Efficient...
An Efficient Reconfigurable Architecture in Embedded Processors
, M.Sc. Thesis Sharif University of Technology ; Asadi, Hossein (Supervisor)
Abstract
Nowadays, embedded processors are widely used in wide range of domains from low-power to safety-critical applications. By providing prominent features such as variant peripheral support and flexibility to partial or major design modifications, Field-Programmable Gate Arrays (FPGAs) are used in industry for implementing either an entire embedded system or a Hardware Description Language (HDL)-based processor, known as soft-core processor. FPGA-based designs, however, suffer from high power consumption, large die area, and low performance that hinders common use of soft-core processors. In this thesis, we present an efficient reconfigurable architecture to implement embedded processors in...
Multi directional forging of 2024 Al alloy after different heat treatments: Microstructural and mechanical behavior
, Article Transactions of the Indian Institute of Metals ; 2016 , Pages 1-13 ; 09722815 (ISSN) ; Kazeminezhad, M ; Sharif University of Technology
Springer India
2016
Abstract
Improvement of mechanical properties and microstructure of 2024 aluminum alloy by performing a severe plastic deformation method, called multidirectional forging (MDF), and heat treatment was the aim of this research. In this work, the effects of different heat treatments such as annealing, solid solution, peak ageing and over ageing before MDF on mechanical properties and microstructure of the alloy were studied. Microstructure evolution during severe plastic deformation was considerably affected by the precipitates and non-shearable particles. On the other hand, the severe plastic deformation had different effects on precipitates in the microstructure. Fragmentation, scattering and...
Modeling and Analysis of the Factors Influencing the Crash-injury Severities in Iran
, M.Sc. Thesis Sharif University of Technology ; Samimi, Amir (Supervisor)
Abstract
Traffic safety is one of the fundamental part of the transportation planning which is led to lowest the number of crashes and its following consequences by in-depth studying. Thus, determining the severity of accidents, including damage, injury and fatal injury is very important. The aim of this study is analysis of the accident-injury severities in single-vehicle and multi-vehicle crashes and providing the policies in Iran. The approach used in this study to select the most effective parameters of the injury-severity is based on the data gathered in Iran Road Maintenance and Transportation Organization during the year 2011. Accident probabilistic model based on analysis of relations among...
Utilizing mixed methods research in analyzing Iranian researchers' informarion search behaviour in the web and presenting the current pattern
, Article Iranian Journal of Information Processing Management ; Volume 31, Issue 1 , 2015 , Pages 27-57 ; 22518223 (ISSN) ; Hariri, N ; Sharif University of Technology
Iranian Research Institute for Scientific Information and Documentation
2015
Abstract
Using mixed method research the current study has analyzed Iranian researchers' information searching behavior on the Web. Based on extracted concepts, the model of their information searching behavior was revealed. Forty-four participants, including academic staff from universities and research centers were recruited for this study selected by purposive sampling. Data were gathered from questionnaires including ten questions and semi-structured interview. Each participant's memos were analyzed using grounded theory methods adapted from Strauss & Corbin (1998). Results showed that the main objectives of subjects were doing a research, writing a paper, studying, doing assignments, downloading...