Obtenga beneficios adicionales
Aún no tiene una suscripción a Virtual Pro?
Para acceder a este contenido se requiere una suscripción
Obtenga beneficios adicionales
Aún no tiene una suscripción a Virtual Pro?
Para acceder a este contenido se requiere una suscripción
La integral es uno de los fundamentos más importantes para modelar sistemas dinámicos. La integral de calibre es una generalización de la integral de Riemann y la integral de Lebesgue y se aplica a una clase mucho más amplia de funciones. En este artículo, formalizamos las propiedades operativas que contienen la linealidad, la monotonía, la integración por partes, el criterio de integrabilidad de tipo Cauchy y otros teoremas importantes de la integral de calibre en lógica de orden superior 4 (HOL4) y luego los utilizamos para verificar un integrador inverso. La biblioteca de teoremas formalizada ha sido aceptada por la autoridad HOL4 y aparecerá en HOL4 Kananaskis-9.
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.
Artículo:
Existencia global y unicidad de soluciones para un problema de frontera libre que modela el crecimiento de tumores con un núcleo necrótico y un retraso en el proceso de proliferación
Artículo:
Dispositivo de impacto para la biomecánica de lesiones humanas en la cabeza y el cuello
Artículo:
Un enfoque mejorado de la medición del rendimiento de las empresas basadas en el conocimiento utilizando el método de previsión del filtro de Kalman
Artículo:
Control de modo deslizante de terminal de orden fraccionario para convertidor Buck CC/CC
Artículo:
Optimización en el problema de producción-inventario con múltiples etapas y demanda variable.
Libro:
Ergonomía en los sistemas de trabajo
Artículo:
Obtención de gas combustible mediante la bioconversión del alga marina Ulva lactuca
Artículo:
Sistemas de producción y potencial energético de la energía mareomotriz
Artículo:
La necesidad de la planeación estratégica en las organizaciones industriales modernas
Virtual Pro es un portal virtual de formación, investigación y comunicación especializado en procesos industriales.
� 2021, Virtual Pro �, una marca de Grupo INGCO. Todos los derechos reservados
