METODO Y APARATO PARA ANALIZAR UN MODELO DE SISTEMA BASADO EN ESTADOS.
Método para analizar un modelo de sistema basado en estados que comprende un conjunto de máquinas (MI,
Mn), cada una de dichas máquinas comprendiendo al menos un estado posible y cada máquina estando en uno de sus estados previstos en un momento dado, el comportamiento dinámico de dichas máquinas (MI, Mn) estando definido por transiciones predefinidas entre los estados de cada máquina (MI;...;Mn) y por condiciones predefinidas (C) para las transiciones, dicho método comprendiendo las fases de: - selección de un conjunto objetivo de estados (A) dentro de un subconjunto de máquinas (MI); - repetición de las fases de iteración hasta que se satisface un criterio de terminación; caracterizado por el hecho de que las fases de iteración comprenden las fases de: (a) selección de un conjunto de estados (X) que tienen transiciones hacia el conjunto objetivo (a), donde las transiciones tienen condiciones (C), si las hay, que se refieren a máquinas dentro del conjunto de máquinas (MI) únicamente; (b) expansión del conjunto objetivo (A) incluyendo el conjunto de estados (X) en el conjunto objetivo (A); (c) expansión del subconjunto de máquinas (MI) incluyendo otro subconjunto de máquinas, mientras se mantiene el conjunto objetivo (A) construido en dicha fase de expansión del conjunto objetivo (A).
Tipo: Resumen de patente/invención.
Solicitante: IAR SYSTEMS A/S.
Nacionalidad solicitante: Dinamarca.
Dirección: ELKJAERVEJ 30-32,8230 ABYHOJ.
Inventor/es: LEERBERG, HENRIK, HULGAARD, HENRIK, LIND-NIELSEN, JORN, BO, ANDERSEN, HENRIK, REIF, LARSEN, KIM, GULDSTRAND, KRISTOFFERSEN, KARE, JELLING, BEHRMANN, GERD.
Fecha de Publicación: .
Fecha Solicitud PCT: 26 de Marzo de 1999.
Fecha Concesión Europea: 4 de Agosto de 2004.
Clasificación Internacional de Patentes:
- G06F11/00 FISICA. › G06 CALCULO; CONTEO. › G06F PROCESAMIENTO ELECTRICO DE DATOS DIGITALES (sistemas de computadores basados en modelos de cálculo específicos G06N). › Detección de errores; Corrección de errores; Monitorización (detección, corrección o monitorización de errores en el almacenamiento de información basado en el movimiento relativo entre el soporte de registro y el transductor G11B 20/18; monitorización, es decir, supervisión del progreso del registro o reproducción G11B 27/36; en memorias estáticas G11C 29/00).
- G06F17/50
Países PCT: Austria, Bélgica, Suiza, Alemania, Dinamarca, España, Francia, Reino Unido, Grecia, Italia, Liechtensein, Países Bajos, Suecia, Portugal, Finlandia, Oficina Europea de Patentes, Armenia, Azerbayán, Bielorusia, Ghana, Gambia, Kenya, Kirguistán, Kazajstán, Lesotho, República del Moldova, Malawi, Federación de Rusia, Sudán, Sierra Leona, Tayikistán, Turkmenistán, Uganda, Zimbabwe, Burkina Faso, Benin, República Centroafricana, Congo, Costa de Marfil, Camerún, Gabón, Guinea, Malí, Mauritania, Niger, Senegal, Chad, Togo, Organización Regional Africana de la Propiedad Industrial, Swazilandia, Guinea-Bissau, Organización Africana de la Propiedad Intelectual, Organización Eurasiática de Patentes.
Patentes similares o relacionadas:
MÉTODO PARA LA OBTENCIÓN DE UN MODELO FÍSICO DE UN OBJETO TRIDIMENSIONAL A PARTIR DE SUPERFICIES DESARROLLABLES Y MODELO FÍSICO ASÍ OBTENIDO, del 2 de Abril de 2020, de UNIVERSIDAD NACIONAL DE COLOMBIA: La presente invención se relaciona con un método para obtener un modelo físico de un objeto tridimensional a partir de un modelo digital de […]
Reconstrucción ósea e implantes ortopédicos, del 12 de Junio de 2019, de Mahfouz, Mohamed Rashwan: Procedimiento de diseño de un implante ortopédico específico para el paciente, en el que el procedimiento comprende: comparar un modelo […]
Diseño de sobrante sin secciones, del 31 de Mayo de 2019, de Hexagon Manufacturing Intelligence Canada Limited: Un método para el diseño de un sobrante , en donde todo o parte del sobrante se diseña con un enfoque sin secciones, que comprende las etapas de: introducir […]
MÉTODO IMPLEMENTADO POR ORDENADOR PARA GENERAR UN MODELO NUMÉRICO DE REPRESENTACIÓN DE UN NÚCLEO MAGNÉTICO PARA UN ELEMENTO DE INDUCCIÓN MAGNÉTICA, del 23 de Mayo de 2019, de SP CONTROL TECHNOLOGIES, S.L: La presente invención es una invención implementada en ordenador que comprende un método para generar un modelo numérico de representación de un […]
Procedimiento de simulación del funcionamiento de un circuito electrónico y programa, del 22 de Mayo de 2019, de Sorbonne Université: Procedimiento de simulación del funcionamiento de un circuito electrónico implementado por ordenador, comprendiendo el circuito electrónico […]
Método de predicción de fractura, dispositivo de procesamiento de cálculo, programa y soporte de registro, del 8 de Mayo de 2019, de NIPPON STEEL & SUMITOMO METAL CORPORATION: Un método implementado por ordenador para predecir una fractura en una parte de objetivo de análisis en un proceso de formación, que comprende: un […]
Método, dispositivo, programa y soporte de registro del análisis de la causa de la retracción, del 8 de Mayo de 2019, de NIPPON STEEL & SUMITOMO METAL CORPORATION: Un método implementado por ordenador para analizar una causa de la retracción en un producto formado que es formado a presión a partir de una placa […]
Métodos de análisis de campos electromagnéticos para materiales conductores anisotrópicos, del 26 de Abril de 2019, de Subaru Corporation: Un método de análisis del campo electromagnético para un material conductor anisotrópico, en el que el método de análisis del campo electromagnético utiliza […]