Precondicionadores baseados na aproximação da inversa.

Neste trabalho de dissertação apresentaremos uma classe de precondicionadores baseados na aproximação esparsa da inversa da matriz de coecientes, para a resolução de sistemas lineares esparsos de grandes portes através de métodos iterativos, mais especificamente métodos de Krylov. Para que um método de Krylov seja eficiente é extremamente necessário o uso de precondicionadores. No contexto atual, onde computadores de arquitetura híbrida são cada vez mais comuns temos uma demanda cada vez maior por precondicionadores paralelizáveis. Os métodos de inversa aproximada que serão descritos possuem aplicação paralela, pois so dependem de uma operação de produto matriz-vetor, que é altamente paralelizável. Além disso, alguns dos métodos também podem ser construídos em paralelo. A ideia principal é apresentar uma alternativa aos tradicionais precondicionadores que utilizam aproximações dos fatores LU, que apesar de robustos são de difícil paralelização.

基于广义模型和分类回归树的中国常见树种地理分布模拟研究

研究植被、物种分布与环境的关系一直是生态学中的重点。长期以来，在全球变化与陆地生态系统的研究中，主要研究重点是对大尺度植被分布的模拟和预测，并建立了大量的气候－植被分布关系模型。而对于物种潜在分布的模拟和预测，国内外相关的研究较少。近年来，随着统计技术和地理信息系统的发展，用于预测物种分布的统计模型技术得到了迅速的发展。统计模型技术已被广泛应用于生物地理分布、植物群落、生物多样性、气候变化影响评估等方面。 本论文基于当前在物种分布研究中应用广泛的广义线性模型、广义加法模型及分类回归树3种统计模型技术，对我国常见树种的地理分布进行模拟分析，并比较不同模型模拟精度的优劣，将模拟精度较高的模型应用于预测未来气候情景下我国几种主要树种的未来潜在地理分布。 基于建立的广义线性模型（GLM）、二次项逐步回归广义线性模型（SGLM）、广义加法模型（GAM）和分类回归树（CART）4个模型对我国20种常见树种地理分布进行模拟，结果表明，4个模型均有较高的模拟精度。GAM的模拟精度最高;添加二次项并进行逐步回归有效的提高了GLM的模拟精度;CART是一种基于规则的模型技术，模拟结果比GLM稍好，比GAM略差。 对不同树种的模拟分析表明，4个模型对于主要分布在暖温带落叶阔叶林区域的油松、辽东栎分布的模拟结果较差;GLM对分布在温带针阔混交林中红松、蒙古栎、胡桃楸和糠椴的模拟结果不太理想;4个模型对分布在中国亚热带常绿阔叶林区域的树种均表现出较高的模拟精度;对广布种也表现出很高的模拟精度。 结合地理信息系统，以地图形式将青冈、油松的模拟结果表示出来。结果表明：地理信息系统直观的反映出了模型模拟结果差异。4个模型均能很好模拟青冈的分布，且模拟结果接近;而对油松分布模拟结果4个模型均不甚理想，以GLM最差。这些结果与模型模拟评估结果相吻合。 在未来气候变化情景下，基于4个模型模拟结果优劣，以我国三种主要造林树种马尾松、油松、红松和两种常见树种青冈、蒙古栎为研究对象，分析其未来变化趋势。结果表明，未来气候变化情景下，对于马尾松而言，4个模型均预测马尾松在基本保持原有分布的基础上，其未来潜在分布区域均有所扩大，且有向西和向北扩展的趋势;对于油松而言，基于GLM、SGLM和GAM3个模型，油松的未来潜在分布除有北移的趋势外，其分布区还将向东北和西南两个方向扩展;对于红松而言，基于SGLM、GAM和CART3个模型的预测结果较为接近，即红松的未来潜在分布区域将有所减少;对蒙古栎而言，4个模型预测蒙古栎未来分布均将向西扩展;对青冈而言，4个模型预测青冈能基本保持其原有分布区，并向西和向北扩展，其中CART预测结果还表明，青冈在广东南部及广西南部的分布区域将消失。

Balanced parametrizations and canonical forms for system identification

This paper contains a review of recent results concerning the parametrization of asymptotically stable linear systems using balanced realizations. Particular emphasis is given on the application of these results to system identification. This work is part of a continuing programme aimed at elucidating the role of balanced realization in system identification.

The changing face and role of CACSD

Computer Aided Control Engineering involves three parallel streams: Simulation and modelling, Control system design (off-line), and Controller implementation. In industry the bottleneck problem has always been modelling, and this remains the case - that is where control (and other) engineers put most of their technical effort. Although great advances in software tools have been made, the cost of modelling remains very high - too high for some sectors. Object-oriented modelling, enabling truly re-usable models, seems to be the key enabling technology here. Software tools to support control systems design have two aspects to them: aiding and managing the work-flow in particular projects (whether of a single engineer or of a team), and provision of numerical algorithms to support control-theoretic and systems-theoretic analysis and design. The numerical problems associated with linear systems have been largely overcome, so that most problems can be tackled routinely without difficulty - though problems remain with (some) systems of extremely large dimensions. Recent emphasis on control of hybrid and/or constrained systems is leading to the emerging importance of geometric algorithms (ellipsoidal approximation, polytope projection, etc). Constantly increasing computational power is leading to renewed interest in design by optimisation, an example of which is MPC. The explosion of embedded control systems has highlighted the importance of autocode generation, directly from modelling/simulation products to target processors. This is the 'new kid on the block', and again much of the focus of commercial tools is on this part of the control engineer's job. Here the control engineer can no longer ignore computer science (at least, for the time being). © 2006 IEEE.

The changing face and role of CACSD

Computer Aided Control Engineering involves three parallel streams: Simulation and modelling, Control system design (off-line), and Controller implementation. In industry the bottleneck problem has always been modelling, and this remains the case - that is where control (and other) engineers put most of their technical effort. Although great advances in software tools have been made, the cost of modelling remains very high - too high for some sectors. Object-oriented modelling, enabling truly re-usable models, seems to be the key enabling technology here. Software tools to support control systems design have two aspects to them: aiding and managing the work-flow in particular projects (whether of a single engineer or of a team), and provision of numerical algorithms to support control-theoretic and systems-theoretic analysis and design. The numerical problems associated with linear systems have been largely overcome, so that most problems can be tackled routinely without difficulty - though problems remain with (some) systems of extremely large dimensions. Recent emphasis on control of hybrid and/or constrained systems is leading to the emerging importance of geometric algorithms (ellipsoidal approximation, polytope projection, etc). Constantly increasing computational power is leading to renewed interest in design by optimisation, an example of which is MPC. The explosion of embedded control systems has highlighted the importance of autocode generation, directly from modelling/simulation products to target processors. This is the 'new kid on the block', and again much of the focus of commercial tools is on this part of the control engineer's job. Here the control engineer can no longer ignore computer science (at least, for the time being). ©2006 IEEE.

H∞ design procedure using robust stabilization of normalized coprime factors

A two-stage H∞-based design procedure is described which uses a normalized coprime factor approach to robust stabilization of linear systems. A loop-shaping procedure is incroporated to allow the specification of performance characteristics. Theoretical justification of this technique and an outline of the design methodology are given.

A MIMO-OFDM testbed for wireless local area networks

We describe the design steps and final implementation of a MIMO OFDM prototype platform developed to enhance the performance of wireless LAN standards such as HiperLAN/2 and 802.11, using multiple transmit and multiple receive antennas. We first describe the channel measurement campaign used to characterize the indoor operational propagation environment, and analyze the influence of the channel on code design through a ray-tracing channel simulator. We also comment on some antenna and RF issues which are of importance for the final realization of the testbed. Multiple coding, decoding, and channel estimation strategies are discussed and their respective performance-complexity trade-offs are evaluated over the realistic channel obtained from the propagation studies. Finally,we present the design methodology, including cross-validation of the Matlab, C++, and VHDL components, and the final demonstrator architecture. We highlight the increased measured performance of the MIMO testbed over the single-antenna system. £.

Predictive control of a Boeing 747 aircraft using an FPGA

New embedded predictive control applications call for more eficient ways of solving quadratic programs (QPs) in order to meet demanding real-time, power and cost requirements. A single precision QP-on-a-chip controller is proposed, implemented in afield-programmable gate array (FPGA) with an iterative linear solver at its core. A novel offline scaling procedure is introduced to aid the convergence of the reduced precision solver. The feasibility of the proposed approach is demonstrated with a real-time hardware-in-the-loop (HIL) experimental setup where an ML605 FPGA board controls a nonlinear model of a Boeing 747 aircraft running on a desktop PC through an Ethernet link. Simulations show that the quality of the closed-loop control and accuracy of individual solutions is competitive with a conventional double precision controller solving linear systems using a Riccati recursion. © 2012 IFAC.

Power absorption invariance for brownian spring forcing

In [5] it was shown that, for a standard quarter-car vehicle model and a road disturbance whose velocity profile is white noise of intensity A, the mean power dissipated in the suspension is equal to kA/2 where k is the tyre vertical stiffness. It is remarkable that the power dissipation turns out to be independent of all masses and suspension parameters. The proof in [5] makes use of a spectral formulation of white noise and is specific to linear systems. This paper casts the result in a more general form and shows that it follows from a simple application of Ito calculus. © 2012 IEEE.

Stability margins of nonlinear receding-horizon control via inverse optimality

Using the nonlinear analog of the Fake Riccati equation developed for linear systems, we derive an inverse optimality result for several receding-horizon control schemes. This inverse optimality result unifies stability proofs and shows that receding-horizon control possesses the stability margins of optimal control laws. © 1997 Elsevier Science B.V.

What kind of friction model is needed to predict brake squeal?

Predictive models of friction-induced vibration have proved elusive despite decades of research. There are many mechanisms that can cause brake squeal; friction coupled systems can be highly sensitive to small perturbations; and the dynamic properties of friction at the contact zone seem to be poorly understood. This paper describes experimental and theoretical work aimed at identifying the key ingredients of a predictive model. A large-scale experiment was carried out to identify squeal initiations using a pin-on-disc test rig: approximately 30,000 squeal initiations were recorded, covering a very wide range of frequencies. The theoretical model allows for completely general linear systems coupled at a single sliding point by friction: squeal is predicted using a linearised stability analysis. Results will be presented that show that almost all observed squeal events can be predicted within this model framework, but that some subsets require innovative friction modelling: predictions are highly dependent on the particular choice of friction model and its associated parameters. Copyright © 2012 by ASME.

What kind of friction model is needed to predict brake squeal?

Predictive models of friction-induced vibration have proved elusive despite decades of research. There are many mechanisms that can cause brake squeal; friction coupled systems can be highly sensitive to small perturbations; and the dynamic properties of friction at the contact zone seem to be poorly understood. This paper describes experimental and theoretical work aimed at identifying the key ingredients of a predictive model. A large-scale experiment was carried out to identify squeal initiations using a pin-on-disc test rig: approximately 30,000 squeal initiations were recorded, covering a very wide range of frequencies. The theoretical model allows for completely general linear systems coupled at a single sliding point by friction: squeal is predicted using a linearised stability analysis. Results will be presented that show that almost all observed squeal events can be predicted within this model framework, but that some subsets require innovative friction modelling: predictions are highly dependent on the particular choice of friction model and its associated parameters. Copyright © 2012 by ASME.

Modeling of cyanobacterial blooms in hypereutrophic Lake Dianchi, China

Compared with other approaches for modeling and predicting, artificial neural networks are more effective in describing complex and non-linear systems. The occurrence of cyanobacterial blooms has been a continuous and serious problem over the past decades in hypereutrophic Lake Dianchi. Yet, the main factor(s) initiating these blooms remain(s) unclear. During 2001-2002 at 40 sampling sites in Lake Dianchi, physicochemical parameters possibly relating to the blooms were measured. Parameters directly or indirectly relating to the cyanobacterial blooms were used as driving factors in a back-propagation network to model the concentration of chlorophyll a. According to sensitivity analysis, chemical oxygen demand was identified as a very significant environmental factor for algal growth in Lake Dianchi.

多元统计学方法在光度分析中同时测定多组份体系应用的研究

本论文通过对计算方法的筛选，把目前被认为是最有前途的多元统计学方法－－主组份回归法（PCR）和偏最小二乘法（PLS）以及人们使用较多的CPA矩阵法固较为成熟的，且普遍使用的光度分析有机地结合在一起，对多组份混合体系进行了同时测定的应用研究。并详细阐述了多元线性回归方法（MLR）、PLS、PCR方法的基本数学原理，继而又以运行速度较快的FORTRAN语言分别编制了CPA矩阵法，PCR法，PLS法的计算机程序，实现了对光谱数据矩阵和校准浓度矩阵的计算机全处理过程，获得了预期的效果。经过它们处理计算的几个多组份混合体系的同时测定，也都取得了满意的结果。本文还通过对CPA矩阵法，PCR法和PLS法的计算测定的比较，归纳总结了它们各自的优缺点，并在校准样品的系列统计设计。以交叉证实法（Cross-Validation)确定最佳校准模型的因子数，不相容因子（DF）判定检查结果的可靠性等方面都作了较系统的有益探索，并提出了些新颖的观点和看法，证明了其具有广阔的应用前景。即使对有交互作用较强的药物样品的定量分析，仍取得了较满意的结果。本论文共作了如下四方面的探讨。1.CPA矩阵法在光度分析中进行多组份体系同时测定的研究。2.偏最小二乘法（PLS）在分光光度定量分析中的应用。它是以因子分析为基础的多元统计学方法。3.主组份回归法（PCR）同时计算测定钨、钼、钒。它是因子分析（FA）和MLR相结合的产物。故兼容了FA和多元线性回归法中的经典最小二乘法（CLS）和逆最小二法（ILS）的优点。4.多元统计学方法在光度分析中应用的研究。本文将较为优异的计算方法，PCR和PLS分别进行了多方面的分析测定研究。总之，PCR和PLS法都是因子分析（FA）和多元线性回归法（MLR）相结合的产物。在目前的计算方法中，被认为是最有前途的多元统计学方法。