Probability of detection of defects in coatings with electronic shearography

The goal of this research was to utilize statistical methods to evaluate the probability of detection (POD) of defects in coatings using electronic shearography. The coating system utilized in the POD studies was to be the paint system currently utilized on the external casings of the NASA Space Transportation System (STS) Revised Solid Rocket Motor (RSRM) boosters. The population of samples was to be large enough to determine the minimum defect size for 90 percent probability of detection of 95 percent confidence POD on these coatings. Also, the best methods to excite coatings on aerospace components to induce deformations for measurement by electronic shearography were to be determined

The intention-behaviour gap: An empirical examination of an integrative perspective to explain exercise behaviour

This study tested the Theory of Planned Behavior (TPB) in conjunction with two sets of variables from the Health Action Process Approach (HAPA) and the Subjective Exercise Experience Scale (SEE) to predict exercise behavior. This study included 454 participants who exercised in a fitness center. We collected measures of the TPB (attitudes, subjective norms, perceived behavioral control, and intention), HAPA (planning), and SEE (positive well-being, psychological distress, and fatigue) and assessed exercise behavior at a three-month follow-up. Structural equation modeling found partial support for the TPB model (explaining 10% of the variance in exercise behavior) and adequate fit indices for an adjusted model of the TPB that includes a positive well-being dimension (explaining 11% of the variance in exercise behavior). In sum, the original TPB partially predicts exercise behavior; when considered together with other predictors, limited evidence was found for its utility in explaining exercise behavior.This study was conducted at Psychology Research Centre (UID/PSI/01662/2013), University of Minho, and supported by the Portuguese Foundation for Science and Technology and the Portuguese Ministry of Science, Technology and Higher Education through national funds and co-financed by FEDER through COMPETE2020 under the PT2020 Partnership Agreement (POCI-01-0145-FEDER-007653).info:eu-repo/semantics/submittedVersio

Enhanced mitochondrial superoxide scavenging does not Improve muscle insulin action in the high fat-fed mouse

Improving mitochondrial oxidant scavenging may be a viable strategy for the treatment of insulin resistance and diabetes. Mice overexpressing the mitochondrial matrix isoform of superoxide dismutase (sod2(tg) mice) and/or transgenically expressing catalase within the mitochondrial matrix (mcat(tg) mice) have increased scavenging of O2(˙-) and H2O2, respectively. Furthermore, muscle insulin action is partially preserved in high fat (HF)-fed mcat(tg) mice. The goal of the current study was to test the hypothesis that increased O2(˙-) scavenging alone or in combination with increased H2O2 scavenging (mtAO mice) enhances in vivo muscle insulin action in the HF-fed mouse. Insulin action was examined in conscious, unrestrained and unstressed wild type (WT), sod2(tg), mcat(tg) and mtAO mice using hyperinsulinemic-euglycemic clamps (insulin clamps) combined with radioactive glucose tracers following sixteen weeks of normal chow or HF (60% calories from fat) feeding. Glucose infusion rates, whole body glucose disappearance, and muscle glucose uptake during the insulin clamp were similar in chow- and HF-fed WT and sod2(tg) mice. Consistent with our previous work, HF-fed mcat(tg) mice had improved muscle insulin action, however, an additive effect was not seen in mtAO mice. Insulin-stimulated Akt phosphorylation in muscle from clamped mice was consistent with glucose flux measurements. These results demonstrate that increased O2(˙-) scavenging does not improve muscle insulin action in the HF-fed mouse alone or when coupled to increased H2O2 scavenging

A coalgebraic perspective on logical interpretations

In Computer Science stepwise refinement of algebraic specifications is a well-known formal methodology for rigorous program development. This paper illustrates how techniques from Algebraic Logic, in particular that of interpretation, understood as a multifunction that preserves and reflects logical consequence, capture a number of relevant transformations in the context of software design, reuse, and adaptation, difficult to deal with in classical approaches. Examples include data encapsulation and the decomposition of operations into atomic transactions. But if interpretations open such a new research avenue in program refinement, (conceptual) tools are needed to reason about them. In this line, the paper’s main contribution is a study of the correspondence between logical interpretations and morphisms of a particular kind of coalgebras. This opens way to the use of coalgebraic constructions, such as simulation and bisimulation, in the study of interpretations between (abstract) logics.Fundação para a Ciência e a Tecnologia (FCT