Loading...
Search for:
salehi--najmeh
0.122 seconds
Total 483 records
Formal Analysis of Security Protocols using Theorem Proving
, M.Sc. Thesis Sharif University of Technology ; Jalili, Rasool (Supervisor)
Abstract
Security protocols are mostly verified using tools based on model checking approach. These tools are automatic but they can be used for verifying protocols with low complexity and limited number of participants. The other approach that can be used in these cases is theorem proving. Inductive method is a theorem proving approach which is based on induction in mathematics. Inductive method has been applied for verifying several classical and real-world protocols.
The basic concepts in this method are event and trace. Using the concept of event, the network traffic can be modeled through various events occurring in the network. Atrace is a list of events and model a history of the network....
The basic concepts in this method are event and trace. Using the concept of event, the network traffic can be modeled through various events occurring in the network. Atrace is a list of events and model a history of the network....
Emerging OCDMA communication systems and data networks [electronic resource]
, Article Journal of Optical Networking ; Volume 6, Issue 9, 1 September 2007, Pages 1138-1178 ; 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...
Electroplating and characterization of Cr–Al2O3 nanocomposite film from a trivalent chromium bath [electronic resource]
, Article Anti-Corrosion Methods and Materials ; Vol 61, No 4, 2014, 205-214 ; Sadrnezhaad, Khatiboleslam ; Salehi Doolabi, Davood ; Sharif University of Technology
Abstract
The main aim of this study was to improve current efficiency and to obtain thicker coatings via aluminum oxide (Al2O3) addition to the chromium (Cr) (III) bath. Design/methodology/approach ‐ Pure Cr and nanocomposite Cr–Al2O3 coatings were electrodeposited from Cr (III) bath onto cathode copper substrates by conventional method. Dependence of current efficiency to current density, Al2O3 content and particle size were investigated. Findings ‐ Current efficiency increased with Al2O3 amount and decreased with Al2O3 particle size. Maximum current efficiency was achieved at 25 A/dm2 for pure Cr and 30 A/dm2 for composite coatings. Al2O3 bath content, current density and stirring rate increased...
Spatial heterodyning optical CDMA technique for near-field free-space optical communication systems [electronic resource]
, Article IEEE Journal of Optical Communications and Networking ; Vol. 1, No. 5, PP. 498-511, Oct. 2009 ; Salehi, J. A ; Sharif University Of TechnologyAn automated simple algorithm for realistic pore network extraction from micro-tomography images
, Article Journal of Petroleum Science and Engineering ; Vol. 123, issue , 2014 , pp. 164-171 ; ISSN: 09204105 ; Jamshidi, S ; Salehi, S
2014
Abstract
Using 3-D scanned data to analyze and extract pore network plays a vital role in investigation of porous media's characteristics. In this paper, a new simple method is developed to detect pores and throats for analyzing the connectivity and permeability of the network. This automated method utilizes some of the common and well-known image processing functions which are widely accessible by researchers and this has led to an easy algorithm implementation. In this method, after polishing and quality control of images, using city-block distance function and watershed segmentation algorithm, pores and throats are detected and 3-D network is produced. This method can also be applied on 2-D images...
Essentials of sla for l2 teachers: A transdisciplinary framework, joan kelly hall, routledge, New york
, Article Iranian Journal of Language Teaching Research ; Issue 1 , 2020 , Pages 154-156 ; Sharif University of Technology
Urmia University
2020
Influence of pulse parameters on electrocodeposition of Cr-Al2O3 nanocomposite coatings from trivalent chromium bath
, Article International Heat Treatment and Surface Engineering ; Volume 6, Issue 4 , December , 2012 , Pages 178-184 ; 17495148 (ISSN) ; Sadrnezhaad, S. K ; Salehi Doolabi, D ; Asadirad, M ; Sharif University of Technology
2012
Abstract
Cr and Cr-Al2O3 coatings were electrodeposited from Cr(III) bath with both pulsating and direct current onto copper substrates. Pulsating current resulted in homogeneous films of higher Al2O3 content and lower particle agglomeration than the direct current. Differences were more tangible at shorter duty cycles and pulse frequencies. Pulsating current improved both microhardness and corrosion resistance. The presence of alumina nanoparticles resulted in greater current efficiency, higher film microhardness and better corrosion resistance. Maximum current efficiency, highest microhardness and densest electrodeposited coatings were achieved at current density of 20 A dm-2, duty cycle of 40% and...
Optimum receiver design for transmitted-reference signaling [electronic resource]
, Article IEEE Transactions on Communications ; May 2010, Volume 58, Issue 5, P.1589-1598 ; Salehi, J. A ; Sharif University of Technology
Abstract
Autocorrelation receiver (AcR) is usually used as the general receiver for transmitted reference (TR) communication systems on a quite intuitive basis. In this paper, we apply the principle of statistical invariance to obtain the optimum TR receiver on a decision-theoretic basis, and it is shown that the autocorrelation receiver is optimal only in a special case. Performance of the optimum receiver and the suboptimum AcR for some important modulation schemes is also evaluated. The results imply that allocating a part of the transmitted energy and bandwidth to reference pulses would not help improve the performance of the system and the optimal performance might be achieved via much simpler...
Multi-rate and multi-quality of service passive optical network based on hybrid WDM/OCDM system [electronic resource]
, Article IEEE Communications Magazine ; February 2011, Volume 49, Issue 2, PP. S39-S44 ; Salehi, J. A ; Sharif University of Technology
Abstract
In this article we present a new scheme to support multirate and multi-quality-of-service transmission in passive optical networks based on a hybrid wavelength-division multiplexing/optical code-division multiplexing scheme. The idea is to use multilength variable-weight optical orthogonal codes as signature sequences of a hybrid WDM/OCDM system. To provide the requested classes of service, the code weight and code length of MLVW-OOCs are designed based on the characteristics of the requested classes of service. In order to mitigate multiple access interference, we propose to utilize a multilevel signaling technique and interference remover structure based on advanced optical logic gate...
Emerging OCDMA communication systems and data networks [Invited]
, Article Journal of Optical Networking ; Volume 6, Issue 9 , 2007 , Pages 1138-1178 ; 15365379 (ISSN) ; Sharif University of Technology
Optical Society of American (OSA)
2007
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...
Performance of three-level spectrally encoded spreadtime CDMA in the presence of multiple interferences [electronic resource]
, Article IET Communications ; July 2011, Volume 5, Issue 10, P. 1328-1335 ; Mashhadi, Saeed ; Salehi, J. A ; Sharif University of Technology
Abstract
In this study the authors present an in-depth study, analysis and discussion on maximum likelihood (ML)-based receiver for a typical spectrally encoded spread-time CDMA in the presence of multiple narrowband interference (NBI) signals in an additive white Gaussian noise channel. Furthermore, the authors demonstrate that by combining useful properties of ML-based receiver and three-level codes, that is, codes with values of -1, 0, +1, the authors can introduce a new strategy in which superior performance with respect to previous receiver structure based on two-level codes, that is, codes with values of -1, +1, can be attained. With the help of an example, the authors drive, first, the...
Multi-Service Provisioning and Quality of Service (QoS) Guarantee in Optical Code Switched GMPLS Core Networks
, M.Sc. Thesis Sharif University of Technology ; Salehi, Javad (Supervisor)
Abstract
The growth of the word wide Internet causes to increase the request of subscribers for various applications of multimedia which having different traffic characteristics. In order to provide such applications which generate divers data traffic with different transmission rate and quality of service, we need to design a network supporting multi-rate and multi-quality (multi-service) transmission. In this study we present two schemes to support multi-service transmission in generalized multi-protocol label switched (GMPLS) core networks. In the first scheme we use multi-length variable-weight optical orthogonal codes (MLVW-OOC) as signature sequences of optical code division multiplexing system...
Performance of CULP-CDMA Receivers Based on Four Wave Mixers
, M.Sc. Thesis Sharif University of Technology ; Salehi, Javad (Supervisor)
Abstract
In this thesis the performance of the all optical AND gates, based the Four Wave Mixing process (FWM), for application in optical communication and computing systems, has been investigated. In the performance analysis of these AND gates, we mainly focus on its application in the receivers of the Optical Code Division Multiple Access (OCDMA) systems. For analyzing the performance of these receivers we utilize the existing mathematical model for FWM [1-5], which leads to the nonlinear Schrodinger (NLS) coupled equations. The attenuation, chromatic dispersion and Raman scattering effects have been taken into account in this model and the scalar approximation, for approximating the relation...
Ultrashort Pulse Receiver Design Via Statistical Invariance Principle
, Ph.D. Dissertation Sharif University of Technology ; Salehi, Javad (Supervisor)
Abstract
With the emergence and development of ultra broadband communication systems incorporating ultrashort pulses, the design of suitable receiver structures became one the most significant problems in such systems; since due the limited bandwidth and speed of current electronic devices, most of the existing receiver structures cannot be used properly. In the field of radio communications, the design of simple and low power consumption receivers for ultrawideband (UWB) and millimeter wave band communication systems, which do not rely on complex channel estimation mechanisms, is of much interest. In ultrashort light pulse optical communication systems –and specially coherent optical CDMA systems–...
Narrowband Interference Cancellation in Wireless Ultra Wideband Communication Systems via Three-Level Spread Time Codes
, Ph.D. Dissertation Sharif University of Technology ; Salehi, Javad (Supervisor)
Abstract
Achieving various data rates over a wide range of applications and in a multiple-access scenario should be done under certain power and bandwidth constraints. Emerging UWB communications has opened a novel perspective against different wireless network challenges, especially overwhelming data rates. In the research field, we begin our thesis with exposition of UWB, narrowband interference and spread time codes. We elaborate on the properties of spread time codes through frequency domain analysis of a reusable multiple-access scheme. Evaluating the variance of ISI, MAI and RUI, we demonstrate the spread time codes behave in an optimum manner, i.e., the most RUI resistibility, along with all...
Impedance Control of Flexible Base Moving Manipulators
, Ph.D. Dissertation Sharif University of Technology ; Vossoughi, Gholamreza (Supervisor)
Abstract
In this paper, the general research of impedance control is addressed for a robotic manipulator with a moving flexible base. Impedance control imposes a relation between force and displacement at the contact point with the environment. The concept of impedance control of flexible base moving manipulators (FBMM) is rather new and is being considered. The dynamic of manipulator is decomposed into slow and fast dynamics using singular perturbation method. New sliding mode impedance control method (SMIC), using an element on the end effector is proposed for high precision impedance control of FBMM. The sliding mode impedance control method as a robust impedance control law is derived for the...
Design of Business Processes for a Company that Offers IT Products and Services
, M.Sc. Thesis Sharif University of Technology ; Shadrokh, Shahram (Supervisor)
Abstract
Small and medium companies generally start with a technical idea and usually without any specific strategy and mission . Commonly at this time short-term goals determine activities and current processes of company. As the time after time that the company grows it faces great problems because of the lack of strategy and long-term goals and also lack of correct definition of business processes. In this thesis with selecting one of these companies that provides products and services in information technology fields, after investigating current situation and problems we will redefine the mission and objectives with strategic approach. Then we offer a suitable business model that fits company...
Digital Design and Implementation of a Multilevel OCDMA System
, M.Sc. Thesis Sharif University of Technology ; Salehi, Javad (Supervisor)
Abstract
Optical Wireless Communication is believed to have a great potential in establishing point to point connection and have attracted an unexpected growth in research , applications and market. Furthermore, Optical wireless systems have recently emerged as a new means of communication, especially in places where electromagnetic interferences is of utmost concern such as in passenger planes and hospitals and in other communications applications where cost could is of concern. In this thesis we build upon previously introduced wireless optical code-division multiple –access communication. In the context of an OCDMA system we begin our study by considering synchronization circuit via a...
Energy/Throughput Efficient Signalings for Optical CDMA Systems
, Ph.D. Dissertation Sharif University of Technology ; Salehi, Javad (Supervisor)
Abstract
A major breakthorugh in all-optical wireless and wired communication networks is taking place in the last mile such as access networks. In this case، study-ing various multiple-access techniques in all-optical domain، especially optical code-division multiple-access (OCDMA) technique is of utmost importance. In this thesis we study several key signalings and modulation techniques in the con-text of their performance، energy and throughput efficiency for OCDMA systems. In particular we introduce novel multilevel signaling techniques for OOC-based fiber-optic CDMA systems and present their corresponding all-optical receiver structures using advanced optical devices such as optical-logic-gate...
Statistical Analysis of Optical Clock Recovery System Based on Second Harmonic Generation (SHG) Detection Scheme in Optical Networks
, M.Sc. Thesis Sharif University of Technology ; Salehi, Javad (Supervisor)
Abstract
In this thesis, we statistically model and analyze one of the main systems in optical communications which are based on Second HarmonicGeneration (SHG) process. To this end, we first introduce various applications of this process in optical communication systems and see that the main application of this nonlinear process is in the process of optical clock recovery in both of OTDM and SPE_OCDMA networks. In the rest of the thesis, we characterize the mathematical structure of these systems and use that to statistically analyze their behavior. In considering the optical clock recovery system based on SHG, we introduce three intrinsic sources of timing jitter in the system, namely, the On-Off...