Loading...
Search for:
aghaei--mohammad-reza
0.126 seconds
Total 6063 records
Strong Convergence of the Finite Element Method for Stochastic Partial Differential Equations with Additive Noise
, M.Sc. Thesis Sharif University of Technology ; Zohuri Zangeneh, Bijan (Supervisor)
Abstract
We study linear and semilinear stochastic evolution partial differential equations driven by additive noise. We present a general and flexible framework for representing the infinite dimensional Wiener process, which drives the equation. The equation is discretized in space by a standard piecewise linear finite element method. We show how to obtain error estimates when the truncated expansion is used in the equation. We show that the orthogonal expansion of the finite-dimensional Wiener process, that appears in the discretized problem, can be truncated severely without losing theasymptotic order of the method, provided that the kernel of the covariance operator of the Wiener process is...
A misbehavior‐tolerant multipath routing protocol for wireless Ad hoc networks [electronic resource]
, Article International Journal of Research in Wireless Systems (IJRWS) ; Vol. 2, Issue 9, pp. , Sep. 2013 ; Pakravan, Mohammad Reza ; Aref, Mohammad Reza ; Sharif University of Technology
Abstract
Secure routing is a major key to service maintenance in ad hoc networks. Ad hoc nature exposes the network to several types of node misbehavior or attacks. As a result of the resource limitations in such networks nodes may have a tendency to behave selfishly. Selfish behavior can have drastic impacts on network performance. We have proposed a Misbehavior-Tolerant Multipath Routing protocol (MTMR) which detects and punishes all types of misbehavior such as selfish behavior, wormhole, sinkhole and grey-hole attacks. The protocol utilizes a proactive approach to enforce cooperation. In addition, it uses a novel data redirection method to mitigate the impact of node misbehavior on network...
Investigation of Flow Rate and Cooling Water Temperature Effects on the Process Parameters in Centrifuge Machine
, M.Sc. Thesis Sharif University of Technology ; Otukesh, Mohammad (Supervisor) ; Safdari, Jaber (Supervisor)
Abstract
Centrifuge is a method in which great gravitational-like forces are used. Gravitational forces which cause molecules to move and are relevant to molecular weight; can cause isotope separation. The separation of light isotope from heavy one is done with a centrifugal field which produces a pressure gradient for the gas mixture. Pressure gradient is different for each of the isotopes due to the dependence of pressure gradient to the mass of the materials. But the separation in this way is very limited. The capacity of separation can be brought up by producing an additional axial flow in the rotor. This rotational flow can be produced with internal or external incitement. Rotational flow with...
Phase Shifter Response Compensation in Microwave Band
, M.Sc. Thesis Sharif University of Technology ; Khavasi, Amin (Supervisor) ; Fakharzadeh, Mohammad (Co-Supervisor)
Abstract
A phase shifter is a microwave element that changes the phase of the input signal at a specific center frequency and bandwidth and, ideally, produces a signal with the same amplitude and a modified phase at the output. In practice, this phase change in the passive phase shifter is accompanied by a decrease in amplitude due to different factors. Various use cases can be described for phase shifters in telecommunication circuits, but its most important application is in regulating the relative phase of each antenna in a phased array system, which is the most common method of beam steering and forming. A phased array system is one of the leading solutions to achieve beamforming and high...
Analysis and Improvement of Intrusion Detection Methods in Data Network Routers
, M.Sc. Thesis Sharif University of Technology ; Aref, Mohammad Reza (Supervisor) ; Pakravan, Mohammad Reza (Co-Advisor)
Abstract
High-quality online services demand reliable and fast packet delivery at the network layer. However, clear evidence documents the existence of compromised routers in the ISP and enterprise networks, threatening network availability and reliability. A compromised router can stealthily drop, modify, inject, or delay packets in the forwarding path to launch Denial-of-Service, surveillance, man-in-the-middle attacks, etc. So researches tried to create intrusion detection methods to identify adversarial routers and switches. To this end, data-plane fault localization (FL) aims to identify faulty links and is an effective means of achieving high network availability. FL protocols use...
Topological Defects in Confined Nematics by Planar Anchoring
, M.Sc. Thesis Sharif University of Technology ; Ejtehadi, Mohammad Reza (Supervisor) ; Mozaffari, Mohammad Reza (Supervisor)
Abstract
Confining nematic liquid crystal between two curved boundary conditions while the nematic molecules have a degenerate planar anchoring leads to complex and beautiful textures of molecular disparagement(defect) in the bulk and on the surfaces. Such the liquid crystal shells are made with double-emulsion techniques in microfluidic devices have provided applications for micro-scale colloidal linkers.In this work, we have numerically minimized the elastic energy in one-constant approximation in present of Fournier’s degenerate surface potential with finite element method. The nematic shell is confined between two spherical surfaces that we have studied the final energies and their related...
Improvement of Routing Security in Ad Hoc Networks Against Several Attacks
, M.Sc. Thesis Sharif University of Technology ; Aref, Mohammad Reza (Supervisor) ; Pakravan, Mohammad Reza (Supervisor)
Abstract
Secure routing is a major key to service maintenance in wireless ad hoc networks. Ad hoc nature exposes the network to several types of node misbehavior or attacks. Wormhole attack is one of the most severe active attacks to mobile ad hoc networks. Noting the resource limitations in such networks, nodes may have a tendency to behave selfishly. Selfish behavior can have drastic impacts on network performance. We have proposed a Misbehavior-Tolerant Multipath Routing protocol (MTMR) which detects and punishes all types of misbehavior such as selfish behavior, wormhole, sinkhole and grey-hole attacks. The protocol utilizes a proactive approach to enforce cooperation. In addition, it uses a...
Solving Symmetric Nonlinear Equations System Using BFGS Trust Region Quadratic Method
, M.Sc. Thesis Sharif University of Technology ; Razvan, Mohammad Reza (Supervisor) ; Peyghami, Mohammad Reza (Supervisor)Design and Implementation of 2.5 Gbps Circuit Switching Fabric
, M.Sc. Thesis Sharif University of Technology ; Pakravan, Mohammad Reza (Supervisor) ; Movahhedy, Mohammad Reza (Supervisor)
Abstract
Providing high bandwidth network infrastructures for ever increasing need of data transport is of great importance. The underling infrastructure for many communication services such as GSM/3G/4G mobile networks and Internet services is Synchronous Digital Hierarchy (SDH) optical transport systems. SDH are standardized protocols that multiplex multiple lower rate digital bit streams, such as E1 and Ethernet, and transfer them synchronously over optical fiber using lasers or LEDs. In addition to high data transfer rates, flexible network management and protection mechanisms have great importance, hence are part of SDH standards. In order to obtain flexible network architecture and protected...
Preserving Privacy in Smart Grid
, M.Sc. Thesis Sharif University of Technology ; Aref, Mohammad Reza (Supervisor) ; Pakravan, Mohammad Reza (Co-Advisor)
Abstract
Development of Smart Grid and deployment of smart meters in large scale has raised a lot of concerns regarding customers’ privacy. Consequently, several schemes have been proposed to overcome the above mentioned issue. These schemes mainly rely on data aggregation as a method of protecting users’ privacy from the grid operators. However, the main problem with most of these schemes is the fact that they require a large amount of processing power at the meter side. This, together with the fact that smart meters don’t usually have a powerful processor, can cause the unavailability of smart meter data at the required time for operators of the grid, and at the same time disables smart meters from...
Effect of the Geometry of Colloidal Particles on Nematic Liquid Crystals
, Ph.D. Dissertation Sharif University of Technology ; Ejtehadi, Mohammad Reza (Supervisor) ; Mozaffari, Mohammad Reza (Co-Advisor)
Abstract
A liquid crystal is a state of matter composed of highly anisotropic building blocks. When liquid crystals are exposed to surfaces with given shapes and anchoring conditions, the orientation of their molecules gets spatially disordered and topological defects may form in the system. The interplay between liquid crystals and the geometry and topology of the colloidal particles has motivated extensive recent studies.In this thesis, we present the numerical modeling results for two faceted colloidal particles in a thermotropic nematic liquid crystal. To obtain the equilibrium nematic field with a finiteelement method, we numerically minimize the free energy of the system that based on the...
Analysis of the Effects of Parasitic Elements of Pulse Transformer on Output Voltage in High Voltage DC Sources
, M.Sc. Thesis Sharif University of Technology ; Kaboli, Shahriyar (Supervisor)
Abstract
Today, in different industries,as the use of high voltage DC power supplies is increasing, the need of output voltage precision also is increasing. One way to make High DC voltage is to use a multi-output DC-DC converter and makethe output series.Existing problems in measuring high voltages, results in this idea That in these converters, we measure and regulate only one of the outputs and estimate the others by circuit elements. In this estimatin, differences between the transformer parasitic elements are very effectiveon transformer various output voltages. In this thesis after a comprehensive study on the pulse transformer parasitic elements and choose a suitable model for it, the...
On the effect of disorder on stray capacitance of transformer winding in high-voltage power supplies
, Article IEEE Transactions on Industrial Electronics ; Volume 64, Issue 5 , 2017 , Pages 3608-3618 ; 02780046 (ISSN) ; Kaboli, S ; Sharif University of Technology
Institute of Electrical and Electronics Engineers Inc
2017
Abstract
Stray capacitance of transformer winding is an important parasitic element influencing the behavior of the switching power converters, especially for high-voltage transformers. There are various methods for calculating the stray capacitance in transformers and inductors with ordered windings. However, an ordered winding is less likely with an increased number of turns and layers. In this paper, it is shown that a slight disorderliness in winding leads to a considerable difference between the value of winding stray capacitance of the former ordered winding and its slightly disordered scheme. Therefore, regular methods for calculating the stray capacitance have significant errors in a...
Analysis and Optimal Design of High-Voltage High-Frequency Transformer with Parasitic Elements Consideration for Microwave Power Module
, Ph.D. Dissertation Sharif University of Technology ; Kaboli, Shahriyar (Supervisor)
Abstract
Applications of high voltage power supplies is increasing. Microwave power module is one of the applications. In microwave power module, the dimensions of the power supply are very important. On the other hand, the parasitic elements of the transformer of a high voltage power supply are significant because of high insulation distances and transformer high turn ratio. These elements including stray capacitance and leakage inductance change the converter behavior. In this thesis, a method for dimensional efficient design of high voltage power supply used in microwave power module is presented considering and analyzing the transformer parasitic elements. Beforehand, at first, the transformer...
Optimal design of a microwave power module
, Article 2019 International Vacuum Electronics Conference, IVEC 2019, 28 April 2019 through 1 May 2019 ; 2019 ; 9781538675342 (ISBN) ; Kaboli, S ; Sharif University of Technology
Institute of Electrical and Electronics Engineers Inc
2019
Abstract
Microwave power modules are the result of integration of vacuum tubes and their respective power supplies. In these modules, volume and weight are very important factors because the modules are used in many portable applications. There are many parameters that they affect the volume and weight of the microwave power module. High voltage issues are one of these factors because the required voltages of vacuum tubes are high voltage. Thermal management relates to the module volume directly. In high-voltage high-frequency converters as power supplies of vacuum tubes, parasitic elements of the transformer are dominant. Tuning the transformer parameters leads to variation in the volume of the...
A Gentzen-style axiomatization for basic predicate calculus
, Article Archive for Mathematical Logic ; Volume 42, Issue 3 , 2003 , Pages 245-259 ; 09335846 (ISSN) ; Ardeshir, M ; Sharif University of Technology
2003
Abstract
We introduce a Gentzen-style sequent calculus axiomatization for Basic Predicate Calculus. Our new axiomatization is an improvement of the previous axiomatizations, in the sense that it has the subformula property. In this system the cut rule is eliminated
Gentzen-style axiomatizations for some conservative extensions of basic propositional logic
, Article Studia Logica ; Volume 68, Issue 2 , 2001 , Pages 263-285 ; 00393215 (ISSN) ; Ardeshir, M ; Sharif University of Technology
Springer Netherlands
2001
Abstract
We introduce two Gentzen-style sequent calculus axiomatizations for conservative extensions of basic propositional logic. Our first axiomatization is an ipmrovement of [1], in the sense that it has a kind of the subformula property and is a slight modification of [6]. In this system the cut rule is eliminated. The second axiomatization is a classical conservative extension of basic propositional logic. Using these axiomatizations, we prove interpolation theorems for basic propositional logic. © 2001 Kluwer Academic Publishers
A bounded translation of intuitionistic prepositional logic into basic propositional logic
, Article Mathematical Logic Quarterly ; Volume 46, Issue 2 , 2000 , Pages 199-206 ; 09425616 (ISSN) ; Ardeshir, M ; Sharif University of Technology
Wiley-VCH Verlag
2000
Abstract
In this paper we prove a bounded translation of intuitionistic prepositional logic into basic propositional logic. Our new theorem, compared with the translation theorem in [1], has the advantage that it gives an effective bound on the translation, depending on the complexity of formulas
Solving Nonlinear Systems of Mixed Iqualities and Inequalities Via Trust Region Quadratic Methods
, M.Sc. Thesis Sharif University of Technology ; Razvan, Mohammad Reza (Supervisor) ; Payghami, Mohammad Reza (Supervisor)Jamming Resilient Algorithms for Rendezvous in Cognitive Radio Networks
, M.Sc. Thesis Sharif University of Technology ; Aref, Mohammad Reza (Supervisor) ; Pakravan, Mohammad Reza (Co-Advisor)
Abstract
Dynamic spectrum access with the aid of cognitive radio (CR) technology is a viable solution to spectrum scarcity. There are many military and emergency applications that require the use of cognitive radio ad-hoc networks (CRAHNs). In these net- works, nodes must first find each other in a wide spectrum and then exchange their desired data. The process of finding each other in a multichannel environment is a challenging task and is usually known as rendezvous. Since rendezvous is the first step in communication, disrupting will disable the nodes from establishing proper communication sessions. That results in a drastic degrade in the performance of the network. Therefore, it is important to...