Surface Actuation of Lightweight Mirrors with Shape Memory Alloy

The ability to create lightweight mirrors that can maintain surface accuracy is a major technical challenge for future space telescopes. Processing-induced errors and surface errors due to temperature excursions and gravity sag (zero gravity in space) make it impossible to correct the surface of thin mirror face-sheets by conventional point actuators. The challenges are compounded by the requirements for mirrors to have adequate stiffness for pointing accuracy. An experimental and analytical study was conducted to explore the feasibility of correcting the shape of lightweight (≈1 kg/m2) mirrors using a “Nitinol” (nickel-titanium) shape memory alloy (SMA). Shape memory alloys are increasingly used as smart devices in aerospace applications. Their primary advantage over other smart materials (i.e., piezo-ceramics and piezo-polymers) is in their ability to undergo large strains and displacements and thus enable the development of smart mechanisms. Active shape correction is the only means of mitigating heat and zero-gravity-induced distortions in space-based optical imaging systems. The repeatability and reliability of a possible actuation system based on properties of the SMA wires were studied by testing the stress-strain and stress recovery behavior under controlled conditions. Embedded SMA wires were then used to actuate a composite beam, and the movement induced by actuation was monitored with the Moiré interferometry method.     

Could SGLT2 Inhibitors Improve Exercise Intolerance in Chronic Heart Failure?

Despite the constant improvement of therapeutical options, heart failure (HF) remains associated with high mortality and morbidity. While new developments in guideline-recommended therapies can prolong survival and postpone HF hospitalizations, impaired exercise capacity remains one of the most debilitating symptoms of HF. Exercise intolerance in HF is multifactorial in origin, as the underlying cardiovascular pathology and reactive changes in skeletal muscle composition and metabolism both contribute. Recently, sodium-related glucose transporter 2 (SGLT2) inhibitors were found to improve cardiovascular outcomes significantly. Whilst much effort has been devoted to untangling the mechanisms responsible for these cardiovascular benefits of SGLT2 inhibitors, little is known about the effect of SGLT2 inhibitors on exercise performance in HF. This review provides an overview of the pathophysiological mechanisms that are responsible for exercise intolerance in HF, elaborates on the potential SGLT2-inhibitor-mediated effects on these phenomena, and provides an up-to-date overview of existing studies on the effect of SGLT2 inhibitors on clinical outcome parameters that are relevant to the assessment of exercise capacity. Finally, current gaps in the evidence and potential future perspectives on the effects of SGLT2 inhibitors on exercise intolerance in chronic HF are discussed.     

ams关注传感、照明和可视化的CMOS图像传感器

工业图像传感器市场是具有巨大潜力的市场.在过去10年中,质量检查应用中的图像传感器已从CCD过渡到CMOS.未来10年,工业4.0将推动更多新应用.智能嵌入式2D和3D解决方案将支持新的颠覆性应用. ams致力于通过提供必要的光学解决方案,为传感,照明和可视化趋势提供领先的解决方案.     

The Role of Polymorphisms at the Interleukin-1, Interleukin-4, GATA-3 and Cyclooxygenase-2 Genes in Non-Surgical Periodontal Therapy

Periodontitis is a multifactorial disease. The aim of this explorative study was to investigate the role of Interleukin-(IL)-1, IL-4, GATA-3 and Cyclooxygenase-(COX)-2 polymorphisms after non-surgical periodontal therapy with adjunctive systemic antibiotics (amoxicillin/metronidazole) and subsequent maintenance in a Caucasian population. Analyses were performed using blood samples from periodontitis patients of a multi-center trial (ClinicalTrials.gov {"type":"clinical-trial","attrs":{"text":"NCT00707369","term_id":"NCT00707369"}}NCT00707369=ABPARO-study). Polymorphisms were analyzed using quantitative real-time PCR. Clinical attachment levels (CAL), percentage of sites showing further attachment loss (PSAL) ≥1.3 mm, bleeding on probing (BOP) and plaque score were assessed. Exploratory statistical analysis was performed. A total of 209 samples were genotyped. Patients carrying heterozygous genotypes and single-nucleotide-polymorphisms (SNP) on the GATA-3-IVS4 +1468 gene locus showed less CAL loss than patients carrying wild type. Heterozygous genotypes and SNPs on the IL-1A-889, IL-1B +3954, IL-4-34, IL-4-590, GATA-3-IVS4 +1468 and COX-2-1195 gene loci did not influence CAL. In multivariate analysis, CAL was lower in patients carrying GATA-3 heterozygous genotypes and SNPs than those carrying wild-types. For the first time, effects of different genotypes were analyzed in periodontitis progression after periodontal therapy and during supportive treatment using systemic antibiotics demonstrating a slight association of GATA-3 gene locus with CAL. This result suggests that GATA-3 genotypes are a contributory but non-essential risk factor for periodontal disease progression.     

Formal Translation of Bytecode into BoogiePL

Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on this representation. Using an intermediate language improves the interoperability of tools and facilitates the computation of small verification conditions. Even though the translation into an intermediate representation is critical for the soundness of a verifier, this step has not been formally verified. In this paper, we formalize the translation of a small subset of Java bytecode into an imperative intermediate language similar to BoogiePL. We prove soundness of the translation by showing that each bytecode method whose BoogiePL translation can be verified, can also be verified in a logic that operates directly on bytecode.     

A Fracture Mechanics Approach to Failure in Fibrous Composites

This paper presents a review of the fracture processes which occur in brittle thermosetting resins containing long strong fibers of carbon, boron and glass. Important material variables affecting the fracture behavior of the fibrous composite include fiber strength and strength of the fiber-matrix interface. Other parameters which must be considered include component geometry, environment, loading mode and nondestructive inspection capability. The effects of microstructural features including fiber volume fraction, together with a consideration of the fiber-resin interface are discussed in relation to the fracture stress and toughness of the composite material. The influence of the fiber-resin interface and environment on slow crack growth in carbon fiber-reinforced epoxy resin is also reviewed.