Publications associées à Pile (informatique)

Local electrochemical and thermal investigation of a segmented reversible solid oxide fuel cell and electrolyzer

Jan Van Herle, Stefan Diethelm, Audrey Désirée Wesoly, Zacharie Wuillemin, Hamza Moussaoui

A novel setup has been designed and mounted to investigate the local electrochemical and thermal behavior of a cell from a 4-cell short stack under reversible operation solid oxide fuel cell/solid oxide electrolyzer (SOFC/SOE). It consists in the partition ...

Pergamon-Elsevier Science Ltd2023

Understanding and Mitigating Latency Variability of Latency-Critical Applications

Mia Primorac

A major theme of IT in the past decade has been the shift from on-premise hardware to cloud computing. Running a service in the public cloud is practical, because a large number of resources can be bought on-demand, but this shift comes with its own set of ...

EPFL2020

Verifying Software Network Functions with No Verification Expertise

George Candea, Solal Vincenzo Pirelli, Rishabh Ramesh Iyer, Aikaterini Argyraki, Luis David Figueiredo Mascarenhas Moreira Pedrosa, Matteo Rizzo

We present the design and implementation of Vigor, a software stack and toolchain for building and running software network middleboxes that are guaranteed to be correct, while preserving competitive performance and developer productivity. Developers write ...

ACM2019

An FPGA-Based Test System for RRAM Technology Characterization

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Maxime Victor Thammasack, Armando Biscontini

Resistive random access memory (RRAM) technologies have recently gained large attention from the academic and industrial research communities. Significant efforts have been made to enhance the performance of the memory stacks from both communities through ...

2018

The Effects of Component Tolerances on the Thermo-Mechanical Reliability of SOFC Stacks

Jan Van Herle, Fabio Greco, Arata Nakajo, Zacharie Wuillemin

The reliability of solid oxide fuel cell (SOFC) systems is closing the gap to meet the requirements for market implementation. Finite-element (FE) stack models, typically used for stack reliability analyses, commonly consider idealized components. In reali ...

2017

Algorithmic Resource Verification

Ravichandhran Kandhadai Madhavan

Static estimation of resource utilisation of programs is a challenging and important problem with numerous applications. In this thesis, I present new algorithms that enable users to specify and verify their desired bounds on resource usage of functional p ...

EPFL2017

Solid oxide fuel cell anode degradation by the effect of hydrogen chloride in stack and single cell environments

Jan Van Herle, Christian Ludwig, Stefan Diethelm, Hossein Madi, Davide Papurello

The poisoning effect by hydrogen chloride (HCl) on state-of-the-art Ni anode-supported solid oxide fuel cells (SOFCs) at 750 degrees C is evaluated in either hydrogen or syngas fuel. Experiments are performed on single cells and short stacks and HCl concen ...

2016

New approach to low thermal conductivity of thermal barrier protection with improved mechanical integrity

Heinrich Hofmann, Paul Bowen, Abhishek Tewari

Layered ceramic systems with designed stacks of dense and porous layers were investigated as alternative for thermal barrier protection system (TBPs). This approach gives the possibility to obtain low thermal conductivity with the impact protection of dens ...

Elsevier2016

Investigations into the Effects of Biofuel Contaminants on Solid Oxide Fuel Cells

Hossein Madi

Solid Oxide Fuel Cells (SOFCs) have gathered considerable attention as a clean, highly efficient conversion device for the production of both electricity and heat from fuels. Due to their high operating temperatures, SOFCs do not require pure hydrogen as f ...

EPFL2016

Thermo-mechanical Reliability of SOFC Stacks During Combined Long-term Operation and Thermal Cycling

Jan Van Herle, Arata Nakajo, Zacharie Wuillemin, Fabio Greco

Thermo-mechanical issues in solid oxide fuel cells (SOFC) must be understood and overcome to meet the reliability standards for market implementation. This study presents a thermo-mechanical model of an SOFC-stack SRU. The analysis starts with the simulati ...

2015