Vous êtes ici
Un problème ouvert résolu en informatique : une réduction efficace de la taille de systèmes
Gérard Cécé du département DISC/FEMTO-ST a présenté lors de la
conférence LICS'17, les fondations d'une série d'algorithmes efficaces
du calcul de la plus grande relation de simulation d'un système.
La notion de simulation permet de comparer les comportements de systèmes
informatiques mais aussi de réduire la taille de ces systèmes afin d'en
faciliter l'analyse. On peut prendre en exemple le cas d'un système
évoluant au travers de près de 150 000 configurations différentes et
qui a pu être réduit, grace à cette notion de simulation, à un système
évoluant dans moins de 1 000 configurations. Il est dès lors bien plus
facile d'analyser ce système réduit pour en valider le bon comportement
ou y détecter des erreurs.
La difficulté est que les algorithmes calculant la plus grande
simulation d'un système étaient soit économes en mémoire mais pas bien
rapides, soit rapides mais utilisant beaucoup de mémoire et donc
inapplicables sur de grands systèmes. Depuis 2007 se posait le problème
de l'existence d'un algorithme à la fois rapide et économe en mémoire.
L'article présenté à LICS répond positivement à cette question et
surtout met en évidences les fondations qui permettront de proposer de
nouveaux compromis, tant théorique que pratique, entre temps de calcul
et mémoire nécessaire à ce type d'algorithmes.
Rencontre thématique GDR Ondes
"À la frontière de l’optique et de l’acoustique : optomécanique, cristaux phoxoniques, effet Brillouin, acousto-optique"
Lire la suite
L’ingénierie des métamatériaux révolutionne le confort sonore
Solutions isolantes ultra-efficaces et d’épaisseur très fine, les métamatériaux acoustiques développés par une équipe de chercheurs de FEMTO-ST promettent de s’affranchir du bruit et des nuisances sonores. Le projet est accompagné par le programme de prématuration du CNRS.
Lire la suite
Micky Rakotondrabe reçoit le prix "Big on small"
Le prix scientifique international "Big on small" remis à Micky Rakotondrabe (département AS2M) pour ses travaux en micromécatronique.
Lire la suite
FEMTO Share Tech DAY
Femto-ST organise son 1er Share Tech Day sur le thème de la santé le 24 novembre prochain, à vos agendas !
Lire la suite
Atelier SMYLE, 22 et 23 septembre 2016
Les ateliers SMYLE sont organisés dans le cadre du Collégium International franco-suisse SMYLE entre EPFL et FEMTO-ST.
Cette année, des conférences et des sessions posters traiteront des sujets “Internet of things” et “Understand the issues and challenges of the connected world”.
Lire la suite
Le 1er prix de "Ma thèse en 180 secondes - Indonésie" remportée en Mécanique Appliquée
Félicitations à Gemala Hapsari, Doctorante en Mécanique Appliquée, qui a remporté la finale Indonésienne du concours.
Lire la suite
FEMTO-ST conclut un partenariat pour la recherche avec PSA
Le 19 mai dernier, la Région Bourgogne Franche-Comté et l’institut FEMTO-ST (par l’intermédiaire de ses établissements de tutelle)a signé une convention de partenariat avec le groupe PSA Peugeot Citroën en vue de renforcer les collaborations déjà existantes de recherche et de transfert de technologies.
Lire la suite
Prix de la meilleure thèse en Génie Electrique pour Zhixue Zheng
Décerné pour les années 2014 et 2015 conjointement par la société savante Club EEA et le GdR du CNRS SEEDS qui rassemble tous les laboratoires de Génie Electrique français, ce prix vient récompenser les travaux menés par Zhixue Zheng au sein du département ENERGIE de FEMTO-ST, dans le cadre de la fédération FCLab, sur le diagnostic en ligne de pile à combustible de type PEMFC.
Lire la suite
International Summer School on PEM Fuel Cell Systems
FEMTO-ST, FC Lab et le LabEx ACTION organisent l'école d'été "From Diagnostics to Fault Tolerant Control of PEM Fuel Cell Systems" du 4 au 8 juillet 2016 à Belfort.
Lire la suite
FACS 2016 - The 13th International Conference on Formal Aspects of Component Software
Le département du DISC, organisateur de la 13ème Conférence Internationale FACS.
Lire la suite
Pages
