111915458
A new model for engineering transaction
Engineering software systems, like CAD and CASE, are popular and important for today''s industry. As applications of engineering software system are getting more complex, engineering database systems, like CAD and CASE databases, which support concurrency control, access control, recovery, and versioning, are also on demand. Data modeling of engineering applications by using the object-oriented paradigm has been investigated in the past. However, a sufficient and complete transaction model to support the engineering databases is still under discussion. Transaction processing in the context of {\em traditional database} applications, such as banking and airline reservation systems, has been thoroughly studied. However, the concept of the traditional transaction can not be used in {\em engineering database} environments, such as CAD and CASE databases, because of some constraints imposed by the traditional transaction''s ACID properties. In this thesis, I thoroughly studied the requirements of engineering transactions, formally defined an engineering transaction model, and prudently showed that the proposed transaction model has the desired properties. Moreover, I designed a transaction system architecture to realize my transaction model.
6881358
Probabilistic real-time guarantees for component-oriented phased array radars
In recent years, many modern phased array radars are built with commercial-off-the-shelf components, and the functions of many hardware components are also re-implemented by software modules. In such systems, radar tasks could be modelled as distributed real-time tasks, which require end-to-end deadline guarantees and have precedence constraints. Different from most previous work on either algorithms with restrictions in resource utilization or heuristics without analytical ways for schedulability guarantees, the objective of This work is to propose a joint real-time scheduling algorithm for both transmitter/receiver and signal processor workloads with an analytical framework for off-line probabilistic analysis and online admission control. The strength of our approach is verified by analysis results and a series of experiments based on a real phased array radar for air defense frigates [A. G. Huizing et al. (1996)].
1767384
Real-Time Dwell Scheduling of Component-Oriented Phased Array Radars
A multifunction phased array radar must search and track suspicious targets in its surveillance space in a real-time fashion. With inefficient scheduling implementations in many traditional systems, much radar resource is wasted with a very limited performance gain. This paper targets one of the most important issues in the design of modern phased array radars: real-time dwell scheduling. We formalize the typical workload of a modern phased array radar and propose a rate-based approach to schedule radar dwells in a real-time fashion. We show how to reserve radar resources to guarantee the minimum radar operation without sacrificing the stability of the system. The strength of our approach is verified by a series of simulation experiments based on a real phased array radar for air defense frigates [A. G. Huizing et al. (1996)]. A significant improvement in the performance of phased array radars was shown.
15209820
Real-time digital signal processing of component-oriented phased array radars
With the advance of hardware and software technology, modern phased array radars are now built with commercial off-the-shelf (COTS) components, and it opens up a new era in real-time resource scheduling of digital signal processing. This paper targets the essential issues in building a component-oriented signal processor (SP), which is one of the two major modules in modern phased array radars. We propose a simple but effective task allocation policy and a real-time scheduling algorithm to address the design objectives of SPs. We are able to bound the number of processing units needed for a component-oriented SP in the design time, while everything was done empirically in the past. A series of experiments were done to demonstrate the strength of our methodology.
16280666
Component-oriented radars with probabilistic timing guarantees
In recent years, many modern phased-array radars are built with commercial off-the-shelf components, and the functions of many hardware components are also reimplemented by software modules. In such systems, radar tasks could be modeled as distributed real-time tasks which require end-to-end deadline guarantees and have precedence constraints. Different from most previous work on either algorithms with restrictions in resource utilization or heuristics without analytical ways for schedulability guarantees, the objective of this paper is to propose a joint real-time scheduling algorithm for both transmitter/receiver and signal processor workloads with an analytical framework for offline probabilistic analysis and online admission control. The strength of our approach is verified by analysis results and a series of experiments based on a real phased-array radar for air defense frigates
44378446
Component-Oriented Digital Signal Processors
417369
Multiple object tracking with kernel particle filter
A new particle filter, kernel particle filter (KPF), is proposed for visual tracking for multiple objects in image sequences. The KPF invokes kernels to form a continuous estimate of the posterior density function and allocates particles based on the gradient derived from the kernel density estimate. A data association technique is also proposed to resolve the motion correspondence ambiguities that arise when multiple objects are present. The data association technique introduces minimal amount of computation by making use of the intermediate results obtained in particle allocation. We show that KPF performs robust multiple object tracking with improved sampling efficiency.
2546960
The Source Coding Game With a Cheating Switcher
The problem of finding the rate-distortion function of an arbitrarily varying source (AVS) composed of a finite number of memoryless subsources is revisited. Berger's 1971 paper “The Source Coding Game” solves this problem when the adversary is allowed only strictly causal access to the subsource realizations. The case when the adversary has access to the subsource realizations non-causally is considered. This new rate-distortion function is determined to be the maximum of the rate-distortion function over a set of independent and identically distributed (IID) random variables that can be simulated by the adversary. The results are extended to allow for partial or noisy observations of subsource realizations. The model is further explored by attempting to find the rate-distortion function when the `adversary' is actually helpful. Finally, a bound is developed on the uniform continuity of the IID rate-distortion function for finite-alphabet sources. The bound is used to give a sufficient number of distributions that need to be sampled to compute the rate-distortion function of an AVS to within a desired accuracy. The bound is also used to give a rate of convergence for the estimate of the rate-distortion function for an unknown IID source.
3263120
The price of ignorance: The impact of side-information on delay for lossless source-coding
Inspired by the context of compressing encrypted sources, this paper considers the general tradeoff between rate, end-to-end delay, and probability of error for lossless sou rce coding with side-information. The notion of end-to-end delay is made precise by considering a sequential setting in which source symbols are revealed in real time and need to be reconstructed at the decoder within a certain fixed latency requirement. Upper bounds are derived on the reliability functions with delay when side-informatio n is known only to the decoder as well as when it is also known at the encoder. When the encoder is not ignorant of the side-information (including the trivial case when there is no sideinformation), it is possible to have substantially better t radeoffs between delay and probability of error at all rates . This shows that there is a fundamental price of ignorance in terms of end-to-end delay when the encoder is not aware of the side information. This effect is not visible if o nly fixed-block-length codes are considered. In this way, side-information in source-coding plays a role analogous t o that of feedback in channel coding. While the theorems in this paper are asymptotic in terms of long delays and low probabilities of error, an example is used to show that the qualitative effects describ ed here are significant even at short and moderate delays.
9272685
Genetic algorithm for affine point pattern matching
Point pattern matching (PPM) is an important topic in the fields of computer vision and pattern recognition. According to if there exists a one to one mapping between the two point sets to be matched, PPM can be divided into the case of complete matching and the case of incomplete matching. According to if utilizing information other than 2-D image coordinates, PPM can be divided into labelled point-matching case and unlabelled point-matching case. Using partial Hausdorff distance, this paper presents a genetic algorithm (GA) based method to solve the incomplete unlabelled matching problem under general affine transformation. Since it successfully reduces the solution space of GA by constructing 'feature ellipses' of point sets, the method can achieve high computing efficiency and good matching results. Theoretical analysis and simulation results show that the new algorithm is very effective.
18226410
Real-time tracking with multiple cues by set theoretic random search
Conventional treatment of visual tracking has been to optimize an objective function in a probabilistic framework. In this formulation, efficient algorithms employing simple prior distributions are usually insufficient to handle clutters (e.g., Kalman filter). On the other hand, distributions that are complex enough to incorporate all a priori knowledge can make the problem computationally intractable (e.g., particle filters (PF)). This paper proposes a new formulation of visual tracking where every piece of information, be it from a priori knowledge or observed data, is represented by a set in the solution space and the intersection of these sets, the feasibility set, represents all acceptable solutions. Based on this formulation, we propose an algorithm whose objective is to find a solution in the feasibility set. We show that this set theoretic tracking algorithm performs effective face tracking and is computationally more efficient than standard PF-based tracking.