Proceedings of the Thirty-Fourth Southeastern Symposium on System Theory (Cat. No.02EX540)

Absorption, reflection or refraction of light by a dielectric material results in small forces, typically of the order of piconewtons. These forces due to "radiation pressure", although small when compared to mechanical forces, can be used to exert a high degree of control over micron-size objects in MEMS devices. Existing models for the estimation of radiation pressure forces are based on the "ray tracing" approach. In this paper, a new "localized vector" approach for the estimation of radiation pressure forces is presented. The new approach was found to be more efficient in terms of code length, computation time and formulation of geometry as compared to the "ray tracing" approach.

In this paper we apply discrete wavelet transform processing to the decision feedback equalization adaptation problem. In particular, the discrete wavelet transform decision feedback equalizer (DFE) performance and complexity are compared to those of the least mean squares (LMS) and recursive least squares (RLS) algorithms. We illustrate, using a simulation example, that the wavelet transform DFE may offer better performance and more robustness against narrow-band interferences as compared to the LMS DFE at a lower complexity than the standard RLS DFE.

In this article, we introduce an optimization algorithm that integrates the basic idea of simulated annealing and partitioning of the search domain by binary tree of subdomains. Also included in the algorithm are procedures that implement direct simple constraints on the decision variables. The algorithm can be used to solve various optimization problems arising from parameter identification, neural network training, and nonlinear least squares. Results on several examples are presented to illustrate typical performance of this algorithm after its presentation.

A fixed-lag Kalman smoother is used for target trajectory reconstruction in post mission data analysis from noisy sensor data, where lag is the time difference between the latest available measurement and the smoothed estimate. Based on the steady-state conditions of a Kalman smoother, a derivation of the steady-state gains and the covariance matrix for a fixed-lag, alpha-beta smoother is presented. The equations for the steady state covariance matrices of the alpha-beta filter and the alpha-beta fixed-lag smoother are used to characterize the benefits to state estimation that result from fixed-lag smoothing.

A method for computing the disjoint-sum-of-products (DSOP) form of Boolean functions is described. The algorithm exploits the property of the most binate variable in a set of cubes to compute a DSOP form. The technique uses a minimized sum-of-products (SOP) cube list as input. Experimental results comparing the size of the DSOP cube list produced by this algorithm and those produced by other methods demonstrate the efficiency of this technique and show that superior results occur in many cases for a set of benchmark functions.

Branch prediction schemes have become an integral part of today's pipelined processors. They are one of the key issues in enhancing the performance of pipelined processors. Pipeline stalls due to conditional branches are one of the most significant impediments to realizing the performance potential of deeply pipelined and superscalar processors. Many schemes for branch prediction, that can effectively and accurately predict the outcome of branch instructions have been proposed. In this paper, a survey of several branch prediction schemes for pipelined processors i.e., simple pipelined, deeply pipelined, and superscalar processors are presented. The pros and cons of each scheme are also discussed.

Việc chuyển đổi ngôn ngữ C/C++ sang VHDL là một bước quan trọng trong việc tổng hợp phần cứng từ C/C++. Tuy nhiên, ngôn ngữ C/C++ thông thường không có cơ chế công khai để khai báo việc thực hiện song song đồng thời, một đặc điểm quan trọng của các hệ thống phần cứng. Bài báo này trình bày phác thảo của một tập hợp các thuật toán chuyển đổi. Những thuật toán này hữu ích trong quá trình trích xuất phần cứng song song trong quá trình chuyển đổi từ C sang VHDL. Một ví dụ về việc trích xuất phần cứng song song từ một quy trình cộng mảng viết bằng C cũng được trình bày trong bài báo này.

A documentation framework is proposed to assist quality assurance teams in the analysis of complex computer network designs. The framework includes three elements: (1) a requirements definition, (2) a design depiction, and (3) the identification of potentially problematical interfaces. Requirements definition begins with nominal statements describing general design requirements; these statements undergo a process of qualification and quantification, increasing their effectiveness in conveying the purpose of the design. Design depiction presents the system at a high level of abstraction that can be decomposed into functional layers and isolated components. Interface identification allows problematic interfaces to be discovered through intra-component and inter-component analyses. The use of a consistent framework should improve the quality of the design review process.

Presents an index of the authors whose articles are published in the conference proceedings record.

A scale-model, experimental apparatus is developed to design and evaluate steering controller designs. The controller is designed using linear quadratic optimal control methods on a standard four-state vehicle model. The apparatus simulates the human driver using a scale-model vehicle, a treadmill, and a vision system.