Search

International audience; Incorporating boride nanocrystals could significantly impact the mechanical properties of aluminum alloys. Molten salts synthesis offers opportunities to fabricate superhard boride nanoparticles, which can sustain the harsh conditions during the liquid-phase design of metallic nanocomposites. Here hafnium diboride-aluminum nanocomposites are unveiled from molten salt-derived HfB2 nanoparticles sequentially dispersed in aluminum by ultrasound treatment. The structure and size of the nanocrystals are retained in the final nanocomposites, supporting their high chemical stability. Semicoherent interfaces between the nanoparticles and the matrix are then evidenced by TEM, suggesting that the nanocrystals could promote heterogeneous nucleation of Al and then limit the Al grain size to ≈20 µm. Nanoindentation measurements reveal significant grain boundary strengthening and grain refinement effects. It is finally shown that HfB2 nanoparticles also enable a decrease in matrix grain size and an increase in the hardness of the AlSi7Cu0.5Mg0.3 alloy. These proof-of-concept materials are paving the way to light-weight Al matrix nanocomposites doped by molten-salt synthesized nanoparticles.

International audience

Can real-time interactive systems be automatically timed tested ?This work proposes an answer to this question by providing a formal model based testing framework for Interactive Music Systems IMS.During performance, IMSs must react in real-time to audio signals from musicians according to the timed requirements of a score. Such goals imply strong needs of temporal reliability and robustness to unforeseen errors in input.Be able to formally check this robustness before execution is a problem insufficiently addressed by the computer music community. We present, in this document, the concrete application of a Model-Based Testing (MBT) framework to a state-of-the-art IMS.The framework was defined on purpose of testing real-time interactive systems in general.We formally define the model in which our method is based. This model is automatically constructed from the high-level requirements and can be translated into a network of time automata. The mixed music environment implies the management of a multi-timed context and the generation of musically relevant input data through the testing framework.Therefore, this framework is both time-based, permitting durations related to different time units, andevent-driven, following the musician events given in input. Multiple options are provided by our framework, as two approaches, offline and online, to assess the system timed conformance fully automatically, from the requirement to the verdict.We performed experiments on a real-case study: the score follower Antescofo. The application of our fully automatic frameworkto real mixed scores used in concerts have permitted to identify bugs in the target IMS., Est-il possible de tester automatiquement le comportement temporisé des systèmes interactifs temps réel ?Ces travaux proposent une solution en fournissant un ensemble d'outils de test basé sur modèles pour Systèmes Musicaux Interactifs (SMI).Pendant une performance, les SMIs doivent réagir en temps réel aux signaux audio venant des musiciens tout en suivant les contraintes temporelles d'une partition. Ceci demande au système une forte fiabilité temporelle et une robustesse face aux erreurs pouvant arriver en entrée du système.Hors, la vérification formelle de propriétés est insuffisamment traitée par la communauté de l'informatique musicale.Nous présentons dans cette thèse, la réalisation d'un ensemble d'outils de test basé sur modèles appliqué à un SMI.Il est à noter que ces outils de test ont été définis formellement dans le but de tester plus généralementle comportement temporel des systèmes interactifs temps réelprenant en compte des évènements discrets et des durées définissables sur des échelles multiples.Nous définissons notre modèle, créé pour spécifier les aspects évènementiel («event-triggerred») et temporel («timed-driven») des SMIs. Ce modèle a la particularité d'être automatiquement construit depuis les contraintes temporelles définies dans un document haut-niveau et peut être traduit vers un réseau d'automates temporisés.Nos outils ont été implantés avec la possibilité de tester automatiquement, selon une approche différée ou temps réel, la conformité temporelle du SMI.Un cas d'étude a permit d'appliquer notre ensemble d'outils de test sur un SMI d'actualité Antescofo avec succès, identifiant des bogues parfois non triviaux dans ce système.

Here, we propose a new strategy for the preparation of a hybrid catalyst that allows us to combine all the features of TS-1 with a high loading of GOx. The method is based on the aerosol-assisted self-assembly of TS-1 nanocrystals to form hollow spheres with tailored texture and good epoxidation activity. The latter spheres are subsequently loaded with the enzymes which are then cross-linked to secure their entrapment. Upon optimization of the working conditions for these new hybrid structures, we show that it is possible to reach much higher epoxide productivity.

In line with green chemistry principles, Vennestrom et al. proposed the chemoenzymatic epoxidation of olefins by sequential catalysis using glucose oxidase (GOx) - for in situ production of H2O2 - and microporous titanosilicalite-1 (TS-1). The direct immobilization of GOx on the catalyst was also proposed but the epoxide production was notably limited by the low enzyme loading. Here, we propose a new strategy for the preparation of a hybrid catalyst that combines all the features of TS-1 with a high loading of GOx. The method is based on the aerosol-assisted self-assembly of TS-1 nanocrystals to form hollow spheres with tailored texture and good epoxidation activity. These spheres are subsequently loaded with the enzymes which are then cross-linked to secure their entrapment. Upon optimization of the working conditions, we show that it is possible to reach much higher epoxide productivity.

Vingt ans après la première conférence de Rio, qu'est devenue la proposition de conduire nos sociétés vers un développement durable ? Adopté par les uns, utilisé comme faire-valoir par les autres, ce concept de développement durable est souvent vidé de son sens. Or, l'impact exponentiel des activités humaines sur les ressources naturelles, la santé des populations et le milieu exige d'expliquer ce qu'il est précisément. Qu'est-ce que le développement durable aujourd'hui ? Qu'en est-il de la disponibilité des ressources et de l'usage que nous en faisons ? Dans le domaine de l'eau, du climat, des sols, de la biodiversité ? En milieu rural, sur le littoral ou encore en milieu urbain, là où la majorité de la population va vivre d'ici 2050, comment consommons-nous au fil du temps, à travers les territoires? Quelles incidences les activités humaines ont-elles sur les ressources, sur la santé des populations et sur le milieu lui-même ? Les relations entre l'humanité et l'environnement doivent-elles évoluer ? Autant de questions posées à des scientifiques qui éclaircissent la complexité des interactions entre les systèmes et proposent des solutions pour un avenir sur le long terme. De nos écosystèmes à nos modes de consommation, des risques naturels aux nouvelles technologies ou aux pollutions, des usines du futur au traitement des déchets, Le développement durable à découvert informe, explique, partage tout ce que la science actuelle est capable d'apporter au défi majeur du XXIe siècle : comment mieux comprendre la complexité des enjeux qui nous concernent tous et assurer le développement de l'humanité sans détruire son biotope. Économistes, physiciens, sociologues, agronomes, écologues... plus de 150 chercheurs se sont mobilisés pour associer leur expertise à leur regard critique et décrire, comprendre, modéliser, imaginer, illustrations et schémas à l'appui, les outils destinés à construire les sociétés équitables de demain.(résumé 4e de couv)

Les nanoparticules peuvent être qualifiées de « nouvel état de la matière », c’est-à-dire un état intermédiaire entre les espèces moléculaires en solution et le solide massif. Leurs propriétés remarquables sont à l’origine de l’émergence des nanosciences et de l’essor des nanotechnologies. Si le discours du prix Nobel Richard Feynmann le 29 décembre 1959 fait date, il faudra attendre une trentaine d’années pour qu’une nouvelle ère industrielle impulsée par une course à la miniaturisation, se ...

The cardiovascular pathology with an atherosclerosis origin represents the first cause of death in developped countries. Some areas could be touched, especially the brain, the lower limb and the heart. Even if the desease remains peaceful for a long time it still puts the sick person's life in danger. The insidious beginnings and the high prevalence with no race discrimination, sex or social environment make the pathology a true public health issue. A global care will be vital and it will involve every health professionals because cardiovascular deseases are the first worldwide cause of death. The battle against risk factors is the first kind of treatment before any medicine treatment. In that work is introduced the multidisciplinary way of treatment of the illness from the prevention to the medication. The communication and the circulation of information are vital necessities to reduce atheroma diffculties. The aim is highlighting the fact that the cardiovascular pathologies are not a fatality, that each patient is the main actor of his medication and it's on him to reduce the risk factors., La pathologie cardiovasculaire avec origine athéroscléreuse représente la première cause de mortalité dans les pays développés. Plusieurs territoires pourront être touchés, notamment le cerveau, les membres inférieurs et le cœur, le pronostic vital peut donc être engagé mais la pathologie pourra rester silencieuse pendant une longue période. Les débuts insidieux et la prévalence élevée sans distinction de race, de sexe ou de milieu social font de cette pathologie un véritable enjeu de santé publique. Une prise en charge globale sera indispensable et elle impliquera tous les types de professionnels de santé car les maladies cardiovasculaires sont la première cause de décès au niveau mondial. La lutte contre les facteurs de risque constitue la première forme de traitement avant toute prise en charge médicamenteuse. Dans ce travail est présentée la prise en charge multidisciplinaire de cette pathologie aussi bien en matière de prévention que de traitement. La communication et la circulation des informations sont vitales afin de réduire les complications de l'athérome. L'objectif est de bien mettre en évidence le fait que les pathologies cardiovasculaires ne sont pas une fatalité, que chaque patient est acteur de son traitement et qu'il n'appartient qu'à lui de réduire ses facteurs de risques.

Model-checking is a paradigm for verifying logic properties on a given system by exploring exhaustively the state-space of the system. However, and similarly to constraint satisfaction problems, there is not a single algorithm working well for all problems. The existing tools lack of modularity and compositionality. To solve these problems, we propose spacetime programming, a paradigm based on lattices and synchronous process calculi that views search strategies as processes working collaboratively towards the resolution of a CSP. Using this language, we investigate relations between model-checking and constraint programming for verifying properties on a model., La vérification de modèles consiste à établir la satisfiabilité d'une formule logique pour un système donné. Ceci implique l'exploration des états du système par des algorithmes de recherche exhaustifs pouvant être coûteux. Ces algorithmes sont souvent propres aux outils de vérification de modèles et, à l'instar de la programmation par contraintes, efficaces seulement pour une classe de problèmes. Ces outils manquent donc de modularité. Afin de résoudre ce problème, nous proposons le paradigme de programmation espace-temps, basé sur la théorie des treillis et la programmation synchrone, qui considère une stratégie de recherche comme un ensemble de processus collaborant pour explorer un espace d'état. Nous utilisons ce langage pour réunir la programmation par contraintes et la vérification de modèles et explorons son utilité pour vérifier des propriétés logiques.