Search results for "soft"
showing 10 items of 9809 documents
COBieOWL, an OWL ontology based on COBie standard
2015
International audience; Building Information Modelling (BIM) standards have been recognized by construction and political actors as a highly promising tool for resolving issues of data dematerialization, notably in the field of Architecture, Engineering, Construction and Facility Management. Among worldwide-adopted BIM standards, there is COBie. COBie’s goals are to dematerialize building data and to enhance building information interoperability. Nevertheless, COBie data is available in static formats such as STEP or spreadsheet templates. Such formats lack logical formalisms and semantic features provided by languages such as OWL. Because of this, in this paper, we propose a method for sem…
Temporal Logic To Query Semantic Graphs Using The Model Checking Method
2012
International audience; Semantic interoperability problems have found their solutions due to the use of languages and techniques from the Semantic Web. The proliferations of ontologies and meta-information have improved the understanding of information and the relevance of search engine responses. However, the construction of semantic graphs is a source of numerous errors of interpretation or modeling, and scalability remains a major problem. The processing of large semantic graphs is a limit to the use of semantics in current information systems. The work presented in this paper is part of a new research at the border of two areas: the semantic web and the model checking. This line of rese…
Qualification de graphes sémantiques à l'aide du Model Checking
2011
National audience; Qualification de graphes sémantiques à l'aide du Model Checking
Qualification et interrogation de graphes sémantiques à l'aide du Model Checking
2011
National audience; Qualification et interrogation de graphes sémantiques à l'aide du Model Checking
Des outils pour la vérification des Graphes Sémantiques
2010
National audience; Le langage le plus utilisée pour représenter les graphes sémantiques est RDF (standard du W3C). Les graphes RDF sont généralement stockés dans une base de données relationnelle et manipulés en utilisant le langage SQL ou les langages dérivées comme SPARQL. Malheureusement, cette solution, bien adapté pour les petits graphes RDF n'est pas bien adaptée pour les grands graphes RDF. Pour ces grands graphes RDF, nous proposons une nouvelle approche en utilisant la vérification formelle. Pendant nos recherches, on a développé deux outils RDF2SPIN et RDF2NuSMV qui permettent de convertir les graphes RDF vers un modèle et les vérifier avec l'outil SPIN et l'outil NuSMV respective…
La logique temporelle pour interroger et qualifier des graphes sémantiques
2011
National audience; La logique temporelle pour interroger et qualifier des graphes sémantiques
L'interrogation des graphes sémantiques à l'aide de la logique temporelle
2010
Métrologie : calibrants de pression pour la gamme 0 - 2 GPA
2005
International audience; La gamme des pressions moyennes 0-2 GPa est aujourd’hui couramment utilisée dans différents secteurs de recherche tels que biochimie et chimie, agroalimentaire, physique des matériaux et Sciences de l’Univers. Dans cette gamme de pression, les cellules optiques se sont fortement développées lors de la dernière décennie. Au cours des expériences en pression et en température contrôlées, une bonne maîtrise de la métrologie est un atout indispensable à l’obtention d’une mesure précise de la pression in situ, et donc d’une bonne reproductibilité des expériences. A ce jour, la mesure précise et conjuguée de ces deux paramètres reste une prouesse technique. Aucun des systè…
Swarming of micron-sized hematite cubes in a rotating magnetic field -- Experiments
2020
Energy input by under-field rotation of particles drives the systems to emergent non-equilibrium states. Here we investigate the suspension of rotating magnetic cubes. Micron-sized hematite cubes are synthesized and observed microscopically. When exposed to a rotating magnetic field, they form rotating swarms that interact with each other like liquid droplets. We describe the swarming behaviour and its limits and characterize swarm size and angular velocity dependence on magnetic field strength and frequency. A quantitative agreement with a theoretical model is found for the angular velocity of swarms as a function of field frequency. It is interesting to note that hematite particles with p…
Defect-controlled hypersound propagation in hybrid superlattices
2013
We employ spontaneous Brillouin light scattering spectroscopy and detailed theoretical calculations to reveal and identify elastic excitations inside the band gap of hypersonic hybrid superlattices. Surface and cavity modes, their strength and anticrossing are unambiguously documented and fully controlled by layer thickness, elasticity, and sequence design. This new soft matter based superlattice platform allows facile engineering of the density of states and opens new pathways to tunable phoxonic crystals.