Optimum FFT-based frequency acquisition with application toCOSPAS-SARSAT

In the case of a single sinusoid or multiple well-separated sinusoids, a coarse estimator consisting of a windowed Fourier transform followed by a fine estimator which is an interpolator is a good approximation to an optimal frequency acquisition and measurement algorithm. The design tradeoffs are described. It is shown that for the fine-frequency estimator a good method is to fit a Gaussian function to the fast-Fourier-transform (FFT) peak and its two neighbors. This method achieves a frequency standard deviation and a bias in the order of only a few percent of a bin. In the case of short-time stationarity, for a moderate number of averages and for an adaptive threshold detector, only between 0.5 and 1 dB is lost when averaging is traded off for FFT length, in contrast to the asymptotic result of 1.5 dB. The COSPAS-SARSAT satellite system for emergency detection and localization is used to illustrate the concepts. The algorithm is analyzed theoretically, and good agreement is found with test results     

Nonparametric Radar Extraction Using a Generalized Sign Test

A nonparametric procedure used in a constant false alarm rate (CFAR) radar extractor for detecting targets in a background of noise with unknown statistical properties is described. The detector is based on a generalization of the well-known two-sample sign test and thus requires a set of reference noise observations in addition to the set of observations being tested for signal presence. The detection performance against Gaussian noise is determined for a finite number of observations and asymptotically, for both nonfluctuating and pulse-to-pulse Rayleigh fluctuating target statistics. It is noted that the performance loss, as compared to the optimum parametric detector, depends critically on the number of reference noise observations available when the number of hits per target is not large. In the same case a much larger loss is also found for a pulse-to-pulse fluctuating target even though the asymptotic loss is the same as for a nonfluctuating target. A comparison is finally made with a detector based on the Mann-Whitney test, which usually is considered to be one of the better nonparametric procedures for the two-sample case.     

基于Volterra的ADC校正技术研究

模拟数字转换器（ADC）是信号处理中非常重要的器件,而其非线性误差会影响系统的精度和效率。基于Volterra泛级数方法对ADC的非线性进行建模,并研究了一种基于Volterral滤波器的ADC后向校正技术。通过最小二乘法预估Volterra核函数,利用多项式分层解法实现volterra滤波器,利用matlab软件将volterra滤波器对ADC的非线性进行校正。仿真结果表明方法适用于对ADC中的非线性进行校正。     

Effect of a Few Dominant Specular Reflectors Target Model Upon Target Detection

Some data indicate that aircraft targets viewed from certain aspects are well modeled as consisting of a few specular reflectors. The effect of a simplified form of this target model upon radar detection performance for two different waveforms has been analyzed. The signal-to-noise ratio (SNR) required for detection as a function of waveform bandwidth for a conventional-single-channel waveform and for a four-channel frequency diversity waveform is evaluated. It is shown that for either waveform there is an optimum bandwidth to minimize the SNR required for detection. In addition, the single-channel minimum is less than the four-channel minimum. The best performance occurs for the single-channel waveform when the waveform bandwidth just resolves the individual reflectors. For typical targets, this bandwidth is of the order of 35 to 75 MHz. It is also shown that only a 0.8-dB loss relative to this minimum is incurred when using a four-channel narrow bandwidth waveform.     

通过预成形降低内高压成形压力的机理分析

采用力学分析和有限元模拟对空心零件圆角部位在内高压成形过程中的应力分布和变形机理进行了分析,针对多边形截面空心件内高压成形,以矩形截面为例提出采用花瓣形预成形截面降低圆角成形压力的方法,分析了该方法降低圆角成形压力的机理,提出了花瓣形预成形截面形状关键参数计算公式,并通过试验进行了验证,为采用较低压力实现空心构件圆角内高压成形提供了理论指导.     

Sensor Optimization Selection Model Based on Testability Constraint

Sensor selection and optimization is one of the important parts in design for testability. To address the problems that the traditional sensor optimization selection model does not take the requirements of prognostics and health management especially fault prognostics for testability into account and does not consider the impacts of sensor actual attributes on fault detectability, a novel sensor optimization selection model is proposed. Firstly, a universal architecture for sensor selection and optimization is provided. Secondly, a new testability index named fault predictable rate is defined to describe fault prognostics requirements for testability. Thirdly, a sensor selection and optimization model for prognostics and health management is constructed, which takes sensor cost as objective function and the defined testability indexes as constraint conditions. Due to NP-hard property of the model, a generic algorithm is designed to obtain the optimal solution. At last, a case study is presented to demonstrate the sensor selection approach for a stable tracking servo platform. The application results and comparison analysis show the proposed model and algorithm are effective and feasible. This approach can be used to select sensors for prognostics and health management of any system.     

挠性航天器的退步直接自适应姿态跟踪控制

针对参数不确定的挠性航天器姿态跟踪控制问题,提出了一种退步直接自适应控制算法。首先验证了挠性航天器动力学子系统的近似严格正实性,并设计了具有理想控制性能的参考模型;然后对以姿态四元数描述的运动学子系统设计常系数输出反馈中间控制律,使航天器姿态四元数输出渐近跟踪参考模型输出;最后退一步,对具有参数不确定特性的动力学子系统,基于非线性直接自适应控制理论和Lyapunov稳定性理论,设计了退步直接自适应姿态跟踪控制器,并证明了闭环系统的稳定性。仿真结果表明,所提控制方法能有效抑制挠性附件的振动,对挠性航天器的控制是有效的。     

A safety kernel for traffic light control

The success of kernels for enforcing security in software systems has led to proposals to use kernels for enforcing safety. This paper presents a feasibility demonstration of one particular proposal for a safety kernel via the application of traffic light control. The paper begins with the safety properties for traffic light control and specifies a kernel that maintains the safety properties. An implementation sketch of the kernel in Ada is given and use of the kernel is discussed. The contribution of the paper is a demonstration that a kernel is a feasible and desirable technique for software in a realistic, safety-critical application. The paper also illustrates how formal methods aid the software engineer in constructing and reasoning about such software     

基于相频约束的航天器定时技术

双向相干测距测速体制是最常用的航天器测量体制,是一种闭环体制.与之相比较,开环测距测速可以在信号更微弱的情况下获取到观测量,在深空任务中有着独特的意义.然而,开环测距也面临棘手的技术难题——高精度航天器定时技术.针对该难题,在保持现有航天器信号体制的基础上,阐述了基于遥测信号和测距侧音信号（差分单向测距DOR信号可看作侧音信号）间相频约束的航天器定时原理,研究了侧音频率最优化设计方法,给出了“器上发射测站接收”的初步实现方案,为后续开展工程应用奠定了基础.     

Scanning Spaceborne Synthetic Aperture Radar with Integrated Radiometer

Spaceborne synthetic aperture radar systems are severely constrained to a narrow swath by ambiguity limitations. Here a vertically scanned-beam synthetic aperture system (SCANSAR) is proposed as a solution to this problem. The potential length of synthetic aperture must be shared between beam positions, so the along-track resolution is poorer; a direct tradeoff exists between resolution and swath width. The length of the real aperture is independently traded against the number of scanning positions. Design curves and equations are presented for spaceborne SCANSARs for altitudes between 400 and 1400 km and inner angles of incidence between 20° and 40°. When the real antenna is approximately square, it may also be used for a microwave radiometer. The combined radiometer and synthetic-aperture (RADISAR) should be useful for those applications where the poorer resolution of the radiometer is useful for some purposes, but the finer resolution of the radar is needed for others.     

Two Methods of Ambiguity Resolution in Pulse Doppler Weather Radars

A comparison is made of the performance of a weather Doppler radar with a staggered pulse repetition time and a radar with a random (but known) phase. As a standard for this comparison, the specifications of the forthcoming next generation weather radar (NEXRAD) are used. A statistical analysis of the spectral moment estimates for the staggered scheme is developed, and a theoretical expression for the signal-to-noise ratio due to recohering-filtering-recohering for the random phase radar is obtained. Algorithms for assignment of correct ranges to pertinent spectral moments for both techniques are presented.     

非线性系统鲁棒稳定的区间判据及其在飞行控制中的应用

给出了一类非线性系统的鲁棒稳定性分析方法。通过对非线性系统的不同区域描述 ,将复杂的非线性问题转化为多个区间鲁棒稳定性问题。对区间鲁棒稳定性条件不等式进行变形 ,得到了该不等式可解的条件。此条件不仅大大简化了不等式 ,而且得到了新的鲁棒稳定性判据。进而 ,给出了非线性系统鲁棒反馈控制的设计方法。飞行控制器设计结果表明 ,本方法对不确定系统的分析和设计是有效的     

实时离散事件系统的状态反馈逻辑

 基于状态时间的概念,在Ramadge-Wonham模型的基础上提出了一种新的实时离散事件系统模型。在控制目标是保持某给定谓词在闭环系统状态轨迹上为真的情况下,给出了实时控制不变性的定义。研究表明,对这类系统,存在一个状态反馈控制器使给定谓词在闭环系统状态轨迹上保持为真的充要条件是该谓词是实时控制不变的。证明了给定谓词所含的最大实时控制不变子谓词的存在性并给出了计算方法。最后,给出一个例子来说明有关结果。     

Asymptotically Optimum Sample Size for Quickest Detection

A method is presented for selecting the asymptotically optimum sample size M for detecting a sudden change in the statistics of an observed process. The test statistic is assumed to be a sum of M consecutive values of some single sample detector and the optimization criterion is to minimize the mean time to detection MD for a given mean time between false alarms MF. It is shown that for large MF and MD the solution can be expressed as a function of the single variable ?MF? (or alternatively ?MD?) where ? is a measure of the signal-to-noise ratio (SNR).     

Optimum blade loading for a powered rotor in descent

The optimum loading for rotors has previously been found for hover, climb and wind turbine conditions;but, up to now, no one has determined the optimum rotor loading in descent. This could be an important design consideration for rotary-wing parachutes and low-speed des-cents. In this paper, the optimal loading for a powered rotor in descent is found from momentum theory based on a variational principle. This loading is compared with the optimal loading for a rotor in hover or climb and with the Betz rotor loading (which is optimum for a lightly-loaded rotor). Wake contraction for each of the various loadings is also presented.     

冗余系统可靠度预测的网络分析法研究

 网络分析法是计算复杂系统可靠度的一种方法。它所定义的网络只具有简单节点及不重名弧（部件）。本文将此法引申到具有表决节点及重名孤（相关部件）的冗余系统中,并在模型中考虑了覆盖率。算法（RSCA-Ⅲ）除可求冗余系统可靠度外,还可用于任意具有重名弧的网络系统求可靠度。最后,本文对一个四冗余的电传飞行操纵系统进行了可靠度实例预测。其结果证明了模型及算法的正确性,并较适用于工程实际。     

Mean-Level Detection of Nonfluctuating Signals

Analysis of the performance of a mean-level threshold in the detection of nonfluctuating signals is performed. Formulas for the probability of detection are derived and a simple recursive method that can be used for computations is described. Binary integration is discussed, and it is shown that the loss in sensitivity due to the use of an adaptive threshold followed by binary integration is only a fraction of a decibel when compared with optimum binary integration. Binary integration results are given for both fluctuating and nonfluctuating signals.     

Reduced spatio-temporal complexity MMPP and image-based tracking filters for maneuvering targets

We present reduced-complexity nonlinear filtering algorithms for image-based tracking of maneuvering targets. In image-based target tracking, the mode of the target is observed as a Markov modulated Poisson process (MMPP) and the aim is to compute optimal estimates of the target's state. We present a reduced complexity algorithm in two steps. First, a gauge transformation is used to reexpress the filtering equations in a form that is computationally more efficient for time discretization than naive discretization of the filtering equations. Second, a spatial aggregation algorithm with guaranteed performance bounds is presented for the time-discretized filters. A numerical example illustrating the performance of the resulting reduced-complexity filtering algorithms for a switching turn-rate model is presented.     

Exact Formulation of Window Functions for Analog Network Spectral Analyzers

An equation for the spectral window function for analog network analyzers is derived without assumptions on length of data interval available. The equation, given in terms of filter pole-zero locations for both the filter-bank and heterodyned-input type analyzers, can be programmed on a digital computer without difficulty. As an illustration, the "growth" of a spectral window with increasing length of available data is shown for a special case: a single-tuned circuit followed by a squaring circuit and perfect integrator. The error in using the usual approximation also is indicated. Use of the derived equation for quantitative comparisons of analog and digital analyzers is noted.     

HIGH ORDER ACCURACY SCHEME FOR 2-D TRANSONIC FLOWS

ＨＩＧＨＯＲＤＥＲＡＣＣＵＲＡＣＹＳＣＨＥＭＥＦＯＲ２－ＤＴＲＡＮＳＯＮＩＣＦＬＯＷＳ￥ＬｉＨａｉｄｏｎｇ；ＬｉｕＱｉｕｓｈｅｎｇ；ＳｈｅｎＭｅｎｇｙｕ（ＤｅｐａｒｔｍｅｎｔｏｆＥｎｇｉｎｅｅｒｉｎｇＭｅｃｈａｎｉｃｓ，ＴｓｉｎｇｈｕａＵｎｉｖｅｒｓ...