Bilatu
138-tik 131-138 emaitza erakusten
Runtime Contracts Checker: Increasing Robustness of Component-Based Software Systems
(IOP Publishing, 2019)
Software Systems are becoming increasingly complex leading to new Validation &Verification challenges. Model checking and testing techniques are used at development time while runtime verification aims to verify that a ...
Identificación de los aspectos clave de la economía circular para su inclusión en el diseño para el ciclo de vidaIdentification of key aspects of circular economy for inclusion in life cycle design
(AEIPRO, 2019)
La sostenibilidad de la sociedad va a requerir cambios en las personas, en las organizaciones y en las administraciones públicas. La economía circular se postula como un elemento tractor de ese cambio. Pero, ¿cómo abordar ...
Lithium-ion Capacitor Safety Assessment under Electrical Abuse Tests based on Ultrasound Characterization and Cell Opening
(Elsevier, 2019)
Safety issues related to lithium-ion batteries are a driving force in the search for new energy storage systems. Lithium-ion capacitors are becoming recognised as promising devices to address the question of safety. These ...
DFA-LC: metodología de diseño para el montaje considerando el ciclo de vida del productoDFA-LC: design for assembly methodology considering the product life cycle
(AEIPRO, 2019)
Las metodologías Design for Assembly (DFA) ayudan al diseñador a tener en cuenta el proceso de montaje durante las fases de desarrollo de un producto (especificaciones, diseño conceptual y diseño en detalle), de esta forma ...
Perfilado 4.0: ayuda a la puesta a punto y aseguramiento de la calidad en procesos de perfilado
(2019)
Una problemática a la que se enfrentan las empresas de perfilado de chapa es la laboriosa, y con ello costosa, puesta a punto del proceso. En ella los operarios basan sus decisiones en experiencias pasadas y en la mayoría ...
A general approach to Software Product Line testing
(Sistedes: Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software, 2019)
Variability is a central concept in Software Product Lines (SPLs). It has been extensively studied how the SPL paradigm can improve both the efficiency of a company and the quality of products. Nevertheless, this brings ...
Fase anitzeko ibilgailu elektriko baten kontrol estrategien diseinu eta balidazioa
(Mondragon Unibertsitatea. Goi Eskola Politeknikoa., 2019)
Master bukaerako lan honetan 9 faseko Permanent Magnet Synchronous Machine (PMSM) baten kontrolak aztertzen, garatzen eta balidatzen dira. Ibilgailu elektrikoaren aplikazioan murgildurik, motore multifasikoek akatsei aurre ...
Literaturaren irakaskuntza Batxilergoko 2. mailan: Arizmendi Ikastolako Almen guneko egoeraren diagnosia eta proposamenak
(Mondragon Unibertsitatea. Humanitate eta Zezkuntza Zientzien Fakultatea, 2019)