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.
Un poster Award obtenu à l'EFTF 2016
Souleymane Diallo (Doctorant au département Optique) a obtenu un Student Poster Award à la conférence EFTF...
Lire la suite
Conférence-ateliers "Le Temps et les horloges atomiques"
Le étudiants du CMI de physique et de mécanique de l’UFC organisent une conférence-ateliers le mercredi 27 avril sur la thématique du temps et des micro-horloges atomiques animée par des chercheurs de l’institut FEMTO-ST.
Lire la suite
1er prototype de groupe électrogène hybride à hydrogène
Dans le cadre d’un projet de maturation visant à promouvoir l’hydrogène -énergie, une équipe de recherche de la fédération de recherche FCLAB, associant FEMTO-ST, a développé son premier prototype de groupe électrogène à hydrogène qui a été présenté en avant-première à Belfort le 7 avril
Lire la suite
François Courvoisier, lauréat d'une bourse ERC Consolidator Grants, reçoit le prix Aimé Cotton
La société française de physique a décerné le prix Aimé Cotton à François Courvoisier, également lauréat d’une bourse ERC Consolidator Grants 2015.
Lire la suite
Les « nano voitures » font leur avant-première au Musée de l’Aventure Peugeot
C’est à l’occasion du Forum microscopie à sonde locale, organisé par FEMTO-ST que le groupe PSA Peugeot-Citroën a officiellement annoncé son parrainage de l’équipe de chercheurs français impliqués dans la première course internationale de "molécules-voitures".
Lire la suite
Le département DISC récompensé lors de la conférence IEEE AINA 2016
Le DISC reçoit la SEULE récompense de la 30éme édition de l'IEEE AINA 2016, à Cran Montana...
Lire la suite
Forum international des microscopies à sonde locale
Organisé par des membres du département MN2S, ce forum aura lieu du 21 au 25 Mars 2016 au Musée de l’aventure Peugeot à Sochaux.
Lire la suite
Succès du projet I-SITE UBFC
le projet I-SITE BFC, dans lequel FEMTO-ST est très impliqué, figure parmi les 2 projets I-SITE retenus in fine par le jury d’experts internationaux dans le cadre du second programme Investissements d’Avenir (PIA2) mené par l’Etat
Lire la suite
Best Paper Award à la conférence ICRSE & PHM 2015
L'équipe PHM a été récompensée à Pékin pour son article « Component-Based Data-Driven Prognostics for Complex Systems: Methodology and Applications ».
Lire la suite
Grand Prix National de l'Ingénierie 2015
Grâce au partenariat avec les équipes de recherche belfortaine de l’institut FEMTO-ST (département Energie) le groupe Assystem s’est vu remettre le Prix National de l’Ingénierie 2015 pour le développement d’un moteur thermique de nouvelle génération à apport de chaleur externe baptisé Energine.
Lire la suite
Pages
