Search results for "description"
showing 10 items of 250 documents
Hardware implementation of a robust adaptive filter: Two approaches based in High-Level Synthesis design tools
2009
Abstract Adaptive filters are used in a wide range of applications. Impulsive noise affects the proper operation of the filter and the adaptation process. This noise is one of the most damaging types of signal distortion, not always considered when implementing algorithms. Field Programmable Gate Array (FPGA) are widely used for applications where timing requirements are strict. Nowadays, two main design processes can be followed, namely, Hardware Description Language (HDL) and a High Level Synthesis (HLS) design tool for embedded system design. This paper describes the FPGA implementation of an adaptive filter robust to impulsive noise using two approaches based in HLS and the implementati…
A description model for regeneration through urban tourism in rural towns with underused historic real estate
2016
Il presente contributo propone un modello di descrizione (description model) che trova applicazione in una situazione reale di aiuto alla decisione posto dall'urbanista per lo sviluppo turistico delle città rurali nelle zone dell'entroterra siciliano. Il problema decisionale riguarda la città di Cianciana (AG), che negli ultimi anni si è resa protagonista di un particolare fenomeno di turismo internazionale. In particolare, proponiamo un quadro valutativo multicriteriale per la riqualificazione fisica ed economica del centro storico della città attraverso lo sviluppo del turismo. Il modello presentato, relativo a un problema decisionale di tipo descrittivo, è orientato a supportare i deciso…
Exploring FPGA‐Based Lock‐In Techniques for Brain Monitoring Applications
2017
Functional near‐infrared spectroscopy (fNIRS) systems for e‐health applications usually suffer from poor signal detection, mainly due to a low end‐to‐end signal‐to‐noise ratio of the electronics chain. Lock‐in amplifiers (LIA) historically represent a powerful technique helping to improve performance in such circumstances. In this work a digital LIA system, based on a Zynq® field programmable gate array (FPGA) has been designed and implemented, in an attempt to explore if this technique might improve fNIRS system performance. More broadly, FPGA‐based solution flexibility has been investigated, with particular emphasis applied to digital filter parameters, needed in the digital LIA, and its …
Specification of modelling languages in a flexible meta-model architecture
2010
Originally, meta-models were used to specify the structure (abstract syntax) of modelling languages. This is reflected both in meta-languages like MOF and Ecore, and the four-layer meta-model architecture. Presently, meta-modelling is used for specification of complete languages. In this situation, it turns out that the traditional meta-languages are not always expressive enough to capture all language aspects. This usually implies the use of more than one metalanguage in the meta-model architecture to cover the different language aspects. There are many approaches to address this challenge. In this paper, we analyze these approaches, and based on this analysis, we re-think the meta-model a…
Classical automata on promise problems
2015
Promise problems were mainly studied in quantum automata theory. Here we focus on state complexity of classical automata for promise problems. First, it was known that there is a family of unary promise problems solvable by quantum automata by using a single qubit, but the number of states required by corresponding one-way deterministic automata cannot be bounded by a constant. For this family, we show that even two-way nondeterminism does not help to save a single state. By comparing this with the corresponding state complexity of alternating machines, we then get a tight exponential gap between two-way nondeterministic and one-way alternating automata solving unary promise problems. Secon…
FPGA-based embedded Logic Controllers
2014
In general case, reconfigurable logic controllers (RLC) are included into reactive digital embedded systems, carrying out control for several processes proceeding concurrently. The paper presents a practical application of a formal, rule-based specification language in Gentzen sequent logic, which is used as an intermediate textual description of a control interpreted Petri net. On the other hand exactly the same description serves also as logic design expressions, related with different versions of functionally equivalent concurrent state machine models, considered on Register Transfer Level. The symbolic rule-based specification of Petri net-based embedded Logic Controllers (LCs) can be s…
A platform for the development and the validation of HW IP components starting from reference software specifications
2008
Abstract Signal processing algorithms become more and more efficient as a result of the developments of new standards. It is particularly true in the field video compression. However, at each improvement in efficiency and functionality, the complexity of the algorithms is also increasing. Textual specifications, that in the past were the original form of specifications, have been substituted by reference software which became the starting point of any design flow leading to implementation. Therefore, designing an embedded application has become equivalent to port a generic software on a, possibly heterogeneous, embedded platform. Such operation is getting more and more difficult because of …
Connecting Granular and Topological Relations through Description Logics
2021
Granularity deals with organizing in greater or lesser detail data, information, and knowledge that resides at a granular level. This organization is carried out according to certain criteria, which thereby provide a context view or dimension also called granular perspective. Topological relations express spatial associations among geospatial features (points, polylines, and polygons); they represent a horizontal spatial analysis. The two domains allow scientists to conceive different perspectives of the world. In this article, we aim to combine the two representations through Description Logics (DL) rules to relate granular (vertical representation) and geospatial topological (horizontal r…
Dessine de tous tes yeux, dessine ! Apprendre l’architecture avec Georges Perec
2015
International audience
Factores predictores de la actividad física en escolares españoles de acuerdo a su estado de peso (Predictive factors of physical activity in Spanish…
2017
El objetivo del presente estudio fue comparar la motivación autodeterminada hacia el ejercicio físico, autoconcepto físico, barreras hacia la actividad física e intención de ser físicamente activo entre adolescentes con y sin sobrepeso/obesidad. Una muestra de 333 escolares, de 13 a 16 años, participaron en esta investigación. Para la medición de las distintas variables se utilizaron instrumentos validados: Índice de masa corporal, Behavioral Regulation in Exercise Questionnaire, Physical Self Description Questionnaire, Autoinforme de Barreras para la Práctica de Ejercicio Físico e Intention to Be Physically Active Questionnaire. Los resultados mostraron diferencias estadísticamente signifi…