Loading...
Search for: termination
0.007 seconds
Total 100 records

    Dynamic Gossip

    , Article Bulletin of the Iranian Mathematical Society ; Volume 45, Issue 3 , 2019 , Pages 701-728 ; 10186301 (ISSN) van Ditmarsch, H ; van Eijck, J ; Pardo, P ; Ramezanian, R ; Schwarzentruber, F ; Sharif University of Technology
    Springer International Publishing  2019
    Abstract
    A gossip protocol is a procedure for spreading secrets among a group of agents, using a connection graph. The goal is for all agents to get to know all secrets, in which case we call the execution of the protocol successful. We consider distributed and dynamic gossip protocols. In distributed gossip, the agents themselves instead of a global scheduler determine whom to call. In dynamic gossip, not only secrets are exchanged but also telephone numbers (agent identities). This results in increased graph connectivity. We define six such distributed dynamic gossip protocols, and we characterize them in terms of the topology of the graphs on which they are successful, wherein we distinguish... 

    Design, Simulation, and Evaluation of Automated Container Terminals

    , Article IEEE Transactions on Intelligent Transportation Systems ; Volume 3, Issue 1 , 2002 , Pages 12-26 ; 15249050 (ISSN) Liu, C. I ; Jula, H ; Ioannou, P. A ; Sharif University of Technology
    2002
    Abstract
    Due to the boom in world trade, port authorities are looking into ways of making existing facilities more efficient. One way to improve efficiency, increase capacity, and meet future demand is to use advanced technologies and automation in order to speed up terminal operations. In this paper, we design, analyze, and evaluate four different automated container terminal (ACT) concepts. These concepts include automated container terminals based on the use of automated guidance vehicles (AGVs), a linear motor conveyance system (LMCS), an overhead grid rail system (GR), and a high-rise automated storage and retrieval structure (AS/RS). We use future demand scenarios to design the characteristics... 

    Predicting atrial fibrillation termination using ECG features, a comparison

    , Article 2008 1st International Symposium on Applied Sciences in Biomedical and Communication Technologies, ISABEL 2008, Aalborg, 25 October 2008 through 28 October 2008 ; 2008 ; 9781424426478 (ISBN) Saberi, S ; Esmaeili, V ; Towhidkhah, F ; Moradi, M. H ; Sharif University of Technology
    2008
    Abstract
    In this study, surface ECG recordings have been used to accomplish a non-invasive method which can predict spontaneous termination of Atrial Fibrillation (AF) and discriminate terminating (T) and non-terminating (N) AF episodes. The data set was provided by Physionet including holter recordings of 50 patients (20 training and 30 test sets). Concerning that most relevant information about the AF exists in the atrial fibrillatory wave, Several spectral and time-frequency parameters were extracted from the ECG signal after canceling the QRST complex. Also a temporal feature, RR interval variation, representing the ventricular activity was calculated. These parameters were evaluated using a... 

    Free-chattering robust finite time tracking for connected double integrator nonlinear systems

    , Article 2016 4th International Conference on Control, Instrumentation, and Automation, ICCIA 2016, 27 January 2016 through 28 January 2016 ; 2016 , Pages 301-306 ; 9781467387040 (ISBN) Abooee, A ; Moravej Khorasani, M ; Haeri, M ; Sharif University of Technology
    Institute of Electrical and Electronics Engineers Inc  2016
    Abstract
    In this paper, a new form of generalized nonsingular fast terminal sliding mode control approach is proposed to provide the finite time tracking in connected chain of double integrator nonlinear systems subjected to additive bounded unknown uncertainties, disturbances, and internal interactions. The proposed approach presents an adjustable finite time for achieving the tracking goal which is a summation of two separate tunable times including finite reaching time and finite settling time. Tuning of the total finite time is done by adjusting arbitrary parameters in the control inputs and sliding surfaces. The high frequency switching of the control method is removed by applying a second order... 

    Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs

    , Article ACM SIGPLAN Notices ; Volume 51, Issue 1 , 2016 , Pages 327-342 ; 15232867 (ISSN) Chatterjee, K ; Fu, H ; Novotný, P ; Hasheminezhad, R ; Sharif University of Technology
    Association for Computing Machinery 
    Abstract
    In this paper, we consider termination of probabilistic programs with real-valued variables. The questions concerned are: (a) qualitative ones that ask (i) whether the program terminates with probability 1 (almost-sure termination) and (ii) whether the expected termination time is finite (finite termination); (b) quantitative ones that ask (i) to approximate the expected termination time (expectation problem) and (ii) to compute a bound B such that the probability to terminate after B steps decreases exponentially (concentration problem). To solve these questions, we utilize the notion of ranking supermartingales which is a powerful approach for proving termination of probabilistic programs.... 

    Enhanced control of grid forming VSCs in a micro-grid system under unbalanced conditions

    , Article 9th Annual International Power Electronics, Drive Systems, and Technologies Conference, PEDSTC 2018, 13 February 2018 through 15 February 2018 ; Volume 2018-January , April , 2018 , Pages 380-385 ; 9781538646977 (ISBN) Zarei, S. F ; Mokhtari, H ; Ghasemi, M. A ; SHarif University of Technology
    Institute of Electrical and Electronics Engineers Inc  2018
    Abstract
    Due to the technical advances in power electronic industry, employing inverter-based distributed energy resources (IBDERs) are increased in electric power systems. Distributed generators (DGs) with the rating capacity of few megawatts are commonly connected to the distribution level of power systems which are inherently unbalanced. A cluster of IBDERs and loads form a small-scale grid called microgrid (MG) which can operate independent of the main grid. In a MG, grid forming voltage source converters (VSCs) are used to control the voltages and frequency of the MG. However, grid forming VSCs with conventional control schemes cannot do this task properly when the MG is unbalanced. In this... 

    A model for assured software download on mobile terminals

    , Article Proceedings - 2009 WRI International Conference on Communications and Mobile Computing, CMC 2009, 6 January 2009 through 8 January 2009, Kunming, Yunnan ; Volume 2 , 2009 , Pages 432-436 ; 9780769535012 (ISBN) Sabetghadam, S ; Niamanesh, M ; Esmaeili, J ; Sharif University of Technology
    2009
    Abstract
    Over-the-air (OTA) software download is a key enabling technology for terminal reconfigurations. With increasing the number of network protocols, variety of software products with different software providers and new software threats, it becomes important to download and install assured software on the mobile terminals. Most of the related research works on downloading assured software, focus on software validation after download, and mainly on the terminal. In this paper, a model is proposed in which an Assurance Agency is exploited. This agency is responsible for performing software examination and validations. Unlike related work, examination and validation operations are centrally... 

    A new homologous series of linear aliphatic unsaturated hydroxypolyesters a polyol soft segments for polyurethanes: Synthesis and characterization [electronic resource]

    , Article Journal of Applied Polymer Science ; Volume 68, Issue 2, pages 173–183, 11 April 1998 Pourdjavadi, A. (Ali) ; Rezai, Nasrin ; Zohurian, M. J ; Sharif University of Technology
    Abstract
    Synthesis and characterization of a new series of low molecular weight (MW = 500–3000) OH-terminated linear aliphatic unsaturated polyesters based on cis-2-butene-1,4-diol and oxalic to sebacic acid were investigated. Direct polycondensation and transesterification methods were used for the syntheses. The latter was recognized to be the preferable method due to its lower reaction temperature and time, lower diol/diacid ratio, absence of decarboxylation, and formation of a product with low polydispersity (Mw/Mn = 1.3–2.7). Elemental analysis, GPC, FTIR, 1H-NMR, DSC, and WAXD were used for the investigations. A segmented polyurethane based on poly (cis-2-butylene adipate) glycol was also... 

    Design of an RMPC with a time-varying terminal constraint set for tracking problem

    , Article International Journal of Robust and Nonlinear Control ; Volume 26, Issue 12 , 2016 , Pages 2623-2642 ; 10498923 (ISSN) Razi, M ; Haeri, M ; Sharif University of Technology
    John Wiley and Sons Ltd  2016
    Abstract
    This paper presents a robust model predictive control algorithm with a time-varying terminal constraint set for systems with model uncertainty and input constraints. In this algorithm, the nonlinear system is approximated by a linear model where the approximation error is considered as an unstructured uncertainty that can be represented by a Lipschitz nonlinear function. A continuum of terminal constraint sets is constructed off-line, and robust stability is achieved on-line by using a variable control horizon. This approach significantly reduces the computational complexity. The proposed robust model predictive controller with a terminal constraint set is used in tracking set-points for... 

    A novel copper-catalyzed synthesis of n-monosubstituted 2-alkynimi-damides from 1-alkynes and trichloroacetamidines

    , Article Letters in Organic Chemistry ; Volume 17, Issue 9 , 2020 , Pages 704-708 Fasihi Dastjerdi, H ; Nematpour, M ; Rezaee, E ; Jahani, M ; Tabatabai, S. A ; Sharif University of Technology
    Bentham Science Publishers  2020
    Abstract
    A one-pot Cu-catalyzed synthesis of functionalized alkynyl imidamide by terminal alkynes, trichloroacetonitrile and aniline or benzyl amine is reported. The compounds were produced via coupling reaction of terminal alkynes with trichloroacetamidine. This method was performed under mild, ligand-free conditions and easy work-up method. © 2020, Bentham Science Publishers. All rights reserved  

    A practical approach on optimal RTU placement in power distribution systems incorporating fuzzy sets theory

    , Article International Journal of Electrical Power and Energy Systems ; Volume 37, Issue 1 , 2012 , Pages 31-42 ; 01420615 (ISSN) Razi Kazemi, A. A ; Dehghanian, P ; Sharif University of Technology
    Abstract
    Supervisory control and data acquisition (SCADA) infrastructures have so far been brought into the huge amount of focus since the need for a more reliable power system accosting with the catastrophic events of interruptions has been raised. Hence, benefiting from an automation technology which can remotely monitor and coordinate commands to enable immediate response and switching are obviously inevitable. This paper outlines an implementable method in response to the goal of placement of remote terminal units (RTUs) which are in charge for data acquisition and control in a power distribution system. In this light, a new practical methodology based on the robust decision making (DM) method,... 

    Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs

    , Article 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 20 January 2016 through 22 January 2016 ; Volume 20-22-January-2016 , 2016 , Pages 327-342 ; 07308566 (ISSN) ; 9781450335492 (ISBN) Chatterjee, K ; Fu, H ; Novotný, P ; Hasheminezhad, R ; Majumdar, R ; Bodik, R ; Association for Computing Machinery (ACM) SIGPLAN ; Sharif University of Technology
    Association for Computing Machinery 
    Abstract
    In this paper, we consider termination of probabilistic programs with real-valued variables. The questions concerned are: (a) qualitative ones that ask (i) whether the program terminates with probability 1 (almost-sure termination) and (ii) whether the expected termination time is finite (finite termination); (b) quantitative ones that ask (i) to approximate the expected termination time (expectation problem) and (ii) to compute a bound B such that the probability to terminate after B steps decreases exponentially (concentration problem). To solve these questions, we utilize the notion of ranking supermartingales which is a powerful approach for proving termination of probabilistic programs.... 

    Multi-Party secret key agreement over state-dependent wireless broadcast channels

    , Article IEEE Transactions on Information Forensics and Security ; Volume 12, Issue 2 , 2017 , Pages 323-337 ; 15566013 (ISSN) Jafari Siavoshani, M ; Mishra, S ; Fragouli, C ; Diggavi, S. N ; Sharif University of Technology
    Institute of Electrical and Electronics Engineers Inc  2017
    Abstract
    We consider a group of m trusted and authenticated nodes that aim to create a shared secret key K over a wireless channel in the presence of an eavesdropper Eve. We assume that there exists a state-dependent wireless broadcast channel from one of the honest nodes to the rest of them including Eve. All of the trusted nodes can also discuss over a cost-free, noiseless and unlimited rate public channel which is also overheard by Eve. For this setup, we develop an information-theoretically secure secret key agreement protocol. We show the optimality of this protocol for 'linear deterministic' wireless broadcast channels. This model generalizes the packet erasure model studied in the literature... 

    PBN-Based time-optimal terminal air traffic control using cellular automata

    , Article IEEE Transactions on Aerospace and Electronic Systems ; Volume 57, Issue 3 , 2021 , Pages 1513-1523 ; 00189251 (ISSN) Enayatollahi, F ; Amiri Atashgah, M. A ; Malaek, S. M. B ; Thulasiraman, P ; Sharif University of Technology
    Institute of Electrical and Electronics Engineers Inc  2021
    Abstract
    Over the last decade, there has been an increase in air transportation, which has raised awareness to provide necessary procedures to respond to air transportation demands and reduce delay costs. One such procedure, 'performance-based navigation (PBN),' currently studied, is expected to increase the airspace capacity based on aircraft's individual performances. This research describes an efficient and expandable model for allocating standard terminal arrival route during continuous descent approach (CDA) that effectively uses PBN requirements. As a case study, we have considered the 'Atlanta International Airport' and verified the model's accuracy using real-time traffic data. The model is... 

    Study, Analysis & Optimizing The Process Of Approval, Design & Implementation Of Projects In The Iranian Oil Terminal Company(IOTC)

    , M.Sc. Thesis Sharif University of Technology Moosavi, Saeed (Author) ; Mostafavi, Mostafa (Supervisor)
    Abstract
    Since the Iranian oil terminals company(I.O.T.C.) has been the main and strategic gateway of exporting petroleum in the country and plays an important role in the optimum continuity of national, regional and international energy supply chain and also conducting the needed projects whit a desirable quality and minimum time and cost has a prominent influence on steady continuity of manufacturing, importing and exporting of petroleum and gas production. The main purpose of doing this thesis is diagnosing the process of approval, design and implementation of projects in the I.O.T.C., Thus, whit regarding to the modern needs of implementing projects and the necessity of reviewing the structure... 

    Introducing a Simulation-Based Model to Improve the Design and Layout of Workstations Inside Airport Terminals in Iran

    , M.Sc. Thesis Sharif University of Technology Amini Esfidvajani, Amin Mohammad (Author) ; Alvanchi, Amin (Supervisor)
    Abstract
    The airport terminal is difficult to plan and design due to the different components and the intricate complexity of its parts. At the airport terminal, we face a queue system which simulation is always a good way to analyze. In addition, computer simulation using modern softwares with the capability to model different types of systems, including the airport terminal, while being less realistic than analytical models, is less costly than operational Exercise.In this study, a supportive approach for better and specific management of Iranian airport terminal buildings with discrete-event simulation is proposed, considering the need for managing the airport terminals building in the country and... 

    Empirical coordination in a triangular multiterminal network

    , Article IEEE International Symposium on Information Theory - Proceedings ; 2013 , Pages 2149-2153 ; ISSN: 21578095 ; ISBN: 9781479904464 Bereyhi, A ; Bahrami, M ; Mirmohseni, M ; Aref, M. R ; Sharif University of Technology
    2013
    Abstract
    In this paper, we investigate the problem of the empirical coordination in a triangular multiterminal network. A triangular multiterminal network consists of three terminals where two terminals observe two external i.i.d correlated sequences. The third terminal wishes to generate a sequence with desired empirical joint distribution. For this problem, we derive inner and outer bounds on the empirical coordination capacity region. It is shown that the capacity region of the degraded source network and the inner and outer bounds on the capacity region of the cascade multiterminal network can be directly obtained from our inner and outer bounds. For a cipher system, we establish key distribution... 

    Thrust termination dynamics of solid propellant rocket motors

    , Article Journal of Propulsion and Power ; Volume 23, Issue 5 , 2007 , Pages 1141-1142 ; 07484658 (ISSN) Tahsini, A. M ; Farshchi, M ; Sharif University of Technology
    American Institute of Aeronautics and Astronautics Inc  2007
    Abstract
    Thrust termination dynamics of a solid propellant rocket motor that is crucial to the performance of the rocket has been analyzed. Active thrust termination or reversing of a separating motor facilitate the staging process and enhance the performance of a multistage rocket. This can be achieved by opening a secondary nozzle located on the motor head and causing rapid depressurization of the motor chamber. The strong dependence of the solid propellant burning rate on the chamber pressure causes a transient nonlinear behavior that can result in premature dynamic extinguishments of the motor. It was confirmed that there is a maximum achievable level of equilibrium reverse thrust due to... 

    A MAC protocol equipped by a novel transmission scheduling algorithm for wireless LANs

    , Article 2006 3rd Annual IEEE Communications Society on Sensor and Ad hoc Communications and Networks, Secon 2006, Reston, VA, 25 September 2006 through 28 September 2006 ; Volume 3 , 2006 , Pages 933-939 ; 1424406269 (ISBN); 9781424406265 (ISBN) Ghaboosi, K ; Hossein Khalaj, B ; Sharif University of Technology
    Institute of Electrical and Electronics Engineers Inc  2006
    Abstract
    Hidden-terminal is one of the main problems in ad hoc wireless networks. In addition, there are scenarios where the desired destination is located in the range of other transmitters, so that the efforts on setting up communication with this terminal will fail due to collisions that may occur between transmitted control frames and undesired received control and data frames. This phenomenon becomes a bottleneck when most of data transmissions experience packet fragmentation. In such scenarios, the desired destination becomes unreachable during the data transfer of neighboring nodes. Using the same PHY of IEEE 802.11 and making slight modifications in its MAC, a new medium access control scheme... 

    Global Finite Time Stabilization of a Class of Uncertain MIMO Nonlinear Systems

    , Article Journal of Dynamic Systems, Measurement and Control, Transactions of the ASME ; Volume 138, Issue 2 , 2016 ; 00220434 (ISSN) Abooee, A ; Moravej Khorasani, M ; Haeri, M ; Sharif University of Technology
    American Society of Mechanical Engineers (ASME) 
    Abstract
    It is aimed to obtain global finite time stabilization of a class of uncertain multi-input-multi-output (MIMO) nonlinear systems in the presence of bounded disturbances by applying nonsingular terminal sliding mode controllers. The considered nonlinear systems consist of double integrator subsystems which interact with each other. In the proposed methods, new terminal sliding surfaces are introduced along with design of proper control inputs. The terminal sliding surfaces are defined such that the global finite time stability of sliding mode dynamic is attained. The control inputs are designed to steer the states into sliding motion within finite time and retain them on the terminal sliding...