Loading...
Search for:
hatefi--marzieh
0.128 seconds
Analysis of Operational Indices for Old National Thermal Powerplants for Performance Optimization and Consumption Management in Operational Conditions
, M.Sc. Thesis Sharif University of Technology ; Mazaheri, Karim (Supervisor)
Abstract
In recent years, the country's electricity industry has faced many problems. On the one hand, the number of consumers and the intensity of their consumption have increased, and on the other hand, the production sector has been facing many problems. Since the management of these systems requires the development of mathematical models, the introduction of various operational indices and system analysis, in order to provide solutions to reduce consumption, increase production and reduce environmental damage, in this research Bistoon Kermanshah steam power plant, as a selected power plant, is simulated in both design and operational conditions, by the information available in the design...
Mathematical Modeling and Simulation of Tumor Angiogenesis
, M.Sc. Thesis Sharif University of Technology ; Fotouhi, Morteza (Supervisor)
Abstract
A major medical revolution that is helping us overcome some of the worst diseases, including cancer, is angiogenesis, which is based on the processes our bodies use to develop blood vessels. Most human cancers have acquired six essential capabilities: self-sufficiency in growth signals, insensitivity to growth-inhibitory signals, programmed cell death escape, unlimited replication potential, persistent angiogenesis, and tissue invasion that can induce metastasis. In other words, the defense mechanism that prevents any of these acquired capabilities must be neutralized before the cells become malignant and invasive tumors. In fact, tumors in the non-vascular growth stage can only grow up to...
A performance and functional assertion-based verification methodology at transaction-level
, Article 19th International Conference on Microelectronics, ICM, Cairo, 29 December 2007 through 31 December 2007 ; 2007 , Pages 133-136 ; 9781424418473 (ISBN) ; Gharehbaghi, A. M ; Hessabi, S ; Sharif University of Technology
2007
Abstract
In this paper, we present an assertion-based verification methodology for system-level design. Transactionlevel concepts are integrated with an assertion language to introduce a useful, effective and familiar assertion description language. Our assertion verification language is capable of specifying system-level assertions for validating performance as well as functional properties. Proper-ties can be verified using offline simulation trace analysis. C++ trace checkers are automatically generated to validate particular simulation runs or to analyze their performance characteristic(s). Using a JPEG decoder as a case study, we demonstrate that the assertion-based verification is highly useful...
System-level assertion-based performance verification for embedded systems
, Article 13th International Computer Society of Iran Computer Conference on Advances in Computer Science and Engineering, CSICC 2008, Kish Island, 9 March 2008 through 11 March 2008 ; Volume 6 CCIS , 2008 , Pages 243-250 ; 18650929 (ISSN); 3540899847 (ISBN); 9783540899846 (ISBN) ; Gharehbaghi, A. M ; Hessabi, S ; Sharif University of Technology
2008
Abstract
As contemporary digital systems specifically embedded systems become more and more complex, taking advantage of system-level design is being more widespread. Many embedded systems must operate under strict timing constraints. One of the best methods for examining timing constraints in an embedded system can be done via the performance verification. In this paper an assertion-based verification methodology has been proposed for verifying system-level timing constraints in an embedded system. Performance assertions are specified by an assertion language at the transaction-level of abstraction. A Turing machine and a structure named performance evaluator have been coupled to provide a...
Timing verification of distributed network systems at higher levels of abstraction
, Article 2008 IEEE International High Level Design Validation and Test Workshop, HLDVT'08, Incline Village, NV, 19 November 2008 through 21 November 2008 ; December , 2008 , Pages 101-107 ; 15526674 (ISSN); 9781424429226 (ISBN) ; Gharehbaghi, A. M ; Hessabi, S ; Sharif University of Technology
2008
Abstract
Nowadays, distributed network systems are broadly using in embedded, real-time and networked control systems. Since they often operate under strict timing constraints, the timing verification is an important and critical phase during the design of them. On the other hand, as contemporary digital systems become more and more complex, taking advantage of the systemlevel design is gaining more widespread acceptance. Beginning from the transaction-level of abstraction is a common and effective method for deploying the system-level design. This paper presents a methodology for evaluation of timing constraints in a distributed network system specified at transactionlevel of abstraction. Timing...
Prediction of interfacial tensions of binary and ternary liquid-liquid systems by using UNIQUAC Excess Gibbs Free energy model
, Article Iranian Journal of Science and Technology, Transaction B: Technology ; Volume 27, Issue 2 , 2003 , Pages 261-268 ; 03601307 (ISSN) ; Ghotbi, C ; Hatefi Rad, P ; Sharif University of Technology
2003
Abstract
Interfacial tension of both 36 binary and 6 ternary liquid-liquid systems at 298 K, has been predicted through a reliable thermodynamic model. To properly predict interfacial tension, it is necessary to calculate interfacial area of each constituent of the mixtures. For such estimation, two empirical correlations have been proposed for binary mixtures whose one component is water and experimental data have been used to calculate interfacial area of ternary mixtures. The UNIQUAUC Excess Gibbs Free energy model and its parameters have been used to calculate the concentration and activity coefficients in the bulk and interface phases. The overall average deviation of the predicted binary...
Network Analysis of EEG Data of Alzheimer’s Disease
, M.Sc. Thesis Sharif University of Technology ; Jalili, Mahdi (Supervisor)
Abstract
Recently complex networks, have been widely used as a model to study the behavior of human brain. By affecting different parts the brain, Neuronal disorders change the structure of functional brain networks. Investigating these changes using different graph theory metrics can be a useful methodology for human brain analysis in health and disease. Alzheimer's disease (AD) is a neural disease causing impairment in different brain activities including memory and cognition.The aim of this study is to construct the functional brain network of 17 AD patients and 17 healthy control subjects at resting state condition and analyzing them using the theory of complex networks in order to achieve a...
Driving of Quantum Hamiltonian Relative to The One Dimentional Cavity With Oscilating Mirror and Semi-Transparent Mirror
, M.Sc. Thesis Sharif University of Technology ; Bahrampour, Alireza (Supervisor)
Abstract
The concept of entanglement exists in the common area of the quantum optics and quantum information. Quantum optics is the best tools for investigating of this quantum informational phenomenon experimentally. One of the instruments that let us observes experimentally macroscopy entangeled state is Fabry-Perot Cavity. Striking of photons with the mirror of cavity transfer effective mommentom to it, and oscilating of mirror creates new modes: stocks and anti-stocks modes. Studing quantum state of these modes shows the entangling between photon and phonon (oscilating of mirror) modes. We assume that light beam enters the cavity from a semi-transparent mirror. So cavity is the system with...
Qualitative Study of the Dynamic Adsorption Layer by Bubble Rising Method
, M.Sc. Thesis Sharif University of Technology ; Bastani, Dariush (Supervisor) ; Lotfi, marzieh (Co-Advisor)
Abstract
Surface phenomena and dynamic interfacial properties plays a significant role in multiphase gas-liquid & liquid-liquid processes applied in different industrial applications. However, current laboratory equipment and represented methods for dynamic and unsteady state condition caused by motivation of interface of two phases (like rising bubble), in purpose of qualitative investigation of interphase properties are not satisfying enough. Also, common modeling methods are represented with lots of modified assumptions which are not validated properly with experimental results. In current thesis, with development of laboratory tools and applying the “rising bubble method” for investigating the...
Global Control of Hybrid Microgrids Using MIMO Control
, M.Sc. Thesis Sharif University of Technology ; Mokhtari, Hossein (Supervisor)
Abstract
Given the growing advantage of exploiting renewable energy resources over fossil fuels and using distributed generation systems, microgrids seem to be the best solution for reaching the energy-efficient world of the future. Hybrid microgrids are the best options among all other types of microgrids because they make it possible to use AC and DC sources and loads together and at the same time. Since connecting AC and DC sections of a hybrid microgrid leads to the interaction between them, proper control of interlinking converter(s) is crucial for the reliable and stable operation of the entire microgrid. In this study, small signal model of a hybrid AC/DC microgrid consisting of static and...
Non-Equilibrium Interfacial Behavior of Dynamic Interfaces in Presence of Surfactants and Nanoparticles; Experimental and Computational Fluid Dynamic Investigations
, Ph.D. Dissertation Sharif University of Technology ; Bastani, Dariush (Supervisor) ; Lotfi, Marzieh (Supervisor)
Abstract
The present study has been performed for better understanding about the dynamic behavior of fluid interfaces in presence of surfactants, nanoparticles and their interactions in gas-liquid dispersion systems. One of the main purposes of this work is to investigate the influence of surface modified nanoparticles on the dynamic behavior of gas-liquid interfaces. For this purpose, the rising bubble experiment was used as one of the most conventional procedures. Local velocities of bubbles rising in nanoparticle solutions were determined experimentally. Influences of silica nanoparticles which were modified via three approaches were investigated in these experiments. Heat treatment was applied to...
Investigation of the Liquid Viscosity Effect on the Rising Bubble Motion (Effect of Ethylene Glycol Concentration on Terminal Velocity)
, M.Sc. Thesis Sharif University of Technology ; Bastani, Dariush (Supervisor) ; Lotfi, Marzieh (Co-Advisor)
Abstract
Surface phenomena is one of the fundamental branches of science that has many applications in industries related to multiphase processes. One of the most important issues of this knowledge is inter-phase transport phenomena in contacting gas - liquid and liquid – liquid systems. Multiphase systems generally include dispersions such that in many cases are associated with the relative motion between the continuous and dispersed phase. One of the most widely used inter-phase flow systems is dispersion of gas bubbles in the bulk of liquid. The overall efficiency of these systems is often determined by the characteristics of the gas phase. In order to understand the dynamic behavior of such...
Theoretical Investigation of Quantum Optical Amplifiers in Quantum Communications
, M.Sc. Thesis Sharif University of Technology ; Bahrampour, Alireza (Supervisor) ; Bathaee, Marzieh Sadat (Co-Supervisor)
Abstract
Signal transmission of information on noiseless and lossy channels is an important issue in data transmission. Using the amplifier in the transmission channels is a good solution to help send information on longer channels. In classical communication, information can be coded in the amplitude or phase of the field and an amplifier is responsible for amplifying these parameters. If we consider the conditions ideal and ignore electrical noises, Classical mechanics does not impose any restrictions on the amplification of arbitrary classical signals. Instead, in quantum telecommunications the information encoded on the quadrature of the electromagnetic field are mounted on quantum states, such...
Examining the Impact of Key Factors on Esteghlal Tehran Fans' Intention to Attend Matches: A Social Identity Theory Perspective
, M.Sc. Thesis Sharif University of Technology ; Alavi, Babak (Supervisor) ; Saghafian, Marzieh (Supervisor)
Abstract
This study investigated the relationships between team identification and attendance intention in Iranian football matches, specifically examining the impact of constraints on this relationship. The research focused on Esteghlal Football Club, one of Iran's most popular teams, which faces a paradox of having a large fan base (35-40 million supporters) but relatively low stadium attendance rates (below 50% capacity). The study employed a mixed online sampling method (convenience and snowball) with 182 Esteghlal fans who had attended at least one stadium match. Data was collected using three validated questionnaires: team identification (18 items, 6 dimensions), attendance intention (4 items,...
Investigating the Mathematical Model of Transformers in Deep Learning Using the Self-Attention Mechanism in Multi-Layer Neural Networks
, M.Sc. Thesis Sharif University of Technology ; Bahraini, Alireza (Supervisor) ; Shams Yousefi, Marzieh (Supervisor)
Abstract
This dissertation is organized into three chapters. The first chapter presents the necessary concepts and theorems. The second chapter addresses the primary objectives of the study. The third chapter is devoted to the proof and analysis of the convergence theorem for the attention matrix to low-rank Boolean matrices. The objective of this thesis is to investigate the mathematical model of the selfattention mechanism in deep learning, which is examined through the lens of optimal transport theory. It includes two theorems concerning clustering and the convergence of solutions to the differential equation describing the self-attention mechanism.
Evaluation of Exerted Drag Force on Alkane Saturated Air Bubbles in Aqueous Solutions by Experimental Studies
, M.Sc. Thesis Sharif University of Technology ; Bastani, Dariush (Supervisor) ; Lotfi, Marzieh (Supervisor)
Abstract
Interfacial phenomena and properties of interphase surfaces in dynamic mode play an important role in industrial processes that include gas-liquid and liquid-liquid multiphase flows. As well as, interface knowledge leads to better understanding of natural and fundamental phenomena. The present study has been performed for understanding about dynamic behavior of interphase surfaces in the presence of nanoparticles and hexane vapor in gas-liquid dispersion systems. In this research, rising bubble method has been used as one of the most conventional techniques. Accordingly, aqueous solutions of nanosilica were prepared in concentrations of 50, 100, 200, 400 and 1200 ppm as continuous phase...
Application of Cellulose Nanofibers Coated Quartz Crystal Microbalance (QCM) Biosensor for Amino Acid Detection in Aqueous Media
, Ph.D. Dissertation Sharif University of Technology ; Irajizad, Azam (Supervisor) ; Vossoughi, Manouchehr (Supervisor)
Abstract
Developing a simple, cost effective and accurate detection method for L-lysine (Lys), L-leucine (Leu) and glycine (Gly) as the important analytes in clinical diagnostics, biological processes and food industries is of great interest. Therefore, in the first part of this research, cellulose nanofibrils (CNFs) were coated on a quartz crystal microbalance (QCM) surface by spin coating to achieve a QCM biodetector for Gly. Thus, the two-layer CNFs coating was selected as sensing film and was applied for following experiments. In the next step, the coated QCMs were carefully characterized before and after interaction with Gly using water contact angle (WCA), Fourier transform infrared...
Application of Cellulose Nanofibers Coated Quartz Crystal Microbalance (QCM)Biosensor for Amino Acid Detection in Aqueous Media
, Ph.D. Dissertation Sharif University of Technology ; Iraji Zad, Azam (Supervisor) ; Vossoughi, Manouchehr (Supervisor)
Abstract
Developing a simple, cost effective and accurate detection method for L-lysine (Lys), L-leucine (Leu) and glycine (Gly) as the important analytes in clinical diagnostics, biological processes and food industries is of great interest. Therefore, in the first part of this research, cellulose nanofibrils (CNFs) were coated on a quartz crystal microbalance (QCM) surface by spin coating to achieve a QCM biodetector for Gly. Thus, the two-layer CNFs coating was selected as sensing film and was applied for following experiments. In the next step, the coated QCMs were carefully characterized before and after interaction with Gly using water contact angle (WCA), Fourier transform infrared...
Investigation of Dynamic Behavior of Interface by Simulation of New Experimental Method
, M.Sc. Thesis Sharif University of Technology ; Bastani, Dariush (Supervisor) ; Safekordi, Ali Akbar (Supervisor) ; Lotfi, Marzieh (Co-Advisor)
Abstract
Surface phenomena and dynamic Interfacial properties play an important roles in gas- liquid and liquid-liquid multiphase process from various industrial applications to understand fundamental phenomena. However, there is no experimental equipment and efficient methods for quantitative and detail investigation of interfacial properties under fast and non-equilibrium dynamic condition due to mobility and refreshing of interface (such as rising bubble). Also existing models accompanied with a lot of simplifications which is not yet validated with a proper experimental data. development of laboratory equipment base on measuring momentary capillary pressure and presenting a new experimental...