1980, vol. 4, núm. 3http://hdl.handle.net/2099/38102024-03-29T13:28:31Z2024-03-29T13:28:31ZÍndexQüestiióhttp://hdl.handle.net/2099/54552020-07-21T18:58:30Z2008-05-23T14:56:18ZÍndex
Qüestiió
2008-05-23T14:56:18ZQüestiióAproximación al control estadístico de calidad mediante variables multidimensionalesLario Esteban, Francisco-Cruzhttp://hdl.handle.net/2099/43882015-08-03T01:03:51Z2008-02-28T18:12:32ZAproximación al control estadístico de calidad mediante variables multidimensionales
Lario Esteban, Francisco-Cruz
El objeto de este trabajo es definir unas técnicas estadísticas-matemáticas que permitan plantear y resolver el tema del Control de Calidad multidimensional con variables correlacionadas. Planteada y justificada la necesidad de utilización de variables multidimensionales para caracterizar individuos estadísticos complejos, se pasa revista a técnica de Identificación y Análisis de Datos, -Análisis Discriminante y k-vecino más próximo (k-NN 6 k-Nearest Neighbor)-, (se caracteriza el Reconocimiento de Formas, -Pattern-Recognition-, mediante los Identificadores anteriores actuando sobre muestras de aprendizaje) y al estimar los Errores de Mala-Identificación, se puede plantear ya un plan de Control de Calidad. Se ha obtenido de este modo un Programa que establece un Plan de Control de Calidad en la Recepción, sobre variable aleatoria multidimensional normal, mediante una muestra de Aprendizaje inicial supervisada.; This paper is aimed at defining statistical-mathematical techniques to solve the problem of multivariate quality control with correlated variables. Once the need of using multivariate variables has been justified in order to characterize complex statistical individuals, the techniques of identification and multivariate analysis, discriminant analysis and k-nearest neighbour (K-NN) are reviewed. Pattern recognition is characterized through the former identifiers acting on learning samples, and when estimating bad-identification errors a quality control plan can be already set up. In this way, a program has been obtained which establishes a quality control plan, at the reception stage, on standard multivariate random variables by means of an initial learning sample with professor supervision.
2008-02-28T18:12:32ZLario Esteban, Francisco-CruzEl objeto de este trabajo es definir unas técnicas estadísticas-matemáticas que permitan plantear y resolver el tema del Control de Calidad multidimensional con variables correlacionadas. Planteada y justificada la necesidad de utilización de variables multidimensionales para caracterizar individuos estadísticos complejos, se pasa revista a técnica de Identificación y Análisis de Datos, -Análisis Discriminante y k-vecino más próximo (k-NN 6 k-Nearest Neighbor)-, (se caracteriza el Reconocimiento de Formas, -Pattern-Recognition-, mediante los Identificadores anteriores actuando sobre muestras de aprendizaje) y al estimar los Errores de Mala-Identificación, se puede plantear ya un plan de Control de Calidad. Se ha obtenido de este modo un Programa que establece un Plan de Control de Calidad en la Recepción, sobre variable aleatoria multidimensional normal, mediante una muestra de Aprendizaje inicial supervisada.
This paper is aimed at defining statistical-mathematical techniques to solve the problem of multivariate quality control with correlated variables. Once the need of using multivariate variables has been justified in order to characterize complex statistical individuals, the techniques of identification and multivariate analysis, discriminant analysis and k-nearest neighbour (K-NN) are reviewed. Pattern recognition is characterized through the former identifiers acting on learning samples, and when estimating bad-identification errors a quality control plan can be already set up. In this way, a program has been obtained which establishes a quality control plan, at the reception stage, on standard multivariate random variables by means of an initial learning sample with professor supervision.Modelización de la dinámica de un buqueAyza Graells, JordiLópez, J.Quevedo Casín, Joseba Jokinhttp://hdl.handle.net/2099/43872020-02-12T16:01:45Z2008-02-28T16:47:47ZModelización de la dinámica de un buque
Ayza Graells, Jordi; López, J.; Quevedo Casín, Joseba Jokin
En este trabajo se han estudiado cinco modelos matemáticos de la dinámica del buque, bajo ciertas condiciones consideradas, se han presentado las expresiones de la fuerza y momento que ejercen las perturbaciones ambientales en el casco del buque, así como el esquema bloque de la máquina del timón.
En el primer modelo en ecuaciones de estado expuesto, intervienen las expresiones de la fuerza y momento exteriores establecidas bajo las condiciones de un mar regular y un viento y una corriente homogéneos y constantes.
El resto de los modelos estudiados contienen un reducido número de parámetros, que pueden ser definidos experimentalmente por medio de técnicas de identificación paramétrica.
Los estudios de simulación realizados constituyen un primer paso en el estudio de la validación y comparación de los modelos de buques planteado y será necesario recoger y analizar un mayor número de pruebas experimentales de diferentes buques para sacar conclusiones definitivas sobre la validación del modelo matemático de un buque, así como del conjunto identificador-modelo para los casos en que se requiere una adaptación continua del modelo a las condiciones de navegación existentes.; The most common used models corresponding to ship's dynamic behaviour under the most important perturbations are presented in this work. A digital simulation has been made using these models for several sets of environment conditions assuming that their parameters' values are well known. Finally, a comparison between the models presented is made.
2008-02-28T16:47:47ZAyza Graells, JordiLópez, J.Quevedo Casín, Joseba JokinEn este trabajo se han estudiado cinco modelos matemáticos de la dinámica del buque, bajo ciertas condiciones consideradas, se han presentado las expresiones de la fuerza y momento que ejercen las perturbaciones ambientales en el casco del buque, así como el esquema bloque de la máquina del timón.
En el primer modelo en ecuaciones de estado expuesto, intervienen las expresiones de la fuerza y momento exteriores establecidas bajo las condiciones de un mar regular y un viento y una corriente homogéneos y constantes.
El resto de los modelos estudiados contienen un reducido número de parámetros, que pueden ser definidos experimentalmente por medio de técnicas de identificación paramétrica.
Los estudios de simulación realizados constituyen un primer paso en el estudio de la validación y comparación de los modelos de buques planteado y será necesario recoger y analizar un mayor número de pruebas experimentales de diferentes buques para sacar conclusiones definitivas sobre la validación del modelo matemático de un buque, así como del conjunto identificador-modelo para los casos en que se requiere una adaptación continua del modelo a las condiciones de navegación existentes.
The most common used models corresponding to ship's dynamic behaviour under the most important perturbations are presented in this work. A digital simulation has been made using these models for several sets of environment conditions assuming that their parameters' values are well known. Finally, a comparison between the models presented is made.Noves perspectives de disseny de circuits amb memòriesAguiló Llobet, JordiValderrama Vallés, ElenaFabregat Guinot, Franciscohttp://hdl.handle.net/2099/43762015-08-03T01:03:50Z2008-02-26T12:24:32ZNoves perspectives de disseny de circuits amb memòries
Aguiló Llobet, Jordi; Valderrama Vallés, Elena; Fabregat Guinot, Francisco
Les tècniques d'integració actuals fan necessari mantenir al dia els algorismes fets servir al disseny. En aquest sentit l'objectiu d'aquest article és presentar un estat de la questió del tema de la descomposició modular de màquines seqüencials fent servir o bé mòduls més senzills connectats de forma serial-paral.lela o bé mòduls donats previament (registres de desplaçament, ULMs, etc). Finalment s'estudia també la síntesi amb elements de memòria RAM.; Present techniques of integration make necessary to bring up to date the algorithms used in the design. In this sense, the aim of this paper is to present a state of the art about the topic of the modular decomposition of sequential machines, both by using simpler modules connected in a serial-parallel way, or by prearranging the modules that are going to be used in the synthesis (shift-registers, ULMs, etc.). Final1y, the synthesis with RAMs as memory elements is also studied.
2008-02-26T12:24:32ZAguiló Llobet, JordiValderrama Vallés, ElenaFabregat Guinot, FranciscoLes tècniques d'integració actuals fan necessari mantenir al dia els algorismes fets servir al disseny. En aquest sentit l'objectiu d'aquest article és presentar un estat de la questió del tema de la descomposició modular de màquines seqüencials fent servir o bé mòduls més senzills connectats de forma serial-paral.lela o bé mòduls donats previament (registres de desplaçament, ULMs, etc). Finalment s'estudia també la síntesi amb elements de memòria RAM.
Present techniques of integration make necessary to bring up to date the algorithms used in the design. In this sense, the aim of this paper is to present a state of the art about the topic of the modular decomposition of sequential machines, both by using simpler modules connected in a serial-parallel way, or by prearranging the modules that are going to be used in the synthesis (shift-registers, ULMs, etc.). Final1y, the synthesis with RAMs as memory elements is also studied.Verificación de procesos concurrentes: un método formal y un caso de aplicaciónGarcía Hoffmann, Miguelhttp://hdl.handle.net/2099/43752019-01-24T09:31:02Z2008-02-26T12:11:55ZVerificación de procesos concurrentes: un método formal y un caso de aplicación
García Hoffmann, Miguel
En este trabajo se propone una nueva tècnica para la verificación de programas concurrentes. Para realizar la verificación se parte de la descripción LDP de los procesos.
El método requiere expresar en una relación de simulación las prioridades que se desea probar. El algoritmo de verificación construye mediante ejecución simbólica un árbol de prueba para cada punto de paro de la relación de simulación. La verificación se reduce así a la prueba de las condiciones de verificación generadas.
Como caso de aplicación se presenta la verificación de un conocido protocolo de comunicación: el protocolo de bit alternante.; In this work a new technique for verifying concurrent processes is presented. The LDP specifications of the processes serve as the basis for the verification.
The properties the designer wants to prove must be expressed through a simulation relation, and the verification algorithm generates, by means of symbolic execution, a proof tree for every stopping point of the simulation relation. Verification is thus reduced to the proof of the generated verification conditions.
As a particular case the verification of a well known communication protocol –the alternating bit protocol- is discussed.
2008-02-26T12:11:55ZGarcía Hoffmann, MiguelEn este trabajo se propone una nueva tècnica para la verificación de programas concurrentes. Para realizar la verificación se parte de la descripción LDP de los procesos.
El método requiere expresar en una relación de simulación las prioridades que se desea probar. El algoritmo de verificación construye mediante ejecución simbólica un árbol de prueba para cada punto de paro de la relación de simulación. La verificación se reduce así a la prueba de las condiciones de verificación generadas.
Como caso de aplicación se presenta la verificación de un conocido protocolo de comunicación: el protocolo de bit alternante.
In this work a new technique for verifying concurrent processes is presented. The LDP specifications of the processes serve as the basis for the verification.
The properties the designer wants to prove must be expressed through a simulation relation, and the verification algorithm generates, by means of symbolic execution, a proof tree for every stopping point of the simulation relation. Verification is thus reduced to the proof of the generated verification conditions.
As a particular case the verification of a well known communication protocol –the alternating bit protocol- is discussed.Aplicació de l’anàlisi de procedències al disseny del contingut de bases de dadesOlivé Ramon, Antonihttp://hdl.handle.net/2099/43742023-10-08T23:05:06Z2008-02-26T12:02:31ZAplicació de l’anàlisi de procedències al disseny del contingut de bases de dades
Olivé Ramon, Antoni
A la primera part de l'article, es fa una exposició de l'anàlisi de precedències entre conjunts d'informació i, en particular, de l'anàlisi de derivabilitat, en base al model relacional de dades.
A la segona part, s'aplica l'anàlisi de precedència a alguns problemes que es presenten durant el disseny de bases de dades. Aquest problemes són: definició i validació dels requeriments d'una base de dades; disseny del contingut de la base de dades; i disseny de la dinàmica dels processos d'afegir, derivar i esborrar informacions de la base de dades. S'explica un exemple concret al qual s'aplica els conceptes i els mètodes proposats.; In the first part of the paper the precedence analysis of information sets, and particularly the derivability analysis based on the relational model are presented. In the second part precedence analysis is applied to some problems that occur in data base design. These problems are: data base requirements definition and validation, data base contents design, and the design of the dynamics of the processes of adding, deriving and deleting data base informations. A particular sample to which are applied the proposed concepts and methods is explained.
2008-02-26T12:02:31ZOlivé Ramon, AntoniA la primera part de l'article, es fa una exposició de l'anàlisi de precedències entre conjunts d'informació i, en particular, de l'anàlisi de derivabilitat, en base al model relacional de dades.
A la segona part, s'aplica l'anàlisi de precedència a alguns problemes que es presenten durant el disseny de bases de dades. Aquest problemes són: definició i validació dels requeriments d'una base de dades; disseny del contingut de la base de dades; i disseny de la dinàmica dels processos d'afegir, derivar i esborrar informacions de la base de dades. S'explica un exemple concret al qual s'aplica els conceptes i els mètodes proposats.
In the first part of the paper the precedence analysis of information sets, and particularly the derivability analysis based on the relational model are presented. In the second part precedence analysis is applied to some problems that occur in data base design. These problems are: data base requirements definition and validation, data base contents design, and the design of the dynamics of the processes of adding, deriving and deleting data base informations. A particular sample to which are applied the proposed concepts and methods is explained.