Loading...
Search for: damani--rasoul
0.129 seconds

    All-Optical Clock Recovery Using Nonlinear Kerr Effect in Optical Fibers

    , M.Sc. Thesis Sharif University of Technology Damani, Rasoul (Author) ; Salehi, Javad (Supervisor)
    Abstract
    In this thesis, a brief review of the previously introduced all optical clock recovery methods are presented and then, two novel all optical PLLs, based on nonlinear Kerr effects in fiber optics, are introduced and thoroughly investigated. To obtain more insight into the subject, firstly, nonlinear Kerr effect and its two main applications, including FOPA amplifiers and optical Kerr shutters are described. One of the proposed PLLs employs a FOPA in its error signal detection process, and the other is based on using two Kerr shutter switches to detect the error signal. Since the PLLs are based on the quasi-instantaneous Kerr effect, they are expected to be suitable in ultra-high speed... 

    Theoretical considerations in designing ultra-high speed all-optical clock recovery using fiber optical parametric amplifiers

    , Article Journal of Lightwave Technology ; Vol. 32, issue. 15 , August , 2014 , pp. 2678-2689 ; ISSN: 07338724 Damani, R ; Salehi, J. A ; Sharif University of Technology
    2014
    Abstract
    In this paper, a new all-optical phase-locked loop (OPLL) in a TDM system is proposed and analyzed. The scheme relies on using fiber optical parametric amplifier (FOPA) device models and theories. In the proposed OPLL, the local clock pulse stream and the received data signal pulses are fed into the FOPA as its pump and amplified signals, respectively. The power of the resulting, relatively, strong idler signal depends on the phase difference between the local clock and the received data signal pulses, and it is used to reveal the OPLL's error signal. We characterize the mathematical structure of the proposed OPLL and identify its three intrinsic sources of phase noises namely, randomness of... 

    Almost zero-jitter optical clock recovery using all-optical kerr shutter switching techniques

    , Article Journal of Lightwave Technology ; Volume 33, Issue 9 , February , 2015 , Pages 1737-1747 ; 07338724 (ISSN) Damani, R ; Salehi, J. A ; Sharif University of Technology
    Institute of Electrical and Electronics Engineers Inc  2015
    Abstract
    In this paper, a new all optical phase-locked loop (OPLL) is proposed and analyzed. The scheme relies on using two optical Kerr shutters to reveal the OPLL's error signal. The set of optical Kerr shutters and the subsequent low-speed photodetectors realize two nonlinear cross-correlations between the local clock pulse stream (called pump in Kerr shutter notations) and the time-shifted replicas of the incoming received data signal (called probe). The outputs of the cross-correlators are subtracted to form the error signal of the OPLL. We characterize the mathematical structure of the proposed OPLL and identify its two intrinsic sources of phase noise, namely, randomness of the received... 

    Establishment of ISO/TS 16949:2002 Standard and Combining with Sapco 86 and AR/8601 Saipa Sazeh Gostar Requirements in Auto Parts Manufacturing Company

    , M.Sc. Thesis Sharif University of Technology Alavi, Zahra (Author) ; Hajji, Rasoul (Supervisor)
    Abstract
    The quality is the last word of customer satisfaction concept. The structure and the main goal of many of large and small companies have been formed with systems aggregate related to process and product quality. Whereas quality is not achieved only under the protection of inspecting and controlling, then the quality management standards have been designed and produced to control all the activities and organization effective processes. Quality management standards in auto industries have been developed with increasing of customer desire and their severity simultaneously. Which the set of some standards such as ISO 9000, QS 9000, VDA, … and the most ISO TS 16949 requirements have been used.... 

    Economic Batch Quantity (EBQ) for a Single-Stage Production System with Rework and Scrapping

    , M.Sc. Thesis Sharif University of Technology Rahmani, Vasim (Author) ; Haji, Rasoul (Supervisor)
    Abstract
    The classical economic batch quantity (EBQ) model assumes that all produced items have a perfect quality. But in real-life production systems, generation of defective items is inevitable. A portion of these defective items is considered to be scrap , while the other is assumed to be reworkable and reworking them can reduce costs and increase productivity. In this thesis we have studied the economic batch quantity for a single stage production system with rework and scrapping . We want to satisfy the customer demand and minimize total costs of the system like set up costs , production costs , rework costs , holding costs , shortage costs and scrapping costs . In the first chapter of this... 

    Systematic Planned (Preventive) Maintenance in Hospitals And Medical Centers of Iran

    , M.Sc. Thesis Sharif University of Technology Faghihi, Farshid (Author) ; Haji, Rasoul (Supervisor)
    Abstract
    Based on the latest statistical figures, more than 50 billion Rials worth of medical equipment exists in Iran’s medical centers. In spite of this, Breakdown maintenance is used in all hospitals, which means that the equipment is utilized as long as it is not out of order and only in such a situation, i.e. a breakdown, the necessary repair operation is conducted on the equipment. In fact, no maintenance is carried out to prevent a breakdown, while the “prevention from breakdown” concept has long been introduced in the majority of industries in many countries including Iran and its positive impacts are undisputable. This thesis aims at proposing a solution for the implementation of a “planned... 

    A Semantic-Aware Authorization Model Based on Deontic Logic

    , Ph.D. Dissertation Sharif University of Technology Amini, Morteza (Author) ; Jalili, Rasoul (Supervisor)
    Abstract
    Semantic technology provides an abstraction layer above existing computational environments, especially the Web, to give information a well-defined meaning. Moving toward semantic-aware environments imposes new security requirements. One of the most important requirement is the authorization and security policy inference based on the existing semantic relationships in the abstract (conceptual) layer. Most of the authorization models proposed for these environments so far are incomplete and their inference rules are not guaranteed to be consistent, sound, and complete. To have a sound and complete system for policy specification and inference, in this thesis, a family of modal logics, called... 

    Formal Verification of Privacy Property Using Applied Pi Calculus and Epistemic Logic

    , M.Sc. Thesis Sharif University of Technology Mohammadi, Jamal (Author) ; Ramezanian, Rasoul (Supervisor)
    Abstract
    Applied pi calculus is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the security guarantees are usually stated as equivalences. While process calculi provide a natural means to describe the protocols themselves, epistemic logics are often better suited for expressing certain security properties such as secrecy and anonymity. These methods studied in this work to investigation the verification of privacy properties in security protocols. And finally, a new approach is introduced to bridge the gap between these two approaches: using the set of traces generated by a process as models. In this method an epistemic logic has constructs for... 

    Query Correctness Assurance for Outsourced Databases

    , M.Sc. Thesis Sharif University of Technology Noferesti, Morteza (Author) ; Jalili, Rasoul (Supervisor)
    Abstract
    In the secure data outsourcing scenario, verification of the reply of an unreliable server includes assessing the authenticity, completeness and it’s integrity. In this thesis, an efficient method, with emphasis on freshness, has been introduced to evaluate the correctness of the replies from a server. It takes in hand different application needs, inherent differences in the data, and different update mechanisms. This method evaluates freshness by using timestamps alongside the data being out sourced. Due to the requirement of verifying not only the freshness of the response, but the correctness of the timestamps as well, two general methods for evaluating and verifying the responses were... 

    Access Control in Semantic Social Network

    , M.Sc. Thesis Sharif University of Technology Alizadeh, Mahdi (Author) ; Jalili, Rasoul (Supervisor)
    Abstract
    Growth of tools that ease sharing information and resources in social networks can cause privacy issues for the users. Protecting user’s personal information against unauthorized access is a crucial task, and it is considered as a first step for preserving user’s privacy in such networks. Policies, access control rules, and the way rules are applied to online social networks are issues that are less investigated and most existing frameworks have used simple models. Growth of users joining social networks and significant volume of resources shared in these networks make such environments suitable for using semantic technology. Semantic technology is used for modeling various resources, users,... 

    “Determination of Economic Order and Production Quantity in Inventory System Regarding the Quality of Items”

    , M.Sc. Thesis Sharif University of Technology Torabi, Hassan (Author) ; Haji, Rasoul (Supervisor)
    Abstract
    EOQ and EPQ models have been among the most important and commonly used techniques for about 100 and 60 years respectively .But, they are involved in some assumptions that sometimes prevent them from being implemented in real situation of industry and production. One of these unrealistic assumptions is that all of items received or produced are of perfect quality. In order to overcome this constraint and make the mentioned models closer to the real environmentsome researches have been done. To this end,following the previous attemptsin this project we assumed to have destructive inspections and existence of imperfect and rejected items after rework. In our models, considering 3 circumstances... 

    Analysis of Non-monotonicity Property in Access Control for Pervasive Computing Environment

    , M.Sc. Thesis Sharif University of Technology Javadi, Ahmad (Author) ; Jalili, Rasoul (Supervisor)
    Abstract
    Access control, which is the process of mediating every request to resources and data maintained by a system and determining whether the request should be granted or denied, plays an important role in the system security. The existing of non-monotonicity property in a deduction and decision making process means that some of the previous deductions or decisions may be retracted by adding new information and premises. Based on the definition, in a non-monotonic access control system, adding new information or access control rules may invalidate some of the previous conclusions (permissions/prohibitions). The requirements such as decision making based on the imperfect information, supporting... 

    Selecting and Optimizing Portfolio Using Methaheuristic Methods

    , M.Sc. Thesis Sharif University of Technology Kord, Aisheh (Author) ; Rmezanian, Rasoul (Supervisor)
    Abstract
    Portfolio is a collection of different stocks for investment. The investors' objectives in portfolio formation are to get the highest return against exposure to the lowest risk. Portfolio Optimization Problem is one of the most complicated problems in investment and finance. It may be simply explained as follows: Let's imagine a set of N stocks for selection. We would like to see what percentage of the total amount of investment should be dedicated to each stock to maximize portfolio's total return and minimize its total risk.
    Portfolio Optimization Problem is a NP-Hard problem and generally there exists no polynomial-time deterministic algorithm to find a precise solution to such a... 

    Transportation Problem of Hub Network with Direct Links

    , M.Sc. Thesis Sharif University of Technology Shakeri, Hamed (Author) ; Haji, Rasoul (Supervisor)
    Abstract
    Hub and Spoke networks come into play when considering direct link between all origins and destinations is either impossible or expensive in a transportation system. In this kind of problems, some nodes are chosen as hub from all origin and destination nodes to collect flows and then distribute them. Implementing hub network leads to minimizing transportation cost, sorting flows and conveying them in economies of scale. Otherwise, shipping flows directly may cause decreasing the travelling distance and the delivery time consequently. In this dissertation, combination of hub network and direct shipment is investigated. To obtain the optimal hub locations and direct links between non-hub nodes... 

    Punishment Normative Systems

    , M.Sc. Thesis Sharif University of Technology Feghhi, Saman (Author) ; Ramezanian, Rasoul (Supervisor)
    Abstract
    In real life, we can not always expect agents and authorities to have the same desires. Also when it comes to conflicts, agents always tend to break the authorities’ norms to follow their own strategies. Hence we can not expect strict norms to model an actual real life situation.In this article we introduce punishment normative systems, based on multi-agent Marokov chain processes (MMDPs). We try to extend the punishment idea to be also applicable on long-run and infinite strategies. We consider a version of the multi-agent model that is widely used in different situations and then provide an algorithm to find a fair normative system that distributes obligations equally on the agents, while... 

    Developing Inventory Control Policies with No Ordering Costs in Two-Echelon Supply Chains

    , Ph.D. Dissertation Sharif University of Technology Tayebi, Hamed (Author) ; Haji, Rasoul (Supervisor)
    Abstract
    This dissertation attempts to develop four inventory control models for two-echelon supply chains. For the all models, the retailers face Poisson demand and lost sales during a stockout. There is also a time-dependent holding cost and a cost per unit of lost sales. However, there is no (or negligible) cost associated with placing an order.
    For the first model, we consider a two-echelon inventory system with one central warehouse and a number of retailers. The central warehouse applies (R, Q) policy and retailers apply base stock policy. In this model, we approximate the arrival process of the central warehouse and obtain the total cost of the system, as well as the optimal solution.... 

    Multi-Objective Production Planning and Job Shop Scheduling

    , M.Sc. Thesis Sharif University of Technology Rabiee, Marzie (Author) ; Haji, Rasoul (Supervisor)
    Abstract
    Production scheduling is such a key issue that directly influences on the performance of the machines and efficiency of production line. This category of problems is to find simultaneously the lot sizes and their sequence over a finite set of planning periods.
    In this Thesis a multi objective production planning and job shop scheduling problem is investigated. The objectives are minimization of the production cost and minimization of production time smoothness in consecutive periods. As the problem is shown to be NP-hard, two multi-objectives genetic algorithms with two approaches in selection of parents and crowding distance index are proposed to solve this problem. In these two meta... 

    A Hybrid Approach of Similarity-based and Scenario-based Algorithms in Alert Correlation

    , M.Sc. Thesis Sharif University of Technology Sepahi, Ahmad (Author) ; Jalili, Rasoul (Supervisor)
    Abstract
    The rapid growth and increase in complexity of modern network and communication systems have made a demand for protecting organizations’ sensitive data and resources from malicious intrusions. Attackers and intruders perform malicious attacks by exploiting vulnerabilities, weaknesses, and flaws in computer systems using novel and advanced techniques. Traditional security mechanisms, such as authentication, access control, and firewall cannot prevent these attacks. Therefore, Intrusion detection systems (IDSs) are employed to detect abnormal activities and monitor network traffic and hosts’ events. These systems suffer from several limitations, including generating a huge amount of alerts and... 

    Web Driven Alert Correlation

    , M.Sc. Thesis Sharif University of Technology Najafi, Abolfazl (Author) ; Jalili, Rasoul (Supervisor)
    Abstract
    With the growing deployment of host and network intrusion detection systems, analyzing generated alerts from these systems becomes critically important and challenging due to its complexity and high amount of data. A perfect intrusion detection system would be able to identify all the attacks without raising any false and non-relevant alarms. Unfortunately, false alarms are commonplace in intrusion detection systems. Non-relevant alerts, which are associated with attacks that were not successful, are also common. The process of identifying false and non-relevant alerts is called alert verification. Also nowadays, web applications are widely used in critical and important roles (e.g.,... 

    An Alert Correlation System with the Throughput of Multi-Thousands Events per Second

    , M.Sc. Thesis Sharif University of Technology Mirheidari, Ali (Author) ; Jalili, Rasoul (Supervisor)
    Abstract
    With the growing deployment of host and network intrusion detection systems, analyzing generated alerts from these systems becomes critically important and challenging due to its complexity and high amount of data. Alert Correlation systems are a possible solution for deep analysis of incoming alerts in response to potential attacks against enterprise networks. Although several known alert correlation systems have been proposed for this purpose so far, most of them do not support high amount of input due to their centralized architecture. In this thesis, we propose a system architecture and approach for alert correlation to be extensible, flexible, and modular. The architecture encompasses...