Holographic and ultrasonic detection of bond flaws in aluminum panels reinforced with boron-epoxy

An experimental investigation was made of the application of holographic interferometry to the nondestructive detection of unbonded areas (flaws) in bonded panels. Flaw detection results were compared with results obtained with an ultrasonic flaw detector. Holography, with panel deformation accomplished by a reduction in ambient pressure, is less sensitive for flaws beneath 5 and 10 plies of boron-epoxy than the ultrasonic method, though it does have its operational advantages. A process for the manufacture of bonded panels which incorporate known unbonded areas was also developed. The unbonded areas were formed without the use of foreign materials, which makes the method suitable for the construction of reference standards for bonded panels whenever needed for the proper setup of ultrasonic flaw-detection instruments

AF-algebras and topology of mapping tori

A covariant functor from the category of mapping tori to a category of AF-algebras is constructed; the functor takes continuous maps between such manifolds to stable homomorphisms between the corresponding AF-algebras. We use this functor to develop an obstruction theory for the torus bundles of dimension 2, 3 and 4.Comment: to appear Czechoslovak Math.

Modern Electronic Techniques Applied to Physics and Engineering

Contains reports on five research projects

Stability of a cubic fixed point in three dimensions. Critical exponents for generic N

The detailed analysis of the global structure of the renormalization-group (RG) flow diagram for a model with isotropic and cubic interactions is carried out in the framework of the massive field theory directly in three dimensions (3D) within an assumption of isotropic exchange. Perturbative expansions for RG functions are calculated for arbitrary $N$ up to the four-loop order and resummed by means of the generalized Pad$\acute{\rm e}$-Borel-Leroy technique. Coordinates and stability matrix eigenvalues for the cubic fixed point are found under the optimal value of the transformation parameter. Critical dimensionality of the model is proved to be equal to $N_c=2.89 \pm 0.02$ that agrees well with the estimate obtained on the basis of the five-loop \ve-expansion [H. Kleinert and V. Schulte-Frohlinde, Phys. Lett. B342, 284 (1995)] resummed by the above method. As a consequence, the cubic fixed point should be stable in 3D for $N\ge3$, and the critical exponents controlling phase transitions in three-dimensional magnets should belong to the cubic universality class. The critical behavior of the random Ising model being the nontrivial particular case of the cubic model when N=0 is also investigated. For all physical quantities of interest the most accurate numerical estimates with their error bounds are obtained. The results achieved in the work are discussed along with the predictions given by other theoretical approaches and experimental data.Comment: 33 pages, LaTeX, 7 PostScript figures. Final version corrected and added with an Appendix on the six-loop stud

Relationship between Type-D personality, physical activity behaviour and climacteric symptoms.

A number of factors have been identified which might influence the variation observed in climacteric symptoms in peri- and post-menopausal women. We examined the role of the distressed or Type-D personality and mode of physical activity or exercise on the climacteric symptoms experienced by peri- or post-menopausal women

How to think about informal proofs

This document is the Accepted Manuscript version of the following article: Brendan Larvor, ‘How to think about informal proofs’, Synthese, Vol. 187(2): 715-730, first published online 9 September 2011. The final publication is available at Springer via doi:10.1007/s11229-011-0007-5It is argued in this study that (i) progress in the philosophy of mathematical practice requires a general positive account of informal proof; (ii) the best candidate is to think of informal proofs as arguments that depend on their matter as well as their logical form; (iii) articulating the dependency of informal inferences on their content requires a redefinition of logic as the general study of inferential actions; (iv) it is a decisive advantage of this conception of logic that it accommodates the many mathematical proofs that include actions on objects other than propositions; (v) this conception of logic permits the articulation of project-sized tasks for the philosophy of mathematical practice, thereby supplying a partial characterisation of normal research in the fieldPeer reviewedFinal Accepted Versio

Quantum Gravity in 2+1 Dimensions: The Case of a Closed Universe

In three spacetime dimensions, general relativity drastically simplifies, becoming a ``topological'' theory with no propagating local degrees of freedom. Nevertheless, many of the difficult conceptual problems of quantizing gravity are still present. In this review, I summarize the rather large body of work that has gone towards quantizing (2+1)-dimensional vacuum gravity in the setting of a spatially closed universe.Comment: 61 pages, draft of review for Living Reviews; comments, criticisms, additions, missing references welcome; v2: minor changes, added reference

Theorems on existence and global dynamics for the Einstein equations

This article is a guide to theorems on existence and global dynamics of solutions of the Einstein equations. It draws attention to open questions in the field. The local-in-time Cauchy problem, which is relatively well understood, is surveyed. Global results for solutions with various types of symmetry are discussed. A selection of results from Newtonian theory and special relativity that offer useful comparisons is presented. Treatments of global results in the case of small data and results on constructing spacetimes with prescribed singularity structure or late-time asymptotics are given. A conjectural picture of the asymptotic behaviour of general cosmological solutions of the Einstein equations is built up. Some miscellaneous topics connected with the main theme are collected in a separate section.Comment: Submitted to Living Reviews in Relativity, major update of Living Rev. Rel. 5 (2002)

Global, regional, and national comparative risk assessment of 79 behavioural, environmental and occupational, and metabolic risks or clusters of risks, 1990-2015: a systematic analysis for the Global Burden of Disease Study 2015

SummaryBackground The Global Burden of Diseases, Injuries, and Risk Factors Study 2015 provides an up-to-date synthesis of the evidence for risk factor exposure and the attributable burden of disease. By providing national and subnational assessments spanning the past 25 years, this study can inform debates on the importance of addressing risks in context. Methods We used the comparative risk assessment framework developed for previous iterations of the Global Burden of Disease Study to estimate attributable deaths, disability-adjusted life-years (DALYs), and trends in exposure by age group, sex, year, and geography for 79 behavioural, environmental and occupational, and metabolic risks or clusters of risks from 1990 to 2015. This study included 388 risk-outcome pairs that met World Cancer Research Fund-defined criteria for convincing or probable evidence. We extracted relative risk and exposure estimates from randomised controlled trials, cohorts, pooled cohorts, household surveys, census data, satellite data, and other sources. We used statistical models to pool data, adjust for bias, and incorporate covariates. We developed a metric that allows comparisons of exposure across risk factors—the summary exposure value. Using the counterfactual scenario of theoretical minimum risk level, we estimated the portion of deaths and DALYs that could be attributed to a given risk. We decomposed trends in attributable burden into contributions from population growth, population age structure, risk exposure, and risk-deleted cause-specific DALY rates. We characterised risk exposure in relation to a Socio-demographic Index (SDI). Findings Between 1990 and 2015, global exposure to unsafe sanitation, household air pollution, childhood underweight, childhood stunting, and smoking each decreased by more than 25%. Global exposure for several occupational risks, high body-mass index (BMI), and drug use increased by more than 25% over the same period. All risks jointly evaluated in 2015 accounted for 57·8% (95% CI 56·6–58·8) of global deaths and 41·2% (39·8–42·8) of DALYs. In 2015, the ten largest contributors to global DALYs among Level 3 risks were high systolic blood pressure (211·8 million [192·7 million to 231·1 million] global DALYs), smoking (148·6 million [134·2 million to 163·1 million]), high fasting plasma glucose (143·1 million [125·1 million to 163·5 million]), high BMI (120·1 million [83·8 million to 158·4 million]), childhood undernutrition (113·3 million [103·9 million to 123·4 million]), ambient particulate matter (103·1 million [90·8 million to 115·1 million]), high total cholesterol (88·7 million [74·6 million to 105·7 million]), household air pollution (85·6 million [66·7 million to 106·1 million]), alcohol use (85·0 million [77·2 million to 93·0 million]), and diets high in sodium (83·0 million [49·3 million to 127·5 million]). From 1990 to 2015, attributable DALYs declined for micronutrient deficiencies, childhood undernutrition, unsafe sanitation and water, and household air pollution; reductions in risk-deleted DALY rates rather than reductions in exposure drove these declines. Rising exposure contributed to notable increases in attributable DALYs from high BMI, high fasting plasma glucose, occupational carcinogens, and drug use. Environmental risks and childhood undernutrition declined steadily with SDI; low physical activity, high BMI, and high fasting plasma glucose increased with SDI. In 119 countries, metabolic risks, such as high BMI and fasting plasma glucose, contributed the most attributable DALYs in 2015. Regionally, smoking still ranked among the leading five risk factors for attributable DALYs in 109 countries; childhood underweight and unsafe sex remained primary drivers of early death and disability in much of sub-Saharan Africa. Interpretation Declines in some key environmental risks have contributed to declines in critical infectious diseases. Some risks appear to be invariant to SDI. Increasing risks, including high BMI, high fasting plasma glucose, drug use, and some occupational exposures, contribute to rising burden from some conditions, but also provide opportunities for intervention. Some highly preventable risks, such as smoking, remain major causes of attributable DALYs, even as exposure is declining. Public policy makers need to pay attention to the risks that are increasingly major contributors to global burden. Funding Bill & Melinda Gates Foundation