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.

  • Workshop "Amortissement virtuel" - Projet ARIAN

    Le département Méc'Appli est pilote du projet ANR ARIAN (AmoRtissement vIrtuel pour la conception
    vibroacoustique des lANceurs futurs). A ce titre il organise un workshop sur l'amortissement dans les assemblages qui se tiendra à l'Ecole Centrale de Lyon le 8 octobre 2015.

    Lire la suite
  • La Nuit européenne des chercheurs

    Avez-vous déjà participé à une expérience en tant que cobaye ? Avez-vous déjà visité le parc de l’Observatoire la nuit ? Avez-vous déjà discuté avec des inconnus dans le noir ? Venez faire de nouvelles expériences pendant la Nuit des chercheurs !

    Lire la suite
  • Parution du livre Photonic Crystals : Fundamentals and applications

    Abdelkrim Khelif, Chargé de recherche CNRS à l'institut FEMTO-ST/départment MN2S, a fait paraître un livre chez l'éditeur SPRINGER intitulé:
    Phononic Crystals: Fundamentals and Applications

    Lire la suite
  • Vers une généralisation de l’utilisation des horloges atomiques miniatures

    Rendre moins chères et plus compactes, les micro horloges atomiques afin d’envisager leur intégration dans de nombreux systèmes nécessitant une meilleure stabilité de temps, tels sont les travaux menés par les chercheurs de FEMTO-ST qui leur valent aujourd’hui un article dans la prestigieuse revue scientifique « Scientific reports »

    Lire la suite
  • L'Expérience holographique

    Une exposition exceptionnelle d'hologrammes dans le cadre de LUX!

    Lire la suite
  • A vos objectifs...

    LUX ! vous propose jusqu'au 10 septembre de participer à un concours photo à contre-jour...

    Lire la suite
  • LUX ! À L’HEURE D’ÉTÉ

    LUX ! C’est tout l’été en Franche-Comté avec :
    Des ateliers, des rencontres, des expositions et des animations grand public, mais aussi des intervenants spécialisés chercheurs, artistes, médiateurs...

    Lire la suite
  • AFULUB lauréat i-LAB 2015

    AFULub est lauréat régional de la catégorie "en émergence" de la 17ème édition du Concours national d’aide à la création d’entreprises de technologies innovantes

    Lire la suite
  • EFTS - Séminaire européen temps-fréquence

    Du 29 juin au 3 juillet se déroule l'école thématique EFTS organisée par le département Temps-Fréquence...

    Lire la suite
  • Mieux connaître l’impact des particules de suie sur le climat

    En appliquant un modèle basé sur une nouvelle approche théorique dite PDI (Point Dipole Interaction) à des particules de suie simulées sur ordinateur, une équipe de chercheurs bisontins vient de montrer que les caractéristiques atomiques de ces particules, émises par les processus de combustion, peuvent avoir une grande influence sur leurs propriétés d’absorption du rayonnement solaire.

    Lire la suite

Pages