Sharing storage using dirty vectors

Consider a computation F with n inputs (independent variables) and m outputs (dependent variables) and suppose that we wish to evaluate the Jacobian of F. Automatic differentiation commonly performs this evaluation by associating vector storage either with the program variables (in the case of forward-mode automatic differentiation) or with the adjoint variables (in the case of reverse). Each vector component contains a partial derivative with respect to an independent variable, or a partial derivative of a dependent variable, respectively. The vectors may be full vectors, or they may be dynamically managed sparse data structures. In either case, many of these vectors will be scalar multiples of one another. For example, any intermediate variable produced by a unary operation in the forward mode will have a derivative vector that is a multiple of the derivative for the argument. Any computational graph node that is read just once during its lifetime will have an adjoint vector that is a multiple of the adjoint of the node that reads it. It is frequently wasteful to perform component multiplications explicitly. A scalar multiple of another vector can be replaced by a single multiplicative "scale factor" together with a pointer to the other vector. Automated use of this "dirty vector" technique can save considerable memory management overhead and dramatically reduce the number of floating-point operations required. In particular, dirty vectors often allow shared threads of computation to be reverse-accumulated cheaply. The mechanism permits a number of generalizations, some of which give efficient techniques for preaccumulation

A design assessment of multiwall, metallic stand-off, and RSI reusable thermal protection systems including space shuttle application

The design and assessment of reusable surface insulation (RSI), metallic stand off and multiwall thermal protection systems (TPS) is discussed. Multiwall TPS is described in some detail, and analyses useful for design of multiwall are included. Results indicate that multiwall has the potential to satisfy the TPS design goals better than the other systems. The total mass of the stand-off TPS and of the metallic systems require less primary structure mass than the RSI system, since the nonbuckling skin criteria required for RSI may be removed. Continued development of multiwall TPS is required to verify its potential and to provide the necessary data base for design

Phased electromagnetic acoustic transducer array for Rayleigh wave surface defect detection

A phased electromagnetic acoustic transducer (EMAT) array system has been developed for detection and characterisation of surface breaking defects. An array of four linear coils which are individually controlled are used to generate a Rayleigh wave. The high current electronics combined with the coil designs enables the array to generate either narrowband or broadband signals, and controlling the phase delay between the channels makes it possible to change the ultrasound wavelength without requiring the physical separation of the coils to be changed. Experimental results show that the four-coil phased array is able to generate a wavelength range from 3.0 mm to 11.7 mm. Surface breaking defects were characterised using a transmit-receive set-up with a broadband EMAT detector being used to detect the Rayleigh wave. Machined surface slots with different depths were used for technique validation. The results show that the array is sensitive to surface defects and that a wide depth sensitivity range for defect sizing can be easily achieved by applying phasing to tune the wavelength of operation. A large increase in detection flexibility is immediately shown

A Graphical Language for Proof Strategies

Complex automated proof strategies are often difficult to extract, visualise, modify, and debug. Traditional tactic languages, often based on stack-based goal propagation, make it easy to write proofs that obscure the flow of goals between tactics and are fragile to minor changes in input, proof structure or changes to tactics themselves. Here, we address this by introducing a graphical language called PSGraph for writing proof strategies. Strategies are constructed visually by "wiring together" collections of tactics and evaluated by propagating goal nodes through the diagram via graph rewriting. Tactic nodes can have many output wires, and use a filtering procedure based on goal-types (predicates describing the features of a goal) to decide where best to send newly-generated sub-goals. In addition to making the flow of goal information explicit, the graphical language can fulfil the role of many tacticals using visual idioms like branching, merging, and feedback loops. We argue that this language enables development of more robust proof strategies and provide several examples, along with a prototype implementation in Isabelle

Non-linear enhancement of laser generated ultrasonic Rayleigh waves by cracks

Laser generated ultrasound has been widely used for detecting cracks, surface and sub-surface defects in many different materials. It provides a non-contact wideband excitation source which can be focused into different geometries. Previous workers have reported enhancement of the laser generated Rayleigh wave when a crack is illuminated by pulsed laser beam irradiation. We demonstrate that the enhancement observed is due to a combination of source truncation, the free boundary condition at the edge of the crack and interference effects. Generating a Rayleigh wave over a crack can lead to enhancement of the amplitude of the Rayleigh wave signal, a shift in the dominant frequency of the wideband Rayleigh wave and strong enhancement of the high frequency components of the Rayleigh wave

Flutter at Mach 3 of thermally stressed panels and comparison with theory for panels with edge rotational restraint

Flutter at Mach 3 of thermally stressed flat isotropic panel

The Last of the Finite Loop Amplitudes in QCD

We use on-shell recursion relations to determine the one-loop QCD scattering amplitudes with a massless external quark pair and an arbitrary number (n-2) of positive-helicity gluons. These amplitudes are the last of the unknown infrared- and ultraviolet-finite loop amplitudes of QCD. The recursion relations are similar to ones applied at tree level, but contain new non-trivial features corresponding to poles present for complex momentum arguments but absent for real momenta. We present the relations and the compact solutions to them, valid for all n. We also present compact forms for the previously-computed one-loop n-gluon amplitudes with a single negative helicity and the rest positive helicity.Comment: 45 pages, revtex, 7 figures, v2 minor correction

Prevalence of vertebral fractures on chest radiographs of elderly African American and Caucasian women.

The prevalence of vertebral fractures on routine chest radiographs of elderly Caucasian women was only 1.3 times higher than in African American (AA) women, a difference considerably smaller than reported in population studies. AAs with medical problems may have higher risk of vertebral fractures than previously suspected.IntroductionEarlier studies noted a 1.9- to 3.7-fold higher prevalence of vertebral fractures in Caucasian (CA) compared to African American (AA) women. These studies, however, may have suffered from selection bias. We reported that among women referred for bone density testing, the prevalence of vertebral fractures in AA was the same as in CA women. Suspecting that the latter might have been due to a referral bias, we examined the racial difference in the prevalence of vertebra fractures on chest radiographs of patients seeking general medical care, not selected for osteoporosis.MethodsConsecutive chest radiographs (N = 1,200) of women over age 60 were evaluated using Genant's semi-quantitative method. Patients' race and the presence of diseases or medications associated with increased fracture risk were ascertained from the electronic medical records.ResultsAmong 1,011 women (76% AA) with usable radiographs, 11% had moderate or severe vertebral fractures. The prevalence of vertebral fractures was 10.3% in 773 AA and 13% in 238 CA women (p = 0.248 for difference between races). The lack of difference persisted after controlling for age, smoking, use of glucocorticoids, or presence of cancer, rheumatoid arthritis, organ transplantation, and end-stage renal disease. Among all subjects, CA women were more likely to be diagnosed and treated for osteoporosis (p <0.001).ConclusionAmong subjects seeking medical care, the difference in the prevalence of vertebral fractures between AA and CA women is smaller than previously suspected. Greater attention to the detection of vertebral fractures and the management of osteoporosis is warranted in AA women with medical problems