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.

Dynamic modeling, simulation and control design of a parafoil-payload system for ship launched aerial delivery system (SLADS)

The objective of this research was to develop a high-fidelity dynamic model of a parafoilpayload system with respect to its application for the Ship Launched Aerial Delivery System (SLADS). SLADS is a concept in which cargo can be transfered from ship to shore using a parafoil-payload system. It is accomplished in two phases: An initial towing phase when the glider follows the towing vessel in a passive lift mode and an autonomous gliding phase when the system is guided to the desired point. While many previous researchers have analyzed the parafoil-payload system when it is released from another airborne vehicle, limited work has been done in the area of towing up the system from ground or sea. One of the main contributions of this research was the development of a nonlinear dynamic model of a towed parafoil-payload system. After performing an extensive literature review of the existing methods of modeling a parafoil-payload system, a five degree-of-freedom model was developed. The inertial and geometric properties of the system were investigated to predict accurate results in the simulation environment. Since extensive research has been done in determining the aerodynamic characteristics of a paraglider, an existing aerodynamic model was chosen to incorporate the effects of air flow around the flexible paraglider wing. During the towing phase, it is essential that the parafoil-payload system follow the line of the towing vessel path to prevent an unstable flight condition called ‘lockout’. A detailed study of the causes of lockout, its mathematical representation and the flight conditions and the parameters related to lockout, constitute another contribution of this work. A linearized model of the parafoil-payload system was developed and used to analyze the stability of the system about equilibrium conditions. The relationship between the control surface inputs and the stability was investigated. In addition to stability of flight, one more important objective of SLADS is to tow up the parafoil-payload system as fast as possible. The tension in the tow cable is directly proportional to the rate of ascent of the parafoil-payload system. Lockout instability is more favorable when tow tensions are large. Thus there is a tradeoff between susceptibility to lockout and rapid deployment. Control strategies were also developed for optimal tow up and to maintain stability in the event of disturbances.

STUDY OF HYBRID ELECTRIC VEHICLE BATTERY MODELING AND CONTROL USING AUTONOMIE

This report presents the research results of battery modeling and control for hybrid electric vehicles (HEV). The simulation study is conducted using plug-and-play powertrain and vehicle development software, Autonomie. The base vehicle model used for testing the performance of battery model and battery control strategy is the Prius MY04, a power-split hybrid electric vehicle model in Autonomie. To evaluate the battery performance for HEV applications, the Prius MY04 model and its powertrain energy flow in various vehicle operating modes are analyzed. The power outputs of the major powertrain components under different driving cycles are discussed with a focus on battery performance. The simulation results show that the vehicle fuel economy calculated by the Autonomie Prius MY04 model does not match very well with the official data provided by the department of energy (DOE). It is also found that the original battery model does not consider the impact of environmental temperature on battery cell capacities. To improve battery model, this study includes battery current loss on coulomb coefficient and the impact of environmental temperature on battery cell capacity in the model. In addition, voltage losses on both double layer effect and diffusion effect are included in the new battery model. The simulation results with new battery model show the reduced fuel economy error to the DOE data comparing with the original Autonomie Prius MY04 model.

Selective matrix remodeling to increase interstitial flow in lymphedema

Lymphedema is a disease characterized by swelling resulting from the accumulation of fluid in the extracellular matrix (ECM) of the skin. In order to alleviate this swelling, the authors sought to selectively degrade certain hydrophilic molecules in the ECM called glycosaminoglycans (GAGs). GAGs are long unbranched sugar molecules present in the ECM that attract water to their numerous negative charges. The authors hypothesized that the density of GAGs would increase in lymphedema and inhibit fluid from leaving the tissue. An existing mouse tail model of experimental lymphedema that reproduced important features of the human condition was used to evaluate GAG content in swollen tissue. In this model, a surgical excision of tissue was made circumferentially around the tail that caused swelling distal to the wound site. Tissue distal to the wound site was analyzed via two assays; one that measured hyaluronan (an unsulfated GAG) and another that measured sulfated GAGs (including Dermatan Sulfate and Chondroitin Sulfate), at various timepoints post surgical intervention. Hyaluronan (HA) levels were significantly higher than control (tissues with no surgical intervention) by day 5 (p

INFLUENCE OF 24-HOUR SLEEP DEPRIVATION ON CARDIOVASCULAR AND NEURAL CONTROL AT REST AND DURING ACUTE STRESS IN HUMANS

Recent epidemiological studies report a consistent association between short sleep and incidence of hypertension, as well as short sleep and cardiovascular disease-related mortality. While the association between short sleep and hypertension appears to be stronger in women than men, the mechanisms underlying the relations between sleep deprivation, stress, risks of cardiovascular diseases, and sex remain unclear. We conducted two studies to investigate the underlying neural mechanisms of these relations. In study 1, we examined sympathetic neural and blood pressure responses to experimentally-induced sleep deprivation in men and women. We further investigated the influence of sleep deprivation on cardiovascular reactivity to acute stress. In study 2, we examined the neural and cardiovascular function throughout the ovarian cycle in sleep deprived women. Twenty-eight young healthy subjects (14men and 14 women) were tested twice in study 1, once after normal sleep (NS) and once after 24-h total sleep deprivation (TSD). We measured the blood pressure, heart rate (HR), muscle sympathetic nerve activity (MSNA) and forearm blood flow (FBF) during 10min baseline, 5min of mental stress (MS) and 2 min cold pressor test (CPT). We demonstrated that TSD increased resting arterial blood pressure to a similar extent in both men and women, but MSNA decreased only in men following TSD. This MSNA response was associated with altered baroreflex function in women and divergent testosterone responses to TSD between men and women. Regarding TSD and cardiovascular reactivity, TSD elicited augmented HR reactivity and delayed recovery during both MS and CPT in men and women, and responses between sexes were not statistically different. Fourteen young healthy women participated in study 2. Subjects were tested twice, once during their early follicular (EF) phase after TSD, once during their mid-luteal (ML) phase after TSD. Blood pressure, HR, MSNA, and FBF were recorded during 10min baseline, 5 min MS, and 2 min CPT. We observed an augmented resting supine blood pressure during EF compared to ML in sleep deprived women. In contrast, resting MSNA, as well as cardiovascular responses to stressors, were similar between EF and ML after TSD. In conclusion, we observed sex differences in MSNA responses to TSD that demonstrate reductions of MSNA in men, but not women. TSD elicited augmented HR reactivity and delayed HR recovery to acute stressors similarly in men and women. We also reported an augmented supine blood pressure during EF compared to ML in sleep deprived women. These novel findings provide new and valuable mechanistic insight regarding the complex and poorly understood relations among sleep deprivation, sex, stress, and risk of cardiovascular disease.

COMPUTATIONAL ANALYSIS OF THE AEROELASTIC DYNAMICS OF A WIND TURBINE BLADE WITH VARIABLE-SPEED STALL CONTROL

The accuracy of simulating the aerodynamics and structural properties of the blades is crucial in the wind-turbine technology. Hence the models used to implement these features need to be very precise and their level of detailing needs to be high. With the variety of blade designs being developed the models should be versatile enough to adapt to the changes required by every design. We are going to implement a combination of numerical models which are associated with the structural and the aerodynamic part of the simulation using the computational power of a parallel HPC cluster. The structural part models the heterogeneous internal structure of the beam based on a novel implementation of the Generalized Timoshenko Beam Model Technique.. Using this technique the 3-D structure of the blade is reduced into a 1-D beam which is asymptotically equivalent. This reduces the computational cost of the model without compromising its accuracy. This structural model interacts with the Flow model which is a modified version of the Blade Element Momentum Theory. The modified version of the BEM accounts for the large deflections of the blade and also considers the pre-defined structure of the blade. The coning, sweeping of the blade, tilt of the nacelle and the twist of the sections along the blade length are all computed by the model which aren’t considered in the classical BEM theory. Each of these two models provides feedback to the other and the interactive computations lead to more accurate outputs. We successfully implemented the computational models to analyze and simulate the structural and aerodynamic aspects of the blades. The interactive nature of these models and their ability to recompute data using the feedback from each other makes this code more efficient than the commercial codes available. In this thesis we start off with the verification of these models by testing it on the well-known benchmark blade for the NREL-5MW Reference Wind Turbine, an alternative fixed-speed stall-controlled blade design proposed by Delft University, and a novel alternative design that we proposed for a variable-speed stall-controlled turbine, which offers the potential for more uniform power control and improved annual energy production.. To optimize the power output of the stall-controlled blade we modify the existing designs and study their behavior using the aforementioned aero elastic model.

A STUDY ON THE FEASIBILITY OF UNIVERSAL CHIP CONTROL IN MACHINING

A novel solution to the long standing issue of chip entanglement and breakage in metal cutting is presented in this dissertation. Through this work, an attempt is made to achieve universal chip control in machining by using chip guidance and subsequent breakage by backward bending (tensile loading of the chip's rough top surface) to effectively control long continuous chips into small segments. One big limitation of using chip breaker geometries in disposable carbide inserts is that the application range is limited to a narrow band depending on cutting conditions. Even within a recommended operating range, chip breakers do not function effectively as designed due to the inherent variations of the cutting process. Moreover, for a particular process, matching the chip breaker geometry with the right cutting conditions to achieve effective chip control is a very iterative process. The existence of a large variety of proprietary chip breaker designs further exacerbates the problem of easily implementing a robust and comprehensive chip control technique. To address the need for a robust and universal chip control technique, a new method is proposed in this work. By using a single tool top form geometry coupled with a tooling system for inducing chip breaking by backward bending, the proposed method achieves comprehensive chip control over a wide range of cutting conditions. A geometry based model is developed to predict a variable edge inclination angle that guides the chip flow to a predetermined target location. Chip kinematics for the new tool geometry is examined via photographic evidence from experimental cutting trials. Both qualitative and quantitative methods are used to characterize the chip kinematics. Results from the chip characterization studies indicate that the chip flow and final form show a remarkable consistency across multiple levels of workpiece and tool configurations as well as cutting conditions. A new tooling system is then designed to comprehensively break the chip by backward bending. Test results with the new tooling system prove that by utilizing the chip guidance and backward bending mechanism, long continuous chips can be more consistently broken into smaller segments that are generally deemed acceptable or good chips. It is found that the proposed tool can be applied effectively over a wider range of cutting conditions than present chip breakers thus taking possibly the first step towards achieving universal chip control in machining.