Biblioteca122.739 documentos en línea

Artículo

Interval Number-Based Safety Reasoning Method for Verification of Decentralized Power Systems in High-Speed TrainsMétodo de razonamiento de seguridad basado en números de intervalo para la verificación de sistemas de alimentación descentralizados en trenes de alta velocidad

Resumen

Los sistemas de alimentacin descentralizados se utilizan habitualmente en los trenes de alta velocidad. Sin embargo, muchos parmetros de estos sistemas son inciertos e inevitablemente contienen errores. Presentamos un mtodo de razonamiento basado en los nmeros de intervalo para sistemas de alimentacin descentralizados en trenes de alta velocidad. Los parmetros inciertos y sus errores inevitables se describen cuantitativamente mediante nmeros de intervalo. Tambin definimos ecuaciones lineales generalizadas con nmeros de intervalo (LAI), que pueden utilizarse para describir el movimiento del tren. Adems, se demuestra que los conjuntos cero de las LAI son convexos. Por lo tanto, el interior de la zona de tolerancia a fallos puede estar formado por sus vrtices y aristas y representarse mediante desigualdades lineales. En consecuencia, podemos juzgar si el sistema funciona correctamente verificando que el estado actual del sistema se encuentra en el rea de tolerancia a fallos. Por ltimo, se obtiene un rea de tolerancia a fallos, que puede determinarse mediante ecuaciones lineales con un nmero de intervalo, y comprobamos la correccin del rea de tolerancia a fallos mediante casos de prueba aleatorios a gran escala.

  • Tipo de documento:
  • Formato:pdf
  • Idioma:Inglés
  • Tamaño: Kb

Cómo citar el documento

Esta es una versión de prueba de citación de documentos de la Biblioteca Virtual Pro. Puede contener errores. Lo invitamos a consultar los manuales de citación de las respectivas fuentes.

Este contenido no est� disponible para su tipo de suscripci�n

Información del documento