Equivalencias del tiempo
Contenidos
Utc+08:00
La computación blanda (CS) surgió como marco integrador de una serie de técnicas que podían complementarse bastante bien (redes neuronales artificiales, sistemas difusos, algoritmos evolutivos, razonamiento probabilístico). Desde sus inicios, un objetivo distintivo ha sido desenterrar las relaciones profundas entre sus componentes. En este trabajo se consideran dos amplias familias de modelos de SC. Por un lado, el paradigma autorregresivo de cambio de régimen es un desarrollo reciente en la modelización estadística de series temporales, e incluye un conjunto de modelos estrechamente relacionados con las redes neuronales artificiales. Por otro lado, consideramos los sistemas basados en reglas difusas en el marco del análisis de series temporales. Este trabajo revela resultados originales que establecen equivalencias funcionales entre los modelos de estas dos clases y, por tanto, abre la puerta a una productiva línea de investigación en la que los resultados y las técnicas de un área pueden aplicarse en la otra. Como consecuencia de las equivalencias presentadas en este trabajo, demostramos la estacionariedad asintótica de una clase de sistemas basados en reglas difusas. Las simulaciones basadas en criterios de información muestran la importancia de la selección de la función de pertenencia adecuada.
Tiempo universal coordinado
Este artículo necesita citas adicionales para su verificación. Por favor, ayude a mejorar este artículo añadiendo citas de fuentes fiables. El material sin fuente puede ser cuestionado y eliminado.Buscar fuentes: “Equivalente a tiempo completo” – noticias – periódicos – libros – académicos – JSTOR (septiembre de 2010) (Aprende cómo y cuándo eliminar este mensaje de la plantilla)
El equivalente a tiempo completo (ETC), o equivalente a tiempo completo (ETC), es una unidad que indica la carga de trabajo de una persona empleada (o estudiante) de forma que las cargas de trabajo o de clase sean comparables[1] en diversos contextos. El ETC se utiliza a menudo para medir la participación de un trabajador o estudiante en un proyecto, o para hacer un seguimiento de la reducción de costes en una organización. Un ETC de 1,0 equivale a un trabajador o estudiante a tiempo completo, mientras que un ETC de 0,5 señala la mitad de una carga laboral o escolar completa[2].
Según el gobierno federal de Estados Unidos, el ETC es definido por la Government Accountability Office (GAO) como el número de horas totales trabajadas dividido por el número máximo de horas compensables en un horario a tiempo completo definido por la ley[3]. Por ejemplo, si el horario normal de un trimestre se define como 411,25 horas ([35 horas semanales * (52 semanas al año – 5 semanas de vacaciones reglamentarias)] / 4), entonces alguien que trabaje 100 horas durante ese trimestre representa 100/411,25 = 0,24 ETC. Dos empleados que trabajan en total 400 horas durante ese mismo periodo trimestral representan 0,97 ETC.
Convertidor de reloj de tiempo
AbstractBoth the modulus and the compliance of viscoelastic materials are time dependent quantities and a complete characterisation of the modulus over a wide temperature and time range can be a very time-consuming process (see Viscoelasticity). Sin embargo, utilizando el concepto de equivalencia tiempo-temperatura, es posible relacionar la conformidad a una temperatura con la de otra temperatura mediante un desplazamiento de la curva conformidad-tiempo a lo largo del eje temporal. Esto se ilustra en la figura 1.Palabras claveMaterial viscoelástico Proceso que consume tiempo Factor de desplazamiento Curva de referencia Dependencia de Arrhenius
Convertidor de fecha y hora
En lógica, la lógica temporal lineal o lógica temporal lineal-temporal[1][2] (LTL) es una lógica temporal modal con modalidades referidas al tiempo. En LTL, se pueden codificar fórmulas sobre el futuro de los caminos, por ejemplo, una condición acabará siendo verdadera, una condición será verdadera hasta que otro hecho sea verdadero, etc. Es un fragmento del más complejo CTL*, que además permite el tiempo de ramificación y los cuantificadores. Posteriormente, LTL se denomina a veces lógica temporal proposicional, abreviada PTL[3].
Algunos autores también definen un operador binario débil hasta, denotado W, con una semántica similar a la del operador hasta pero no se requiere que la condición de parada ocurra (similar a la liberación)[8] Es a veces útil ya que tanto U como R pueden ser definidos en términos del hasta débil:
El operador binario de liberación fuerte, denotado M, es el dual del hasta débil. Se define de forma similar al operador hasta, de modo que la condición de liberación tiene que cumplirse en algún momento. Por lo tanto, es más fuerte que el operador de liberación.
La comprobación del modelo y la satisfacción de una fórmula LTL son problemas de tipo PSPACE. La síntesis de LTL y el problema de verificación de juegos contra una condición de liberación de LTL es 2EXPTIME-completo[11].
