Академический Документы
Профессиональный Документы
Культура Документы
Abstracto
Este artículo presenta una simplificación de uno de los métodos de TRIZ, la Sustancia-
Campo Análisis (SFA). La aplicación de métodos de TRIZ es a menudo durante mucho
tiempo y por lo tanto una barrera para su aplicación en la industria. Nuestro grupo de
investigación se esfuerza para simplificar TRIZ métodos para hacer su uso más
generalizado. Se obtuvo Esta simplificación SFA durante la ejecución de un ordenador
ayudado SFA. Esta implementación implica una fase ontológica, lo que conduce a la
traducción de la terminológica SFA y conocimiento condicional en un lenguaje
informático. Además de su interés operativo, los lenguajes de programación elegido
(Descripción Lógicas y lógica de primer orden) tienen interés formal de la SFA. La
complejidad de la aplicación de SFA tiene regularmente haber sido reportado por la
comunidad TRIZ. La terminología SFA sufre de una falta de normalización y los 76
Estándares. Implementación es un proceso empírico. Se propone una clarificación de la
terminología Sustancia-Campo Modelado y una sistemática proceso de implementación
de las Normas 76. Gracias a lógicas descriptivas, la terminología SFA se formaliza en
una forma automática coherencia comprueba modelo y lógica de primer orden garantiza
la sistematización de la implementación de las Normas 76.
1. Introducción
El objetivo científico de este trabajo se basa en un proyecto más amplio iniciado por
nuestro laboratorio. Este proyecto tiene como objetivo la obtención de modelos de
diseño innovador. El objetivo principal de este proyecto es la formalización del
conocimiento TRIZ. La formalización parece ser un paso necesario en la progresión de
TRIZ. Creemos que permitirá una mejor comprensión de TRIZ y una difusión más fácil
en los círculos industriales. Utilizamos un enfoque ontológico para dar forma a este
modelo. Las ontologías tienen la doble ventaja de la formalización de los conocimientos
y siendo de fácil implementación en un sistema basado en el conocimiento. En este
trabajo, limitamos nuestra base de conocimientos para una de TRIZ metodologías.
Nuestra elección es la Sustancia - Campo Análisis (SFA). Las razones para esta elección
se relacionan con tres consideraciones sobre SFA: sus fortalezas metodológicas, su falta
de formalismo y su integración en parcial existente soluciones de software. En este
trabajo, nos centramos en nuestro trabajo y nuestro resultado formalización ontológica
formal. Para conseguir este modelado formal de la SFA, utilizamos el formalismo de
lógicas descriptivas (DL) para el conocimiento de definición (La terminología SFA) y el
formalismo Puño orden lógico (FOL) para el conocimiento condicional (el 76 Inventiva
La aplicación de las normas). DL es uno de los lenguajes de representación más
expresivos. DL permite reproducir consistentemente las definiciones SFA sin
comprometer en su interpretación. Como FOL, en beneficio de una DL formales marco
derivado de la lógica de predicados y la teoría de conjuntos, considerado hoy en día
como los pilares de la formalización científica.
El plan general del trabajo es la siguiente. Sección 2 comienza por subrayar el problema
del formalismo SFA.
La sección 3 describe nuestro enfoque ontológico para la formalización de la SFA.
Sección 4 se muestran las contribuciones a través de un resumen de la terminología SFA
y algunos diagramas de flujo, que sintetizan una propuesta de SFA sistemática.
Nomenclatura
Una propuesta de un análisis por sustancias campo sistemática y consistente
3. Metodología Ontológico
Consciente de que no existe un marco de referencia para la construcción de ontologías,
se propone un proceso inspirado en [13]. Nosotros deseen aclarar que el proceso
descrito aquí tiene sólo un valor explicativo. Lejos de ser una secuencia de pasos las
proceso es en la práctica un proceso iterativo que implica volver continua y
movimientos hacia delante entre cada paso. Nuestra formalización se realiza en dos
pasos. El primer paso es una normalización SFA. Esta etapa se lleva a cabo utilizando
una análisis automático. El segundo paso es ontologizacion, que consiste en la
traducción de la normalización de manera formal ontología utilizando DL y la sintaxis
FOL.
Análisis automático, realizado con la función Terminae [14] nos permitió determinar los
términos centrales de la
SFA. Terminae es una metodología y una herramienta para construir la normalización.
La normalización nos permite restringir el posibilidades de interpretación y
conocimiento Objectify. Antes de llegar a esta etapa de normalización, debemos
introducir la fuente corpus.
En un enfoque de este tipo, la elección de corpus es a menudo predeterminante para el
futuro. Sin embargo, la relevancia de la elección es difícil juzgar incluso a posteriori, y
no existe una metodología para este propósito. Por lo tanto, nos ponemos de pie para la
extracción de conocimiento a partir de varias fuentes que clasificamos en tres
categorías:
Entre los 40 000 palabras del corpus, la fuente madre contiene 30%, la fuente hija es de
aproximadamente 50% y la fuente prima es de aproximadamente 20%. El corpus es un
corpus de especialidad no anotado y fue sobre todo en forma de libro. Eso se ha
reescrito en un formato legible por ordenador. Se realiza el análisis automático del
corpus SFA a través de tres fases: x En primer lugar, el etiquetado morfosintáctico: se
trata de un etiquetado del corpus realizado con TreeTagger [16]. Permite anotaciones de
texto con información (tipo de palabras: nombres, verbos infinitivos y partículas). x En
segundo lugar, la extracción de terminología: Yatea [17] extrae los términos más
Una propuesta de un análisis por sustancias campo sistemática y consistente
Se define la medición SFM como SFM completa con una sustancia de instrumentos. Se
introduce unas nuevas definiciones para Sustancias instrumento y herramienta de
sustancias. Ambas sustancias lograr la función de un sistema pero una es el objetivo de
proporcionar una acción por la sustancia del producto y la otra es la fuente de una
acción dirigida a la sustancia producto (véase la figura 1) . Como herramienta, la llave
se aprieta el tornillo a través de un campo de la mecánica. Como instrumento, el par de
llave mide el apriete de los tornillos.
Término Definición
Modelo de Sustancia-Campo (SFM) Representación de un sistema material
compuesto al menos de un elemento.
Elemento Sustancias o campo, que representa las entidades básicas del mundo material.
Tiene como atributos de dinamismo, ritmo y estructura.
Campo Entidad inmaterial presente en un espacio definido ejerciendo una fuerza en
cualquier punto de este espacio. Se caracteriza por su intensidad.
Sustancia Entidad material, puede ser orgánica e inorgánica, natural o artificial. La
sustancia puede ser representada como una SFM.
SFM Simple Combinación de exactamente de dos sustancias y un campo que genera
una interacción entre las sustancias. Representa un sistema técnico mínimo.
Interacción Conexión entre dos sustancias, es la expresión sensible de campo. Podría
ser calificado como útil, dañino, excesiva o insuficiente.
Acción Caso particular de interacción. Es una conexión dirigida, como un vector, se
conecta una sustancia inicial con una sustancia terminal.
Producto Sustancia. Sustancia que no logra la función del sistema.
Herramienta de sustancia Sustancia que logra la función del sistema y es la fuente de
la acción que podría interpretarse como la función.
Instrumento de sustancia sustancia que logra la función del sistema, y es el objetivo
de la acción que podría interpretarse como la función.
SFM Incompleta combinación de dos elementos a lo sumo.
SFM Completa Combinación de al menos dos sustancias y un campo.
SFM Compleja Combinación de al menos dos sustancias y dos campos.
SFM Cadena Combinación de exactamente tres sustancias y dos campos.
SFM Doble Combinación de exactamente dos sustancias y dos campos.
SFM Desarrollada simple SFM simple con una de sus sustancias descompuestas en
términos de SFM.
Medición de SFM SFM completa con una sustancia de instrumentos.
Siete normas de la invención pueden ser representados por esta regla ( normas 1.1.2 . ,
1.2.1 . , 1.2.2 . , 2.1.1 . , 2.4.5 . , 4.4.2 . , Y 4.4.3 ) . Incluso si las reglas de
transformaciones SFM son más generales , logramos reproducir la mayoría de los
estándares de la invención por acoplando luego con otros conjuntos de reglas . Las
reglas de la suma y la sustancia de las reglas El campo de adición se utilizan de forma
recursiva con las reglas de transformación de SFM , los procesos generales inducir por
dichas normas se sintetizan respectivamente, por la diagramas de flujo en la figura 2 y la
figura 3 .
transformaciones en las normas de 2.2.2 a 2.2.6 , en la sub clase 2.3 y en las normas de
2.4.8 a 2.4.10 . Como
se muestra en la Fig . 7, se lleva a aplicar sucesivamente las Reglas de segmentación ,
las reglas de la porosidad, las reglas dinamismo y
las reglas de estructura .
Las Reglas de segmentación proponen sustancias segmento con un orden en particular (
no segmentado , macrosegmented ,
micro- segmentado , gel , líquido, aerosol , gas) . Las reglas de porosidad implican
diferentes grados de porosidad para
sustancias (sin cavidad , una cavidad , cavidades macro , micro- cavidades , cavidades
micro- estructurados) . Las reglas Dinamismo
llevar a cambiar el nivel de dinamismo campo y sustancia. El campo podría cambiar de
un campo permanente a un uno por impulsos.
Sustancia puede ser intercambiado por uno con una articulación, muchas articulaciones
o por uno flexible . Las Reglas de estructuración conducen a
cambiar la estructura de elemento (campo o estructura de la sustancia) .
5. Conclusión
Nuestra formalización SFA reproduce fielmente el tradicional SFA casi en su totalidad.
Sólo la clase 3 no es estándares reproducido. Esta clase se refiere a algunas
transformaciones sistémicas. Por ejemplo, una de sus normas sugiere que pasa de un
solo sistema técnico a poli sistema técnico. Esta clase no tiene en cuenta ninguna SFM
en términos de sustancias y campos. Desde nuestro punto de vista, debe ser retirado de
las normas de la invención. Una previa bosquejo formalización realizada en [8]
comparte esta conclusión, y sugiere ponerlo en otra base de conocimientos TRIZ como
las tendencias de evolución.
Sin embargo, a excepción de la clase 3, con todos los estándares tradicionales se
reproducen con los 8 conjuntos de reglas. Incluso si la interacción atributo está ausente
de los 8 conjuntos de reglas, no tiene ningún impacto sobre su validez. Se consideraron
como algo trivial el hecho de que si hay una interacción problemática (nocivo,
insuficiente, excesivo) en una problemática SFM, la modificación implica
por una norma apunta a contrarrestarlo. Por ejemplo, si una problemática SFM tiene una
interacción insuficiente y si el combinación de los 8 conjuntos implica añadir una
sustancia, a continuación, de acuerdo con nosotros trivialmente implica que esta
sustancia debe mejorar esta interacción.
Las normas de la clase 4 son redundantes. De acuerdo con nosotros es una síntesis de la
clase 1 y 2 se aplica a sistemas de medición. La definición que se propone como un caso
específico de un SFM completo nos impide este sin olvidar la redundancia ellos.
Como se explica en el inicio de este trabajo, este trabajo es una parte de un proyecto que
tiene como objetivo implementar un TRIZ sistema de conocimiento. Esta formalización
SFA es el primer ladrillo de una ontología operativa más grande de la SFA que se puede
encontrar en [20]. La ontología operativa se implementa en un sistema híbrido que
combina FOL y DL, CISNA [21]. Incluye una base de conocimientos efecto físico y
capitaliza la SFA anterior en un estudio de caso base de conocimientos. Ambas bases de
conocimiento ayudan a interpretar la solución SFM por el razonamiento analógico. Al
igual que en [22], se creen que facilitará el diseño innovador en la industria a través de
una mejor comprensión y la práctica de la SFA.