Método de transformación polilínea para resolver sistemas de ecuaciones lógicas
Autores: Barotov, Dostonjon Numonjonovich; Barotov, Ruziboy Numonjonovich
Idioma: Inglés
Editor: MDPI
Año: 2022
Acceso abierto
Artículo científico
2022
Método de transformación polilínea para resolver sistemas de ecuaciones lógicas
Categoría
Matemáticas
Subcategoría
Matemáticas generales
Palabras clave
Solución
Ecuaciones lógicas
Matemáticas computacionales
Algoritmos
Dominio continuo real
Ecuaciones polilineales-polimoniales
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 45
Citaciones: Sin citaciones
En relación con las aplicaciones, la solución de un sistema de ecuaciones lógicas desempeña un papel importante en matemáticas computacionales y en muchas otras áreas. Como resultado, se están desarrollando muchas nuevas direcciones y algoritmos para resolver sistemas de ecuaciones lógicas. Una de estas direcciones es la transformación al dominio continuo real. El dominio continuo real es un dominio más rico para trabajar porque presenta muchos algoritmos que están bien diseñados. En este estudio, en primer lugar, transformamos cualquier sistema de ecuaciones lógicas en el cubo unidimensional en un sistema de ecuaciones polilíneas-polinómicas de manera matemáticamente constructiva. En segundo lugar, demostramos que si modificamos ligeramente el sistema de ecuaciones lógicas, es decir, agregamos no más de una ecuación especial al sistema, entonces el sistema resultante de ecuaciones lógicas y el sistema correspondiente de ecuaciones polilíneas-polinómicas son equivalentes. El documento propone un algoritmo y demuestra su corrección. Basándonos en estos resultados, se desarrollan planes de investigación adicionales para adaptar el método propuesto.
Descripción
En relación con las aplicaciones, la solución de un sistema de ecuaciones lógicas desempeña un papel importante en matemáticas computacionales y en muchas otras áreas. Como resultado, se están desarrollando muchas nuevas direcciones y algoritmos para resolver sistemas de ecuaciones lógicas. Una de estas direcciones es la transformación al dominio continuo real. El dominio continuo real es un dominio más rico para trabajar porque presenta muchos algoritmos que están bien diseñados. En este estudio, en primer lugar, transformamos cualquier sistema de ecuaciones lógicas en el cubo unidimensional en un sistema de ecuaciones polilíneas-polinómicas de manera matemáticamente constructiva. En segundo lugar, demostramos que si modificamos ligeramente el sistema de ecuaciones lógicas, es decir, agregamos no más de una ecuación especial al sistema, entonces el sistema resultante de ecuaciones lógicas y el sistema correspondiente de ecuaciones polilíneas-polinómicas son equivalentes. El documento propone un algoritmo y demuestra su corrección. Basándonos en estos resultados, se desarrollan planes de investigación adicionales para adaptar el método propuesto.