13285231
Analog and RF circuit macromodels for system-level analysis
Design and validation of mixed-signal integrated systems require system-level model abstractions. Generalized Volterra series based models have been successfully applied for analog and RF component macromodels, but their complexity can sometimes limit their utility for time-varying systems and large circuits with complex device models or numerous parasitics. In this paper we propose simple and efficient analog and RF circuit macromodels that provide accurate model abstractions for large, complex time-varying circuits over frequency bands of interest. By starting with the system-level block diagram model structures and focusing on the narrow RF bands, the proposed macromodels can efficiently capture the nonlinear behavior as well as the impact of RLC coupling parasitics via compact reduced-order model forms. While the macromodel can trade accuracy for simplicity in terms of the number of frequency expansion points, we find that expansion about one frequency point provides the accuracy required for system-level analysis of most RF and narrow-band analog components. The macromodel form corresponds to block diagram structures that are easily incorporated into our system-level simulation tool based on Simulink.
605614
Noise macromodel for radio frequency integrated circuits
Noise performance is a critical analog and RF circuit design constraint, and can impact the selection of the IC system-level architecture. It is therefore imperative that some model of the noise is represented at the highest levels of abstraction during the design process. In this paper we propose a noise macromodel for analog circuits and demonstrate it by way of implementation in a system level simulator based on MATLAB. We also explain our process of macromodel extraction via reformulation of frequency-domain noise analysis results, and the corresponding steps of model order reduction. The results demonstrate the efficacy of this macromodel for frequency domain system level simulation.
1068580
Visual contour tracking based on particle filters
Abstract The Condensation algorithm, developed for visual tracking, is a variant of particle filter. In the sampling stage of Condensation, no use is made of the information from the current frame in the image sequence. As a consequence, the algorithm requires a large number of particles and is computationally expensive. In this paper, a Kalman particle filter (KPF) and an unscented particle filter (UPF) are applied to contour tracking to try to overcome the problem. These algorithms use the Kalman filter or unscented Kalman filter to incorporate information from the current frame. This sampling strategy can effectively steer the set of particles towards regions with high likelihood, and therefore can considerably reduce the number of particles needed for tracking. Performance comparisons show that the KPF is an improvement over Condensation, while the UPF has a much higher computational cost for equal tracking error.
6241696
A formally verified application-level framework for real-time scheduling on POSIX real-time operating systems
We present a framework, called meta scheduler, for implementing real-time scheduling algorithms. The meta scheduler is a portable middleware layer component designed for implementations over POSIX-compliant operating systems. It accommodates pluggable real-time scheduling algorithms while offering the flexibility of platform independence - the singular underlying OS requirement is the now nearly ubiquitous POSIX compliance. The versatility of pluggable schedulers positions the meta scheduler for deployment in an interoperable heterogeneous real-time environment. We present the design of the meta scheduler and outline its implementation. Furthermore, we present a mechanized correctness verification using the UPPAAL model checker. Prototype implementation of the meta scheduler over QNX Neutrino real-time operating system demonstrates high performance and a small footprint.
14905620
Unscented Kalman filter for visual curve tracking
Abstract Visual contour tracking in complex background is a difficult task. The measurement model is often nonlinear due to clutter in images. Traditional visual trackers based on Kalman filters employ simple linear measurement models, and often collapse during the tracking process. This paper presents a new contour tracker based on unscented Kalman filter that is superior to extended Kalman filter both in theory and in many practical situations. The new tracker employs a more accurate nonlinear measurement model, without computation of a Jacobian matrix. During each time step, the tracker makes multiple measurements in terms of the set of appropriately chosen sample points, thus obtaining the best observation according to the measurement density. The resulting algorithm is able to obtain a more exact estimate of the state of the system, while having the same order of complexity as that of an extend Kalman Filter. The experiments show that the new algorithm is superior to those based on Kalman filters.
6463215
Design and implementation of parallel video encoding strategies using divisible load analysis
The processing time needed for motion estimation usually accounts for a significant part of the overall processing time of the video encoder. To improve the video encoding speed, reducing the execution time for motion estimation process is essential. Parallel implementation of video encoding systems using either the software or the hardware approach has attracted much attention in the area of real time video coding. In this paper, we attempt to implement a video encoder on a bus network. Usually, for such a parallel system, the key concern is associated with partitioning and balancing of the computational load among the processors such that the overall processing time of the video encoder is minimized. With the use of the divisible load theory (DLT) paradigm, a strip-wise load partitioning/balancing scheme, a load distribution strategy, two implementation strategies are developed to exploit the data parallelism inherent in the video encoding process. The striking feature of our design is that,both the granularity of the load partitions and all the associated overheads caused during parallel video encoding process can be explicitly considered. This significantly contributes to the minimization of the overall processing time of the video encoder. Extensive experimental studies are carried out to test the effectiveness of the proposed strategies. The performance of the parallel video encoder is quantified using the metrics speedup and performance gain, respectively. The experimental results show that our strategies are effective for exploiting the available parallelism inherent in the video encoding process and provide a theoretical insight on how to analytically quantify and minimize the overall processing time of a parallel system. The proposed strategies can be easily extended and applied to improve other existing parallel systems.
10769697
Advanced control flow in Java card programming
Java Card technology simplifies the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming model used in current Java Card platform creates control flow difficulties when writing complex card programs, making it inconvenient, tedious, and error-prone to implement Java Card applications. This paper examines these drawbacks of the master-slave model and proposes a concurrent thread model for developing future Java Card programs, which is much closer to conventional Java network programming. This paper also presents a code translation algorithm and a corresponding tool that makes it possible to write card programs in the concurrent thread model without losing compatibility with the existing Java Card API.