L'institut
Actualité de FEMTO-ST

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.

  • Fei GAO reçoit le prix «IEEE J.D. Irwin Early Career Award »

    Membre de l'équipe SHARPAC et Directeur-Adjoint de FEMTO-ST, Fei Gao a été récompensé par la société IES de IEEE en raison de ses travaux remarquables dans le domaine de l'amélioration de la fiabilité des chaînes de traction électrique à hydrogène.

    Lire la suite
  • Daniel HISSEL, lauréat de la médaille de l’innovation 2020 du CNRS

    Professeur à l’Université de Franche-Comté, chercheur à FEMTO-ST et co-fondateur d’une start-up pour des piles à hydrogène plus performantes, Daniel HISSEL fait partie des quatre lauréats nationaux de la médaille de l’innovation 2020 du CNRS.

    Lire la suite
  • Une nouvelle source de lumière infrarouge grâce à des cascades de fibres optiques

    Des scientifiques de l’institut FEMTO-ST et de l'Université McGill (Montréal, Canada) ont conçu et développé en collaboration avec trois sociétés françaises une source de lumière couvrant toute la gamme de longueur d’onde de l’infrarouge moyen : de 2 à 10 µm.

    Lire la suite
  • Des cristaux topologiques pour guider les ondes à la surface de l’eau

    Les isolants topologiques ont la propriété d’être conducteurs sur leur surface, mais isolants dans leur volume et permettent un guidage très efficace des ondes par l’ingénierie de la structure de ces matériaux, généralement agencés selon une symétrie hexagonale inspirée de celle du graphène.

    Lire la suite
  • Hommage à Raymond BESSON, « l’homme du quartz à 10-14 »

    Scientifique passionné, professeur à l’ENSMM jusqu’en 2006 et directeur du Laboratoire de Chronométrie, Electronique et Piézoélectricité entre 1978 et 2002, Raymond Besson était réputé dans la communauté internationale du temps-fréquence pour ses résonateurs à quartz et est décédé ce 15 avril.

    Lire la suite
  • Des visières de protection produites en série

    Dans le cadre de la crise sanitaire actuelle, FEMTO-ST, en lien avec ses tutelles, s'est impliqué dans la réalisation de deux modèles de visières de protection qui sont produites en série sur le site bisontin depuis le 9 avril 2020.

    Lire la suite
  • Une solution innovante pour détecter des polluants dans le sous-sol

    Des chercheurs de FEMTO-ST et de l’entreprise TOTAL SA ont réussi à détecter des polluants organiques avec des méthodes ne nécessitant aucun prélèvement d’échantillon et ont été capable de suivre l’évolution de la pollution du sous-sol sur des périodes allant jusqu’à plusieurs années.

    Lire la suite
  • FEMTO-ST fermé au public

    Suite aux mesures annoncées par le Président de la République dans le cadre de la lutte contre l'épidémie de Coronavirus (COVID-19), l'ensemble des sites de notre laboratoire à Besançon, Belfort et Montbéliard sont fermés au public à compter de ce mardi 17 mars.

    Lire la suite
  • Concours innovation I-PhD : 2 lauréats issus de FEMTO-ST

    Maya Geagea (projet ANIOPAC : micro-piles à combustible), et Gaël Matten (projet VIBISCUS : système de réduction des nuisances sonores), grand prix du jury, sont lauréats du palmarès d’innovation 2019

    Lire la suite
  • Sarah Benchabane lauréate d’une bourse ERC Consolidator grant 2019

    Chargée de recherche CNRS à l’Institut FEMTO-ST, Sarah est lauréate d’une prestigieuse bourse du Conseil européen de recherche (ERC) d’un montant de 2M€ pour son projet uNIQUE - Nanophononique pour le traitement de l’information quantique.

    Lire la suite

Pages