Computation of discrete cosine transform using Clenshaw's recurence formula

Clenshaw’s recurrenee formula is used to derive recursive algorithms for the discrete cosine transform @CT) and the inverse discrete cosine transform (IDCT). The recursive DCT algorithm presented here requires one fewer delay element per coefficient and one fewer multiply operation per coeflident compared with two recently proposed methods. Clenshaw’s recurrence formula provides a unified development for the recursive DCT and IDCT algorithms. The M v e al gorithms apply to arbitrary lengtb algorithms and are appropriate for VLSI implementation.

Future value based single assignment program representations and optimizations

An optimizing compiler internal representation fundamentally affects the clarity, efficiency and feasibility of optimization algorithms employed by the compiler. Static Single Assignment (SSA) as a state-of-the-art program representation has great advantages though still can be improved. This dissertation explores the domain of single assignment beyond SSA, and presents two novel program representations: Future Gated Single Assignment (FGSA) and Recursive Future Predicated Form (RFPF). Both FGSA and RFPF embed control flow and data flow information, enabling efficient traversal program information and thus leading to better and simpler optimizations. We introduce future value concept, the designing base of both FGSA and RFPF, which permits a consumer instruction to be encountered before the producer of its source operand(s) in a control flow setting. We show that FGSA is efficiently computable by using a series T1/T2/TR transformation, yielding an expected linear time algorithm for combining together the construction of the pruned single assignment form and live analysis for both reducible and irreducible graphs. As a result, the approach results in an average reduction of 7.7%, with a maximum of 67% in the number of gating functions compared to the pruned SSA form on the SPEC2000 benchmark suite. We present a solid and near optimal framework to perform inverse transformation from single assignment programs. We demonstrate the importance of unrestricted code motion and present RFPF. We develop algorithms which enable instruction movement in acyclic, as well as cyclic regions, and show the ease to perform optimizations such as Partial Redundancy Elimination on RFPF.

Adaptive control of sinusoidal brushless DC motor actuators

Electrical Power Assisted Steering system (EPAS) will likely be used on future automotive power steering systems. The sinusoidal brushless DC (BLDC) motor has been identified as one of the most suitable actuators for the EPAS application. Motor characteristic variations, which can be indicated by variations of the motor parameters such as the coil resistance and the torque constant, directly impart inaccuracies in the control scheme based on the nominal values of parameters and thus the whole system performance suffers. The motor controller must address the time-varying motor characteristics problem and maintain the performance in its long service life. In this dissertation, four adaptive control algorithms for brushless DC (BLDC) motors are explored. The first algorithm engages a simplified inverse dq-coordinate dynamics controller and solves for the parameter errors with the q-axis current (iq) feedback from several past sampling steps. The controller parameter values are updated by slow integration of the parameter errors. Improvement such as dynamic approximation, speed approximation and Gram-Schmidt orthonormalization are discussed for better estimation performance. The second algorithm is proposed to use both the d-axis current (id) and the q-axis current (iq) feedback for parameter estimation since id always accompanies iq. Stochastic conditions for unbiased estimation are shown through Monte Carlo simulations. Study of the first two adaptive algorithms indicates that the parameter estimation performance can be achieved by using more history data. The Extended Kalman Filter (EKF), a representative recursive estimation algorithm, is then investigated for the BLDC motor application. Simulation results validated the superior estimation performance with the EKF. However, the computation complexity and stability may be barriers for practical implementation of the EKF. The fourth algorithm is a model reference adaptive control (MRAC) that utilizes the desired motor characteristics as a reference model. Its stability is guaranteed by Lyapunov’s direct method. Simulation shows superior performance in terms of the convergence speed and current tracking. These algorithms are compared in closed loop simulation with an EPAS model and a motor speed control application. The MRAC is identified as the most promising candidate controller because of its combination of superior performance and low computational complexity. A BLDC motor controller developed with the dq-coordinate model cannot be implemented without several supplemental functions such as the coordinate transformation and a DC-to-AC current encoding scheme. A quasi-physical BLDC motor model is developed to study the practical implementation issues of the dq-coordinate control strategy, such as the initialization and rotor angle transducer resolution. This model can also be beneficial during first stage development in automotive BLDC motor applications.

Development and simulation of DSP filters for transformer differential protection / by Oskar Reynisson.

Transformer protection is one of the most challenging applications within the power system protective relay field. Transformers with a capacity rating exceeding 10 MVA are usually protected using differential current relays. Transformers are an aging and vulnerable bottleneck in the present power grid; therefore, quick fault detection and corresponding transformer de-energization is the key element in minimizing transformer damage. Present differential current relays are based on digital signal processing (DSP). They combine DSP phasor estimation and protective-logic-based decision making. The limitations of existing DSP-based differential current relays must be identified to determine the best protection options for sensitive and quick fault detection. The development, implementation, and evaluation of a DSP differential current relay is detailed. The overall goal is to make fault detection faster without compromising secure and safe transformer operation. A detailed background on the DSP differential current relay is provided. Then different DSP phasor estimation filters are implemented and evaluated based on their ability to extract desired frequency components from the measured current signal quickly and accurately. The main focus of the phasor estimation evaluation is to identify the difference between using non-recursive and recursive filtering methods. Then the protective logic of the DSP differential current relay is implemented and required settings made in accordance with transformer application. Finally, the DSP differential current relay will be evaluated using available transformer models within the ATP simulation environment. Recursive filtering methods were found to have significant advantage over non-recursive filtering methods when evaluated individually and when applied in the DSP differential relay. Recursive filtering methods can be up to 50% faster than non-recursive methods, but can cause false trip due to overshoot if the only objective is speed. The relay sensitivity is however independent of filtering method and depends on the settings of the relay’s differential characteristics (pickup threshold and percent slope).

Light Transport in PT-invariant Photonic Structures with Hidden Symmetries

We introduce a recursive bosonic quantization technique for generating classical PT photonic structures that possess hidden symmetries and higher order exceptional points. We study light transport in these geometries and we demonstrate that perfect state transfer is possible only for certain initial conditions. Moreover, we show that for the same propagation direction, left and right coherent transports are not symmetric with field amplitudes following two different trajectories. A general scheme for identifying the conservation laws in such PT-symmetric photonic networks is also presented.

Variations of the FEAST Eigenvalue Algorithm

FEAST is a recently developed eigenvalue algorithm which computes selected interior eigenvalues of real symmetric matrices. It uses contour integral resolvent based projections. A weakness is that the existing algorithm relies on accurate reasoned estimates of the number of eigenvalues within the contour. Examining the singular values of the projections on moderately-sized, randomly-generated test problems motivates orthogonalization-based improvements to the algorithm. The singular value distributions provide experimentally robust estimates of the number of eigenvalues within the contour. The algorithm is modified to handle both Hermitian and general complex matrices. The original algorithm (based on circular contours and Gauss-Legendre quadrature) is extended to contours and quadrature schemes that are recursively subdividable. A general complex recursive algorithm is implemented on rectangular and diamond contours. The accuracy of different quadrature schemes for various contours is investigated.

Modeling tree water deficit from microclimate: an approach to quantifying drought stress

Tree water deficit estimated by measuring water-related changes in stem radius (DeltaW) was compared with tree water deficit estimated from the output of a simple, physiologically reasonable model (DeltaW(E)), with soil water potential (Psi(soil)) and atmospheric vapor pressure deficit (VPD) as inputs. Values of DeltaW were determined by monitoring stem radius changes with dendrometers and detrending the results for growth, We followed changes in DeltaW and DeltaW(E) in Pinus sylvestris L. and Quercus pubescens Willd. over 2 years at a dry site (2001-2002; Salgesch, Wallis) and in Picea abies (L.) Karst. for 1 year at a wet site (1998; Davos, Graubuenden) in the Swiss Alps. The seasonal courses of DeltaW in deciduous species and in conifers at the same site were similar and could be largely explained by variation in DeltaW(E). This finding strongly suggests that DeltaW, despite the known species-specific differences in stomatal response to microclimate, is mainly explained by a combination of atmospheric and soil conditions. Consequently, we concluded that trees are unable to maintain any particular DeltaW. Either Psi(soil) or VPD alone provided poorer estimates of AWthan a model incorporating both factors. As a first approximation of DeltaW(E), Psi(soil) can be weighted so that the negative mean Psi(soil) reaches 65 to 75% of the positive mean daytime VPD over a season (Q. pubescens: similar to65%, P abies: similar to70%, P sylvestris: similar to75%). The differences in DeltaW among species can be partially explained by a different weighting of Psi(soil) against VPD. The DeltaW of P. sylvestris was more dependent on Psi(soil) than that of Q. pubescens, but less than that of P. abies, and was less dependent on VPD than that of P. abies and Q. pubescens. The model worked well for P. abies at the wet site and for Q. pubescens and P. sylvestris at the dry site, and may be useful for estimating water deficit in other tree species.

From hierarchies to well-foundedness

We highlight that the connection of well-foundedness and recursive definitions is more than just convenience. While the consequences of making well-foundedness a sufficient condition for the existence of hierarchies (of various complexity) have been extensively studied, we point out that (if parameters are allowed) well-foundedness is a necessary condition for the existence of hierarchies e.g. that even in an intuitionistic setting (Π01−CA0)α⊢wf(α)where(Π01−CA0)α stands for the iteration of Π01 comprehension (with parameters) along some ordinal α and wf(α) stands for the well-foundedness of α.

Predicting the "usefulness" of 5-ALA-derived tumor fluorescence for fluorescence-guided resections in pediatric brain tumors: a European survey.

BACKGROUND Five-aminolevulinic acid (Gliolan, medac, Wedel, Germany, 5-ALA) is approved for fluorescence-guided resections of adult malignant gliomas. Case reports indicate that 5-ALA can be used for children, yet no prospective study has been conducted as of yet. As a basis for a study, we conducted a survey among certified European Gliolan users to collect data on their experiences with children. METHODS Information on patient characteristics, MRI characteristics of tumors, histology, fluorescence qualities, and outcomes were requested. Surgeons were further asked to indicate whether fluorescence was "useful", i.e., leading to changes in surgical strategy or identification of residual tumor. Recursive partitioning analysis (RPA) was used for defining cohorts with high or low likelihoods for useful fluorescence. RESULTS Data on 78 patients <18 years of age were submitted by 20 centers. Fluorescence was found useful in 12 of 14 glioblastomas (85 %), four of five anaplastic astrocytomas (60 %), and eight of ten ependymomas grades II and III (80 %). Fluorescence was found inconsistently useful in PNETs (three of seven; 43 %), gangliogliomas (two of five; 40 %), medulloblastomas (two of eight, 25 %) and pilocytic astrocytomas (two of 13; 15 %). RPA of pre-operative factors showed tumors with supratentorial location, strong contrast enhancement and first operation to have a likelihood of useful fluorescence of 64.3 %, as opposed to infratentorial tumors with first surgery (23.1 %). CONCLUSIONS Our survey demonstrates 5-ALA as being used in pediatric brain tumors. 5-ALA may be especially useful for contrast-enhancing supratentorial tumors. These data indicate controlled studies to be necessary and also provide a basis for planning such a study.

Long-term summer temperature variations in the Pyrenees from detrended stable carbon isotopes

Substantial effort has recently been put into the development of climate reconstructions from tree-ring stable carbon isotopes, though the interpretation of long-term trends retained in such timeseries remains challenging. Here we use detrended δ13C measurements in Pinus uncinata tree-rings, from the Spanish Pyrenees, to reconstruct decadal variations in summer temperature back to the 13th century. The June-August temperature signal of this reconstruction is attributed using decadally as well as annually resolved, 20th century δ13C data. Results indicate that late 20th century warming has not been unique within the context of the past 750 years. Our reconstruction contains greater am-plitude than previous reconstructions derived from traditional tree-ring density data, and describes particularly cool conditions during the late 19th century. Some of these differences, including early warm periods in the 14th and 17th centuries, have been retained via δ13C timeseries detrending - a novel approach in tree-ring stable isotope chronology development. The overall reduced variance in earlier studies points to an underestimation of pre-instrumental summer temperature variability de-rived from traditional tree-ring parameters.

Modern solar maximum forced late twentieth century Greenland cooling

The abrupt Northern Hemispheric warming at the end of the twentieth century has been attributed to an enhanced greenhouse effect. Yet Greenland and surrounding subpolar North Atlantic remained anomalously cold in 1970s to early 1990s. Here we reconstructed robust Greenland temperature records (North Greenland Ice Core Project and Greenland Ice Sheet Project 2) over the past 2100 years using argon and nitrogen isotopes in air trapped within ice cores and show that this cold anomaly was part of a recursive pattern of antiphase Greenland temperature responses to solar variability with a possible multidecadal lag. We hypothesize that high solar activity during the modern solar maximum (approximately 1950s–1980s) resulted in a cooling over Greenland and surrounding subpolar North Atlantic through the slowdown of Atlantic Meridional Overturning Circulation with atmospheric feedback processes.

Climate-pollen relationships AD 1901-1996 in two small mires near the forest limit in the northern and central Swiss Alps

Climatic relationships were established in two 210Pb dated pollen sequences from small mires closely surrounded by forest just below actual forest limits (but about 300 m below potential climatic forest limits) in the northern Swiss Alps (suboceanic in climate; mainly with Picea) and the central Swiss Alps (subcontinental; mainly Pinus cembra and Larix) at annual or near-annual resolution from ad 1901 to 1996. Effects of vegetational succession were removed by splitting the time series into early and late periods and by linear detrending. Both pollen concentrations detrended by the depth-age model and modified percentages (in which counts of dominant pollen types are down-weighted) are correlated by simple linear regression with smoothed climatic parameters with one-and two-year timelags, including average monthly and April/September daylight air temperatures and with seasonal and annual precipitation sums. Results from detrended pollen concentrations suggest that peat accumulation is favoured in the northern-Alpine mire either by early snowmelt or by summer precipitation, but in the central-Alpine mire by increased precipitation and cooler summers, suggesting a position of the northern-Alpine mire near the upper altitudinal limit of peat formation, but of the central-Alpine mire near the lower limit. Results from modified pollen percentages indicate that pollen pro duction by plants growing near their upper altitudinal limit is limited by insufficient warmth in summer, and pollen production by plants growing near their lower altitudinal limit is limited by too-high temperatures. Only weakly significant pollen/climate relationships were found for Pinus cembra and Larix, probably because they experience little climatic stress growing 300 m below the potential climatic forest limit.

The Time-Series Properties on Housing Prices: A Case Study of the Southern California Market

We examine the time-series relationship between housing prices in eight Southern California metropolitan statistical areas (MSAs). First, we perform cointegration tests of the housing price indexes for the MSAs, finding seven cointegrating vectors. Thus, the evidence suggests that one common trend links the housing prices in these eight MSAs, a purchasing power parity finding for the housing prices in Southern California. Second, we perform temporal Granger causality tests revealing intertwined temporal relationships. The Santa Anna MSA leads the pack in temporally causing housing prices in six of the other seven MSAs, excluding only the San Luis Obispo MSA. The Oxnard MSA experienced the largest number of temporal effects from other MSAs, six of the seven, excluding only Los Angeles. The Santa Barbara MSA proved the most isolated in that it temporally caused housing prices in only two other MSAs (Los Angels and Oxnard) and housing prices in the Santa Anna MSA temporally caused prices in Santa Barbara. Third, we calculate out-of-sample forecasts in each MSA, using various vector autoregressive (VAR) and vector error-correction (VEC) models, as well as Bayesian, spatial, and causality versions of these models with various priors. Different specifications provide superior forecasts in the different MSAs. Finally, we consider the ability of theses time-series models to provide accurate out-of-sample predictions of turning points in housing prices that occurred in 2006:Q4. Recursive forecasts, where the sample is updated each quarter, provide reasonably good forecasts of turning points.

"Ripple Effects" and Forecasting Home Prices in Los Angeles, Las Vegas, and Phoenix

We examine the time-series relationship between housing prices in Los Angeles, Las Vegas, and Phoenix. First, temporal Granger causality tests reveal that Los Angeles housing prices cause housing prices in Las Vegas (directly) and Phoenix (indirectly). In addition, Las Vegas housing prices cause housing prices in Phoenix. Los Angeles housing prices prove exogenous in a temporal sense and Phoenix housing prices do not cause prices in the other two markets. Second, we calculate out-of-sample forecasts in each market, using various vector autoregessive (VAR) and vector error-correction (VEC) models, as well as Bayesian, spatial, and causality versions of these models with various priors. Different specifications provide superior forecasts in the different cities. Finally, we consider the ability of theses time-series models to provide accurate out-of-sample predictions of turning points in housing prices that occurred in 2006:Q4. Recursive forecasts, where the sample is updated each quarter, provide reasonably good forecasts of turning points.

Is Menopause Optimal?

Various theories have been put forward to explain the fact that humans experience menopause while virtually no animals do. This paper aims to investigate one such theory: children provide a savings technology into old age, but as human babies are usually large and have long gestation periods, a substantial risk of death exists for the mother as she bears children. It seems therefore appropriate to impose a stopping rule for fertility. Given an objective (support for old age) and demographics (mortality of mother and children), an optimal age for menopause can be calculated. Using demographic data from populations that have seen little influence from modern medicine, this optimal age is compared to empirical evidence.