Resumen

Para lograr la optimización del comportamiento y la estructura de un tipo de programa de software cuyos procesos de intercambio de datos están representados por sistemas polinómicos no lineales, este artículo establece una descripción formal novedosa denominada sistema de transición polinómico no lineal para representar el comportamiento y la estructura del programa de software. A continuación, se propone la noción de bisimulación para programas de software basada en la relación de equivalencia de los correspondientes sistemas polinómicos no lineales en sus sistemas de transición polinómica no lineal. Sin embargo, la equivalencia exacta es demasiado estricta en la aplicación. Para mejorar la flexibilidad de la relación entre los diferentes sistemas de software, se da la noción de bisimulación aproximada dentro de un rango de error controlable y el algoritmo de cálculo de bisimulación aproximada basado en el cálculo simbólico-numérico. En este cálculo, una relación aproximada se representa como una función MAX que se resuelve con el método full filled. Al mismo tiempo, se puede calcular el error real. Un ejemplo sobre un programa multihilo indica que la relación de bisimulación aproximada es factible y eficaz en la optimización del comportamiento y la estructura.

• Materias:Matemáticas Análisis Matemático Álgebra Ingeniería Matemática aplicada Lógica matemática
• Subjects:mathematics Mathematical Analysis Algebra Engineering Applied Mathematics Mathematical logic
• Palabras claves:comportamiento, bisimulación aproximada, programa informático, optimización de estructuras, sistemas polinómicos no lineales correspondientes, sistema de transición polinómico no lineal, sistemas de transición polinómicos no lineales, relación de bisimulación aproximada, rango de error controlable, procesos de intercambio de datos
• Keywords:behavior, approximate bisimulation, software program, structure optimization, corresponding nonlinear polynomial systems, nonlinear polynomial transition system, nonlinear polynomial transition systems, approximate bisimulation relation, controllable error range, data exchange processes