Search results for "computer.programming_language"
showing 10 items of 986 documents
The tennis racket effect in a three-dimensional rigid body
2017
We propose a complete theoretical description of the tennis racket effect, which occurs in the free rotation of a three-dimensional rigid body. This effect is characterized by a flip ($\pi$- rotation) of the head of the racket when a full ($2\pi$) rotation around the unstable inertia axis is considered. We describe the asymptotics of the phenomenon and conclude about the robustness of this effect with respect to the values of the moments of inertia and the initial conditions of the dynamics. This shows the generality of this geometric property which can be found in a variety of rigid bodies. A simple analytical formula is derived to estimate the twisting effect in the general case. Differen…
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…
Effects of the air density value on a wind generator electricity production capability
2016
The paper main issue is the evaluation of the influence of the air density value on the electricity production capability of a wind generator. Two different density air mathematical models, where the density has not a constant value, are here taken into account and compared in terms of reliability, accuracy and computational burden. Evaluations are carried out thanks to a horizontal axis wind generator full model built by the Authors in Matlab/Simulink environment. Simulation results are compared with real data.
Decision-cache based XACML authorisation and anonymisation for XML documents
2012
Author's version of an article in the journal: Computer Standards and Interfaces. Also available from the publisher at: http://dx.doi.org/10.1016/j.csi.2011.10.007 This paper describes a decision cache for the eXtensible Access Control Markup Language (XACML) that supports fine-grained authorisation and anonymisation of XML based messages and documents down to XML attribute and element level. The decision cache is implemented as an XACML obligation service, where a specification of the XML elements to be authorised and anonymised is sent to the Policy Enforcement Point (PEP) during initial authorisation. Further authorisation of individual XML elements according to the authorisation specifi…
Model transformation language MOLA
2005
The paper describes a new graphical model transformation language MOLA. The basic idea of MOLA is to merge traditional structured programming as a control structure with pattern-based transformation rules. The key language element is a graphical loop concept. The main goal of MOLA is to describe model transformations in a natural and easy readable way.
Towards a method to generate GUI prototypes from BPMN
2018
Business Process Model and Notation (BPMN) provides organizations with a standard that facilitates further compression of the business process. BPMN focuses on the functional processes, leaving the development of interfaces to one side. Thereby, interface design usually depends on the subjective experience of the analyst. This article aims to propose a new method to generate user interfaces from BPMN models and Class Diagrams. The proposed method is based on the identification of different rules and makes use of stereotypes to extend BPMN notation. The rules have been extracted from seven existing projects on the Bizagi repository. Specifically, the proposal is based on the extraction of ru…
Domain knowledge integration and semantical quality management -A biology case study
2008
International audience; The management of semantical quality is a major challenge in the context of knowledge integration. In this paper, we describe a new approach to constraint management that emphasizes constraint traceability when moving from the semantical level to the operational one.Our strategy for management of semantical quality is related to a metamo-deling-based approach to knowledge integration. We carry out knowledge integration “on the fly” by using transformations applied to models belonging to our metamodeling architecture. The resulting integrated models access available resources through web services whose input and output parameters are guarded by constraints. Integrated…
PEM FC Single Cell Based on a 3-D Printed Plastic Housing and Experimental Validation with the Mathematical Model
2018
Abstract This paper presents the design, modelling, and testing of a PEM single fuel cell based on the use of 3D printing. The design of the housings was made of SolidWorks, while MATLAB/SIMULINK were used to model performance. The fabricated cell performed satisfactorily with no leaks of gas, showing that the 3D printing method can be used in the additive manufacturing of fuel cells thus leading to significant cost savings.
Facilitating IP deployment in a MARTE-based MDE methodology using IP-XACT: a XILINX EDK case study
2012
International audience; In this paper we present framework for the deployment of hardware IPs at high-levels of abstraction. It is based in a model- driven approach that aims at the automatic generation of Dynamic Partial Reconfiguration designs created in Xilinx Platform Studio (XPS). Contrary to previous approaches, we make use of the IP-XACT standard to facilitate the deployment of hardware IPs, their parameterization and subsequent integration. We propose an extension to the MARTE profile for IP deployment, and we introduce the necessary model transformations to obtain a high- level representation from an IP-XACT component library. These models are then used to create a platform in MART…