Search results for "ATC"
showing 10 items of 1982 documents
Fault Injection into VHDL Models: Experimental Validation of a Fault-Tolerant Microcomputer System
1999
This work presents a campaign of fault injection to validate the dependability of a fault tolerant microcomputer system. The system is duplex with cold stand-by sparing, parity detection and a watchdog timer. The faults have been injected on a chip-level VHDL model, using an injection tool designed with this purpose. We have carried out a set of injection experiments (with 3000 injections each), injecting transient and permanent faults of types stuck-at, open-line and indetermination on both the signals and variables of the system, running a workload. We have analysed the pathology of the propagated errors, measured their latency, and calculated both detection and recovery coverage. We have…
Comparative assessment of spatial perception in augmented reality depending on the consistency of depth cues
2021
Discrepancies between depth cues (accommodation and vergence) is one of the major issues caused in a stereoscopic augmented reality at close viewing distances. It adversely affects not only user comfort but also spatial judgements. Images with consonant cues at different distances have become available due to the implementation of multifocal architecture in the head-mounted displays, although its effect on spatial perception has remained unknown. In this psychophysical study, we investigated the effects of consonant and conflicting depth cues on perceptual distance matching in the stereoscopic environment of augmented reality using a head-mounted display that was driven in two modes: multif…
Extracting cloud motion from satellite image sequences
2004
This paper present a new technique for the estimation of cloud motion, using a sequence of infrared satellite images. It can be considered a challenging task due to the complexity of phenomena implied, as non-linear events and a non-rigid motion. In this circumstances most motion models are not suitable and new algorithms have to be developed. We propose a novel method, combining an Automatic Multilevel Thresholding for image segmentation, a Block Matching Algorithm (BMA) and a best candidate block search along with a vector median regularization.
Daily streamlow prediction with uncertainty in ephemeral catchments using the GLUE methodology
2009
Abstract The Generalised Likelihood Uncertainty Estimation (GLUE) approach is presented here as a tool for estimating the predictive uncertainty of a rainfall–runoff model. The GLUE methodology allows to recognise the possible equifinality of different parameter sets and assesses the likelihood of a parameters set being acceptable simulator when model predictions are compared to observed field data. The results of the GLUE methodology depend greatly on the choice of the likelihood measure and on the choice of the threshold which determines if a parameters set is behavioural or not. Moreover the sampling size has a strong influence on the uncertainty assessment of the response of a rainfall–…
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…
3D contour based local manual correction of tumor segmentations in CT scans
2009
Segmentation is an essential task in medical image analysis. For example measuring tumor growth in consecutive CT scans based on the volume of the tumor requires a good segmentation. Since manual segmentation takes too much time in clinical routine automatic segmentation algorithms are typically used. However there are always cases where an automatic segmentation fails to provide an acceptable segmentation for example due to low contrast, noise or structures of the same density lying close to the lesion. These erroneous segmentation masks need to be manually corrected. We present a novel method for fast three-dimensional local manual correction of segmentation masks. The user needs to draw …
Real-time people counting system using a single video camera
2008
This is the copy of journal's version originally published in Proc. SPIE 6811. Reprinted with permission of SPIE: http://spie.org/x10.xml?WT.svl=tn7 There is growing interest in video-based solutions for people monitoring and counting in business and security applications. Compared to classic sensor-based solutions the video-based ones allow for more versatile functionalities, improved performance with lower costs. In this paper, we propose a real-time system for people counting based on single low-end non-calibrated video camera. The two main challenges addressed in this paper are: robust estimation of the scene background and the number of real persons in merge-split scenarios. The latter…
Ontology-based state representations for intention recognition in human–robot collaborative environments
2013
In this paper, we describe a novel approach for representing state information for the purpose of intention recognition in cooperative human-robot environments. States are represented by a combination of spatial relationships in a Cartesian frame along with cardinal direction information. This approach is applied to a manufacturing kitting operation, where humans and robots are working together to develop kits. Based upon a set of predefined high-level state relationships that must be true for future actions to occur, a robot can use the detailed state information described in this paper to infer the probability of subsequent actions occurring. This would allow the robot to better help the …
Evaluation of an Optical Energy Harvester for SHM Application
2019
Abstract In this paper a preliminary study on an array configuration of rectified optical nanoantennas for energy harvesting application is proposed. Currently, the major impediments for the use of the rectified optical nanoantenna known as rectenna are the relatively low conversion efficiency and low power transfer to the load, both of them caused mainly by the mismatch between the impedance of the rectifier (several kilo ohms) and that of the antenna (hundreds of ohm). For this reason, the design of the array represents a crucial point to obtain the maximum energy transfer from the rectenna to the load, represented as a typical DC/DC boost power converter, and modeled by an equivalent inp…
ERP qualification exploiting waveform, spectral and time-frequency infomax
2008
The present contribution briefly introduces an event related potential (ERP) detector. The specified detector includes three kinds of features of ERP. They are the ERP waveform feature, ERP spectral feature and ERP time-frequency feature respectively. According to these characteristics, two parameters are defined to reflect the timing feature of ERP. The mismatch negativity (MMN) is taken as the example to design an exact qualification detector. The experiment validates that the computer can automatically detect the raw trace to reflect the quality of the dataset, qualify the filtered trace to test whether the artifacts have been filtered out, and select the ERP-like component to reject art…