Loading...
Search for:
ghaffarian-salehi-nezhad--ali
0.266 seconds
Total 3201 records
Robust Modeling to Improve Reliability in Series-Parallel Systems with Redundancy Allocation
, M.Sc. Thesis Sharif University of Technology ; Eshraghniaye Jahromi, Abdolhamid (Supervisor)
Abstract
In general, reliability is the ability of a system to perform and maintain its functions in routine circumstances, as well as hostile or unexpected circumstances. Redundancy Allocation Problem (RAP) is a combinatorial problem where it is going to maximize system reliability by discrete selection from available components. The main purpose of this study is to prove the effectiveness of robust optimization to solve RAP. Generally, robust optimization is a field of optimization theory where robustness is sought against uncertainty and/or variability of parameters' values. In this study it is assumed to have Erlang distribution density for components' failures where to implement robust...
Investigation of Nano Scale Cementite Workability by Using Molecular Dynamics Simulation
, Ph.D. Dissertation Sharif University of Technology ; Karimi Taheri, Ali (Supervisor)
Abstract
In this study, the nano-scale deformation mechanism of cementite was investigated with aid of Molecular dynamics (MD) simulation using MEAM potential. For this purpose, flow localization was evaluated in various structures such as single crystal cementite, nanocrystalline (NC) cementite, and lamellar cementite at various temperatures and different stress conditions. In order to understand the deformation mechanism in the cementite single crystal, two cylindrical samples with 15 nm length and 5 nm diameter oriented along [001] and [011] were constructed. The result of tensile test simulation at 100 K, 300 K, 700 K and 1100 K revealed that the deformation mechanism in single crystal cementite...
Model Checking of Timed Activity Networks
, M.Sc. Thesis Sharif University of Technology ; Movaghar, Ali (Supervisor)
Abstract
In recent years, we have seen the proliferation of real-time and time-dependent systems. They have increased both in number and in complexity. Due to their increasing complexity, we need to model them and become assured of their correctness. Several formalisms have been devised for time-dependent systems. They include timed automaton and timed extensions of Petri nets. Our focus is on timed extension of activity networks and its model checking. Activity networksare powerful formalisms which allow designers to model the system in a natural, small and conceivable manner. This way, timed extension of activity networks can greatly help modelers. In this thesis, we propose a method to specify the...
Evaluation of Seismic Performance of Composite Moment Frame with Steel-Concrete Composite Column and Steel Beam Utilizing Fragility Curves
, M.Sc. Thesis Sharif University of Technology ; Bakhshi, Ali (Supervisor)
Abstract
The purpose of this research is to investigate the seismic behavior of plane moment resisting frame consisting of steel-concrete columns and steel I beams utilizing fragility curves. Due to the great influence of the column type in seismic performance of structure. To reach an optimal system, different types of steel-concrete composite columns has been used in the models and the fragility curve of each one is compared. Steel-Concrete composite columns can be divided into three types: (1) concrete filled steel tube (CFT), (2) steel reinforced concrete (SRC) and (3) new combinations of (1) and (2). Due to the abundance of the use of concrete filled steel tube (CFT) and steel reinforced...
Study on Electromigration Phenomenon and Lifetime Estimation of Integrated Circuits
, M.Sc. Thesis Sharif University of Technology ; Medi, Ali (Supervisor)
Abstract
Estimating the life-time of electronic devices has always been an important issue in their mass production. Nowadays, electronic chips are widely used due to technological advances and due to their smaller size. They may be more likely to break down because of their complexity. Therefore, estimating their life-time has received much attention. In the first chapters of this thesis, the concepts and standards that exist in the field of reliability and the life expectancy of electronic devices are discussed. There are many reasons for chip failure, which are beyond the scope of this thesis but what is known as the most important cause of failure which is named electromigration has been...
Evaluation of the Methods of Circular Tunnels Lining Design Under Seismic Loads
,
M.Sc. Thesis
Sharif University of Technology
;
Paak, Ali
(Supervisor)
Abstract
The use of public transportation in metropolises has developed due to the increase in the population and the need for within-city transportation. Among public transportation service, the use of city subways has attracted more public interest due to its speed, safety, and matching with the environment. Also, one solution for reducing the between-city transit distances,decreasing the accidents and above all, saving the time of the travel is building tunnels and underground lines. Design and construction of underground structures (tunnels),in comparison with surfacestructures, has more complex conditions and considerations that require special studies. One challenging problem fortunnel...
Fasting and Finance: The Impact of Daylight Hours during Ramadan on Global Stock Market Returns
, M.Sc. Thesis Sharif University of Technology ; Ebrahimnejad, Ali (Supervisor)
Abstract
This paper examines the impact of Ramadan fasting hours on stock market returns across 59 countries during the period 1980–2011. Exploiting cross-country variation in geographic latitude and daylight duration as an exogenous source of fasting intensity, we identify behavioral mechanisms underlying market performance during Ramadan. The results indicate that longer fasting hours are generally associated with lower monthly and annual returns. However, in Muslim-majority countries, this adverse effect is mitigated and, in some cases, reversed into positive returns. Seasonal analyses further reveal that the positive impact is more pronounced during summer months, and that extended fasting hours...
CodedSketch: Coded distributed computation of approximated matrix multiplication
, Article 2019 IEEE International Symposium on Information Theory, ISIT 2019, 7 July 2019 through 12 July 2019 ; Volume 2019-July , 2019 , Pages 2489-2493 ; 21578095 (ISSN); 9781538692912 (ISBN) ; Maddah Ali, M. A ; Sharif University of Technology
Institute of Electrical and Electronics Engineers Inc
2019
Abstract
In this paper, we propose CodedSketch, as a distributed straggler-resistant scheme to compute an approximation of the multiplication of two massive matrices. The objective is to reduce the recovery threshold, defined as the total number of worker nodes that the master node needs to wait for to be able to recover the final result. To exploit the fact that only an approximated result is required, in reducing the recovery threshold, some sorts of pre-compression are required. However, compression inherently involves some randomness that would lose the structure of the matrices. On the other hand, considering the structure of the matrices is crucial to reduce the recovery threshold. In...
CodedSketch: A coding scheme for distributed computation of approximated matrix multiplication
, Article IEEE Transactions on Information Theory ; Volume 67, Issue 6 , 2021 , Pages 4185-4196 ; 00189448 (ISSN) ; Maddah Ali, M. A ; Sharif University of Technology
Institute of Electrical and Electronics Engineers Inc
2021
Abstract
In this paper, we propose CodedSketch, as a distributed straggler-resistant scheme to compute an approximation of the multiplication of two massive matrices. The objective is to reduce the recovery threshold, defined as the total number of worker nodes that the master node needs to wait for to be able to recover the final result. To exploit the fact that only an approximated result is required, in reducing the recovery threshold, some sorts of pre-compression are required. However, compression inherently involves some randomness that would lose the structure of the matrices. On the other hand, considering the structure of the matrices is crucial to reduce the recovery threshold. In...
Berrut Approximated Coded Computing: Straggler Resistance beyond Polynomial Computing
, Article IEEE Transactions on Pattern Analysis and Machine Intelligence ; Volume 45, Issue 1 , 2023 , Pages 111-122 ; 01628828 (ISSN) ; Maddah Ali, M. A ; Sharif University of Technology
IEEE Computer Society
2023
Abstract
One of the major challenges in using distributed learning to train complicated models with large data sets is to deal with stragglers effect. As a solution, coded computation has been recently proposed to efficiently add redundancy to the computation tasks. In this technique, coding is used across data sets, and computation is done over coded data, such that the results of an arbitrary subset of worker nodes with a certain size are enough to recover the final results. The major drawbacks with those approaches are (1) they are limited to polynomial functions, (2) the number of servers that we need to wait for grows with the degree of the model, (3) they are not numerically stable for...
Numerical Simulation of Aerocyclone Performance and Effect of Body Profile
, M.Sc. Thesis Sharif University of Technology ; moosavi, Ali (Supervisor) ; noori brojerdi, Ali (Supervisor)
Abstract
A gas cyclone is a fixed mechanical device that uses centrifugal force to separate solid particles from gas. Gas containing particles is brought tangentially into the cyclone. This results in the development of a vortex, which applies strong centrifugal forces to the particles. The larger particles move toward the outer wall of the system as a result of centrifugal forces. gases spiral down from a tangential inlet towards the conical section, where the flow is reversed and the particles are collected in a hopper. The gas phase then proceeds upward in an inner vortex towards the gas exit via the vortex finder.
In this study swirling flow of two-phase gas-solid in cyclone separator is...
In this study swirling flow of two-phase gas-solid in cyclone separator is...
A four-phase algorithm to improve reliability in series-parallel systems with redundancy allocation
, Article Scientia Iranica ; Vol. 21, issue. 3 , 2014 , p. 1072-1082 ; Eshraghniaye Jahromi A ; Salmani, M. H ; Ghasemi, F ; Sharif University of Technology
2014
Abstract
In general, reliability is the ability of a system to perform and maintain its functions in routine, as well as hostile or unexpected, circumstances. The Redundancy Allocation Problem (RAP) is a combinatorial problem which maximizes system reliability by discrete simultaneous selection from available components. The main purpose of this study is to develop an effective approach to solve RAP, expeditiously. In this study, the basic assumption is considering Erlang distribution density for component failure rates. Another assumption is that each subsystem can have one of cold-standby or active redundancy strategies. The RAP is a NP-Hard problem which cannot be solved in reasonable time using...
An Investigation on Mechanical Properties of Mg-CNT Composites Produced using the Casting Process
, M.Sc. Thesis Sharif University of Technology ; Karimi Taheri, Ali (Supervisor)
Abstract
Since the discovery of nanomaterials, the nanotubes have found special considerations. The high strength beside the low density, have attracted the interest of the scientists and engineers. Nowadays, one of the common methods to produce composites with high specific strength is to utilize of the nanotubes in the matrix of lightweight metals and alloys such as magnesium and aluminum. Recent researches indicate that very limited focus has been given to the production and properties of the magnesium - carbon nanotube composites and their workability. In this research, magnesium alloy - carbon nanotube composite is produced by casting method and its strength and workability are investigated as...
An implicit dual-time stepping spectral difference lattice Boltzmann method for simulation of viscous compressible flows on structured meshes
, Article Meccanica ; Volume 54, Issue 10 , 2019 , Pages 1561-1581 ; 00256455 (ISSN) ; Hejranfar, K ; Sharif University of Technology
Springer Netherlands
2019
Abstract
In this work, the spectral difference lattice Boltzmann method (SDLBM) is extended and applied for accurately computing two-dimensional viscous compressible flows on structured meshes. Here, the compressible form of the discrete Boltzmann-BGK equation with the Watari model is considered and the numerical solution of the resulting LB equation is obtained by using the spectral difference method. The main benefit of the use of the LB method in simulating compressible flows is that a same formulation can be applied to compute the inviscid and viscous portions of the flowfield. Note that the LB formulation for simulating the viscous flows is the same as that used for the inviscid ones, however,...
Spectrum Sensing Algorithm and Implementation for Cognitive Radio Applications
, M.Sc. Thesis Sharif University of Technology ; Fotowat Ahmadi, Ali (Supervisor)
Abstract
The continous growth of wireless networks, the increasing numbers of users and devices, along with the demand for higher data rates have intensified the frequency band limitations as the communication medium. In search for more efficient methods to use this limited resource, the cognitive radio approach that allocates the local unused frequency bands to potential users has attracted considerable attension.
A fundamental and unseperable part of any cognitive radio system is its need to search, detect and understand the surrounding frequency spectrum. Although various methods have been already propose to overcome the challenges of this domain, simpler and more reliable methods are still in...
A fundamental and unseperable part of any cognitive radio system is its need to search, detect and understand the surrounding frequency spectrum. Although various methods have been already propose to overcome the challenges of this domain, simpler and more reliable methods are still in...
Development of Spectral Difference Lattice Boltzmann Method for Solution of Compressible Flows
, Ph.D. Dissertation Sharif University of Technology ; Hejranfar, Kazem (Supervisor)
Abstract
In this research, the spectral difference lattice Boltzmann method (SDLBM) is developed and applied for an accurate simulation of two-dimensional (2D) inviscid and viscous compressible flows on the structured and unstructured meshes. The compressible form of the discrete Boltzmann-BGK equation is used in which multiple particle speeds have to be employed to correctly model the compressibility in a thermal fluid. Here, the 2D compressible Lattice Boltzmann (LB) model proposed by Watari is used. The spectral difference (SD) method is implemented for the solution of the LB equation in which the particle distribution functions are stored at the solution points while the fluxes are calculated...
An Empirical Research on the Task-Induced Involvement Load Hypothesis: A Case for International Learning
, M.Sc. Thesis Sharif University of Technology ; Jahangard, ALi (Supervisor) ; Salehi, Mohammad (Co-Advisor)
Abstract
Laufer and Hulstijn (2001) proposed the Task-Induced Involvement Load Hypothesis stating that in the retention of new words in an incidental context, tasks with higher involvement load will be more effective than tasks with lower involvement load. The present study aimed to examine whether the retention of vocabulary is enhanced with an increase in the amount of task-induced involvement load in an intentional learning environment. Moreover, it was investigated whether proficiency level of learners had a role in the effectiveness of the vocabulary tasks with different involvement loads. Four groups of university students, male and female, participated in the study. They were given a TOEFL...
Development and Validation of an EFL Self-Regulated Learning Questionnaire
, M.Sc. Thesis Sharif University of Technology ; Salehi, Mohammad (Supervisor) ; Rahimi, Ali (Co-Advisor)
Abstract
Self-regulated learning, though having swept educational psychology's literature like a tidal wave (Boekaerts, 1999), and also, compared to other constructs such as metacognition and learning strategies, has remained comparatively uncharted in L2 research. One preliminary step to chart this concept is to develop questionnaires for it. With these and other things in mind, the principal purpose of this study was to develop a questionnaire in English and Persian to measure self-regulated language learning capacity and behavior of Iranian EFL learners. The development of the questionnaire was guided by two pilots (412 participants), content validation through expert judgment, cognitive...
The Development of a Computerized Adaptive Software to Test Written Receptive Vocabulary Knowledge of Foreign Language Learners
, M.Sc. Thesis Sharif University of Technology ; Salehi, Mohammad (Supervisor) ; Jahangard, Ali (Supervisor)
Abstract
Regardless of the extensive research on different aspects of vocabulary and the great emphasis that leading scholars (Meara, 1996; Nation, 990; Read, 1988) placed on the significance of the number of words a learner knows as a substantial component in language learning and vocabulary learning, few investigations have been conducted regarding the size of the vocabulary each language learner knows (Nation, 2012). In addition, Nation (2012) debates the need to combine modern technology and language testing. Therefore, it is necessary to provide innovative methods of testing this knowledge. The present study developed the Computerized Adaptive Test (CAT) of Nation and Beglar’s (2007) Vocabulary...
Fault Diagnosis in Power Systems by Wide-area Measurement System
, Ph.D. Dissertation Sharif University of Technology ; Ranjbar, Ali Mohammad (Supervisor)
Abstract
A power transmission system includes transmission lines that are interconnected for economic and security reasons. Power systems are often prone to faults at the transmission level, since transmission lines are spread over vast geographical areas. Being the most serious events in power systems, blackouts are often initiated by a fault and a sequence of events afterward leads to partial or complete power outage. In this condition, fault diagnosis is the first step for power system restoration. In this research work, a new approach utilizing impedance-based fault location is introduced for fault diagnosis. By developing wide-area measurements in the context of smart grids, accurate...