Resumen

El corte no clásico y la reducción de simetría pueden actuar como métodos abstractos estructurales eficientes para podar el espacio de estados al enfrentarse a problemas de verificación. En este documento, abordamos principalmente aspectos teóricos y algorítmicos para el corte no clásico y la reducción de simetría en las estructuras de eventos primarios. Proponemos modelos de reducción de cociente simétrico y cortado de estructuras de eventos, y presentamos sus algoritmos correspondientes. Para construir la base subyacente de las metodologías propuestas, introducimos conceptos de conflicto fuerte y débil y un par de operadores mutuamente inversos, y extendemos la noción de simetría basada en grupos de permutaciones de las estructuras de eventos. Hemos establecido un marco matemático unificado para el corte y la reducción de simetría, y hemos investigado más a fondo la traducción, el isomorfismo y la relación de equivalencia, así como otros hechos básicos relacionados desde un punto de vista teórico.

• Materias:Modelos matemáticos Conjuntos difusos Ecuaciones integrales Fusión de características Algoritmo de optimización
• Subjects:Mathematical models Fuzzy sets Integral equations Feature fusion Optimization algorithm
• Palabras claves:No clásico; Partición; Reducción de simetría; Problemas de verificación; Estructuras de eventos; Algoritmos
• Keywords:Nonclassical; Slicing; Symmetry reduction; Verification problems; Event structures; Algorithms