Message-passing programming interfaces are widely used when programming parallel applications. Systems such as PVM and MPI have been successful at providing the basic capabilities needed to implement parallel applicat...
详细信息
Programmable logic devices, PLDs, continue to increase in terms of logic capacity and speed. Although logic capacity is less of an issue given the large devices on the market today, designers are still challenged with...
详细信息
ISBN:
(纸本)0780367154
Programmable logic devices, PLDs, continue to increase in terms of logic capacity and speed. Although logic capacity is less of an issue given the large devices on the market today, designers are still challenged with meeting timing and flexibility requirements for demanding applications. We demonstrate with an example, cache coherence controllers in the NUMAchine multiprocessor, an approach that can be used to implement a design with a demanding set of requirements using PLD technology. The approach consists of two parts. First, the circuits are functionally decomposed into simpler sub-circuits. The functional decomposition improves timing performance by reducing the number of functions with large fan-in and improves flexibility by confining changes to a particular sub-circuit. Second, the CAD tools are guided in selecting devices and allocating resources. In the implementation, multiple devices were experimented with before the speed requirements were met. The resources were then allocated to increase the probability of accommodating future changes.
We present a working system for real-time tracking of multiple laboratory animals. As it is usually possible to ensure good contrast between the animals and the background, the tracking of a single animal or several p...
详细信息
We present a working system for real-time tracking of multiple laboratory animals. As it is usually possible to ensure good contrast between the animals and the background, the tracking of a single animal or several physically separated animals can be obtained by relatively simple algorithms. The main problem arises when we try to track several almost identical, uniformly coloured animals during their contacts. To deal with this problem, we utilize dynamic information extracted by estimating sparse optical flow along the object contours. Optical flow vectors are used for updating the positions of the tracked contours in a sequence of image frames. The local properties of optical flow enable the system to track the objects during their contact, although some parts of the object contours become hidden. The missing dynamic information is reconstructed by using a model of constant optical flow along an object contour. The reconstructed contours are then adjusted to real object boundaries in the current frame by using an active contour model. The robustness of the tracking algorithm is improved by adding a supervision module, which detects tracking failures and reinitialises the contours that lose their targets. The system has been tested on real sequences with laboratory animals during pharmacological experiments and has been shown to be robust and efficient. Future extensions will include expert knowledge of biomedical and pharmacological experts. The major goal is to build a system that will provide an objective and standardised tool for evaluation of animal behaviour during experiments.
Analysis of complex systems such as hierarchically structured network systems that are employed in modelling and analysis various aspects and issues of control and management in telecommunications is investigated. The...
详细信息
We develop a new software layer called the Automatic Parallel Detection Layer (APDL) for the automatic transformation from sequential to parallel code. The main interest, in this research, is the parallelism at loop l...
详细信息
We develop a new software layer called the Automatic Parallel Detection Layer (APDL) for the automatic transformation from sequential to parallel code. The main interest, in this research, is the parallelism at loop level, because significant parallelism in programs almost invariably occurs in loops. The proposed APDL has five processes for code transformation: the sequential source code parser, data dependence analysis of this code, partitioning, scheduling both task and data, and generating parallel source code. Many cases have been studied to evaluate the performance of the developed layer. The performance is evaluated depending on the execution time of: the sequential code, the parallel programmer code, and the code output from APDL for the same case study. Performance results show that APDL greatly improves the execution time with respect to sequential execution time, and saves on the high cost of a parallel programmer.
This paper reports on work in progress to develop a wavelet-based method of outcome prediction after DC countershock. The method correlates return of spontaneous circulation (ROSC) with features of the wavelet-based p...
详细信息
This paper reports on work in progress to develop a wavelet-based method of outcome prediction after DC countershock. The method correlates return of spontaneous circulation (ROSC) with features of the wavelet-based power spectra derived from the ECG during ventricular fibrillation.
A characteristic feature of the neural network models is the large number of parameters. A model offering many parameters usually gives rise to problems, and the variance contribution to the modeling error might be ve...
A characteristic feature of the neural network models is the large number of parameters. A model offering many parameters usually gives rise to problems, and the variance contribution to the modeling error might be very high. Therefore, it is crucial to find the model with the optimal number of parameters. In this paper two techniques of selection of the optimal number of model parameters are described and compared: explicit and implicit regularization techniques. Model validation forms the final stage of an identification procedure with the aim of assessing objectively whether the identified model agrees sufficiently well with the observed data. In this paper the reliability of the correlation-based validation tests and the χ2-test is analyzed.
In a system for active computer vision, there is an intrinsic need for interfacing two different kinds of specific hardware devices: image digitizer and controllable camera. The architecture of software components res...
详细信息
This paper presents a modification to the Kandadai and Tien’s learning algorithm for tuning a fuzzy-neural controller that is able to automatically generate a knowledge base. Tuning is based on reinforcements from a ...
详细信息
This paper presents a modification to the Kandadai and Tien’s learning algorithm for tuning a fuzzy-neural controller that is able to automatically generate a knowledge base. Tuning is based on reinforcements from a dynamical system, thus giving a pseudosupervised learning scheme using error backpropagation. Originally, a weak reinforcement in the form of a binary failure signal was assumed which proved to be insufficient in terms of steady-state error. Therefore, a continuous reinforcement signal is applied enabling the system to correct the error as well as decreasing the overall control effort in the learning phase.
An explicit self-tuning controller based on the Takagi-Sugeno fuzzy model of the process is proposed. The fuzzy model is represented as a linear regression model whose parameters are functions of some of the process v...
详细信息
An explicit self-tuning controller based on the Takagi-Sugeno fuzzy model of the process is proposed. The fuzzy model is represented as a linear regression model whose parameters are functions of some of the process variables. Such a model can be considered as a linear time-varying model whose parameter values are known at every moment. The pole placement design procedure modified for time-varying systems is applied to obtain the polynomial controller parameters that provide the desired closed-loop poles. The proposed algorithm is very simple, and thus suitable for on-line controller design in adaptive control systems.
暂无评论