Search results for " Simulation"

showing 10 items of 4034 documents

Data interoperability for a Multi-scale model (BIM/CIM/LIM)

2019

Compliance checking for building models, cities and territories involve formalizing a set of model schema knowledge and constraint. The objective of our study is to propose: an information model to federate heterogeneous data sources describing an urban area (building and building environment) along with a method for formally specifying of urban rules. The overall goal we pursue is to be able to query and to verify data against different regulations and/or requirements. The purpose of this article is to describe our approach for interoperability among different data sources (e.g. IFC, CityGML) thus creating a consistent description of an urban area.

[INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO]Semantic interoperability[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]CityGMLGISSIG[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]federation[INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL]BIMIFCCIMFederation BIM[INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation
researchProduct

Linked data vocabularies for BIM

2019

Given the high interest in the field of BIM (Building Information Modeling) for Linked Data approaches over the last years, the article at hand presents an evaluation of the main Linked Data vocabularies available for the considered domain. First, Semantic Web layer architecture is presented, along with the 4 main principles of Linked Data. Second, each vocabulary is evaluated according to these 4 principles, while 2 additional ones are added in order to assess the licence associated with the vocabulary (open or not, specified or missing). An overall comparison among the considered vocabularies is also provided, thus helping in choosing which vocabulary to use in future Linked Data applicat…

[INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS][INFO.INFO-GL]Computer Science [cs]/General Literature [cs.GL][INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS]vocabulaires[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]données liéesvocabularies Mots clefs BIM[INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL]Linked DataBIMvocabulariesWeb sémantique[INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation[INFO.INFO-GL] Computer Science [cs]/General Literature [cs.GL]Semantic Web
researchProduct

Accompagnement à l'autonomie des travailleurs handicapés : un ajustement à réaliser entre politiques publiques et pratiques des ESAT ?

2021

Thème du congrès : "Les organisations de santé : définitions et transformations"; National audience

[INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
researchProduct

A Cyber-Physical System for Semi-autonomous Oil & Gas Drilling Operations

2019

International audience; In Oil&Gas drilling operations and after reaching deep drilled depths, high temperature increases significantly enough to damage the down-hole drilling tools, and the existing mitigation process is insufficient. In this paper, we propose a Cyber-Physical System (CPS) where agents are used to represent the collaborating entities in Oil\&Gas fields both up-hole and down-hole. With the proposed CPS, down-hole tools respond to high temperature autonomously with a decentralized collective voting based on the tools' internal decision model while waiting for the cooling performed up-hole by the field engineer. This decision model, driven by the tools' specifications, aims t…

[INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
researchProduct

Modélisation sémantique et logique pour une simulation multi-agent dans le contexte de gestion de catastrophe

2019

International audience

[INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationComputingMilieux_MISCELLANEOUS
researchProduct

Simulation of a realistic residential development with the integration of two existing models

2017

International audience

[INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationComputingMilieux_MISCELLANEOUS
researchProduct

An Agent based model for the transmission and control of the COVID-19 in Dijon

2020

International audience

[INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationComputingMilieux_MISCELLANEOUS
researchProduct

OntoVersionGraph : a change management methodology dedicated to formal ontologies and their user views in a collaborative context

2014

The world changes over time, impacting the knowledge of every subdomain it contains. Therefore systems describing the knowledge of a certain domain should be able to consider changes occurred to keep its knowledge representation up-to-date. Formal ontologies are one of them: they explicitly and formally represent the knowledge of a domain in all its forms and modes of existence. Collaboratively developed, a formal ontology allows the domain users to understand each other by sharing the same terminology despite the different assumptions they have on the domain conceptualization. However, due to its completeness, the complexity of its conceptualization can sometimes make the domain knowledge …

[INFO.INFO-WB] Computer Science [cs]/WebOntology VersioningFormal OntologyGestion du changement dans les ontologiesDescription LogicOntologie formelleOntology EvolutionLogique de descriptionKnowledge ManagementOntoVersionGraphEvolution d'ontologieOntology Change ManagementGestion du changementVersioning d'ontologieWeb sémantique[INFO.INFO-MO] Computer Science [cs]/Modeling and SimulationSemantic WebOWL[INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
researchProduct

Modeling Cooperation of Information Systems

2001

International audience

[INFO]Computer Science [cs][INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation[INFO] Computer Science [cs][INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationComputingMilieux_MISCELLANEOUS
researchProduct

Statistics of transitions for Markov chains with periodic forcing

2013

The influence of a time-periodic forcing on stochastic processes can essentially be emphasized in the large time behaviour of their paths. The statistics of transition in a simple Markov chain model permits to quantify this influence. In particular the first Floquet multiplier of the associated generating function can be explicitly computed and related to the equilibrium probability measure of an associated process in higher dimension. An application to the stochastic resonance is presented.

[MATH.MATH-PR] Mathematics [math]/Probability [math.PR]Markov chain mixing timeMarkov kernelMarkov chainProbability (math.PR)Markov chainlarge time asymptoticStochastic matrixcentral limit theoremMarkov process[MATH.MATH-PR]Mathematics [math]/Probability [math.PR]symbols.namesakeMarkov renewal processModeling and SimulationFloquet multipliersStatisticsFOS: MathematicssymbolsMarkov propertyExamples of Markov chainsstochastic resonance60J27 60F05 34C25[ MATH.MATH-PR ] Mathematics [math]/Probability [math.PR]Mathematics - ProbabilityMathematics
researchProduct