Sumari

  • Índex 

    Qüestiió (Universitat Politècnica de Barcelona. Centre de Càlcul, 1980-09)
    Article
    Accés obert
  • Aproximación al control estadístico de calidad mediante variables multidimensionales 

    Lario Esteban, Francisco-Cruz (Universitat Politècnica de Barcelona. Centre de Càlcul, 1980-09)
    Article
    Accés obert
    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 ...
  • Modelización de la dinámica de un buque 

    Ayza Graells, Jordi; López, J.; Quevedo Casín, Joseba Jokin (Universitat Politècnica de Barcelona. Centre de Càlcul, 1980-09)
    Article
    Accés obert
    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 ...
  • Aplicació de l’anàlisi de procedències al disseny del contingut de bases de dades 

    Olivé Ramon, Antoni (Universitat Politècnica de Barcelona. Centre de Càlcul, 1980-09)
    Article
    Accés obert
    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 ...
  • Noves perspectives de disseny de circuits amb memòries 

    Aguiló Llobet, Jordi; Valderrama Vallés, Elena; Fabregat Guinot, Francisco (Universitat Politècnica de Barcelona. Centre de Càlcul, 1980-09)
    Article
    Accés obert
    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 ...
  • Verificación de procesos concurrentes: un método formal y un caso de aplicación 

    García Hoffmann, Miguel (Universitat Politècnica de Barcelona. Centre de Càlcul, 1980-09)
    Article
    Accés obert
    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 ...