A Tutorial on GrÖbner Bases With Applications in Signals and Systems

This paper is a tutorial on GrÖbner bases and a survey on the applications of GrÖbner bases in the broad field of signals and systems. A reasonably detailed review is given of several fundamental theoretical issues that occur in the use of GrÖbner bases in multidimensional signals and systems applications. These topics include the primeness of multivariate polynomial matrices, multivariate unimodular polynomial matrix completion, and prime factorization of multivariate polynomial matrices. A brief review is also presented on the wide-ranging applications of GrÖbner bases in multidimensional as well as one-dimensional circuits, networks, control, coding, signals, and systems and other related areas like robotics and applied mechanics. The impact and scope of GrÖbner bases in signals and systems are highlighted with respect to what has already been accomplished as a stepping stone to expanding future research.      

海上油气田的废弃处置

废弃处置是油气田开发的最终环节 ,海上油气田的废弃处置在国内外都是一个新的领域。在对国内外相关文献分析的基础上 ,结合开发工程方面的经验 ,介绍海上油气田废弃处置的标准 ,相关的领域以及废弃处置的过程和方法     

Power Distribution Fault Cause Identification With Imbalanced Data Using the Data Mining-Based Fuzzy Classification E-Algorithm

Power distribution systems have been significantly affected by many outage-causing events. Good fault cause identification can help expedite the restoration procedure and improve the system reliability. However, the data imbalance issue in many real-world data sets often degrades the fault cause identification performance. In this paper, the E-algorithm, which is extended from the fuzzy classification algorithm by Ishibuchi to alleviate the effect of imbalanced data constitution, is applied to Duke Energy outage data for distribution fault cause identification. Three major outage causes (tree, animal, and lightning) are used as prototypes. The performance of E-algorithm on real-world imbalanced data is compared with artificial neural network. The results show that the E-algorithm can greatly improve the performance when the data are imbalanced     

分置式牛津型斯特林制冷机的数值分析与实验验证

对分置式牛津型斯特林制冷机进行了数值计算 ,介绍了计算模型考虑到的众多不可逆因素。通过对计算结果与实验结果的对比 ,验证了本文数值计算的准确性 ,说明本文计算模型与数值处理方法是切实可行的     

幅频特性的数学分析

根据数控装置检测系统中传感器信号电路工作要求,以共射电压放大电路为例,分别考虑耦合电容、旁路电容、结间电容和分布电容对不同信号频率的作用,分析了电路的低频特性和高频特性,给出了上下限截止频率的解析式.由此得出,电路其他参数一定时,在低频段,下限截止频率与耦合电容、旁路电容成反比,在高频段,上限截止频率与等效输入输出电容成反比,从而为传感器系统设计提供理论依据.     

Mapping rule-based systems onto multicomputers using simulated annealing

In this paper, we present a static load balancing method for mapping production rules in an expert system onto processors of a message-passing multicomputer. The method uses simulated annealing to achieve a nearly optimal allocation of production rules onto processor nodes. The approach balances the initial rule distribution to avoid higher communication demand among processor nodes at run time. A formal mapping model is developed and a new cost function is defined for the annealing process. New heuristic swap functions and cooling policies are provided to ensure the quality of the annealing process. A software load balancing package, SIMAL, was implemented on a SUN workstation to carry out the benchmark experiments. The overhead associated with this mapping method is O(m In m), where m is the number of rules in the production system. Two benchmark production systems, Toru-waltz and Tourney, are mapped onto a hypercube computer with 32 nodes. Experimental benchmark results verify the effectiveness of the rule mapping method. The method can be applied for distributed artificial intelligence processing or for the parallel execution of cooperating expert systems on a message-passing multicomputer.     

Stabilization Methods for Spectral Element Computations of Incompressible Flows

A stabilization method for the spectral element computation of incompressible flow problems is investigated. It is based on a filtering procedure which consists in filtering the velocity field by a spectral vanishing Helmholtz-type operator at each time step. Relationship between this filtering procedure and SVV-stabilization method, introduced recently in [JCP, 2004, 196(2), p680], is established. A number of numerical examples are presented to show the accuracy and stabilization capability of the method.     

Fixed point theorem-based iterative learning control for LTV systems with input singularity

In this paper, we address a challenging and open problem: how to design a suitable iterative learning control (ILC) system in the presence of input singularity, which is incurred by the singularities of the system direct feed-through term. Considering two typical types of input singularities, we first revise the ILC operators accordingly by adding a forgetting factor and incorporating a time-varying learning gain, in the sequel guarantee ILC operators to be contractible. Next, using the Banach fixed-point theorem, we demonstrate that the output sequence can either enter and remains ultimately in a designated neighborhood of the target trajectory, or is bounded by a class K function. Finally, an illustrative example is presented.     

压电量测系统漏电影响分析

本文通过对压电量测系统等效电路图的逐步简化,得出矩形脉冲信号的漏电方程;并对系统在各种情况下的时间常数,漏电相对误差进行了计算,最后就系统在校准和现场测试中经常碰到的几种情况,进行了定量估算,从而解决了压电量测系统在使用中的一些具体问题。     

Architecture and algorithms for tracking football players with multiple cameras

A system architecture and method for tracking people is presented for a sports application. The system input is video data from static cameras with overlapping fields-of-view at a football stadium. The output is the real-world, real-time positions of football players during a match. The system comprises two processing stages, operating on data from first a single camera and then multiple cameras. The organisation of processing is designed to achieve sufficient synchronisation between cameras, using a request-response pattern, invoked by the second stage multi-camera tracker. The single-view processing includes change detection against an adaptive background and image-plane tracking to improve the reliability of measurements of occluded players. The multiview process uses Kalman trackers to model the player position and velocity, to which the multiple measurements input from the single-view stage are associated. Results are demonstrated on real data.