Loading...
Search for: salehi-sichani--ali
0.147 seconds

    Modeling of Acid Transport in Fractured Porous Media Using Extended Finite Element Method

    , M.Sc. Thesis Sharif University of Technology Salehi Sichani, Ali (Author) ; Khoei, Amir Reza (Supervisor)
    Abstract
    Modeling and simulation of acid transport in fractured porous medium and the formation of wormholes are the main goals of this dissertation. Injection of acid in rocks is one of the enhanced oil recovery methods which is extensively used in industry. The flow of acid in a porous medium produces a highly permeable path which is called wormholes. The formation of these wormholes is dependent on parameters of rock, acid and injection properties. As a result, simulation and prediction of this phenomenon are very important for optimization. Some researches developed methods to model this phenomenon in porous media but few of them investigated discontinuities in a medium. This research uses... 

    Security of Wireless Ad Hoc Networks

    , M.Sc. Thesis Sharif University of Technology HajSalehi Sichani, Mohsen (Author) ; Movaghar, Ali (Supervisor)
    Abstract
    Nowadays wireless technology is widespread all over the world and there is a competition among companies to provide the most secure and high range wireless networks for their customers. This thesis focuses on the security of wireless ad hoc networks. There are lots of different encryption algorithms for securing wireless ad hoc networks. Some of the most important are: WEP, TKIP, WPA, WPA2. All other encryption methods of wireless ad hoc networks are derived from these methods. This thesis focuses on WEP and WPA2. For both algorithms, a literature review is conducted, a new approach to cracking is suggested, and tested on real data, and the future works are mentioned. For WEP, which is an... 

    Model Checking of Timed Activity Networks

    , M.Sc. Thesis Sharif University of Technology Salehi, Mehdi (Author) ; 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 Salehi, Mohsen (Author) ; 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 Salehi, Mohammad (Author) ; 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... 

    A new analysis of RC4: A data mining approach (J48)

    , Article SECRYPT 2009 - International Conference on Security and Cryptography, Proceedings, 7 July 2009 through 7 October 2009, Milan ; 2009 , Pages 213-218 ; 9789896740054 (ISBN) HajSalehi Sichani, M ; Movaghar, A ; Sharif University of Technology
    2009
    Abstract
    This paper combines the cryptanalysis of RC4 and Data mining algorithm. It analyzes RC4 by Data mining algorithm (J48) for the first time and discloses more vulnerabilities of RC4. The motivation for this paper is combining Artificial Intelligence and Machine learning with cryptography to decrypt cyphertext in the shortest possible time. This analysis shows that lots of numbers in RC4 during different permutations and substitutions do not change their positions and are fixed in their places. This means KSA and PRGA are bad shuffle algorithms. In this method, the information theory and Decision trees are used which are very powerful for solving hard problems and extracting information from... 

    Numerical Simulation of Aerocyclone Performance and Effect of Body Profile

    , M.Sc. Thesis Sharif University of Technology Salehi, Masood (Author) ; 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... 

    Multi Agent Systems for Modeling the Opinion Formation Phenomenon in Complex Dynamical Networks

    , M.Sc. Thesis Sharif University of Technology Askari Sichani, Omid (Author) ; Jalili, Mahdi (Supervisor)
    Abstract
    Opinion formation is one of the major topics in social networks analysis and mining. A number of methods have been introduced for describing and simulating this phenomenon. In this thesis, we proposed a novel optimization framework based on an opinion formation model that used the Deffuant’s model with some changes in neighbors’ selection policy. Its efficiency was compared with a number of benchmark optimization methods including genetic algorithms, differential evolution and particle swarm optimization.The proposed model demonstrated better performance than the others.In the proposed, each person changes his opinion based on one of his neighbors who has the best performance in terms of the... 

    Optimal pinning controllability of complex networks: Dependence on network structure

    , Article Physical Review E - Statistical, Nonlinear, and Soft Matter Physics ; Volume 91, Issue 1 , January , 2015 ; 15393755 (ISSN) Jalili, M ; Askari Sichani, O ; Yu, X ; Sharif University of Technology
    American Physical Society  2015
    Abstract
    Controlling networked structures has many applications in science and engineering. In this paper, we consider the problem of pinning control (pinning the dynamics into the reference state), and optimally placing the driver nodes, i.e., the nodes to which the control signal is fed. Considering the local controllability concept, a metric based on the eigenvalues of the Laplacian matrix is taken into account as a measure of controllability. We show that the proposed optimal placement strategy considerably outperforms heuristic methods including choosing hub nodes with high degree or betweenness centrality as drivers. We also study properties of optimal drivers in terms of various centrality... 

    An Empirical Research on the Task-Induced Involvement Load Hypothesis: A Case for International Learning

    , M.Sc. Thesis Sharif University of Technology Zare, Mousa (Author) ; 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... 

    The Development of a Computerized Adaptive Software to Test Written Receptive Vocabulary Knowledge of Foreign Language Learners

    , M.Sc. Thesis Sharif University of Technology Haddadian, Golnoush (Author) ; 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... 

    Development and Validation of an EFL Self-Regulated Learning Questionnaire

    , M.Sc. Thesis Sharif University of Technology Jafari, Hamid (Author) ; 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... 

    Fault Diagnosis in Power Systems by Wide-area Measurement System

    , Ph.D. Dissertation Sharif University of Technology Salehi Dobakhshari, Ahmad (Author) ; 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... 

    A Reliable Mobility-Aware RPL Objective Function for IoT Applications

    , M.Sc. Thesis Sharif University of Technology Mohammad Salehi, Ali Asghar (Author) ; Ejlali, Alireza (Supervisor)
    Abstract
    Internet of Things (IoT) is one of the most emerging fields in the computer science context. It is predicted that more than 9 billion devices will be connected to IoT networks by 2025. Considering the specifications of IoT devices such as low battery capacity and small memory, these networks face major challenges in energy consumption and reliability. One of the most important elements which have an indisputable effect on network efficiency is routing protocol. In this manner, IETF presented RPL in 2012. It is designed to create a robust network among IoT devices.Although RPL performs well in static networks, it is not designed originally for mobile networks and it has serious flaws in that... 

    Modeling of reactive acid transport in fractured porous media with the Extended–FEM based on Darcy-Brinkman-Forchheimer framework

    , Article Computers and Geotechnics ; Volume 128 , December , 2020 Khoei, A. R ; Salehi Sichani, A ; Hosseini, N ; Sharif University of Technology
    Elsevier Ltd  2020
    Abstract
    In this paper, a fully coupled numerical model is developed based on the X-FEM technique to simulate the reactive acid transport in fractured porous media. The porous medium consists of the solid and fluid phases, in which the fluid phase includes water and acid components, and chemical reactions can be occurred between acid component and solid phase at the solid–fluid interfaces. The governing equations include the mass and momentum conservation laws for fluid phase, and the advective–diffusive transport of acid component that must be solved to obtain the primary unknowns, including the pore fluid pressure, acid concentration, and fluid velocity vector. Applying the... 

    Effects of Foundation Uplift on Seismic Performance of 2D Frames Placed on Flexible Foundation

    , M.Sc. Thesis Sharif University of Technology Salehi Najafabadi, Mohammad (Author) ; Ghannad, Mohammad Ali (Supervisor)
    Abstract
    In conventional method of modeling and design of structures it is assumed that structures are fixedly supported, however, this assumption is generally far from reality; because, not only the majority of buildings’ bases are not stiff enough to suppose them rigid, but also if their foundations are shallow there exist no piles underneath them, they may separate from their bases – the event which is called foundation uplift. Although according to past studies permission of foundation uplift as well as incorporation of base flexibility may markedly affect any structure’s dynamic response, is spite of about half a century which has elapsed since the beginning of these studies, it seems that still... 

    Phase Noise Measurment of Microwave Oscillators by Downconversion without Using Synthesizer

    , M.Sc. Thesis Sharif University of Technology Salehi Barzegar, Alireza (Author) ; Farzaneh, Forouhar (Supervisor) ; Banai, Ali (Supervisor)
    Abstract
    In this thesis, a modified method based on frequency discriminator technique is presented for measuring phase noise of microwave oscillators. In the proposed method, we use two oscillators with similar phase noise, but their free running frequencies are different in the range of 10MHz~50MHz. Mixing these two oscillators results in the IF frequency, for which the phase noise power at each offset has been doubled.The delay line is used in IF frequency and a phase shifter at microwave or millimeter wave range is used to provide quadrarure condition. Hence the cable loss at IF frequency is low and the sensitivity of system will be very good. Comparison of the measured data at X-band (the... 

    The Needs Analysis of Science and Engineering Students’ Language Learning Program: A Mixed Methods Approach

    , M.Sc. Thesis Sharif University of Technology Moradi Mousavi, Maryam (Author) ; Salehi, Mohammad (Supervisor) ; Jahangard, Ali (Co-Advisor)
    Abstract
    In various fields of engineering sciences, SUT occupies the highest rank among other technical universities in Iran based on the ranking of Islamic World Science Citation Center (ISC) in 2013. It is, therefore, the host of the majority of exceptionally talented engineering students. In this respect, students of SUT are expected to perform considerably well in their future academic and vocational careers. The primary aim of this investigation is to shed light on a more appropriate course syllabus customized to the needs of these gifted students. A triangulation approach to data collection was employed to gain more insights into the study. A five-point Likert scale questionnaire was... 

    A 3-D and Time Dependent Software for Particles Tracking Base on Monte Carlo Method

    , Ph.D. Dissertation Sharif University of Technology Ghaderi Mazaher, Meysam (Author) ; Salehi, Ali Akbar (Supervisor) ; Vosoughi, Naser (Co-Supervisor)
    Abstract
    A highly reliable tool for transient simulation is vital in the safety analysis of a nuclear reactor. Despite this fact most tools still use diffusion theory and point-kinetics that involve many approximations such as discretization in space, energy, angle and time. However, Monte Carlo method inherently overcomes these restrictions and provides an appropriate foundation to accurately calculate the parameters of a reactor. For this reason, in this thesis, a dynamic Monte Carlo code named MCSP (Monte Carlo dynamic Simulation of Particles tracking) is developed for both the steady state and time-dependent simulation of particle (neutrons, photons and electrons) tracking in an arbitrary 3D... 

    Emerging OCDMA communication systems and data networks [electronic resource]

    , Article Journal of Optical Networking ; Volume 6, Issue 9, 1 September 2007, Pages 1138-1178 Salehi, J. A ; Sharif University Of Technology
    Abstract
    I present an in-depth review of the trends and the directions taken by researchers worldwide in optical code-division multiple-access (OCDMA) systems. I highlight those trends and features that I believe are essential to the successful introduction of various OCDMA techniques in communication systems and data networks in the near future. In particular I begin by giving a comprehensive review of the construction of optical orthogonal codes (OOCs). Specifically I discuss the recently developed algorithms that are based on matrix algebra, which simplify and enhance the efficiencies of algorithms in OOC generation. In communication systems studies I first focus on and discuss various OCDMA...