Search results for "Software engineering"
showing 10 items of 1151 documents
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
Systèmes imageurs 3D pour des applications agricoles : caractérisation de cultures et phénotypage de racines
2016
The development of the concepts of precision agriculture and viticulture since the last three decades has shown the need to use first 2D image acquisition techniques and dedicated image processing. More and more needs concern now 3D images and information. The main ideas of this chapter is thus to present some innovations of the 3D tools and methods in the agronomic domain. This chapter will particularly focus on two main subjects such as the 3D characterization of crop using Shape from Focus or Structure from Motion techniques and the 3D use for root phenotyping using rhizotron system. Results presented show that 3D information allows to better characterize crucial crop morphometric parame…
Close-Range Photogrammetric Tools for Epigraphic Surveys
2016
In this article, we present a method to carry out a computerized epigraphic survey of historic stones and their engraved epigraphy. In fact, the preservation of archaeological objects has always been an issue of concern for the research community. On the one hand, the fragility of the objects limits their study. On the other hand, such objects are housed in museums, libraries, and institutions worldwide, locations that significantly limit their accessibility. Different survey methods have been carried out in these attempts to overcome the aforementioned limitations. Among them, the MicMac open source software was used in this work to survey and process the dense correlation of the hieroglyp…
Target 5G visible light positioning signal subcarrier extraction method using particle swarm optimization algorithm
2021
International audience; With the explosive growth of demand for Internet of Things (IoT) applications and the increasing dependence of users on wireless connections, indoor location based service(LBS) under 5G-Public-Private Partnership (5G-PPP) using cases have received more attention and get rapid development. Thanks to the safty, security and customization of 5G network pointed by 5G forum white paper, indoor positioning systems using unified 5G New Radio (NR) signals have become the focus of the next generation of visible light positioning (VLP) systems. In 5G New Radio(NR) frame, totally 192 subcarriers are used to carry positioning reference signal(PRS). In order to improve the positi…
Analogical and Digital Workflow in the Design and Preparation of the Emergence Profile of Biologically Oriented Preparation Technique (BOPT) Crowns o…
2019
: The Biologically Oriented Preparation Technique (BOPT), developed by Ignacio Loi and published in 2008, is a consolidated concept in the modeling and preservation of pericoronal soft tissues. The present study describes the analogical and digital methods allowing adequate design and preparation of the emergence profile of BOPT crowns in the working model, with a view to comparing the workflow and advantages of each method. At present, not all the digital procedures have been fully optimized to completely replace the traditional analogical methods. Nevertheless, it is only a matter of time until dental digitalization technology totally replaces the analogical clinical methods. The digital …
Unification of Graphs and Relations in Mizar
2020
Summary A (di)graph without parallel edges can simply be represented by a binary relation of the vertices and on the other hand, any binary relation can be expressed as such a graph. In this article, this correspondence is formalized in the Mizar system [2], based on the formalization of graphs in [6] and relations in [11], [12]. Notably, a new definition of createGraph will be given, taking only a non empty set V and a binary relation E ⊆ V × V to create a (di)graph without parallel edges, which will provide to be very useful in future articles.
Joining primal/dual subdivision surfaces
2012
International audience; In this article we study the problem of constructing an intermediate surface between two other surfaces defined by different iterative construction processes. This problem is formalised with Boundary Controlled Iterated Function System model. The formalism allows us to distinguish between subdivision of the topology and subdivision of the mesh. Although our method can be applied to surfaces with quadrangular topology subdivision, it can be used with any mesh subdivision (primal scheme, dual scheme or other.) Conditions that guarantee continuity of the intermediate surface determine the structure of subdivision matrices. Depending on the nature of the initial surfaces…