Método de optimización de la red RETE en el sistema de producción
Descripción general
 Acortar los sistemas de producción condición de tiempo de evaluación, es proporcionar un método de optimización de la red RETE en sistema de producción para reducir el tiempo de inferencia. ] Recoge en un sistema de producción para que coincida con el algoritmo RETE coincidente realiza inferencia a partir de reglas y los datos iniciales es los elementos de memoria de trabajo, sobre la base de los datos iniciales para estudio de caso, la instancia regla procedimiento de recogida de información de añadir al nodo extremo de la red RETE una unidad de análisis para el análisis de la información de regla de coincidencia, un patrón de unidad de cambio para cambiar el orden de la pauta condición de la regla de la salida de la unidad de análisis, el número de fichas que fluyen red RETE se reduce, la evaluación del estado El tiempo requerido para la inferencia se acorta.
Campo técnico
La presente invención se refiere a un método de optimización de red RETE de usarlo en el sistema de producción paralela parte condición de la regla.
Antecedentes de la técnica
Convencionalmente, en el sistema de producción utilizando la red RETE [1], la red de RETE configuración nodo generado a partir de la parte condición de la regla era sólo depende de la descripción de la parte condicional de la regla. Por esta razón, los propios desarrolladores de sistemas de producción, hacen que el patrón de sustitución de las condiciones, por ejemplo, para analizar la parte condicional de la regla, se había hecho la puesta a punto del rendimiento del sistema de producción. ([1] técnica red RETE C.L.Forgy Autor: Rete: un algoritmo rápido para el modelo muchos / modelo muchos objeto Match problema, ArtificialIntelligence referencia 19, 1982)
Tarea de solución
Sin embargo, en el método convencional, el sistema de producción solo analizó la condición parte de la regla estáticamente. Por lo tanto, en realidad dado un caso de prueba, trabajar para reemplazar el patrón de estado de la parte condición de la regla mediante el análisis del rendimiento obtenido llevando a cabo el razonamiento apoyado en forma manual.
La presente invención se ha realizado en vista de las circunstancias anteriores, y su objeto es reducir el tiempo de la evaluación del estado del sistema de producción, proporcionando un método de optimización de red RETE en sistema de producción capaz de acortar el tiempo de la inferencia, como resultado Para hacer
Solución
Con el fin de resolver los problemas anteriores, un método de optimización de red RETE en el sistema de producción según la reivindicación 1 de la presente invención es un sistema de producción para que coincida con el algoritmo RETE coincidente realiza inferencia a partir de reglas y los datos iniciales es un elemento de memoria de trabajo , basándose en los datos iniciales para estudios de casos, una unidad de análisis para el análisis de la información de regla de coincidencia de recogida por la instancia de norma procedimiento de recogida de información de añadir al nodo extremo de la red RETE, el orden del patrón de condición de la regla de la salida de la unidad de análisis y una sección de reemplazo patrón de sustitución, caracterizado porque como el número de fichas que fluyen en la red RETE se reduce.
red RETE método de optimización en el sistema de producción según la reivindicación 2 de la presente invención se basa en el sistema de producción, los datos iniciales para estudio de caso para que coincida con el algoritmo RETE coincidente realiza inferencia a partir de reglas y los datos iniciales es un elemento de memoria de trabajo para comprender una unidad de análisis para analizar la información de reglas parte de verificación recogida por el procedimiento de recogida de información de señal de la adición a los dos nodos de entrada de la red de RETE, el patrón de unidad de cambio para cambiar el orden de la pauta condición de la regla de la salida de la unidad de análisis , De modo que se reduce el número de tokens que fluyen en la red RETE.
red RETE método de optimización en el sistema de producción de la reivindicación 3 de la presente invención se basa en el sistema de producción, los datos iniciales para estudio de caso para que coincida con el algoritmo RETE coincidente realiza inferencia a partir de reglas y los datos iniciales es un elemento de memoria de trabajo de recopilación de información de contadores que se ha añadido a los dos nodos de entrada de la red de RETE basado en una primera unidad de análisis, los datos iniciales para estudios de caso para analizar la regla recogida búsqueda de información por ejemplo regla procedimiento de recogida de información de añadir al nodo extremo de la red RETE y una segunda unidad de análisis para analizar la información de regla de coincidencia de recogida por el patrón de procedimientos, condiciones de la orden Narabi y las reglas de salida de la segunda condición patrón de unidad de análisis de las reglas de salida del primer analizador Y compara el orden de las secuencias de Y seleccionando lo que se reduce el número de fichas que fluyen red ETE.
De acuerdo con la presente invención (reivindicaciones 1 a 3 corresponden), el procesamiento en los nodos de la red RETE, la adición de un procedimiento para eliminar los datos que permiten el análisis dinámico de rendimiento, análisis de los datos, el cambiando Retsube patrón condición de la regla resultados tales análisis menos tokens que fluyen red RETE basa en, por lo que se puede acortar el tiempo requerido para la evaluación del estado, el tiempo hasta que la inferencia es terminado se acorta.
En lo sucesivo, las realizaciones de la presente invención se describirán con referencia a los dibujos.
(Ejemplo). La figura 1 es un diagrama de configuración de un sistema de producción primera forma de realización es (reivindicaciones 1 a 3 corresponden) de la presente invención.
Como se muestra en la figura, el compilador de reglas 2 para la salida del archivo de objeto 3 incluyendo la red de RETE 31 como una entrada la regla de producción conjunto de entrada 1, lee el módulo de objeto de salida, utilizando un grupo de casos de prueba 5 que se prepara con antelación y la inferencia motor de 4 hacer inferencias Te, estado de inferencia medir la rutina 41 para dar salida a la inferirse integrado en el motor 4, para medir los datos de flujo de 6 fichas en la red RETE 31 que corresponden al dibujo condición al razonamiento archivo externo Si este análisis de los datos de flujo 6 de salida de tokens en un archivo externo, y un programa de pieza reconfiguración condición de la regla 7 para la salida de una regla de producción mejorada establece 8 intercambiado regla patrón condición.
La Figura 2 es un diagrama de bloques de un programa de pieza reconfiguración condición de la regla 7 que es un componente principal de la presente forma de realización (reivindicación 1 compatible). En la figura, el programa de reconfiguración parte condición de la regla 7 lee la regla de datos de flujo 6 y la producción de conjunto 1 de fichas, como un primer paso para clasificar los datos de flujo 6 de contadores para cada regla (paso 1). En este momento, los elementos de la lista de etiquetas de tiempo de tokens flujo de datos 6 no es eliminado del proceso más de dos regla. En una segunda etapa, seleccionar la regla para el tiempo de lista de etiquetas conjunto de tokens de flujo de datos 6 para esa regla, contar el número de tipos de etiqueta de tiempo del número de elemento n-ésimo elemento (paso 2). n es el número entero de 1 a la longitud de la lista de etiquetas de tiempo, y cuenta el tipo de etiqueta de tiempo para cada una. Como tercer paso, se encuentra un número de elemento con el tipo más pequeño (paso 3). La mayoría pluralidad si los tipos de número de elemento pequeño se encuentra selecciona uno arbitrario de ellos, para el número de i. Un cuarto paso recupera reglas de la regla de producción conjunto de entrada 1, el primer elemento º de mejora de las normas i-ésimo elemento de la parte de condición de la regla (Paso 4). Recogido sucesivamente tipo que tiene un pequeño número de número del número elementos restantes, el estado de forma secuencial la mejora de la condición de la regla patrón correspondiente al número seleccionado. Este proceso finaliza cuando se termina la lista restante. Una quinta etapa, recorta la aparición de una regla de adición directa de la ejecución de la regla de producción de entrada y salidas a un archivo (paso 5). Al realizar este proceso en todas las reglas clasificadas en la primera etapa, se genera un conjunto de reglas de producción mejorado 8.
Con el fin de obtener los datos de flujo de fichas 6, se incorpora una rutina de medición de condiciones de inferencia 41 en el motor de inferencia 4. El estado de razonamiento medir de rutina 41 medidas de los datos de la ficha cuando el flujo de tokens a través de la red RETE 31, una rutina para dar salida a un archivo externo.
Aquí es una descripción de la operación del ejemplo convencional en el que regla dada muestra en la Fig. 3 como las normas de producción conjunto de entrada 1. Cuando se da la regla de producción conjunto de entrada 1, RETE-red 31 a la que el compilador de reglas 2 es de salida se muestra la red en la Figura 4. El token que ha fluido al nodo final (nodo 7) de la red RETE 31 para añadir el estado inferencia medir rutina 41 de salida en el siguiente formato.
+ Nombre de la regla (lista de etiquetas de tiempo)
O el nombre de la regla (lista de etiquetas de tiempo)
'+' Indica que es un token adicional. En el caso de un token de eliminación, es ''. La lista de etiquetas de tiempo es una lista de etiquetas de tiempo con los elementos de memoria de trabajo que la verificación tiene éxito en la parte condicional de la regla.
Los datos iniciales de inferencia mostrados en la figura 5 se dan al módulo de inferencia por el conjunto 1 de reglas de producción de entrada. Luego, los siguientes dos tokens llegan al nodo terminal (nodo 7).
+ MUESTRA (1 2 3)
+ MUESTRA (4 2 3)
Estos se envían al archivo externo como datos de flujo simbólico 6 mediante la rutina de medición de condición de inferencia 41.
A continuación, se describirá la operación del programa de reconstrucción de parte de condición de regla 7 de la presente realización. Como primer paso, clasificamos esta información por regla. En esta realización, dado que solo hay una regla, el resultado de la primera etapa permanece sin cambios. tiempo relativo grupo lista de etiquetas de datos de flujo de token como el segundo paso, contando el número de tipos de tiempo número elemento de etiqueta 1 tercer elemento. Como resultado, obtenemos los siguientes datos.
Dos tipos de primeros elementos A 1 y 4
Un tipo del segundo elemento B 2
Un tipo del tercer elemento C 3
Como tercer paso, encuentre el número de elemento más pequeño del tipo menos. En esta realización, dado que el segundo elemento y el tercer elemento son de un tipo, cualquiera de ellos se selecciona arbitrariamente. Aquí, el segundo elemento B es seleccionado. El restante es el primer componente A y el tercer elemento C, y se sustituye Retsube en orden ascendente del número de tipos de cada elemento es el siguiente.
Un segundo elemento B, un tercer elemento C, un primer elemento A
reglas de muestra extraída de la regla de producción conjunto de entrada 1 en el cuarto paso, primero se coloca en la parte condicional de la mejora gobernar el segundo (B) de la parte de condición de la regla, el siguiente a la tercera (C), primero El último (A) se coloca. Luego, mediante la adición de la ejecución de las reglas de ejemplo para adaptarse al formato de las reglas para obtener una regla mejorado se muestra en la figura. Luego, este proceso se realiza en todas las reglas del conjunto de reglas de producción de entrada 1 para obtener el conjunto de reglas de producción mejorado 8.
Cuando se administra las normas de producción mejorado conjunto 8, RETE-red 31 a la que el compilador de reglas 2 es salida se red que se muestra en la figura. Similar al caso de la Fig. 4, la adición de la condición de inferencia medir rutina 41 para la salida de un contador que ha fluido al nodo extremo de la red RETE 31 (Nodo 7) en el siguiente formato.
+ Nombre de la regla (lista de etiquetas de tiempo)
O el nombre de la regla (lista de etiquetas de tiempo)
'+' Indica que es un token adicional. En el caso de un token de eliminación, es ''. La lista de etiquetas de tiempo es una lista de etiquetas de tiempo con los elementos de memoria de trabajo que la verificación tiene éxito en la parte condicional de la regla.
Como se describió anteriormente, se muestra una red de RETE por regla de producción de entrada convencional conjunto 1 de la Fig. 3 en la Fig. 4, que muestra una red RETE mediante la mejora de reglas de la primera realización de la presente invención de la Fig. 6 en la figura.
Para cada red RETE, dando datos iniciales de inferencia que se muestran en la Figura 5, se compara el número de trayectorias de flujo de la ficha. La red de RETE de la Fig. 4, la etiqueta de flujo del tiempo de contadores 1 a la red, se recoge en un Nodo5 de la ruta 1 a través del camino 4. Ahora fluya etiqueta de tiempo contador 2, a través de la trayectoria 5 de la ruta 2, se fusiona con etiqueta de tiempo contador 1 que ha sido recogida en una primera en Nodo5, se recoge en un Nodo6 través de la trayectoria 7. Ahora fluir etiqueta de tiempo de contadores 3 a la red, a través de un camino 6 de la trayectoria 3, se fusionan con tokens fusionaron etiquetas de tiempo 1 que se recogen en los dos anteriormente en NODE8, a través de un camino 8 Node7 . Cuando el flujo de etiqueta de tiempo contador 4 a la red, de la misma manera, la ruta 1, ruta 4, la ruta 7, fluye en node7 través de la trayectoria 8. Por lo tanto, en la red RETE de la figura 4, pasa a través de un total de 12 rutas.
Por otra parte, en la Fig. 7, que fluye de manera similar un contador se muestra en la Fig. 5 a la red, contando el número de flujo camino de tokens. Fluye tokens etiqueta de tiempo 1 a la red, a través de la ruta 7 7 de la trayectoria 7 3, se recoge en un Node7 6. Ahora fluya tiempo contador etiquetas 2, se recoge en un Node7 5 de la trayectoria 7 1 a través de la trayectoria 7 4. Ahora flujo contador etiqueta de tiempo 3, la ruta 7 2, la ruta 7 5, a través de la trayectoria 7 6, trayectoria 7 8 fluye a Node7 7. Cuando la etiqueta de flujo de contador de tiempo 4, la trayectoria 7 3, a través de la trayectoria 7 8 de la trayectoria 7 7 flujos a Node7 7. Es decir, en la figura 7, el total pasa a través de 11 trayectos. En consecuencia, el número de trayectorias de token de hasta inferencia terminado mediante la utilización de la forma de realización pasa disminuye uno, el tiempo requerido para la evaluación del estado se acorta correspondientemente.
Es un diagrama de configuración de otras realizaciones la Fig. 8 es el programa de pieza reconfiguración condición de la regla que constituyen los componentes principales de la segunda realización de la presente invención (reivindicación 2 corresponde).
En la figura, el programa de reconfiguración parte condición de la regla 7 analiza los datos del flujo de salida 6 del motor de tokens inferencia 4 estado razonamiento incorporado de aforo rutina 41 como una entrada, una regla de patrón condición intercambiado mejorado conjunto de reglas de producción 8 es salida.
Aquí, la operación se describirá en el ejemplo convencional en el que regla dada muestra en la Fig. 3 como la producción de entrada reglas conjunto 1. Cuando se da la regla de producción conjunto de entrada 1, RETE-red 31 a la que el compilador de reglas 2 es salida de la red se muestra en la figura. primer nodo de entrada de la red RETE (nodo 2, nodo 3, el nodo 4), el estado inferencia añadido medir rutina 41 de salida es la salida señal de que el nodo en el siguiente formato.
+ Nombre de la regla (lista de etiquetas de tiempo)
O el nombre de la regla (lista de etiquetas de tiempo)
'+' Indica que es un token adicional. En el caso de un token de eliminación, es ''. La lista de etiquetas de tiempo es una lista de etiquetas de tiempo con los elementos de memoria de trabajo que la verificación tiene éxito en la parte condicional de la regla.
Los datos iniciales de inferencia 5 mostrados en la figura 5 se dan al módulo de inferencia por el conjunto de reglas de producción de entrada 1. Entonces, la salida del nodo de entrada de la regla SAMPLE se convierte en el siguiente token.
Nodo 2 + MUESTRA (1)
+ MUESTRA (4)
Nodo 3 + MUESTRA (2)
Nodo 4 + MUESTRA (3)
Estos se envían al archivo externo como datos de flujo simbólico 6 mediante la rutina de medición de condición de inferencia 41.
A continuación, se describirá la operación del programa de reconstrucción de parte de condición de regla 7 de la presente realización con referencia a la FIG. Como primer paso, los datos 6 de flujo de fichas de esta realización se leen y clasifican para cada regla (paso 1). En la presente invención, dado que solo hay una regla, el resultado de la primera etapa permanece sin cambios. Seleccionar una regla como un segundo paso, contando el número de fichas de salida cada nodo de entrada única de la regla (paso 2). El resultado es el siguiente.
Nodo 2 2
Nodo 3 1 pieza
Nodo 4 1 pieza
En el paso 3, se encuentra un nodo con el menor número de tokens de salida (paso 3). En la presente realización, dado que hay un nodo 2 y un nodo 3, cualquiera de ellos se selecciona arbitrariamente. Aquí, el nodo 2 será seleccionado. De la misma manera, los nodos se reorganizan en orden ascendente según el número de tokens de salida.
En el cuarto paso, las reglas de muestra extraída a partir de la regla de producción conjunto de entrada 1, el orden de la primera nodo de entrada para cambiar Retsube en el segundo paso, el cambio de Retsube un patrón condición parte correspondiente al nodo (Paso 4). En la quinta etapa, se estableció un formato como reglas a los resultados del cuarto etapa mediante la adición de la ejecución de la regla de ejemplo, obtener una mejor regla mostrado en la figura. Luego, este conjunto de reglas de producción modificado 8 se envía a un archivo externo (paso 5).
Como se describió anteriormente, se muestra una red de RETE por regla de producción conjunto de entrada 1 de la Fig. 3 en la Fig. 4, que muestra una red RETE mediante la mejora de la regla 6 en la figura. Para cada red RETE, dado datos iniciales de inferencia que se muestran en la Figura 5, en la red de RETE de la Fig. 4, el token se pasa a través de los ocho trayectorias, la presente forma de realización, el patrón de la parte de condición de la regla en el caso de la Retsube el cambio de la red RETE de la Fig. 7, el token solamente pasa a través del paso siete, alcanzando termina la inferencia. Por lo tanto, puesto que el número de caminos que de contadores a la inferencia termina mediante la utilización de la forma de realización que ha pasado se reduce uno, el tiempo requerido para la evaluación del estado se acorta correspondientemente.
(Realización 3) La Fig. 9 es un diagrama de una tercera forma de realización (reivindicación 3 correspondiente) programa de reconfiguración parte condición de la regla que constituyen los principales componentes de la presente invención.
En la figura, el programa de reconfiguración parte condición de la regla 7 analiza los datos del flujo de salida 6 del motor de tokens inferencia 4 estado razonamiento incorporado de aforo rutina 41 como una entrada, una regla de patrón condición intercambiado mejorado conjunto de reglas de producción 8 es salida.
Como se describió anteriormente, se describirá el caso en el que se da la regla mostrada en la figura 3 como el conjunto 1 de reglas de producción de entrada. Cuando se da la regla de producción conjunto de entrada 1, RETE-red 31 a la que compilador la regla 2 salidas es una red que se muestra en la figura. La ficha que fluye al nodo terminal (nodo 7) de la red RETE 31 se almacena
+ Nombre de la regla (lista de etiquetas de tiempo)
O Nombre de regla añadiendo estado inferencia rutina de medir que la salida (lista de etiquetas de tiempo) de la forma con (ver Fig. 2), también, uno de los nodo de entrada (nodo 2, nodo 3, el nodo 4) a, es la salida del nodo El token,
+ Nombre de la regla (lista de etiquetas de tiempo)
O un nombre de regla (lista de etiquetas de tiempo) como se muestra en la figura 8 (véase la figura 8).
A continuación, proporcionar los datos iniciales de inferencia que se muestran en la Figura 5 para el módulo de inferencia por regla de producción conjunto de entrada 1 (paso 1). En este momento, pisar los pasos descritos a partir de datos de flujo obtenidos tokens de nodo terminal (nodo 7) en la Fig. 2, para producir un único reglas modificadas (Step2). Por otro lado, se genera otra regla de mejora siguiendo los pasos descritos en la figura 8 (paso 3). Aquí, con respecto a cada una de las dos reglas modificadas dadas datos de inferencia inicial que se muestra en la figura 5, determinar la ruta de acceso en cada uno de la red Token Cuántos pases (Paso 4, STEP5). Entre el número de pasadas del flujo de la ficha, para seleccionar lo que sea menor número de pasada como una regla de mejora, y salidas a un archivo externo (etapa 6).
En esta realización, puesto que tanto será siete caminos por los que fichas dentro de cada red RETE puede seleccionar una regla obtenida a partir de cualquiera de las unidades.
Como se describió anteriormente, se muestra una red de RETE por regla de producción conjunto de entrada 1 de la Fig. 3 en la Fig. 4, que muestra una red RETE mediante la mejora de la regla 6 en la figura. Para cada red RETE, dado datos iniciales de inferencia que se muestran en la Figura 5, en la red de RETE del ejemplo convencional de la Fig. 4, el token se pasa a través de los ocho trayectorias, la presente realización, las condiciones de la regla en el caso de Retsube el cambio de la red RETE de la figura 7 es parte del patrón, el token solamente pasa a través del paso siete, alcanzando termina la inferencia. En consecuencia, el número de trayectorias de token de hasta inferencia terminado mediante la utilización de la forma de realización pasa disminuye uno, el tiempo requerido para la evaluación del estado se acorta correspondientemente.
Efecto de la invención
Como se ha descrito anteriormente, de acuerdo con la presente invención, puesto que el contador se reduce el número de paso para pasar cuando fluye a través de la red de RETE, es corto el tiempo requerido para la evaluación del estado, corto tiempo hasta que se terminó la inferencia Conviértete
La figura 1 es un diagrama de configuración de un sistema de producción que usa una red RETE de acuerdo con una primera realización de la presente invención.
La figura 2 es un diagrama de configuración de un programa de reconstrucción de parte de condición de regla de la figura 1.
Figura 3 Diagrama que muestra las reglas dadas al conjunto de reglas de producción de entrada.
Fig. 4 Diagrama de flujo de una red RETE convencional.
La figura 5 muestra los datos iniciales de inferencia de un módulo de inferencia convencional.
La figura 6 es un diagrama que muestra las reglas mejoradas de la figura 5 de acuerdo con la presente invención.
La figura 7 es un diagrama que muestra una red RETE usando la regla mejorada de la figura 6.
La figura 8 es un diagrama de configuración de un programa de reconstrucción de parte de condición de regla de acuerdo con una segunda realización de la presente invención.
La figura 9 es un diagrama de configuración de un programa de reconfiguración de parte de condición de regla de acuerdo con una tercera realización de la presente invención.
1 ... conjunto de producción de entrada, 2 ... Regla compilador, 3 ... archivo de objeto, 4 ... motor de inferencia, 5 ... y grupales caso de prueba, 6 ... datos de la secuencia de tokens, 7 ... programa regla condición de parte reconfiguración, 8 ... mejorado conjunto de reglas de producción, 31 ... red RETE, 41 ... rutina de medición de la situación de inferencia.
Reclamo
En el sistema de producción para que coincida con el algoritmo RETE coincidente realiza inferencia a partir de los datos iniciales es reivindicación 1 reglas y elementos de memoria de trabajo, sobre la base de los datos iniciales para estudios de casos, la regla procedimiento de recogida de información de instancia de añadir al nodo extremo de la red RETE una unidad de análisis para el análisis de la información de regla de coincidencia de recogida por, y un patrón de unidad de cambio para cambiar el orden de la pauta condición de la regla de la salida de la unidad de análisis, y como el número de fichas que fluyen en la red se reduce RETE Un método para optimizar una red RETE en un sistema de producción caracterizado por:
En el sistema de producción para que coincida con el algoritmo RETE coincidente realiza inferencia a partir de los datos iniciales es reivindicación 2 reglas y elementos de memoria de trabajo, sobre la base de los datos iniciales para estudios de casos, Token procedimiento de recogida de información de añadir a los dos nodos de entrada de la red de RETE una unidad de análisis para analizar la información reglas parte de verificación recogido por, y un patrón de cambio de unidad para cambiar el orden de la pauta condición de la regla de la salida de la unidad de análisis, de manera que se reduce el número de fichas que fluyen en la red RETE Un método para optimizar una red RETE en un sistema de producción caracterizado por caracterizarse porque comprende:
En el sistema de producción para que coincida con el algoritmo RETE juego realiza la inferencia reivindicaciones 3 reglas y los datos iniciales es un elemento de memoria de trabajo, la instancia regla procedimiento de recogida de información de añadir al nodo extremo de la red RETE basándose en los datos iniciales para Estudio de caso segunda sección de análisis que analiza un primer analizador para analizar la regla recogida búsqueda de información, la información de regla de coincidencia recogido por el procedimiento de recogida de información de señal de la adición a los dos nodos de entrada de la red de RETE basándose en los datos iniciales para estudio de caso con la puerta, mediante la comparación del patrón de condición de la orden Narabi de dicho modelo orden Narabi y condición de las reglas de salida de las reglas de salida del analizador segundo primer analizador de flujos en la red RETE Se caracteriza por elegir uno con menos fichas RETE método de optimización de red en sistemas de producción.
Dibujo :
Application number :1996-320791
Inventors :株式会社東芝
Original Assignee :前田猛