基于Volterra的ADC校正技术研究

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

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     

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     

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

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

Attitude control of a satellite with redundant thrusters

Redundant thrusters are generally used for a reliable attitude control system. Also, redundant thrusters yield a better performance if they are used appropriately. In this paper, the authors propose an efficient redundancy management algorithm to reduce the fuel consumption. The algorithm is based on a linear programming problem which is a constrained optimization problem. For the algorithm, a cost function is defined as a quantity related to the fuel consumption for a maneuver. The independent variables are the thrusters' on-times which are control input variables of a satellite dynamic model. The advantage of the proposed method is verified by numerical examples. The examples show that the proposed method consumes less fuel than an existing method for a given maneuvering command. A sub-optimal algorithm is also discussed for an onboard computation. The proposed algorithm is applied to two maneuvers: move-to-rest and rest-to-rest. This is verified by a numerical simulation.     

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.     

An innovative approach for integrated airline network and aircraft family optimization

The determination of optimal aerial transport networks and their associated flight frequencies is crucial for the strategic planning of airlines, as well as for carrying out market research, to establish target markets, and for aircraft and crew rostering. In addition, optimum airplane types for the selected networks are crucial to improve revenue and to provide reduced operating costs. The present study proposes an innovative approach to determine the optimal aerial transport network simultaneously with the determination of the optimum fleet for that network, composed of three types of airplanes (network and vehicle integrated design). The network profit is maximized. The passenger’s demands between the airports are determined via a gravitational model. An embedded linear programming solution is responsible for obtaining potential optimal network configurations. The optimum fleet combination is determined from a database of candidate aircraft designs via genetic algorithm. A truly realistic airplane representation is made possible thanks to accurate surrogate models for engine and aerodynamics is adopted. An accurate engine deck encompassing a compression map and an innovative engine weight calculation besides an aerodynamical artificial neural network module enable a high degree of accuracy for the mission analysis. The proposed methodology is applied to obtain the optimum network comprised of twenty main Brazilian airports and corresponding fleet.     

On Higher Order Discrete Phase-Locked Loops

An exact mathematical model is developed for a discrete loop of a general order particularly suitable for digital computation. The deterministic response of the loop to the phase step and the frequency step is investigated. The design of the digital filter for the second-order loop is considered. Use is made of the incremental phase plane to study the phase error behavior of the loop. The model of the noisy loop is derived and the optimization of the loop filter for minimum mean-square error is considered.     

分枝模态综合法的逆问题

 本文基于李兹分析论述了分枝模态综合法的逆问题,即结构的一个分枝系统的模态特性如何利用结构和其它分枝系统的模态特性而识别出来。其分析方法可应用于结构动态设计和结构模型修改问题。     

空间对接地面半物理仿真台系统仿真研究

 飞行器空间对接地面半物理(HIL)仿真台是进行空间对接技术研究、对接机构地面检测以及对接过程的故障复现等多种用途的关键设备。论文阐述了飞行器空间对接地面半物理仿真台系统建构思想。在此基础上推导出空间对接地面半物理仿真台的空间对接动力学模型。基于物理建模的思想,用SimMechanics工具箱建立了空间对接地面半物理仿真台的机械系统,用Matlab/Simulink建立了控制系统模型,建构了虚拟空间对接地面半物理仿真台。采用滞后补偿等使系统的闭环动态性能达到要求。在空间对接地面半物理仿真台虚拟样机上,采用无阻尼振荡模型对空间对接动力学模型等进行了验证,对空间对接的缓冲过程进行了仿真。仿真结果表明空间对接动力学模型是正确的,空间对接地面半物理仿真台系统的建构思想是可行的。     

Performance of Digital Implementations of an Adaptive Processor

The performance of a digital implementation of an Applebaum-Howells type adaptive processor is analyzed for both a limiter and nonlimiter configuration. The performance is evaluated in terms of steady-state residue power, using either a single-pole filter or a perfect integrator to smooth the output of the correlation mixer. The latter filter is the more commonly used for digital implementations. It is shown that when using the perfect integrator filter for both the limiter and linear digital implementations, the steady-state average weight vector equals the optimum weight vector. Thus, for this filter, the steady-state residue power is the minimum possible for either implementation. When using the single-pole filter, neither implementation achieves the minimum possible steady-state residue power. The relative performance of the two implementations depends upon the relative gain settings. When the gains are adjusted to give comparable servo stability for the design maximum jammer power, a reasonable criterion for digital implementations because of analog to digital saturation, the limiter configuration always has smaller steady-state residue power.     

Dynamic response analysis under atmospheric disturbances for helicopters based on elastic blades

A flight dynamics model based on elastic blades for helicopters is developed. Modal shape analysis is used to describe the rotating elastic blades for the purpose of reducing the elastic degrees of freedom for blades. The analytical result is employed to predict the rotor forces and moments. The equilibrium equation of the flight dynamics model is then constructed for the elastic motion for blades and the rigid motion for other parts. The nonlinear equation is further simplified, and the gradient descent algorithm is adopted to implement the trim simulation. The trim analysis shows that the effect of blade elasticity on the accuracy of rotor forces and moments is apparent at high speed, and the proposed method presents good accuracy for trim performance. The time-domain response is realized by a combination of the Newmark method and the adaptive Runge-Kutta method. The helicopter control responses of collective pitch show that the response accuracy of the model at a yaw-and-pitch attitude is improved. Finally, the influence of blade elasticity on the helicopter dynamic response in low-altitude wind shear is investigated. An increase in blade elastic-ity reduces the oscillation amplitude of the yaw angle and the vertical speed by more than 70%. Compared with a rigid blade, an elastic blade reduces the vibration frequency of the angular veloc-ity and results in a fast return of the helicopter to its stable flight.     

Application of multi-objective optimization to axial compressor preliminary design

The axial compressor is one of the most challenging components for aero engine design. The highly complex and multi-disciplinary design process is built up from several separate design phases differing with respect to the number of details. Typically, meanline prediction is the first step of the aerodynamic design process where the goal is to provide a first guess and proper choice of basic design parameters. As a preliminary design procedure it is one of the most important parts of the compressor design process since a poor design decision on these parameters cannot be corrected by subsequent development efforts. The design of a compressor is always a compromise between contradicting requirements like high efficiency, low number of stages and high surge margin. This is typical for multi-criterion optimization problems requiring a high number of design analyses and a well-designed procedure for finding trade-off solutions. The paper will show how to automate a given Rolls-Royce preliminary design process in order to find Pareto-optimal trade-off solutions for design conditions. The aspect of process acceleration is also an important goal to release the design engineer from time-consuming parameter studies. Essential elements for speeding up the design process are the use of modern process integration tools, multi-criterion decision concepts, and nonlinear programming algorithms. Results will be shown based on a given Rolls-Royce compressor design for multi-objective optimization with respect to maximum efficiency, maximum surge margin, and maximum overall pressure ratio, where different deterministic and stochastic algorithms are used.     

Nonlinear control and stability analysis of spacecraft attitude recovery

The problem of automated attitude recovery of rigid and flexible spacecraft is investigated using feedback linearization control and a novel approach for generating the control error signal based on quaternion addition. The attitude and flexible dynamics equations for a class of spacecraft is presented. The resulting nonlinear and coupled equations of the system are implemented into a high-fidelity user-friendly simulation environment. The simulator is used for the investigation of attitude recovery of flexible spacecraft using the feedback linearization approach. Since the flexible spacecraft is underactuated, the input-output linearization technique was specifically used to break up the system into two distinct parts, namely 1) an external linearizable system for which a linear controller can be easily implemented, and 2) an internal nonlinear unobservable system for which the associated zero dynamics is shown to be asymptotically stable for two representative cases. The overall closed-loop stability of the flexible spacecraft is analyzed rigorously and shown to be asymptotically stable using Lyapunov's method     

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.     

Galileo Probe Mass Spectrometer experiment

The Galileo Probe Mass Spectrometer (GPMS) is a Probe instrument designed to measure the chemical and isotopic composition including vertical variations of the constituents in the atmosphere of Jupiter. The measurement will be performed by in situ sampling of the ambient atmosphere in the pressure range from approximately 150 mbar to 20 bar. In addition batch sampling will be performed for noble gas composition measurement and isotopic ratio determination and for sensitivity enhancement of non-reactive trace gases.The instrument consists of a gas sampling system which is connected to a quadrupole mass analyzer for molecular weight analysis. In addition two sample enrichment cells and one noble gas analysis cell are part of the sampling system. The mass range of the quadrupole analyzer is from 2 amu to 150 amu. The maximum dynamic range is 10⁸. The detector threshold ranges from 10 ppmv for H₂O to 1 ppbv for Kr and Xe. It is dependent on instrument background and ambient gas composition because of spectral interference. The threshold values are lowered through sample enrichment by a factor of 100 to 500 for stable hydrocarbons and by a factor of 10 for noble gases. The gas sampling system and the mass analyzer are sealed and evacuated until the measurement sequence is initiated after the Probe enters into the atmosphere of Jupiter. The instrument weighs 13.2 kg and the average power consumption is 13 W.The instrument follows a sampling sequence of 8192 steps and a sampling rate of two steps per second. The measurement period lasts appropriately 60 min through the nominal pressure and altitude range.     

基于“虚拟范围”的多机器人围捕算法

 讨论了基于SQL Server数据库的栅格地图建立方法。介绍了一种建立在势场法和栅格地图上的室外多机器人路径规划方法，分析了在已知地图中应用势场法进行路径规划时的路径死点和规划失败问题，并给出了解决方法。以势场栅格法为基础探讨了多机器人协作围捕动态目标的策略。在围捕算法中，根据室外机器人工作环境的特点，提出了“虚拟范围”的概念，以减少动态规划次数，提高围捕速度。介绍了机器人以“虚拟范围”为基准，在各种状态之间的转换机制。利用基于无线局域网的室外多机器人系统进行了试验，试验表明引入“虚拟范围”之后能有效缩短围捕时间，并且存在最短时“虚拟范围”。
     

A Preconditioned Multigrid Method for Efficient Simulation of Three-dimensional Compressible and Incompressible Flows

将矩阵预处理方法与多重网格方法结合,发展了适用于机翼及复杂外形气动数值优化设计的高效数值模拟方法和程序。在不改变定常流动解的前提下,对 Navier-Stokes 方程的时间导数项实施 Choi-Merkle 矩阵预处理,从而改善可压缩控制方程在低速情况下的系统刚性。Choi-Merkle 预处理最初用于二维低马赫数粘性流动数值模拟,本文将其推广应用到计算三维流动,并针对提高跨音速流动计算收敛性进行了相应的改进。预处理后控制方程采用中心格式有限体积进行空间离散,Runge-Kutta 混合多步方法进行显式时间推进求解,并应用 FAS 多重网格方法加速收敛。采用所发展的方法和程序数值模拟了绕 M6 机翼和 M100 机翼的低速和跨音速流动(马赫数从0.01 到 0.839)以及绕 F4 翼身组合体流动。计算结果与实验值吻合良好,验证了所发展的方法的正确性。算例研究表明所发展方法较大幅度地提高了三维流动数值模拟的效率,且同时适用于可压和不可压流动计算,在机翼及复杂外形气动优化设计方法具有应用前景     

Analysis of a Class of Nonlinear Sampled-Data Systems with a Gaussian Input Signal

The problem treated here is the analysis of a class of nonlinear sampled-data systems with a Gaussian input signal. The nonlinear element is a symmetrical limiter (memoryless device) that feeds the linear element. Preceding the limiter is a sampler and zero-order hold unit for data reconstruction. The analysis is predicated on finding an equivalent gain for the nonlinear element such that the mean-square error is a minimum. The nonlinearity is thus replaced by a linear component and the system is then analyzed by conventional techniques. It is also shown that for appropriate sampling rates the sampled-data system is equivalent to a continuous system due to the action of the sampler-hold combination. All calculations pertaining to the limiter input signal require the use of a transfer function that is interior to the feedback loop. However, in developing this transfer function, the overall system is considered so that the system output may be evaluated after the value of equivalent gain has been found.     

三维可压和不可压缩流动数值模拟的一种预处理多重网格方法研究(英文)

将矩阵预处理方法与多重网格方法结合,发展了适用于机翼及复杂外形气动数值优化设计的高效数值模拟方法和程序。在不改变定常流动解的前提下,对 Navier-Stokes 方程的时间导数项实施 Choi-Merkle 矩阵预处理,从而改善可压缩控制方程在低速情况下的系统刚性。Choi-Merkle 预处理最初用于二维低马赫数粘性流动数值模拟,本文将其推广应用到计算三维流动,并针对提高跨音速流动计算收敛性进行了相应的改进。预处理后控制方程采用中心格式有限体积进行空间离散,Runge-Kutta 混合多步方法进行显式时间推进求解,并应用 FAS 多重网格方法加速收敛。采用所发展的方法和程序数值模拟了绕 M6 机翼和 M100 机翼的低速和跨音速流动(马赫数从0.01 到 0.839)以及绕 F4 翼身组合体流动。计算结果与实验值吻合良好,验证了所发展的方法的正确性。算例研究表明所发展方法较大幅度地提高了三维流动数值模拟的效率,且同时适用于可压和不可压流动计算,在机翼及复杂外形气动优化设计方法具有应用前景