Displaying similar documents to “La verificación estructural de sistemas basados en conocimiento.”

Métodos para la comprobación de la integridad en bases de datos deductivas.

Laura Mota Herranz, Matilde Celma Giménez (1993)

Qüestiió

Similarity:

La comprobación de la integridad es un problema clásico en bases de datos; los primeros métodos fueron propuestos para simplificar la comprobación de restricciones estáticas en bases de datos relacionales extendiéndose posteriormente a las bases de datos deductivas. Estos métodos se basan en la idea común de evaluar instancias de las restricciones, obtenidas a partir de actualizaciones inducidas por la transacción, y se diferencian entre sí en la estrategia seguida para la instanciación...

Secuenciación dinámica de sistemas de fabricación flexible mediante aprendizaje automático: análisis de los principales sistemas de secuenciación existentes.

Paolo Priore, David de la Fuente, Javier Puente, Alberto Gómez (2001)

Qüestiió

Similarity:

Una forma habitual de secuenciar de modo dinámico los trabajos en los sistemas de fabricación es mediante el empleo de reglas de secuenciación. Sin embargo, el problema que presenta este método es que el comportamiento del sistema de fabricación dependerá de su estado, y no existe una regla que supere a las demás en todos los posibles estados que puede presentar el sistema de fabricación. Por lo tanto, sería interesante usar en cada momento la regla más adecuada. Para lograr este objetivo,...

Realización cableada de redes de Petri binarias.

Jovita Martínez, Manuel Silva-Suárez, Santiago Velilla (1982)

Qüestiió

Similarity:

En este trabajo se presentan de forma muy esquemática las bases para la realización cableada "casi-directa" de sistemas modelados con RdP. Las técnicas consideradas son modulares (un módulo es un subsistema lógico que posee un elemento de memorización denominado célula), mencionándose las dos técnicas básicas de desactivación de módulos: Transferencia Impulsional y Llamada-Respuesta. También se aborda de forma sucinta el análisis de funcionamientos aleatorios.