Loading...
Search for:
ehsani--hojjat-allah
0.114 seconds
Total 84 records
Flight envelope expansion in landing phase using classic, intelligent and adaptive controllers [electronic resource]
, Article Journal of aircraft ; 2006, Vol. 43, No. 1 ; Izadi, Hojjat Allah ; Pakme, Mehrdad
Abstract
An expanding flight envelope in the landing phase of a typical jet transport aircraft in presence of strong wind shears using a learning capable control system (LCCS) is investigated. The idea stems fromhuman beings functional architecture that gives them the ability to do more as they age and gain more experience. With the knowledge that classical controllers lack sufficient generality to cope with nonlinear as well as uncertain phenomenon such as turbulent air, the focuse is on different types of intelligent controllers due to their learning and nonlinear generalization capabilities as candidates for the landing flight phase. It is shown that the latter class of controllers could be used...
Gas sweetening process optimization with economic, Exergy and Environmental criteria
, M.Sc. Thesis Sharif University of Technology ; Farhadi, Fathollah (Supervisor) ; Bozorg Mehri, Ramin (Supervisor)
Abstract
In the present work, a comprehensive economic, environmental and exergy analysis and multi-objective optimization for gas sweetening plant are provided and the interaction between decision variables in these criterions is discussed. In the first part, potentials of three environmental features (global warming, acid rain, smog formation) of the operational plant are quantified and normalized using life cycle assessment (LCA) for both process waste and utility environmental impacts.Acid rain index is determined as the most important environmental impactindex in this unit. By choosing proper decision variables based on sensitivity analysis, LCA and EA results, optimization is performed to...
Mind-Body Problem from Wittgenstein’s Perspective
, M.Sc. Thesis Sharif University of Technology ; Hojjat, Mino (Supervisor)
Abstract
To provide a stable foundation for human knowledge Descartes presumed that human being is composed of two distinct substances, the mind and the body. But, the solution through which he wanted to explain the correlation between these substances, was not accepted by other philosophers, and thereafter this problem was known as mind-body problem. This problem arises some other philosophical problems including solipsism and the problem of other minds. In this thesis, considering the grammar of such words like memory, understanding, and thinking I will show that having an exact description of these concepts we would be able to escape from these inclination to seek something behind these words, and...
Designing a System for Pulse Pile-Up Processing in Gamma Ray Spectroscopy Based on Digital Method
, M.Sc. Thesis Sharif University of Technology ; Hosseini, Abolfazl (Supervisor)
Abstract
In Radiation Detection Systems applied in Spectroscopy and Imaging, if the rate of particle incidence with detector is high, the output pulses being stacked up on each other will be expected, which is known as “Pulse Pile-up”. Pulse pile-up might result in a serious disorder of energy and timing data expected from the pulses. In recent decades and after successful implementation of pile-up rejection methods on analog circuits, considering development and progression in the field of digital, different algorithms based on pileup correction methods have been developed to obtain all spectrum information, whether energy, rise time and recorded pulses. Such methods can be compared in different...
Integrating module checking and deduction in a formal proof for the perlman Spanning Tree Protocol (STP)
, Article Journal of Universal Computer Science ; Volume 13, Issue 13 , 2007 , Pages 2076-2104 ; 0958695X (ISSN) ; Nakhost, H ; Sirjani, M ; Sharif University of Technology
2007
Abstract
In the IEEE 802.1D standard for the Media Access Control layer (MAC layer) bridges, there is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed by Radia Perlman. In this paper, we give a formal proof for correctness of the STP algorithm by showing that finally a single node is selected as the root of the tree and the loops are eliminated correctly. We use formal inductive reasoning to establish these requirements. In order to ensure that the bridges behave correctly regardless of the topology of the surrounding bridges and LANs, the Rebeca, modular verification techniques are applied. These techniques are shown to be efficiently applicable in model checking...
Finite Element Analysis of Repair Welding Residual Stress in Pressure Vessels and Piping System
, M.Sc. Thesis Sharif University of Technology ; Farrahi, Gholamhossein (Supervisor)
Abstract
Repair welding is one of the most prevalent processes in repair and maintenance part of all industries. Amongst the issues of welding processes are residual stresses and distortions. Thus prediction of residual stresses and their distribution are important for designing welding procedure specifications. Circumferential butt weld is often used for joining steam and hot water lines in plants. Due to the intense concentration of heat in the welding, the regions near the weld line undergo severe thermal cycles. The thermal cycles cause non-uniform heating and cooling in the material, thus generating inhomogeneous plastic deformation and residual stresses in the weldment. The presence of residual...
Model for Optimal design of Energy Recovery System in Cement Plant
, M.Sc. Thesis Sharif University of Technology ; Sabouhi, Yadollah (Supervisor)
Abstract
The purpose of the present study is to develope an optimal model for analysis the impact of implementing a heat recovery system in a cement production line. For this goal, the energy reference system of a cement plant has been prepared, mass and energy balance sheets of the cement factory with dry production method, the characteristics of two high-energy streams have been identified in order to estimate the potential of heat recovery. Regarding the temperature range of the main hot streams, an appropriate cycle for generating electrical power from the lost heat, the Rankine cycle with organic fluid (ORC) has been formulated. The main question in the present project was how to relate the...
Deep Learning and Optimal Control
, M.Sc. Thesis Sharif University of Technology ; Fotouhi, Morteza (Supervisor)
Abstract
Our main focus in this thesis is on optimal control methods for the analysis of deep neural networks, such as the supervised learning problem. A neural network with a large number of layers can be modeled with an ordinary differential equation, whose control parameters play the role of intermediary functions in the neural network. This model gives us a more powerful tool to analyze the asymptotic behavior of the neural network. Also, in this thesis, the problems of numerical implementation of these methods will be discussed
Identity-based universal re-encryption for mixnets
, Article Security and Communication Networks ; Volume 8, Issue 17 , February , 2015 , Pages 2992-3001 ; 19390114 (ISSN) ; Mohajeri, J ; Salmasizadeh, M ; Sharif University of Technology
John Wiley and Sons Inc
2015
Abstract
In order to provide anonymity, universal cryptosystems have been used in various applications, including mixnets with multiple receivers. Unlike ordinary re-encryption cryptosystems, universal cryptosystems for re-encryption of ciphertexts do not require knowledge of the public key of the receiver. Golle et al. introduced universal cryptosystems for public key cryptography. Contrary to public key cryptography, in ID-based cryptography, a public key infrastructure is not needed, which makes it suitable for situations where it is not cost-effective to distribute certificates or establish a public key infrastructure. In this paper, we first generalize the definition of universal cryptosystems...
Optimal active control of vehicle suspension system including time delay and preview for rough roads
, Article JVC/Journal of Vibration and Control ; Volume 8, Issue 7 , 2002 , Pages 967-991 ; 10775463 (ISSN) ; Ahmardi, G ; Hojjat, Y ; Zohoor, H ; Sharif University of Technology
SAGE Publications Inc
2002
Abstract
An optimal preview control of a vehicle suspension system traveling on a rough road is studied. A three-dimensional seven degree-of-freedom car-riding model and several descriptions of the road surface roughness heights, including haversine (hole/bump) and stochastic filtered white noise models, are used in the analysis. It is assumed that contact-less sensors affixed to the vehicle front bumper measure the road surface height at some distances in the front of the car. The suspension systems are optimized with respect to ride comfort and road holding preferences including accelerations of the sprung mass, tire deflection, suspension rattle space and control force. The performance and power...
Stochastic optimal preview control of a vehicle suspension
, Article Journal of Sound and Vibration ; Volume 275, Issue 3-5 , 2004 , Pages 973-990 ; 0022460X (ISSN) ; Ahmadi, G ; Zohoor, H ; Hojjat, Y ; Sharif University of Technology
Academic Press
2004
Abstract
Stochastic optimal control of a vehicle suspension on a random road is studied. The road roughness height is modelled as a filtered white noise stochastic process and a four-degree-of-freedom half-car model is used in the analysis. It is assumed that a sensor is mounted in the front bumper that measures the road irregularity at some distances in the front of the vehicle. Two other sensors also measure relative velocities of the vehicle body with respect to the unsprung masses in the vehicle suspension spaces. All measurements are assumed to be conducted in a noisy environment. The state variables of the vehicle system are estimated using a method similar to the Kalman filter. The suspension...
Modeling of Two Phase Flow in Horizontal Well Coupling Natural Fracture Reservoir
, M.Sc. Thesis Sharif University of Technology ; Shad, Saeed (Supervisor)
Abstract
Today due to increasing demand of using energy and petroleum products, finding optimum ways to produce more oil and gas in a way which petroleum reservoirs faces less pressure drop is very necessary. Therefore, petroleum engineers face multiphase flow proportionally more than other issues. So, they have to comprehend this issue in a complete manner in order to discover the best practical ways for maximum utilization. Researchers in different ways tried to model multiphase flow, but many of provided models are so complicated and sometimes have low accuracy. In this project we tried to present a model that in simplicity has high accuracy and works in a way that apperceiving it, is very...
Interpretation of neural networks is susceptible to universal adversarial perturbations
, Article ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings ; 2023 ; 15206149 (ISSN) ; Farnia, F ; Sharif University of Technology
Institute of Electrical and Electronics Engineers Inc
2023
Abstract
Interpreting neural network classifiers using gradient-based saliency maps has been extensively studied in the deep learning literature. While the existing algorithms manage to achieve satisfactory performance in application to standard image recognition datasets, recent works demonstrate the vulnerability of widely-used gradient-based interpretation schemes to norm-bounded perturbations adversarially designed for every individual input sample. However, such adversarial perturbations are commonly designed using the knowledge of an input sample, and hence perform sub-optimally in application to an unknown or constantly changing data point. In this paper, we show the existence of a Universal...
Double Field Theory
, M.Sc. Thesis Sharif University of Technology ; Arfaei, Hesamaddin (Supervisor)
Abstract
Double Field Theory tries to incorporate T-duality, one of fundamental features of string theory, as a symmetry of a field Theory on a doubled space. It sets fields depend on winding mode conjugate coordinates as well as conventional space-time coordinates. In this review after presenting a brief introduction to string theory we investigate O(d,d,ℤ) duality group. Subsequently, we focus on Double Field Theory construction putting our attention on massless sector of string theory. We investigate on 2D nonlinear sigma model action in DFT and its gauge algebra. We follow this review by discussing constraints of DFT and Double Geometry. At the end we present some unsolved questions in this...
Smart antennas for OFDM-WLANs based on a spatial-temporal multi-scenario channel model
, Article Iranian Journal of Electrical and Computer Engineering ; Volume 7, Issue 2 , 2008 , Pages 107-114 ; 16820053 (ISSN) ; Dadashzadeh, G ; Shishegar, A. A ; Hojjat, N ; Sharif University of Technology
Jahad Daneshgahi
2008
Abstract
combination of smart antenna techniques and OFDM could be considered as a promising solution for improving the performance and enhancing the data rates of next generation wireless communication systems operating in frequency selective fading environments. There are different design parameters which could affect the application of adaptive arrays in OFDM-based systems. Various beam-forming methods in frequency or time domain, different array architectures and various number of array elements are important factors which are able to change the performance and complexity of the system. These parameters may show different effects in different channel conditions. In this paper we implemented a new...
Aging behavior and tensile properties of squeeze cast AL 6061/SIC metal matrix composites
, Article Scientia Iranica ; Volume 11, Issue 4 , 2004 , Pages 392-397 ; 10263098 (ISSN) ; Seyed Reihani, S. M ; Sharif University of Technology
Sharif University of Technology
2004
Abstract
In this work, the production and properties of Al 6061/SiC composites, made using a squeeze casting method, were investigated. SiC preforms were manufactured by mixing SiC powder, having a 16 and 22 pm particle size, with colloidal silica as a binder. 6061 Al melt was squeeze cast into the pores of the SiC preform to manufacture a DRA composite containing 30v/o reinforcement. The aging behavior, tensile properties and fracture mechanism of the cast material were studied. The results show that higher hardness, yield strength, tensile strength and Young's modulus can be obtained by the addition of SiC particles to 6061 Al alloy, whereas tensile elongation decreases. This is mainly caused by a...
Development of a non-targeted approach using three handheld spectrometers combined with ensemble classifiers for authentication of bovine milk
, Article Chemometrics and Intelligent Laboratory Systems ; Volume 237 , 2023 ; 01697439 (ISSN) ; Yazdanpanah, H ; Parastar, H ; Sharif University of Technology
Elsevier B.V
2023
Abstract
In this study, three Vis/NIR handheld spectrometers coupled with four machine learning methods were developed for the analysis of the authentic bovine milk samples and adulterated samples with hydrogen peroxide and sodium hypochlorite. On this matter, ensemble bagged tree (EBT), random under sampling-boosted ensemble (RUS-BE), random subspace discriminant ensemble (RSDE), and random subspace ensemble k-nearest neighbor (RSE-kNN) were proposed and compared. The experiments were performed in two different scenarios. In the first scenario, pure milk and adulterated samples with one adulterant were analyzed separately with three handheld spectrometers. By comparing the results of ensemble...
, M.Sc. Thesis Sharif University of Technology ; Modarres Yazdi, Mohammad (Supervisor)
Abstract
In electrical energy market, an economic game is running in which, power generating companies compete with each other in order to determine their suitable strategies and gain the highest possible profit. The literature shows the researchers actually use different algorithms to determine their suitable strategies but not Nash equilibrium method. These algorithms can not guarantee that the strategic equilibrium points can be found. In this research, the classic Nash method is used to determine GENCOs appropriate strategies and is simulated on some well known models (Cournot, Supply function equilibrium (SFE) and Bertrand), combined energy and reserve markets will be studied. The results of...
Ethylene Glycol Removal from Wastewater by Biological Means
, M.Sc. Thesis Sharif University of Technology ; Borgheei, Mahdi (Supervisor)
Abstract
In this research, MBBR was used to study petrochemical and gas refinery industry's low strength wastewater COD removal for reuse purposes. Reactor's feed was synthesized based on data analysis conducted by fourth wastewater treatment facility operating in phases 6,7 and 8. Inlet COD was 70 mg/L and this COD was provided by different portions of Mono ethylene glycol and Tri ethylene glycol. COD removal was studied under 1, 2 and 3 hours hydraulic retention time. Reactor's feed was provided with COD ratio of ( 〖COD〗_MEG/〖COD〗_total ) 65%, 60% and 50%. For the first time, hybrid combination of activated sludge system and MBBR was carried out and recycle stream was used in this system. The...
Partial order reduction for timed actors
, Article 13th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2021 and 14th International Workshop on Numerical Software Verification, NSV 2021, 18 October 2021 through 19 October 2021 ; Volume 13124 LNCS , 2022 , Pages 43-60 ; 03029743 (ISSN); 9783030955601 (ISBN) ; Sirjani, M ; Khamespanah, E ; Hojjat, H ; Movaghar, A ; Sharif University of Technology
Springer Science and Business Media Deutschland GmbH
2022
Abstract
We propose a compositional approach for the Partial Order Reduction (POR) in the state space generation of asynchronous timed actors. We define the concept of independent actors as the actors that do not send messages to a common actor. The approach avoids exploring unnecessary interleaving of executions of independent actors. It performs on a component-based model where actors from different components, except for the actors on borders, are independent. To alleviate the effect of the cross-border messages, we enforce a delay condition, ensuring that an actor introduces a delay in its execution before sending a message across the border of its component. Within each time unit, our technique...