- -

Browsing by Subject "Hybrid systems"

RiuNet: Institutional repository of the Polithecnic University of Valencia

Browsing by Subject "Hybrid systems"

Sort by: Order: Results:

  • Icon
    Design and calibration of a 3D modeling system by videogrammetry 
    Herráez Boquera, José; Martínez Llario, José Carlos; Coll Aliaga, Eloína; Rodríguez, J.; Martín, M.T. (IOP Publishing: Hybrid Open Access, 2013)
    Nowadays, close-range photogrammetry and a laser scanner are the two most popular techniques in reconstruction of three-dimensional objects. This paper develops a methodology based on videogrammetry to reconstruct 3D ...
  • thumb
    Design of Hybrid Second-Level Caches 
    Valero Bresó, Alejandro; Sahuquillo Borrás, Julio; Petit Martí, Salvador Vicente; López Rodríguez, Pedro Juan; Duato Marín, José Francisco (Institute of Electrical and Electronics Engineers (IEEE), 2015-07)
    In recent years, embedded dynamic random-access memory (eDRAM) technology has been implemented in last-level caches due to its low leakage energy consumption and high density. However, the fact that eDRAM presents slower ...
  • thumb
    Diagnosis of Intermittent Faults in IGBTs Using the Latent Nestling Method with Hybrid Coloured Petri Nets 
    Rodríguez Urrego, Leonardo; García Moreno, Emilio; Quiles Cucarella, Eduardo; Correcher Salvador, Antonio; Morant Anglada, Francisco José; Piza, Ricardo (Hindawi Publishing Corporation, 2015)
    This paper presents a fault diagnosis application of the Latent Nestling Method to IGBTs. The paper extends the Latent Nestling Method based in Coloured Petri Nets (CPNs) to hybrid systems in such a manner that IGBTs ...
  • thumb
    Experimental verification of hybrid renewable systems as feasible energy sources 
    Pérez-Navarro, Ángel; Alfonso-Solar, David; Ariza-Chacón, Helbert Eduardo; Cárcel Carrasco, Francisco Javier; Correcher Salvador, Antonio; Escrivá-Escrivá, Guillermo; Hurtado, E.; Ibáñez, F.; Peñalvo-López, Elisa; Roig Arnau, Rafael; Roldán-Porta, Carlos; Sánchez-Diaz, Carlos; Segura Heras, Isidoro; Vargas Salgado, Carlos Afranio (Elsevier, 2016)
    [EN] Renewable energies are a central element in the search for energy sustainability, so they are becoming a substantial component of the energy scenario of every country, both as systems connected to the grid or in ...
  • Icon
    Hybrid Analysis in the Latent Nestling Method Applied to Fault Diagnosis 
    Rodríguez Urrego, Leonardo; García Moreno, Emilio; Morant Anglada, Francisco José; Correcher Salvador, Antonio; Quiles Cucarella, Eduardo (Institute of Electrical and Electronics Engineers (IEEE), 2013-04)
    This paper presents the Latent Nestling Method (LNM) formalization in hybrid systems. For the proposed LNM, it is necessary to include places of continuous or differential character, allowing the analysis of continuous ...
  • Icon
    Optimization of a hybrid renewable system for high feasibility application in non-connected zones 
    Hurtado Pérez, Elías José; Peñalvo López, Elisa; Pérez-Navarro Gómez, Ángel; Vargas Salgado, Carlos Afranio; Alfonso-Solar, David (Elsevier, 2015-10-01)
    Renewable systems are especially suited for electricity generation in remote areas but, where high reliability of the electricity supply is required, a hybrid system including electricity storage could be the only solution ...
  • thumb
    SAT modulo linear arithmetic for Solving Polynomial Constraints 
    Borralleras, Cristina; Lucas Alba, Salvador; Oliveras ., Albert; Rodriguez-Carbonell, Enric; Rubio ., Albert (Springer Netherlands, 2012-01)
    Polynomial constraint solving plays a prominent role in several areas of hardware and software analysis and verification, e.g.; termination proving, program invariant generation and hybrid system verification, to name a ...
  • thumb
    Sistema recomendador basado en casos para videojuegos de rehabilitación 
    Catalá Adrama, Laura (2015-06-17)
    [EN] This Case-based Recommender system for rehabilitation videogames recommends activities and videogames in order to rehabilitate individuals with disabilities due to accidents, illnesses, or aging. Videogames are ...