Avida: a software platform for research in computational evolutionary biology

Avida is a software platform for experiments with self-replicating and evolving computer programs. It provides detailed control over experimental settings and protocols, a large array of measurement tools, and sophisticated methods to analyze and post-process experimental data. We explain the general principles on which Avida is built, as well as its main components and their interactions. We also explain how experiments are set up, carried out, and analyzed

Optimizing construction of scheduled data flow graph for on-line testability

The objective of this work is to develop a new methodology for behavioural synthesis using a flow of synthesis, better suited to the scheduling of independent calculations and non-concurrent online testing. The traditional behavioural synthesis process can be defined as the compilation of an algorithmic specification into an architecture composed of a data path and a controller. This stream of synthesis generally involves scheduling, resource allocation, generation of the data path and controller synthesis. Experiments showed that optimization started at the high level synthesis improves the performance of the result, yet the current tools do not offer synthesis optimizations that from the RTL level. This justifies the development of an optimization methodology which takes effect from the behavioural specification and accompanying the synthesis process in its various stages. In this paper we propose the use of algebraic properties (commutativity, associativity and distributivity) to transform readable mathematical formulas of algorithmic specifications into mathematical formulas evaluated efficiently. This will effectively reduce the execution time of scheduling calculations and increase the possibilities of testability

Unsupervised learning as a complement to convolutional neural network classification in the analysis of saccadic eye movement in spino-cerebellar ataxia type 2

IWANN es un congreso internacional que se celebra bienalmente desde 1991. Su campo de estudio se centra en la fundamentación y aplicación de las distintas técnicas de Inteligencia Computacional : Redes Neuronales Artificiales, Algoritmos Genéticos, Lógica Borrosa, Aprendizaje Automático. En esta edición han participado 150 investigadores.This paper aims at assessing spino-cerebellar type 2 ataxiaby classifying electrooculography records into registers corresponding to healthy, presymptomatic and ill individuals. The primary used technique is the convolutional neural network applied to the time series of eye movements, called saccades. The problem is exceptionally hard, though, because the recorded saccadic movements for presymptomatic cases often do not substantially di er from those of healthy individuals. Precisely this distinction is of the utmost clinical importance, since early intervention on presymptomatic patients can ameliorate symptoms or at least slow their progression. Yet, each register contains a number of saccades that, although not consistent with the current label, have not been considered indicative of another class by the examining physicians. As a consequence, an unsupervised learning mechanism may be more suitable to handle this form of misclassi cation. Thus, our proposal introduces the k-means approach and the SOM method, as complementary techniques to analyse the time series. The three techniques operating in tandem lead to a well performing solution to this diagnosis problem.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. Universidad de Granada, Universitat Politècnica de Catalunya, Universidad de Las Palmas de Gran Canaria, Springe

Analysis and application of digital spectral warping in analog and mixed-signal testing

Spectral warping is a digital signal processing transform which shifts the frequencies contained within a signal along the frequency axis. The Fourier transform coefficients of a warped signal correspond to frequency-domain 'samples' of the original signal which are unevenly spaced along the frequency axis. This property allows the technique to be efficiently used for DSP-based analog and mixed-signal testing. The analysis and application of spectral warping for test signal generation, response analysis, filter design, frequency response evaluation, etc. are discussed in this paper along with examples of the software and hardware implementation

Investigation of fast initialization of spacecraft bubble memory systems

Bubble domain technology offers significant improvement in reliability and functionality for spacecraft onboard memory applications. In considering potential memory systems organizations, minimization of power in high capacity bubble memory systems necessitates the activation of only the desired portions of the memory. In power strobing arbitrary memory segments, a capability of fast turn on is required. Bubble device architectures, which provide redundant loop coding in the bubble devices, limit the initialization speed. Alternate initialization techniques are investigated to overcome this design limitation. An initialization technique using a small amount of external storage is demonstrated

Testing Embedded Memories in Telecommunication Systems

Extensive system testing is mandatory nowadays to achieve high product quality. Telecommunication systems are particularly sensitive to such a requirement; to maintain market competitiveness, manufacturers need to combine reduced costs, shorter life cycles, advanced technologies, and high quality. Moreover, strict reliability constraints usually impose very low fault latencies and a high degree of fault detection for both permanent and transient faults. This article analyzes major problems related to testing complex telecommunication systems, with particular emphasis on their memory modules, often so critical from the reliability point of view. In particular, advanced BIST-based solutions are analyzed, and two significant industrial case studies presente