38,561 research outputs found
Verification of C-detectability using Petri nets
No full textDetectability describes the property of a system to uniquely determine, after a finite number of observations, the current and the subsequent states. In this paper, we extend detectability to C-detectability that only requires that a given set of crucial states can be distinguished from other states. We define four types of C-detectability in the framework of labeled Petri nets: strong C-detectability, weak C-detectability, periodically strong C-detectability, and periodically weak C-detectability. Moreover, we propose efficient approaches to verify such properties in the case of bounded labeled Petri net systems. The proposed approaches use the notion of basis marking and thus do not require an exhaustive enumeration of the reachability space
Crucial States Estimation in Radio Block Center Handover Using Petri Nets With Unobservable Transitions
No full textThe radio block center (RBC) is one of the most essential ground systems in a high-speed train control system both in Europe and in China. The RBC handover procedure is an important function of RBC, which affects the transport efficiency, reliability and safety of railways. Analysis of crucial states in the RBC handover procedure is helpful to determine whether there are potential risks in the procedure, and to locate the fault in time when a fault occurs. In this paper, we study a property, called C-detectability, of the RBC handover. This property has been defined in discrete event systems and requires that the crucial states can be determined uniquely by observing the system output. Taking the RBC handover procedure in the Chinese train control system level 3 (CTCS-3) as an example, we first model the RBC handover procedure using Petri nets, which are a graphical and mathematical modeling tool to formalize the behavior of discrete event systems. Then, based on the notion of basis reachability graph, an efficient approach is used to check C-detectability of the Petri net modeling the handover procedure
A Rb-Sr Isotopic Study of Andesites from Lu-Tao, Lan-Hsu and Hsiao-Lan- Hsu, Eruption Ages and Isotopic Heterogenity
No full textMorphological instability due to double diffusive convection in directional solidification: the pit formation
No full textThree-dimensional simulation of facet formation and the coupled heat flow and segregation in Bridgman growth of oxide crystals
No full textAnalysis of strong and strong periodic detectability of bounded labeled Petri nets
No full textDetectability describes the property of a system to uniquely determine, after a finite number of observations, the current and the subsequent states. Different notions of detectability have been proposed in the literature. In this paper, we formalize and analyze strong detectability and strong periodic detectability for systems that are modeled as labeled Petri nets with partial observation on their transitions. We provide three new approaches for the verification of such detectability properties using three different structures. The computational complexity of the proposed approaches is analyzed and the three methods are compared. The main feature of all the three approaches is that they do not require the calculation of the entire reachability space or the construction of an observer. As a result, they have lower computational complexity than other methods in the literature. (C) 2021 Elsevier Ltd. All rights reserved
Efficient adaptive phase field simulation of directional solidification of a binary alloy
No full textThree-dimensional analysis of heat flow, segregation, and interface shape of gradient-freeze crystal growth in a centrifuge
No full textDiseño de una red LAN en la Óptica M&C
No full textÓptica M&C es una empresa que presta los servicios salud visual (optometria) desde hace trece (13) años; el crecimiento continuo de la óptica, fortalecimiento y la permanencia en el mercado exigen mejoras tecno científicas en todos los procesos (estratégicos, misionales y de apoyo) y que estos interactúen entre sí para poderlos controlar, medir, evaluar y hacerles un seguimiento continuo. El objetivo principal de este proyecto es “diseñar una Red LAN en la óptica M&C capaz de gestionar todos los procesos (estratégicos, misionales y de apoyo) que le permita a la gerencia controlar, medir, evaluar y hacer un seguimiento continuo a todos los procesos” durante estos 13 años de gestión de la óptica M&C a través de la experiencia, observación, intuición, sugerencias recibidas por el equipo de trabajo y las exigencias de la Secretaria Distrital de Salud de Bogotá, pudimos definir o plantear el siguiente problema de investigación “ ¿ es importante diseñar una Red LAN en la óptica M&C que gestione todos los procesos y que permita a la gerencia controlar, medir, evaluar y hacer un seguimiento continuo a todos los procesos?” Los resultados alcanzados dentro de esta investigación son el encadenamiento y mejoramiento continuo de todos los procesos; razón por la cual podemos concluir que la óptica M&C necesita procesar y organizar adecuadamente toda la información, interactuar todos los procesos, mejorar el organigrama de la óptica, adquirir equipos de alta tecnología, adquirir programas eficaces, capacitar a todo el personal, establecer estándares e indicadores de gestión y analizar los resultados para ajustarlos y mejorar el servicio al cliente interno y externo.Capítulo I: Esquematización Del Tema. --
1.1.Descripción Del Tema. --
1.2.Descripción Del Problema. --
1.3.Justificación. --
1.4.Objetivos. --
1.4.1.General. --
1.4.2.Específicos. --
Capitulo II: Esquematización Teórica. --
2.1 Marco Teórico. --
2.2. Características De La Red Lan. --
2.4. Norma Eia/Tia 568. --
Capitulo III. Esquematización Ingenieril. --
3.1.Análisis Del Proyecto. --
3.2.Estructura Temática. --
3.3.Análisis Y Definiciones De Requerimientos. --
3.4.Diseño Del Proyecto. --
3.4. Como Funcionan Las Señales En La Red. --
3.5.Configuración Del Switch. --
3.6. Encriptación. --
3.7 Seguridad. --
Conclusión. --
Anexos
- …
