20,628 research outputs found
Recommended from our members
Bearing damage characteristics of fibre-reinforced countersunk composite bolted joints subjected to quasi-static shear loading
This paper studies the progression of damage in carbon fibre-reinforced polymer (CFRP) countersunk composite bolted joints (CBJs) with neat-fit clearance, subjected to quasi-static loading. Damage mechanisms, comprising of fibre buckling and breakage, matrix damage, shear damage and inter-laminar delamination within the CFRP composite parts of the joints have been studied. Load-displacement curves, X-ray and optical microscopic images in single- and three-bolt CBJs were used to investigate damage and deformation characteristics. The observations were then employed to further investigate the type of failure and the extent of damage. The evolution of damage within the composite parts was correlated to the failure characteristics of the joints: It was found that the type and extension of damage is strongly correlated with the ultimate failure load point of the joint in single-bolt CBJs. A combined inter/intra-laminar damage consisting of fibre cluster breakage, extensive fibre buckling, debonding and delamination was observed at the ultimate failure load. This study was then extended to three-bolt CBJ where damage surrounding each bolt and its corresponding failure load was strongly correlated: The final study showed that the ultimate failure point in single-bolt CBJ and the first-bolt-failure point in three-bolt CBJ correspond to the composite plies undergoing intra-laminar damage with the size reaching to the edge of the countersunk head. This damage developed extensively through the thickness of the composite parts underneath the countersink, and in the direction opposite to the loading direction. Outside the countersunk head, debonding and delamination were found to be the dominant damage driving mechanisms. Finally, a new design rule has been proposed to predict the response of multi-bolt joints (damage area and failure load) by using the response in single-bolt CBJ as an initial baseline
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
Circumscription is a representative example of a nonmonotonic reasoning
inference technique. Circumscription has often been studied for first order
theories, but its propositional version has also been the subject of extensive
research, having been shown equivalent to extended closed world assumption
(ECWA). Moreover, entailment in propositional circumscription is a well-known
example of a decision problem in the second level of the polynomial hierarchy.
This paper proposes a new Boolean Satisfiability (SAT)-based algorithm for
entailment in propositional circumscription that explores the relationship of
propositional circumscription to minimal models. The new algorithm is inspired
by ideas commonly used in SAT-based model checking, namely counterexample
guided abstraction refinement. In addition, the new algorithm is refined to
compute the theory closure for generalized close world assumption (GCWA).
Experimental results show that the new algorithm can solve problem instances
that other solutions are unable to solve
Mobility in the built environment: age-related changes in gait characteristics when walking on complex terrain
BACKGROUND: An understanding of how common features in the built environment influence how people walk is
needed to maintain mobility for older people.
METHODS: The study included 71 healthy subjects with an age range of 18 to 92 years. Using inertial
measurement units, participantsâ gaits were assessed while walking across a complex terrain created in a
controlled laboratory environment.
RESULTS: Participants found stair climbing and stepping on obstacles to be the most challenging activities, as
judged by step time. These activities also showed the most significant age-related changes, with significant
effects in both step time and shank angle at touch down being observed from around the age of 60 years.
CONCLUSIONS: The changes observed in this study are consistent with decreasing muscle power causing limited
ability to negotiate stairs
Home Food Production Before, During and Since Start of the COVID-19 Pandemic in Northern New England
This brief details the results from three separate surveys of Northern New Englanders in Maine and Vermont in summer 2020, spring 2021, and spring 2022. A survey was conducted in summer of 2020 to understand the initial and continued impacts of the COVID-19 pandemic on food security, diet, and health outcomes. Two additional surveys were conducted using the same methods in spring 2021 and 2022 to continue to assess changes during the pandemic. All surveys were representative of the state populations on race and ethnicity and the data presented in this brief were weighted to be representative of income in both states. Collectively, the surveys represent more than 3,000 individuals. Key results include:1. Home Food Production (HFP) is common and has continued to increase among respondents since the beginning of the pandemic. Among respondents, 32% participated in HFP in 2020, 59% in 2021, and 65% in 2022. 2. The most common HFP activities in 2022 were gardening (48%) and food preservation (34%). 3. Food insecurity has been variable across years: 40% of households were food insecure in 2020, 31% of households were food insecure in 2021, and 39% of respondents were food insecure in 2022. 4. Food insecure households were more likely to participate in HFP (especially fishing, foraging, hunting, and raising animals for meat, dairy or eggs) compared to food secure households across all three surveys. 5. Pests (63%), weather (60%), and money for equipment or supplies (58%) were the biggest barriers for people participating in any HFP
A hydrodynamical halo model for weak-lensing cross correlations
On the scale of galactic haloes, the distribution of matter in the cosmos is affected by energetic, non-gravitational processes; so-called baryonic feedback. A lack of knowledge about the details of how feedback processes redistribute matter is a source of uncertainty for weak-lensing surveys, which accurately probe the clustering of matter in the Universe over a wide range of scales. We develop a cosmology-dependent model for the matter distribution that simultaneously accounts for the clustering of dark matter, gas and stars. We inform our model by comparing it to power spectra measured from the BAHAMAS suite of hydrodynamical simulations. As well as considering matter power spectra, we also consider spectra involving the electron-pressure field, which directly relates to the thermal Sunyaev-Zel'dovich (tSZ) effect. We fit parameters in our model so that it can simultaneously model both matter and pressure data and such that the distribution of gas as inferred from tSZ has influence on the matter spectrum predicted by our model. We present two variants; one that matches the feedback-induced suppression seen in the matter-matter power spectrum at the per-cent level and a second that matches the matter-matter data slightly less well (~2 per cent), but that is able to simultaneously model the matter-electron pressure spectrum at the ~15 per-cent level. We envisage our models being used to simultaneously learn about cosmological parameters and the strength of baryonic feedback using a combination of tSZ and lensing auto- and cross-correlation data
Dust-forming molecules in VY Canis Majoris (and Betelgeuse)
The formation of inorganic dust in circumstellar environments of evolved
stars is poorly understood. Spectra of molecules thought to be most important
for the nucleation, i.e. AlO, TiO, and TiO2, have been recently detected in the
red supergiant VY CMa. These molecules are effectively formed in VY CMa and the
observations suggest that non-equilibrium chemistry must be involved in their
formation and nucleation into dust. In addition to exploring the recent
observations of VY CMa, we briefly discuss the possibility of detecting these
molecules in the dust-poor circumstellar environment of Betelgeuse.Comment: contribution to Betelgeuse Workshop 2012: "The physics of Red
Supergiants: recent advances and open questions", 26-29 Nov 2012 Paris
(France
Trend in ice moistening the stratosphere â constraints from isotope data of water and methane
Water plays a major role in the chemistry and radiative budget of the stratosphere. Air enters the stratosphere predominantly in the tropics, where the very low temperatures around the tropopause constrain water vapour mixing ratios to a few parts per million. Observations of stratospheric water vapour show a large positive long-term trend, which can not be explained by change in tropopause temperatures. Trends in the partitioning between vapour and ice of water entering the stratosphere have been suggested to resolve this conundrum. We present measurements of stratospheric H_(2)O, HDO, CH_4 and CH_(3)D in the period 1991â2007 to evaluate this hypothesis. Because of fractionation processes during phase changes, the hydrogen isotopic composition of H_(2)O is a sensitive indicator of changes in the partitioning of vapour and ice. We find that the seasonal variations of H_(2)O are mirrored in the variation of the ratio of HDO to H_(2)O with a slope of the correlation consistent with water entering the stratosphere mainly as vapour. The variability in the fractionation over the entire observation period is well explained by variations in H_(2)O. The isotopic data allow concluding that the trend in ice arising from particulate water is no more than (0.01±0.13) ppmv/decade in the observation period. Our observations suggest that between 1991 and 2007 the contribution from changes in particulate water transported through the tropopause plays only a minor role in altering in the amount of water entering the stratosphere
- âŠ