Search results for "programming."
showing 10 items of 3035 documents
Fuzzy FMECA analysis of radioactive gas recovery system in the SPES experimental facility
2021
Abstract Selective Production of Exotic Species is an innovative plant for advanced nuclear physic studies. A radioactive beam, generated by using an UCx target-ion source system, is ionized, selected and accelerated for experimental objects. Very high vacuum conditions and appropriate safety systems to storage exhaust gases are required to avoid radiological risk for operators and people. In this paper, Failure Mode, Effects, and Criticality Analysis of a preliminary design of high activity gas recovery system is performed by using a modified Fuzzy Risk Priority Number to rank the most critical components in terms of failures and human errors. Comparisons between fuzzy approach and classic…
Distributed Computing on Distributed Memory
2018
Distributed computation is formalized in several description languages for computation, as e.g. Unified Modeling Language (UML), Specification and Description Language (SDL), and Concurrent Abstract State Machines (CASM). All these languages focus on the distribution of computation, which is somewhat the same as concurrent computation. In addition, there is also the aspect of distribution of state, which is often neglected. Distribution of state is most commonly represented by communication between active agents. This paper argues that it is desirable to abstract from the communication and to consider abstract distributed state. This includes semantic handling of conflict resolution, e.g. i…
The Sliced COO Format for Sparse Matrix-Vector Multiplication on CUDA-enabled GPUs
2012
Abstract Existing formats for Sparse Matrix-Vector Multiplication (SpMV) on the GPU are outperforming their corresponding implementations on multi-core CPUs. In this paper, we present a new format called Sliced COO (SCOO) and an effcient CUDA implementation to perform SpMV on the GPU. While previous work shows experiments on small to medium-sized sparse matrices, we perform evaluations on large sparse matrices. We compared SCOO performance to existing formats of the NVIDIA Cusp library. Our resutls on a Fermi GPU show that SCOO outperforms the COO and CSR format for all tested matrices and the HYB format for all tested unstructured matrices. Furthermore, comparison to a Sandy-Bridge CPU sho…
A Musical Pattern Discovery System Founded on a Modeling of Listening Strategies
2004
Music is a domain of expression that conveys a paramount degree of complexity. The musical surface, composed of a multitude of notes, results from the elaboration of numerous structures of different types and sizes. The composer constructs this structural complexity in a more or less explicit way. The listener, faced by such a complex phenomenon, is able to reconstruct only a limited part of it, mostly in a non-explicit way. One particular aim of music analysis is to objectify such complexity, thus offering to the listener a tool for enriching the appreciation of music (Lartillot and SaintJames, 2004). The trouble is, traditional musical analysis, although offering a valuable understanding …
Visual knowledge processing in computer-assisted radiology: A consultation system
1992
This paper presents Visual Heuristics, a consultation system for diagnosis based on thorax radiograph recording. Visual Heuristics uses both prototypical representations of physiological and pathological states and reasoning aimed to infer conclusions from pathological or physiological conditions, establishing correspondences between pathological or physiological states and semantic descriptions of images. Images are assembled with groups of descriptors that guide the recognition process, achieving the possibility of comparisons with real images on the basis of 'expected' images. The system may be employed to generate a dynamic atlas that does not contain proper images, but generates them.
Grammars++ for modelling information in text
1999
Abstract Grammars provide a convenient means to describe the set of valid instances in a text database. Flexibility in choosing a grammar can be exploited to provide information modelling capability by designing productions in the grammar to represent entities and relationships of interest to database applications. Additional constraints can be specified by attaching predicates to selected nonterminals in the grammar. When used for database definition, grammars can provide the functionality that users have come to expect of database schemas. Extended grammars can also be used to specify database manipulation, including query, update, view definition, and index specification.
MATLAB Co-Simulation Tools for Power Supply Systems Design
2011
ion level. Circuit simulation software as Powersim PSIM and Orcad Pspice are the most common choice for circuit modelling. In (Basso, 2008), the design and simulation of switchmode power supplies is deeply analyzed and simulation tips in several environments are proposed. ASIC simulation and verification tools as Xilinx ISE/Modelsim or Aldec ActiveHDL are available to implement the digital controller by the VHDL or VERILOG source code. Since the interaction between subsystems is the most common source of faults, testing separately analog and digital subsystems by the means of different verification tools is a severe mistake. Matlab is a powerful simulation environment for mixed-mode systems…
Portability in analytical chemistry: a green and democratic way for sustainability
2019
International audience; Recent advances in portability of analytical equipment have been considered to enlighten the advantages offered by portable instrumentation on greening the analytical methods. Their use drastically reduces sampling, sample stockage, and transport, thus avoiding environmental side effects and risks, also improving decision-making. The fact that portable instrumentation is, in general, less expensive than bench instruments and apparatuses makes also available the analytical tools for extended sectors of the population, thus making accessible the advantages derived from analytical methods. The role of sensor technology and portable miniaturized systems has been consider…
Assessing 4th Grade Students’ Computational Thinking through Scratch Programming Projects
2020
Computational thinking (CT) has been introduced in primary schools worldwide. However, rich classroom-based evidence and research on how to assess and support students’ CT through programming are particularly scarce. This empirical study investigates 4th grade students’ (N = 57) CT in a comparatively comprehensive and fine-grained manner by assessing their Scratch projects (N = 325) with a framework that was revised from previous studies to aim towards enhancing CT. The results demonstrate in detail the various coding patterns and code constructs the students programmed in assorted projects throughout a programming course and the extent to which they had conceptual encounters with CT. Notab…
On Multiple AER Handshaking Channels Over High-Speed Bit-Serial Bidirectional LVDS Links With Flow-Control and Clock-Correction on Commercial FPGAs f…
2017
Address event representation (AER) is a widely employed asynchronous technique for interchanging “neural spikes” between different hardware elements in neuromorphic systems. Each neuron or cell in a chip or a system is assigned an address (or ID), which is typically communicated through a high-speed digital bus, thus time-multiplexing a high number of neural connections. Conventional AER links use parallel physical wires together with a pair of handshaking signals (request and acknowledge). In this paper, we present a fully serial implementation using bidirectional SATA connectors with a pair of low-voltage differential signaling (LVDS) wires for each direction. The proposed implementation …