Search

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.

In the past decade, the surprising magnetic behavior of gold nanoparticles has been reported. This unexpected property is mainly attributed both to size and surface effects. Mesoporous thin films are ideal matrices for metallic nanoparticles inclusion, because of their highly accessible and tailorable pore systems that lead to completely tunable chemical environments. Exploiting these features, we synthesized Au nanoparticles within mesoporous titania thin films (film thickness of ∼150 nm and pore diameter of ∼5 nm), and we studied their magnetic properties under confinement. Here, we present the results of the magnetization as a function of temperature and magnetic field for this system, which are consistent with the previously reported for free (unconfined) thiol-capped gold nanoparticles. The successful inclusion of stable magnetic Au nanoparticles within transparent mesoporous thin films opens the gates for the application of these nanocomposites in two-dimensional (2D) microdevices technology and magneto-optical devices. Fil: Granja, Leticia Paula. Comisión Nacional de Energía Atómica. Gerencia del Área de Investigaciones y Aplicaciones no Nucleares. Gerencia de Física (Centro Atómico Constituyentes); Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina Fil: Martínez, Eduardo David. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Comisión Nacional de Energía Atómica. Gerencia del Área de Seguridad Nuclear y Ambiente. Gerencia de Química (CAC); Argentina Fil: Troiani, Horacio Esteban. Comision Nacional de Energía Atómica. Gerencia de Área Investigaciones y Aplicaciones no Nucleares. Gerencia de Física (Centro Atómico Bariloche). División Física de Metales; Argentina. Comisión Nacional de Energía Atómica. Gerencia del Área de Energía Nuclear. Instituto Balseiro; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina Fil: Sanchez, Clément. Centre National de la Recherche Scientifique; Francia Fil: Soler Illia, Galo Juan de Avila Arturo. Universidad Nacional de San Martin. Instituto de Nanosistemas; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina

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)