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 lauréat du prix "Sustainable Future Visionary Award"
Professeur à l’UTBM et chercheur à FEMTO-ST, Fei Gao est aujourd’hui un des spécialistes mondiaux de la pile à combustible et des jumeaux numériques.
Lire la suite
Micron d’or sur le salon MICRONORA 2022
FEMTO-ST est récompensé d’un micron d’or pour sa structure nanorobotique tridimensionnelle actionnée de manière précise et continue en fonction de la puissance de la lumière pour la préhension de nano objets.
Lire la suite
FEMTO-ST sur le salon MICRONORA 2022
Du 27 au 30 septembre, plus de 600 exposants directs et 15000 visiteurs professionnels sont attendus à Besançon sur le salon international des microtechniques. FEMTO-ST et FEMTO Engineering seront présents.
Lire la suite
Le robot de prise et de dépose le plus rapide du monde
Une équipe de chercheurs a développé un robot miniature capable de manipuler des objets micrométriques à des vitesses jamais atteintes. Ces travaux font l’objet d’ une publication dans la prestigieuse revue américaine «Science Robotics»
Lire la suite
Aude Bolopion reçoit le très sélectif « Big-in-Small Award 2022 »
Ce prix annuel,remis lors de la conférence MARSS à Toronto, récompense « le meilleur microroboticien » de l'année au niveau international.
Lire la suite
Engins spatiaux : un lubrifiant solide adapté à l'air comme au vide
les engins spatiaux sont soumis à des contraintes extrêmes. Des chercheurs ont développé un prototype de lubrifiant solide qui ne souffre pas de l’oxydation à l’air libre et qui fonctionne mieux que les solutions actuelles dans le vide. Ces travaux ont abouti à un dépôt de brevet.
Lire la suite
FEMTO-ST : 2 enseignants-chercheurs nommés à l'IUF dans sa promotion 2022
Ausrine MARGUERON-BARTASYTE et Daniel HISSEL font partie des 164 nommés à l'Institut Universitaire de France (IUF) par la ministre de l’Enseignement Supérieur et de la Recherche.
Lire la suite
Comment créer une liaison chimique avec de la lumière ?
La formation d'une liaison chimique entre deux molécules nécessite souvent un processus d'activation. La lumière est un stimulus qui est particulièrement intéressant. En effet, il évite certains problèmes liés aux autres processus d'activation (chauffage, ajout d'électrons etc.).
Lire la suite
Hommage à notre collègue Philippe LUTZ
La communauté universitaire de Bourgogne Franche-Comté vient de perdre soudainement Philippe LUTZ, un collègue et ami de grande valeur, professeur à l’Université de Franche-Comté et chercheur de renom en microrobotique au laboratoire FEMTO-ST.
Lire la suite
Best student paper Award pour Clément Carlé à la conférence IFCS-EFTF2022
Ce prix a été obtenu dans la catégorie « Microwave Frequency Standards »de cette conférence internationale majeure du domaine de la métrologie temps-fréquence qui s’est déroulée à Paris, du 24 au 28 avril 2022.
Lire la suite