Search results for " Software Engineering"
showing 10 items of 582 documents
Sound and reusable components for abstract interpretation
2019
Abstract interpretation is a methodology for defining sound static analysis. Yet, building sound static analyses for modern programming languages is difficult, because these static analyses need to combine sophisticated abstractions for values, environments, stores, etc. However, static analyses often tightly couple these abstractions in the implementation, which not only complicates the implementation, but also makes it hard to decide which parts of the analyses can be proven sound independently from each other. Furthermore, this coupling makes it hard to combine soundness lemmas for parts of the analysis to a soundness proof of the complete analysis. To solve this problem, we propose to c…
Visualization of Parameter Sensitivity of 2D Time-Dependent Flow
2018
In this paper, we present an approach to analyze 1D parameter spaces of time-dependent flow simulation ensembles. By extending the concept of the finite-time Lyapunov exponent to the ensemble domain, i.e., to the parameter that gives rise to the ensemble, we obtain a tool for quantitative analysis of parameter sensitivity both in space and time. We exemplify our approach using 2D synthetic examples and computational fluid dynamics ensembles.
A Space-Vector State Dynamic Model of the Synchronous Reluctance Motor Including Self and Cross-Saturation Effects and its Parameters Estimation
2018
This paper proposes a space-vector dynamic model of the Synchronous Reluctance Motor (SynRM) including both self-saturation and cross-saturation effects and selecting as state variables the stator currents. The proposed dynamic model is based on an original function between the stator flux and stator current components, and relies on 8 coefficients (fewer than other models in the scientific literature), presenting an interesting physical interpretation. Starting from this approach, both the static and dynamic inductances expressions of the model have been analytically developed, so that the reciprocity conditions for the cross saturation is satisfied. This paper presents also a technique fo…
Incompleteness in Conceptual Data Modelling
2013
Although conceptual data modelers can ”get creative” when designing entities and relationships to meet business requirements, they are highly constrained by the business rules which determine the details of how the entities and relationships combine. Typically, there is a delay in realising which business rules might be relevant and a further delay in obtaining an authoritative statement of these rules. We identify circumstances under which viable database designs can be constructed from conceptual data models which are incomplete in the sense that they lack this “infrastructural” detail normally obtained from the business rules. As such detail becomes available, our approach allows the con…
A Proposal to Model Ancient Silk Weaving Techniques and Extracting Information from Digital Imagery - Ongoing Results of the SILKNOW Project
2019
Three dimensional (3D) virtual representations of the internal structure of textiles are of interest for a variety of purposes related to fashion, industry, education or other areas. The modeling of ancient weaving techniques is relevant to understand and preserve our heritage, both tangible and intangible. However, ancient techniques cannot be reproduced with standard approaches, which usually are aligned with the characteristics of modern, mechanical looms. The aim of this paper is to propose a mathematical modelling of ancient weaving techniques by means of matrices in order to be easily mapped to a virtual 3D representation. The work focuses on ancient silk textiles, ranging from the 15…
Two View Line-Based Motion and Structure Estimation for Planar Scenes
2012
We present an algorithm for reconstruction of piece-wise planar scenes from only two views and based on minimum line correspondences. We first recover camera rotation by matching vanishing points based on the methods already exist in the literature and then recover the camera translation by searching among a family of hypothesized planes passing through one line. Unlike algorithms based on line segments, the presented algorithm does not require an overlap between two line segments or more that one line correspon- dence across more than two views to recover the translation and achieves the goal by exploiting photometric constraints of the surface around the line. Experimental results on real…
From A Medial Surface To A Mesh
2012
Medial surfaces are well-known and interesting surface skeletons. As such, they can describe the topology and the geometry of a 3D closed object. The link between an object and its medial surface is also intuitively understood by people. We want to exploit such skeletons to use them in applications like shape creation and shape deformation. For this purpose, we need to define medial surfaces as Shape Representation Models (SRMs). One of the very first task of a SRM is to offer a visualization of the shape it describes. However, achieving this with a medial surface remains a challenging problem. In this paper, we propose a method to build a mesh that approximates an object only described by …
Curvilinear constraints for free form deformations on subdivision surfaces
2010
This paper presents a method to deform a subdivision surface with curvilinear constraints. It combines an intuitive free form deformation with a Loop subdivision algorithm. The main advantage of this method of deformation is that it uses only vertices of an object and satisfies the geometrical constraints provided by the user. It permits us to control the final shape of the deformed object, defining the range (i.e. the impact) of the deformation before applying it. The deformation takes into account the Loop properties to follow the subdivision scheme, allowing the user to fix some curvilinear constraints at the subdivision level he works on and to render the final object at the level he wa…
MULTIRESOLUTION ANALYSIS FOR IRREGULAR MESHES WITH APPEARANCE ATTRIBUTES
2004
We present a new multiresolution analysis framework based on the lifting scheme for irregular meshes with attributes. We introduce a surface prediction opera- tor to compute the detail coefficients for the geometry and the attributes of the model. Attribute analysis gives appearance information to complete the geomet- rical analysis of the model.We present an application to adaptive visualization and some experimental results to show the efficiency of our framework.
Multiresolution Analysis for Meshes with Appearance Attributes
2005
International audience; We present a new multiresolution analysis framework for irregular meshes with attributes based on the lifting scheme. We introduce a surface prediction operator to compute the detail coefficients for the geometry and the attributes of the model. Attribute analysis gives appearance information to complete the geometrical analysis of the model. A set of experimental results are given to show the efficiency of our framework. We present two applications to adaptive visual-ization and denoising.