Loading...
Search for:
baharvand--mina
0.099 seconds
ANMR: aging-aware adaptive N-modular redundancy for homogeneous multicore embedded processors
, Article Journal of Parallel and Distributed Computing ; Volume 109 , 2017 , Pages 29-41 ; 07437315 (ISSN) ; Miremadi, S. G ; Sharif University of Technology
2017
Abstract
Advances in semiconductor technology have made integration of multiple processing cores into one single die a promising trend towards increasing processing performance, lowering power consumption, and increasing reliability for embedded systems. Multicore processors, due to their intrinsic redundancies, are good choices for critical embedded systems for which the reliability is a crucial component. In this paper, an aging-aware adaptive fault tolerance method for DVFS-enabled multicore processors is presented. The analytical results show 3 to 6 order of magnitude increase in reliability of the system without addition of cores or redundant software. By using an aging-aware approach, the...
LEXACT: low energy n-modular redundancy using approximate computing for real-time multicore processors
, Article IEEE Transactions on Emerging Topics in Computing ; 2017 ; 21686750 (ISSN) ; Ghassem Miremadi, S ; Sharif University of Technology
2017
Abstract
Multicore processors are becoming popular in safety-critical applications. A series of these applications comprises of kernels where inexact computations may produce results within the boundary of sufficient quality though, for which the reliability should stay at the maximum possible level. Intrinsic core-level redundancy in multicore processors can be leveraged to achieve the desired reliability level in form of N-modular redundancy (NMR). While NMR provides a proactive means of reliability for critical systems, it has two main drawbacks: Increase in the area and energy consumption that are both limiting factors in the embedded systems. This paper presents a software-based method to...
LEXACT: low energy n-modular redundancy using approximate computing for real-time multicore processors
, Article IEEE Transactions on Emerging Topics in Computing ; Volume 8, Issue 2 , 2020 , Pages 431-441 ; Miremadi, S. G ; Sharif University of Technology
IEEE Computer Society
2020
Abstract
Multicore processors are becoming popular in safety-critical applications. A series of these applications comprises of kernels where inexact computations may produce results within the boundary of sufficient quality though, for which the reliability should stay at the maximum possible level. Intrinsic core-level redundancy in multicore processors can be leveraged to achieve the desired reliability level in form of N-modular redundancy (NMR). While NMR provides a proactive means of reliability for critical systems, it has two main drawbacks: Increase in the area and energy consumption that are both limiting factors in the embedded systems. This paper presents a software-based method to...
Study Optimum Conditions and Proper Packaging of Amylase
, M.Sc. Thesis Sharif University of Technology ; Roosta Azad, Reza (Supervisor)
Abstract
In the world today, biological materials widely used are which requires proper packaging, the types of enzymes are used in various industries: food, pharmaceutical, cosmetics. Shelf Life of enzymes Limited and affected by internal and external factors a maximum of one year. Internal factors include water activity, pH, microbial flora, oxidation-reduction potential, chemistry and biochemistry products, product formulation, additives and the reaction with package. External factors such as relative humidity, light, gas atmosphere within the package, the storage conditions and temperature. Water activity and relative humidity are important factors in spoilage. Avoid drying, lipid reaction,...
Green supply chain network design considering inventory-location-routing problem: A fuzzy solution approach
, Article International Journal of Logistics Systems and Management ; Volume 35, Issue 4 , 2020 , Pages 436-452 ; Ashoftehfard, A ; Mina, H ; Sharif University of Technology
Inderscience Publishers
2020
Abstract
The growing rate of population and technological advancement have led to an increase in natural resource consumption, which has caused irreparable damage to the environment. The implementation of green supply chain management is one of the most effective ways to deal with environmental degradation. Therefore, in this paper, a bi-objective mixed integer linear programming model is developed to design a green supply chain network. In the proposed model, the possibility of customer storage, being faced with shortage, locating of distribution centres, green vehicle routing problem, split delivery, multi-depot vehicle routing problem (VRP), capacitated VRP, and uncertainty in demands will be...
A dynamic decision support system for sustainable supplier selection in circular economy
, Article Sustainable Production and Consumption ; Volume 27 , 2021 , Pages 905-920 ; 23525509 (ISSN) ; Tavana, M ; Mina, H ; Sharif University of Technology
Elsevier B.V
2021
Abstract
Supplier selection is an important and challenging problem in sustainable supply chain management. We propose a dynamic decision support system (DSS) for sustainable supplier selection in circular supply chains. Unlike the linear take-make-waste-dispose production systems, circular supply chains are nonlinear make-waste-recycle production systems with zero-waste vision. The proposed DSS allows users to customize and weight their economic, social, and circular criteria with a fuzzy best-worst method (BWM) and select the most suitable supplier with the fuzzy inference system (FIS). Machine learning is used to maintain and synthesize the criteria scores for the suppliers after each supplier...
A dynamic decision support system for sustainable supplier selection in circular economy
, Article Sustainable Production and Consumption ; Volume 27 , 2021 , Pages 905-920 ; 23525509 (ISSN) ; Tavana, M ; Mina, H ; Sharif University of Technology
Elsevier B.V
2021
Abstract
Supplier selection is an important and challenging problem in sustainable supply chain management. We propose a dynamic decision support system (DSS) for sustainable supplier selection in circular supply chains. Unlike the linear take-make-waste-dispose production systems, circular supply chains are nonlinear make-waste-recycle production systems with zero-waste vision. The proposed DSS allows users to customize and weight their economic, social, and circular criteria with a fuzzy best-worst method (BWM) and select the most suitable supplier with the fuzzy inference system (FIS). Machine learning is used to maintain and synthesize the criteria scores for the suppliers after each supplier...
Alumina feeding system changes in aluminum electrochemical cell with d18 technology for energy efficiency (Case study: Almahdi-hormozal aluminum smelter)
, Article 147th Annual Meeting and Exhibition of the Minerals, Metals and Materials Society, TMS 2018, 11 March 2018 through 15 March 2018 ; Volume Part F12 , 2018 , Pages 721-728 ; 23671181 (ISSN); 9783319725253 (ISBN) ; Samimi, A ; Baharvand, B ; Sharif University of Technology
Springer International Publishing
2018
Abstract
Aluminum reduction cells have benefited from point feeding technology for a long time, but there are still smelters which are using the old technology of center break and center feed system. Due to several factors this system is no longer approved and there have been a few attempts worldwide to upgrade these cells so as to implement the newer technology by applying mechanical and automation changes. In this paper we will present an attempt which was made in order to retrofit a so-called center break cell to point feeder cell. The results show that this project has decreased the energy consumption and anode effect frequency. Furthermore, there has been a significant increase in current...
A fuzzy solution approach to supplier selection and order allocation in green supply chain considering the location-routing problem
, Article Scientia Iranica ; Volume 28, Issue 1 E , 2021 , Pages 446-464 ; 10263098 (ISSN) ; Haji, A ; Mina, H ; Sharif University of Technology
Sharif University of Technology
2021
Abstract
In the eld of supply chain, selecting a suitable green supplier could signi cantly help us decrease the cost and risks of the operations and increase the quality of green supply. This paper develops an integrated two-stage approach based on Fuzzy Analytic Hierarchy Process (FAHP) and multi-objective mixed-integer linear programming to select suppliers and allocate order in the green supply chain. In the rst stage, suppliers are evaluated using FAHP method and in the second stage, a multi-product multi-period supply chain is developed considering green location-routing problem, discounting, and time window under uncertainty. Then, a fuzzy solution approach is applied to solve the proposed...
A green closed-loop supply chain network: A bi-objective mixed integer linear programming model
, Article International Journal of Operational Research ; Volume 41, Issue 4 , 2021 , Pages 492-513 ; 17457645 (ISSN) ; Salehian, F ; Lamouchi, H ; Mina, H ; Sharif University of Technology
Inderscience Publishers
2021
Abstract
The increasing level of customer awareness and application of environmental laws by governments, on the one hand, and the increasing number of competitors, on the other hand, has obliged industry owners to include green activities in the design of the supply chain network. Green activities include any type of action that reduces environmental degradation. Hence, this study seeks to develop a bi-objective, mixed integer linear programming (MILP) model for designing a green supply chain network. In the proposed model, the minimisation of costs and detrimental environmental effects are discussed. LP metric method is used to solve the bi-objective model and the proposed model is run by using...
Using Supported Ionic Liquid Membranes (SILMs) for Selective Separation of CO2/CH4
, M.Sc. Thesis Sharif University of Technology ; Rashtchian ,Davood (Supervisor) ; Adibi, Mina (Supervisor)
Abstract
Supported Ionic Liquid Membranes (SILMs) are fabricated by saturating the pores of a porous support with ionic liquids. To assess the performance of SILMS, it is necessary to obtain data about the properties of ionic liquids such as diffusivity, solubility, and etc. To accomplish this task, in this project the permeability and diffusivity of CO2 and CH4 through three immidazolium-based ionic liquids: [bmim][PF6], [hmim][Tf2N], and "1-methyl-3-(3- tri methoxi silil propyl) imidazolium bis (tri fluoro methyl solphonyl)" , in the temperature range between 27-45 ℃ and pressures within 10-50 kPa, are measured. It is shown in data validation section that the results of this study are in good...
Optimization of Production of Biodiesel
,
M.Sc. Thesis
Sharif University of Technology
;
Rashtchian, Davood
(Supervisor)
;
Adibi, Mina
(Supervisor)
Abstract
Reduction in the oil reserves level and the increasing of fossil fuel prices and GHG has led to growing value of attention to biodiesel. Reserves of fossil fuels are running out and should have proper alternative for them. Environmental benign and renewable properties of biodiesel make it consider suitable candidate to replace fossil fuels.
In this study, continuous production of biodiesel and optimization of important and influential parameters have been investigated. The method is concluded of trans esterification of soya oil with methanol as feed in presence of homogeneous catalyst of NaOH. The reactor was simple with high efficiency and low operational and investment cost. The...
In this study, continuous production of biodiesel and optimization of important and influential parameters have been investigated. The method is concluded of trans esterification of soya oil with methanol as feed in presence of homogeneous catalyst of NaOH. The reactor was simple with high efficiency and low operational and investment cost. The...
Automated Code Reviewer Recommendation for Pull Requests
, M.Sc. Thesis Sharif University of Technology ; Heydarnoori, Abbas (Supervisor)
Abstract
Nowadays, by distributed software development growth based on pull-requests, it is possible to review code changes before integrating into the master program by a third-party, informally and tool-based which is called Modern Code Review (MCR). Effectively performing MCR can facilitate the software evolution phase through reducing post-release defects. In MCR, after sending the pull request, the developer invites appropriate reviewers to inspect his code. Due to the high volume of requests and potential reviewers in many projects, selecting the appropriate reviewer is difficult and time consuming. Previously, a variety of recommender systems have been proposed that use methods based on...
Process Design of Ionic Liquid-Based CO2 Capture with Consideration of Economic and Environmental Issues
, M.Sc. Thesis Sharif University of Technology ; Rashtchian, Davood (Supervisor) ; Adibi, Mina (Co-Supervisor)
Abstract
Concerns have increased about global warming caused by CO2 emissions in the atmosphere. At the moment, carbon capture and storage is the best available solution. Among the current technologies for CCS, amine-based chemical absorption appears to be the most common method. Amines show several inherent drawbacks such as high vapor pressure, high energy consumption in regeneration, corrosivity and degradability. So, researchers have developed new solvents with the foresight of being superior to amines. Ionic liquids (ILs) are among the most suitable alternatives. The most prominent feature of ILs is their tunable thermophysical properties. In this work, physical absorption by ILs is chosen as...
The Study of Antioxidant Mechanism of some Flavonoids without and in Presence of Cyclodextrins: Theoretical Point of View
, Ph.D. Dissertation Sharif University of Technology ; Tafazzoli, Mohsen (Supervisor) ; Ghiasi, Mina (Co-Supervisor)
Abstract
Antioxidants are compounds with anti-cancer, anti-bacterial, anti-viral, anti-aging and anti-allergic properties. In the present study, a quantum mechanical approach has been used to shed light on the presence effect of glycoside group on the antioxidant ability of chrysin as one of the most important consumable flavonoids and two glycoside derivatives, chrysin-6-C-fucopyranoside and chrysin-3-malonyl-6-C-fucopyranoside which has electron-withdrawing group (EWG) in its C3 of glycoside group. Density functional theory (DFT) using B3LYP and UB3LYP functional and split-valance 6-311++G ** basis set were used to optimize chrysin, its different derivatives, and their radicals. Analysis of...
TAMER: an adaptive task allocation method for aging reduction in multi-core embedded real-time systems
, Article Journal of Supercomputing ; 2020 ; Rohbani, N ; Baharvand, F ; Farbeh, H ; Sharif University of Technology
Springer
2020
Abstract
Technology scaling has exacerbated the aging impact on the performance and reliability of integrated circuits. By entering into nanotechnology era in recent years, the power density per unit of area has increased, which leads to a higher chip temperature. Aging in a chip is originated from multiple phenomena; all of them are intensified by increased temperature. Several circuit- and architecture-level schemes tried to mitigate the aging in the literature. However, these schemes are not sufficient for multi-core systems due to their unawareness of the unique constraints and features of these platforms. In this paper, we propose a system-level aging mitigation method, so-called Adaptive Task...
TAMER: an adaptive task allocation method for aging reduction in multi-core embedded real-time systems
, Article Journal of Supercomputing ; Volume 77, Issue 2 , 2021 , Pages 1939-1957 ; 09208542 (ISSN) ; Rohbani, N ; Baharvand, F ; Farbeh, H ; Sharif University of Technology
Springer
2021
Abstract
Technology scaling has exacerbated the aging impact on the performance and reliability of integrated circuits. By entering into nanotechnology era in recent years, the power density per unit of area has increased, which leads to a higher chip temperature. Aging in a chip is originated from multiple phenomena; all of them are intensified by increased temperature. Several circuit- and architecture-level schemes tried to mitigate the aging in the literature. However, these schemes are not sufficient for multi-core systems due to their unawareness of the unique constraints and features of these platforms. In this paper, we propose a system-level aging mitigation method, so-called Adaptive Task...
Gene Selection and Reduction in DNA Microarrays to Improve Classification Accuracy of Cancerous Samples
, M.Sc. Thesis Sharif University of Technology ; Rabiee, Hamid Reza (Supervisor)
Abstract
DNA Microarray is the state-of-the-art technology in analyzing gene expression data. It has made it possible to measure expression levels of thousand of genes simultaneously. Microarray classification has been widely used in effective diagnosis of cancers and some other biological diseases. But the most challenging issue is the intense asymmetry between the dimensionality of genes and tissue samples which can wreck the classification performance. This dissertation will focus on gene selection and reduction solutions and presents a novel classification scheme which uses both gene selection and dimension reduction in its different stages. We have improved one of the recently proposed topology...
A novel fuzzy multi-objective circular supplier selection and order allocation model for sustainable closed-loop supply chains
, Article Journal of Cleaner Production ; 10 March , 2020 ; Tavana, M ; Alavi, B ; Mina, H ; Sharif University of Technology
Elsevier Ltd
2020
Abstract
Maximizing the value of resources and producing less waste are strategic decisions affecting sustainability and competitive advantage. Sustainable closed-loop supply chains (CLSCs) are designed to minimize waste by circling back (repairing, reselling, or dismantling for parts) previously discarded products into the value chain. This study presents a novel two-stage fuzzy supplier selection and order allocation model in a CLSC. In Stage 1, we use the fuzzy best-worst method (BWM) to select the most suitable suppliers according to economic, environmental, social, and circular criteria. In Stage 2, we use a multi-objective mixed-integer linear programming (MOMILP) model to design a...
Medical waste management during coronavirus disease 2019 (COVID-19) outbreak: A mathematical programming model
, Article Computers and Industrial Engineering ; Volume 162 , December , 2021 ; 03608352 (ISSN) ; Khalili Nasr, A ; Mostafazadeh, P ; Mina, H ; Sharif University of Technology
Elsevier Ltd
2021
Abstract
Municipal solid waste (MSW) directly impacts community health and environmental degradation; therefore, the management of MSW is crucial. Medical waste is a specific type of MSW which is generally divided into two categories: infectious and non-infectious. Wastes generated by coronavirus disease 2019 (COVID-19) are classified among infectious medical wastes; moreover, these wastes are hazardous because they threaten the environment and living organisms if they are not appropriately managed. This paper develops a bi-objective mixed-integer linear programming model for medical waste management during the COVID-19 outbreak. The proposed model minimizes the total costs and risks, simultaneously,...