Search results for "Data type"
showing 10 items of 1183 documents
Approximation of Continuous Media Models for Granular Systems Using Cellular Automata
2004
In this paper a new cellular automata model suitable for granular systems simulation is presented. The proposed model is shown to be equivalent to a particularization of the well known BCRE model of granular systems and a correspondence between the parameters of the presented model and the BCRE model is also set, allowing to fit these parameters for a given system. The model has the advantage over other cellular automata models of being more realistic in the behavior of the surface of heaps and slopes. The dynamics of the CA is analyzed in order to confirm that it also has one of the most important features of these systems, 1/f noise.
A Hidden Markov Model for Automatic Generation of ER Diagrams from OWL Ontology
2014
Connecting ontological representations and data models is a crucial need in enterprise knowledge management, above all in the case of federated enterprises where corporate ontologies are used to share information coming from different databases. OWL to ERD transformations are a challenging research field in this scenario, due to the loss of expressiveness arising when OWL axioms have to be represented using ERD notation. In this paper we propose an innovative technique for estimating the most likely composition of ERD constructs that correspond to a given sequence of OWL axioms. We model such a process using a Hidden Markov Model (HMM) where the OWL inputs are the observable states, while E…
Formalized classification of ephemeral wetland vegetation (Isoëto-Nanojuncetea class) in Poland (Central Europe)
2021
Formalized classification of the class Isoëto-Nanojuncetea has not been performed in Poland. We used 69,562 relevés stored in Polish Vegetation Database. Based on the literature and expert knowledge we selected 63 diagnostic species for the Isoëto-Nanojuncetea class. Unequivocal classification was applied in this work according to Cocktail method. A set of formal definitions was established using a combination of logical operators of total cover of species in case of high-rank syntaxa while sociological species groups and cover of particular species were used for logical formulas describing class, alliances and associations. An Expert System was prepared and applied to classify the whole da…
On the power of inductive inference from good examples
1993
Abstract The usual information in inductive inference available for the purposes of identifying an unknown recursive function f is the set of all input/output examples (x,f(x)),n eN. In contrast to this approach we show that it is considerably more powerful to work with finite sets of “good” examples even when these good examples are required to be effectively computable. The influence of the underlying numberings, with respect to which the identification has to be realized, to the capabilities of inference from good examples is also investigated. It turns out that nonstandard numberings can be much more powerful than Godel numberings.
Latest developments in rock art recording: towards an integral documentation of Levantine rock art sites combining 2D and 3D recording techniques
2013
This paper presents a further step in the integral documentation of prehistoric rock art, combining 2D and 3D digital recording techniques. Image processing and digital enhancement techniques are an invaluable aid to obtain high quality and accurate 2D recordings, especially when working with faint motifs or complex superimpositions. But what constitutes a real breakthrough is the possibility of combining 2D digital tracings with metric 3D models, providing a whole set of metric outputs that improve our understanding of the motifs in their context and, at the same time, can be used to deliver accurate metric reproductions. The Levantine rock art at Cingle de la Mola Remigia (Ares del Maestr…
Experimental Implementation of an Enhanced Field Oriented Control Strategy for Induction Motors Using a Low-Cost ATSAM3X8E Microcontroller
2020
This paper presents a low-cost Micro Controller Unit (MCU) implementation of an enhanced Field Oriented Control (FOC) technique that takes into account the non-linearity of the ferromagnetic material. The algorithm is applied to a three-phase 5.5 kW Induction Motor (IM) and experimentally carried out by means of an ATMEL ATSAM3X8E microcontroller. The effectiveness of the enhanced control strategy is verified by comparing the dynamic performances of the electric drive with those obtained by means of a traditional FOC technique. For this purpose, an experimental test bench is set up for the implementation of the enhanced FOC technique. Finally, the technical and economic features of the simp…
Graph Clustering with Local Density-Cut
2018
In this paper, we introduce a new graph clustering algorithm, called Dcut. The basic idea is to envision the graph clustering as a local density-cut problem. To identify meaningful communities in a graph, a density-connected tree is first constructed in a local fashion. Building upon the local intuitive density-connected tree, Dcut allows partitioning a graph into multiple densely tight-knit clusters effectively and efficiently. We have demonstrated that our method has several attractive benefits: (a) Dcut provides an intuitive criterion to evaluate the goodness of a graph clustering in a more precise way; (b) Building upon the density-connected tree, Dcut allows identifying high-quality cl…
Learning to Rank Images for Complex Queries in Concept-based Search
2018
Concept-based image search is an emerging search paradigm that utilizes a set of concepts as intermediate semantic descriptors of images to bridge the semantic gap. Typically, a user query is rather complex and cannot be well described using a single concept. However, it is less effective to tackle such complex queries by simply aggregating the individual search results for the constituent concepts. In this paper, we propose to introduce the learning to rank techniques to concept-based image search for complex queries. With freely available social tagged images, we first build concept detectors by jointly leveraging the heterogeneous visual features. Then, to formulate the image relevance, …
Movie Script Similarity Using Multilayer Network Portrait Divergence
2020
International audience; This paper addresses the question of movie similarity through multilayer graph similarity measures. Recent work has shown how to construct multilayer networks using movie scripts, and how they capture different aspects of the stories. Based on this modeling, we propose to rely on the multilayer structure and compute different similarities, so we may compare movies, not from their visual content, summary, or actors, but actually from their own storyboard. We propose to do so using “portrait divergence”, which has been recently introduced to compute graph distances from summarizing graph characteristics. We illustrate our approach on the series of six Star Wars movies.
Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement
2017
Abstract We present a counterexample-guided abstraction refinement ( CEGAR) approach for the verification of safety properties of linear hybrid automata with large discrete state spaces, such as naturally arising when incorporating health state monitoring and degradation levels into the controller design. Such models can – in contrast to purely functional controller models – not be analyzed with hybrid verification engines relying on explicit representations of modes, but require fully symbolic representations for both the continuous and discrete part of the state space. The presented abstraction methods directly work on a symbolic representation of arbitrary non-convex combinations of line…