y Recently, approaches based on tree-decompositions (TDs) of control-flow graphs (cFGs) have been introduced for many classical problems in compiler construction. Some found practical use in SDcc, a mainstream ccompi...
详细信息
y Recently, approaches based on tree-decompositions (TDs) of control-flow graphs (cFGs) have been introduced for many classical problems in compiler construction. Some found practical use in SDcc, a mainstream ccompiler for embedded systems. Using TD-based algorithms, SDcc generates faster and often smaller code for its target architectures than other compilers. The width of the TD crucially influences runtime, hence good algorithms computing TDs of small width are essential. The current standard approach to obtain TDs of cFGs is Thorup's heuristic, which was also used in SDcc. Thorup claims that his heuristic will give TDs of width at most 6 for cFGs from ccode that contains no goto statements. We present a counter example resulting in a tree-width of 7. We show how to construct ccode without goto statements for which the cFG has tree-width 3, but Thorup's heuristic will yield TDs of arbitrary width. We demonstrate how this flaw adversely affects the compilation of real-world code. We present a constructive proof giving a tight bound on the tree-width of cFGs of c programs. This corrects Thorup and shows the effect that goto has on the tree-width. We empirically evaluate various approaches to finding TDs of cFGs and their impact on compiler runtime and code quality in SDcc. Our research resulted in the replacement of the unconditional use of Thorup's heuristic by a better approach in SDcc 3.7.0, drastically reducing compiler runtime. (c) 2019 Elsevier B.V. All rights reserved.
Abnormal beta-amyloid plaques and tau protein accumulation are the core pathologic features of Alzheimer's disease. However, the accumulation of these proteins is also common in cognitively normal elderly people. ...
详细信息
Abnormal beta-amyloid plaques and tau protein accumulation are the core pathologic features of Alzheimer's disease. However, the accumulation of these proteins is also common in cognitively normal elderly people. Therefore, this study is aimed to evaluate the amyloid and tau accumulation in the cognitively normal population. A preliminary prospective study was conducted on 24 cognitively normal individuals who underwent Pittsburgh compound B (
In this paper, co3O4/NiO/ccomposites were prepared by in situ co-precipitation and heat treatment with Zn/co-ZIF-derived N-doped porous carbon as carbon matrix. The structure and constituent of co3O4/NiO/ccomposites...
详细信息
In this paper, co3O4/NiO/ccomposites were prepared by in situ co-precipitation and heat treatment with Zn/co-ZIF-derived N-doped porous carbon as carbon matrix. The structure and constituent of co3O4/NiO/ccomposites were detected by the X-ray diffraction (XRD), scanning electron microscope (SEM), transmission electron microscope (TEM), and other test methods. The result showed that Nico-LDH nanosheets grew evenly on the surface of porous carbon matrix. co3O4/NiO/ccomposites retained the dodecahedral shape of the carbon matrix. Electrochemical performance was investigated through electrochemical workstation and LAND-cT2001A battery test system. The results showed that the co3O4/NiO/c electrode has a higher initial discharge specificcapacity of 1673.0 mA h g(-1) at 0.1 A g(-1), and it could still maintain the discharge specificcapacity of 1167.8 mA h g(-1) after 100 cycles. The co3O4/NiO/c showed a high reversible capacity of 812.3 mA h g(-1) after 500 cycles at 0.5 A g(-1). The co3O4/NiO/c electrode exhibited excellent lithium storage performance, which can be attributed to the unique functionalities of the ternary components: NiO and co3O4 can guarantee high specificcapacity, while the carbon matrix can improve the conductivity and the stability of the structure. Therefore, co3O4/NiO/ccomposite was expected to be anode material for lithium storage equipment.
In this work, the effects of c, N, and Al on the microstructures and creep properties of Fe-cr-Al-Nb-W ferritic alloys were investigated through scanning electron microscopy, x-ray diffractometry, as well as uniaxial ...
详细信息
In this work, the effects of c, N, and Al on the microstructures and creep properties of Fe-cr-Al-Nb-W ferritic alloys were investigated through scanning electron microscopy, x-ray diffractometry, as well as uniaxial creep testing and hardness testing. The results demonstrated that the matrix of the Fe-cr-Al-Nb-W heat-resistant steel was ferrite, while the precipitation phases were Laves phases, M23c6 carbides and MX nitride phases. M23c6 and MX precipitated at grain interior, Laves phases precipitated at grain interior, grain boundary and around MX phases. c, N and Al affected microstructure and creep of heat-resistant steel. As the Al content increased or as N content decreased along with the c increase, the average diameter of the Laves phases, along with M23c6 and MX phase grain interior decrease. Moreover, the unit density increased and the phase spacing decreased, which led to the minimum creep rate decrease and creep rupture time increase. compared to M23c6, Laves and MX phases mainly affected the alloy creep strength. The decrease of Laves phase continuity coefficient (ratio of Laves phase particle spacing and size) on the grain boundary was conducive to the plasticity improvement of heat-resistant steel.
Fecl3/c was used as an efficient and convenient promoter for glycosylation through Ferrier-type rearrangement of 3,4,6-tri-O-benzyl-D-glucal, which is a relatively unreactive substrate for this type of reaction. The m...
详细信息
Fecl3/c was used as an efficient and convenient promoter for glycosylation through Ferrier-type rearrangement of 3,4,6-tri-O-benzyl-D-glucal, which is a relatively unreactive substrate for this type of reaction. The method was applicable to a wide range of alcohols, especially phenols. A series of 2,3-unsaturated-O-glucosides were prepared efficiently (47-92%) by this method under mild conditions.
This paper reports the temperature dependence of d.c. and a.c. conductivity in the glassy alloys of Se70Te30 and Se70Te28M2 (M = cd, Sb, Zn). The role of the cd, Sb, Zn elements as foreign atoms has been examined on t...
详细信息
This paper reports the temperature dependence of d.c. and a.c. conductivity in the glassy alloys of Se70Te30 and Se70Te28M2 (M = cd, Sb, Zn). The role of the cd, Sb, Zn elements as foreign atoms has been examined on the d.c./a.c. conduction and photoconduction in binary Se70Te30 glass. These multi-component chalcogenide glasses have been prepared by conventional, cost-effective and well-known melt-quench technique. Thermally activated a.c. conduction shows the presence of the compensation effect that is confirmed by the Meyer-Neldel relation between the associated activation energy and the pre-factor of a.c. conductivity. The metal-induced effects of cd, Sb, Zn on the photosensitivity of parent glass are also discussed.
Ultra-high temperature ceramics (UHTcs) are most recently getting much attention for structural parts of hypersonic missiles with their cruising speed of more than Mach 5. Most of the UHTcs are poor sinterability carb...
详细信息
Ultra-high temperature ceramics (UHTcs) are most recently getting much attention for structural parts of hypersonic missiles with their cruising speed of more than Mach 5. Most of the UHTcs are poor sinterability carbides, nitrides, and borides. Therefore, they have been studied and developed for a long time. However, there are still many problems to solve. In this paper, based on the solid-state reaction presented as an equation of (x + y)·Zrc + 2·y·B → x·Zrc + y·ZrB2 + y·c, three-phase Zrc/ZrB2/ccomposites have been fabricated from Zrc and amorphous B powders using pulsed electric-current pressure sintering at 1373 to 2173 K for 6.0 × 102 s under 50 MPa in a vacuum. Zrc/ZrB2/c = 30/70/c~70/30/c vol% composites with the relative densities Dr of 96.6 to 98.7% were obtained at 2073 K. The 60/40/c vol% composite revealed high bending strength σb (554 MPa), Vickers hardness Hv (19.2 GPa) and moderate fracture toughness KIc (5.25 MPa·m1/2) at room temperature. Furthermore, all composites showed elastic deformation up to 1873 K and revealed σb more than 600 MPa at this temperature, in addition, some composites showed higher σb than 900 MPa at the same temperature. These high mechanical behaviors are discussed with those of the simple binary Zrc/ZrB2composites which were fabricated under the same conditions except for their starting materials. The best mechanical properties of binary composites were σb (474 MPa), Hv (18.5 GPa), and KIc (4.45 MPa·m1/2) at room temperature, and σb of 400 - 700 MPa at 1873 K. Overall, three-phase composites, nevertheless including soft carbon, have higher mechanical properties than the binary composites.
Hypoxia occurrence is potentiated by eutrophication caused by human activities and it may be the most dramatically increasing environmental factor as a result of the climate change-led increasing temperatures. The cru...
详细信息
Hypoxia occurrence is potentiated by eutrophication caused by human activities and it may be the most dramatically increasing environmental factor as a result of the climate change-led increasing temperatures. The crucian carp carassius auratus is an important aquaculture economical freshwater species and is also a potential model for the study of physiological adaptation. However, the transcriptomics and genomics data available for this species are still scarce. The gills of fish are the major organ of hypoxia and other stresses. In this study, we studied the effect of the exposure to hypoxia (1.0 mg O2/L for 7 d) and 2 mg/mL Poly I:c on the gene expression of the gills of carassius auratus using the Illumina sequencing platform. comparison of the gene expression levels between the experimental and control groups showed differentially expressed genes (DEGs). The DEGs were mainly annotated into glycolysis, oxidative phosphorylation and immune system categories based on the KEGG database. In glycolysis pathway, lactate dehydrogenase, malate dehydrogenase, glyceraldehyde 3-phosphate dehydrogenase, enolase and succinate dehydrogenase were identified. In addition, the DEGs were enriched in the immune-related pathway functions, including pattern recognition receptor (PRR), antigen processing and presentation, B cell and T cell receptor signaling pathways, natural killer (NK) cell mediated cytotoxicity, Fc gamma R-mediated phagocytosis, and the JAK-STAT, p53 and cytokines signaling pathways. This study also produced potential hypoxia biomarkers including FOS, JUN B, lysosomal acid lipase, and HIF-1 alpha. HIF-1 signaling pathway was significantly down-regulated after hypoxia and Poly I: c exposure. Hence, the data generated here may offer a valuable resource information for the further study of the immune response and also provide improved strategies against hypoxia and Poly I:c in teleost fish.
ceramic matrix composites of type c/Sic have great potential because of their excellent properties such as high specific strength, high specific rigidity, high-temperature endurance, and superior wear resistance. Howe...
详细信息
ceramic matrix composites of type c/Sic have great potential because of their excellent properties such as high specific strength, high specific rigidity, high-temperature endurance, and superior wear resistance. However, the machining of c/Sic is still challenging to achieve desired efficiency and quality due to their heterogeneous, anisotropic, and varying thermal properties. Rotary ultrasonic machining (RUM) is considered as a highly feasible technology for advanced materials. cutting force prediction in RUM can help to optimize input variables and reduce processing defects in composite materials. In this research, a mathematical axial cutting force model has been developed based on the indentation fracture theory of material removal mechanism considering penetration trajectory and energy conservation theorem for rotary ultrasonic face milling (RUFM) of c/Siccomposites and validated through designed sets of experiments. Experimental results were found to be in good agreement with theoretically simulated results having less than 15% error. Therefore, this theoretical model can be effectively applied to predict the axial cutting forces during RUFM of c/Sic. The surface roughness of the workpiece materials was investigated after machining. The relationships of axial cutting force and surface roughness with cutting parameters, including spindle speed, feed rate, and cutting depth, were also investigated. In order to identify the influence of cutting parameters on the RUFM process, correlation analysis was applied. In addition, response surface methodology was employed to optimize the cutting parameters.
Background Helicobacter pylori (H. pylori) infect more than half of the world population, and they cause different serious diseases such as gastriccarcinomas. This study aims to design a vaccine on the basis of cagW ...
详细信息
Background Helicobacter pylori (H. pylori) infect more than half of the world population, and they cause different serious diseases such as gastriccarcinomas. This study aims to design a vaccine on the basis of cagW against H. pylori infection. After pcDNA3.1 (+)-cagW-cS-NPs complex is produced, it will be administered into the muscles of healthy BALB/c mice in order to study the effect of this DNA vaccine on the interleukin status of mice, representing its effect on the immune system. After that, the results will be compared with the control groups comprising the administration of cagW-pcDNA3.1 (+) vaccine, the administration of chitosan and the administration of PBS in the muscles of mice. Methods The cagW gene of H. pylori was amplified by employing PcR, whose product was then cloned into the pcDNA3.1 (+) vector, and this cloning was confirmed by PcR and BamHI/EcoRV restriction enzyme digestion. cagW gene DNA vaccine was encapsulated in chitosan nanoparticles (pcDNA3.1 (+)-cagW-cS-NPs) using a complex coacervation method. The stability and in vitro expression of chitosan nanoparticles were studied by DNase I digestion and transfection, and the immune responses elicited in specific pathogen-free (SPF) mice by the pcDNA3.1 (+)-cagW-cS-NPs were evaluated. Apart from that, the protective potential pcDNA3.1 (+)-cagW-cS-NPs was evaluated by challenging with H. pylori. Results The pcDNA3.1 (+)-cagW-cS-NPs comprises cagW gene of H. pylori that is encapsulated in chitosan nanoparticles, produced with good morphology, high stability, a mean diameter of 117.7 nm, and a zeta potential of + 5.64 mV. Moreover, it was confirmed that chitosan encapsulation protects the DNA plasmid from DNase I digestion, and the immunofluorescence assay showed that the cagW gene could express in HDF cells and maintain good bioactivity at the same time. In comparison to the mice immunized with the control plasmid, in vivo immunization revealed that mice immunized with pcDNA3.1 (+)-cagW-NPs showe
暂无评论