Program Tailoring: Slicing by Sequential Criteria

Protocol and typestate analyses often report some sequences of statements ending at a program point P that needs to be scrutinized, since P may be erroneous or imprecisely analyzed. Program slicing focuses only on the behavior at P by computing a slice of the program affecting the values at P. In this paper, we propose to restrict our attention to the subset of that behavior at P affected by one or several statement sequences, called a sequential criterion (SC). By leveraging the ordering information in a SC, e.g., the temporal order in a few valid/invalid API method invocation sequences, we introduce a new technique, program tailoring, to compute a tailored program that comprises the statements in all possible execution paths passing through at least one sequence in SC in the given order. With a prototyping implementation, Tailor, we show why tailoring is practically useful by conducting two case studies on seven large real-world Java applications. For program debugging and understanding, Tailor can complement program slicing by removing SC-irrelevant statements. For program analysis, Tailor can enable a pointer analysis, which is unscalable to a program, to perform a more focused and therefore potentially scalable analysis to its specific parts containing hard language features such as reflection

Electroacupuncture ameliorates inflammatory response induced by retinal ischemia-reperfusion injury and protects the retina through the DOR-BDNF/Trkb pathway

Objectives: Retinal ischemia-reperfusion injury (RIRI) is the common pathological basis of many ophthalmic diseases in the later stages, and inflammation is the primary damage mechanism of RIRI. Our study aimed to assess whether electroacupuncture (EA) has a protective effect against RIRI and to elucidate its related mechanisms.Methods: A high-intraocular pressure (HIOP) model was used to simulate RIRI in Wistar rats. EA was applied to the EA1 group [Jingming (BL1) + Shuigou (GV26)] and the EA2 group [Jingming (BL1) + Hegu (LI4)] respectively for 30 min starting immediately after the onset of reperfusion and repeated (30 min/time) at 12 h and then every 24 h until days 7 after reperfusion. The pathological changes in the retina were observed by H and E staining after HIOP. Terminal deoxynucleotidyl transferase dUTP nick end labeling (TUNEL) staining was utilized to observe retinal cell apoptosis. The mRNA expression of IL1-β, TNF-α, IL-4, IL-10, δ-opioid receptor (DOR), brain-derived neurotrophic factor (BDNF), and tropomyosin-related kinase B (TrkB) in the retina was measured by quantitative real-time PCR.Results: HIOP caused structural disorders of the retina, decreased RGCs, and increased retinal cell apoptosis. At 1 and 3 days of RIRI, retinal apoptotic cells in the EA group were significantly reduced, while there was no distinct difference in the EA group compared with the HIOP group at 7 days of RIRI. Compared with that in the HIOP group, the expression of anti-inflammatory factors, DOR and TrkB was increased, and the expression of pro-inflammatory factors was decreased in the EA group. In contrast, HIOP had no appreciable effect on BDNF expression.Conclusion: EA at Jingming (BL1) and Shuigou (GV26) or at Jingming (BL1) and Hegu (LI4) may inhibit RIRI induced inflammation through activating the DOR-BDNF/TrkB pathway to protect the retina, especially the pair of Jingming (BL1) and Shuigou (GV26) has better inhibitory effects on inflammation

C E A

st si u

Effect of Y2O3 Addition on Microstructure and Properties of Laser Cladded Al-Si Coatings on AZ91D Magnesium Alloy

The effect of Y2O3 addition on the microstructure and properties of the laser cladded Al-Si alloy coating on the surface of AZ91D magnesium alloy was investigated in this study. The experimental results showed that the Al-Si + Y2O3 cladding layers contained α-Mg, Mg2Si, Al4MgY and a small amount of Al12Mg17 phases. The coarse dendrites, reticulated eutectic structures and massive phases in the coatings tended to be refined and gradually uniformly distributed with the increased amount of Y2O3. The introduction of Y2O3 into the cladding layer favored the improvement of microhardness and wear resistance due to the grain refinement strengthening and dispersion strengthening. The addition of Y2O3 also promoted the reduction of localized corrosion sites and made the corrosion surface smoother, implying that the corrosion resistance of the Y2O3-modified coatings was better than that of the unmodified cladding layer

Effect of Cu content on microstructure and properties of Ti-6Al-4V alloy fabricated by double-wire arc additive manufacturing

To solve the formation of coarse columnar β grains from Ti-6Al-4 V parts fabricated by wire + arc additive manufacturing, this study adds Cu element for in-situ alloying, effectively suppressing the growth of columnar grains and further enhancing properties. The results show that an addition of Cu element suppresses the lateral growth of β grains, eliminating the columnar structure of β grains. Compared with the Ti-6Al-4 V component, the original β grains in the Ti-6Al-4 V-10Cu component exhibit a refinement of 96 %. With an increase of Cu content, the phase structure of α-Ti transitions from lamellar to needle-like and eventually to equiaxed crystal structure. Moreover, as the Cu content rises, the precipitation of Ti2Cu increases, leading to precipitation strengthening and enhancing the microhardness. The average strength of the Ti-6Al-4 V-10Cu, Ti-6Al-4 V-11.7Cu, and Ti-6Al-4 V-15.7Cu walls is increased by 35.5 %, 56.9 %, and 71.6 %, respectively, compared with the Ti-6Al-4 V wall. The ultimate tensile strength is enhanced by 34.9 %, 49.5 %, and −1.4 %, respectively. However, the elongation is reduced by 48.6 %, 63.2 %, and 75.6 %, respectively