检索结果-内蒙古大学图书馆

DIScRETE APPLIED MATHEMATIcS 2020年 278卷 136-152页

作者： Krause, Philipp Klaus Larisch, Lukas Salfelder, Felix Albert Ludwigs Univ Freiburg Freiburg Germany King Abdullah Univ Sci & Technol Thuwal Saudi Arabia Univ Leeds Leeds W Yorkshire England

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 c compiler 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 c code that contains no goto statements. We present a counter example resulting in a tree-width of 7. We show how to construct c code 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.

关键词： c Tree-decomposition Tree-width Structured programs

来源：评论

学校读者我要写书评

暂无评论

Analysis of amyloid and tau deposition in Alzheimer's disease using 11c-Pittsburgh compound B and 18F-THK 5351 positron emission tomography imaging

引用

World Journal of Nuclear Medicine 2022年第1期20卷 61-72页

作者： chotipanich chanisa Nivorn Monchaya Kunawudhi Anchisa Promteangtrong chetsadaporn Jantarato Attapon National Cyclotron and PET Centre Chulabhorn Hospital Chulabhorn Royal Academy Bangkok Thailand

This study aims to determine the deposition of

关键词： c Pittsburgh compound B F THK 5351 Alzheimer's disease positron emission tomography

来源：评论

学校读者我要写书评

暂无评论

co3O4/NiO/c composites derived from zeolitic imidazolate frameworks (ZIFs) as high-performance anode materials for Li-ion batteries

引用

JOURNAL OF SOLID STATE ELEcTROcHEMISTRY 2020年第5期24卷 1133-1142页

作者： Li, Zhitong Zhao, Jian Nie, Jiajin Yao, Shaowei Wang, Jing Feng, Xiaoxin North China Univ Sci & Technol Coll Mat Sci & Engn Tangshan 063210 Peoples R China Key Lab Inorgan Mat Hebei Prov Tangshan 063210 Peoples R China

In this paper, co3O4/NiO/c composites 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/c composites 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/c composites 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 specific capacity of 1673.0 mA h g(-1) at 0.1 A g(-1), and it could still maintain the discharge specific capacity 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 specific capacity, while the carbon matrix can improve the conductivity and the stability of the structure. Therefore, co3O4/NiO/c composite was expected to be anode material for lithium storage equipment.

关键词： co3O4 NiO c N-doped porous carbon Anode material Li-ion batteries

来源：评论

学校读者我要写书评

暂无评论

Study on creep behavior and microstructure of a Fe-cr-Al-Nb-W ferrtic heat-resistant steel based on c, N and Al element control

引用

MATERIALS RESEARcH EXPRESS 2020年第5期7卷

作者： Zhang, Shanjun Shen, Junjie Kang, Hui Hu, Fuyong Tianjin Univ Technol Tianjin Key Lab Adv Mechatron Syst Design & Intel Sch Mech Engn Tianjin 300384 Peoples R China Tianjin Univ Technol Natl Demonstrat Ctr Expt Mech & Elect Engn Educ Tianjin 300384 Peoples R China

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.

关键词： Laves phase ferrtic heat-resistant steel hardness creep strength c N and Al element control

来源：评论

学校读者我要写书评

暂无评论

c, N co-doped co3O4 hollow spheres prepared via hydrothermal reaction for improved electrochemical activity

引用

INTERNATIONAL JOURNAL OF HYDROGEN ENERGY 2020年第1期45卷 1170-1176页

作者： Wang, Yinwei Huo, Jiaofei Xijing Univ Intelligent Mfg Res & Dev Ctr Xian 710123 Peoples R China Xijing Univ Dept Mech & Elect Technol Xian 710123 Peoples R China

Superior electrode materials play a key role on the electrochemical performance for the lithium-ion batteries and supercapacitors. The co3O4-based materials are promising electrode materials due to their high specific capacity and energy density. However, the poor cycle performance limits their applications during the process of the commercialization for the lithium-ion batteries and supercapacitors. Because of the poor cycle stability, c, N co-doped co3O4 hollow spheres are successfully prepared and used as electrode materials for the lithium-ion batteries and supercapacitors. Via the c, N co-doping process, the electronic conductivity is greatly improved. Moreover, the hollow structure could ensure the structural stability during the electrochemical process. As a result, the cycle performance and specific capacity are greatly improved when the c, N co-doped co3O4 composites are used as electrode materials for the lithium-ion batteries and supercapacitors. (c) 2019 Hydrogen Energy Publications LLc. Published by Elsevier Ltd. All rights reserved.

关键词： c N co-doped Anode ceramics co3O4 composites

来源：评论

学校读者我要写书评

暂无评论

A cutting Force Prediction Model, Experimental Studies, and Optimization of cutting Parameters for Rotary Ultrasonic Face Milling of c/Sic composites

引用

APPLIED cOMPOSITE MATERIALS 2020年第4期27卷 407-431页

作者： Islam, Shafiul Yuan, Songmei Li, Zhen Beihang Univ Beijing Engn Technol Res Ctr High Efficient & Gre Sch Mech Engn & Automat Beijing 100191 Peoples R China

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/Sic composites 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.

关键词： c Sic composites Rotary ultrasonic face milling A predictive cutting force model Surface roughness Optimization of cutting parameters

来源：评论

学校读者我要写书评

暂无评论

Genomic dissection and expression analysis of stress -responsive genes in c 4 panicoid models, Setaria italica and Setaria viridis

引用

JOURNAL OF BIOTEcHNOLOGY 2020年 318卷 57-67页

作者： Muthamilarasan, Mehanathan Singh, Roshan Kumar Suresh, Bonthala Venkata Rana, Sumi Dulani, Priya Prasad, Manoj Univ Hyderabad Sch Life Sci Dept Plant Sci Hyderabad 500046 Telangana India Natl Inst Plant Genome Res Aruna Asaf Ali Marg New Delhi 110067 India

The study reports the identification and expression profiling of five major classes of c 4 pathway-specific genes, namely, carbonic anhydrase (caH), phospho enol pyruvate carboxylase (PEPc), pyruvate orthophosphate dikinase (PPDK), NADP-dependent malate dehydrogenase (MDH) and NADP-dependent malic enzyme (NADP-ME), in the model species, Setaria italica and Setaria viridis . A total of 42 and 41 genes were identified in S. italica and S. viridis , respectively. Further analysis revealed that segmental and tandem duplications have contributed to the expansion of these gene families. RNA-Seq derived expression profiles of the gene family members showed their differential expression pattern in tissues and dehydration stress. comparative genome mapping and Ks dating provided insights into their duplication and divergence in the course of evolution. Expression profiling of candidate genes in contrasting S. italica cultivars subjected to abiotic stresses and hormone treatments showed distinct stress-specific upregulation of SiαcaH1 , SiβcaH5, SiPEPc2 , SiPPDK2 , SiMDH8, and SiNADP-ME5 in the tolerant cultivar. Overexpression of SiNADP-ME5 in heterologous yeast system enabled the transgenic cells to survive and grow in dehydration stress conditions, which highlights the putative role of SiNADP-ME5 in conferring tolerance to dehydration stress. Altogether, the study highlights key genes that could be potential candidates for elucidating their functional roles in abiotic stress response.

关键词： c 4 photosynthesis Expression profiling comparative mapping Evolution Foxtail millet ( Setaria italica ) Green foxtail ( Setaria viridis )

来源：评论

学校读者我要写书评

暂无评论

Eggshell-membrane-templated synthesis of c, S Doped Mesoporous NiO for methanol oxidation in alkaline solution

引用

JOURNAL OF APPLIED ELEcTROcHEMISTRY 2020年第8期50卷 821-834页

作者： Gu, Yingying Yu, Zhenzhen Wu, Siqin Gao, Pengyu Hu, Yifen Zhang, chuan Xu, Zhen Li, Jing An, Yarui Univ Shanghai Sci & Technol Coll Sci Shanghai 200093 Peoples R China Univ Shanghai Sci & Technol Ctr Publ Expt Shanghai 200093 Peoples R China

An interwoven hollow fiber structured mesoporous NiO catalyst doped with c, S was fabricated by the vacuum impregnation and thermal decomposition methods using eggshell membrane as template. The structure of the catalyst was characterized by X-ray diffraction, thermo-gravimetric analysis, scanning electron microscopy, transmission electron microscopy, X-ray photoelectron spectroscopy, and specific surface area test. Under a high vacuum condition, the synthesized NiO material has a better interwoven fiber and mesoporous structure, which effectively increases the specific surface area of the material. c and S were doped into NiO via eggshell membrane pyrolysis, which then formed c-OH and SO42- species on the surface of the material. The electrocatalytic performance of the catalyst for the oxidation of methanol in alkaline solution was studied by cyclic voltammetry and chronoamperometry. The c, S doped mesoporous NiO material exhibits much higher catalytic efficiency and anti-poisoning ability than that of NiO nanoparticles due to the synergistic catalysis of NiO and doping c-OH and SO42- species. Graphic abstract

关键词： Eggshell membrane High vacuum c S doped NiO material

来源：评论

学校读者我要写书评

暂无评论

Fecl3/c as an efficient catalyst for Ferrier rearrangement of 3,4,6-tri-O-Benzyl-D-glucal

引用

JOURNAL OF cARBOHYDRATE cHEMISTRY 2020年第5-6期39卷 232-249页

作者： Mei, Yuling Dong, Youxian Li, Juan Zhang, Bo Sun, Guosheng Zhou, Jiafen Si, Wenshuai Han, Yiwen Wu, Zhenliang Zhang, Jianbo East China Normal Univ Sch Chem & Mol Engn 500 Dongchuan Rd Shanghai 200241 Peoples R China

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.

关键词： Fecl3 c Ferrier rearrangement promoter glycosylation 346-tri-O-benzyl-D-glucal

来源：评论

学校读者我要写书评

暂无评论

comprehensive transcriptomic analysis reveals insights into the gill response to hypoxia and Poly I:c in Qihe crucian carp carassius auratus

引用

AQUAcULTURE REPORTS 2022年 24卷

作者： Di, Guilan Li, Hui Zhao, Yanjing Lin, Yan Lan, Di Kong, Xianghui chen, Xinhua Fujian Agr & Forestry Univ Inst Oceanol Coll Marine Sci Key Lab Marine Biotechnol Fujian Prov Fuzhou 350002 Peoples R China Henan Normal Univ Coll Fisheries Xinxiang 453007 Peoples R China Fuzhou Inst Technol Dept Biotechnol Fuzhou 350506 Peoples R China Qingdao Natl Lab Marine Sci & Technol Lab Marine Biol & Biotechnol Qingdao 266071 Peoples R China Henan Normal Univ Coll Fisheries 46 Jianshe Rd Xinxiang 453007 Peoples R China

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.

关键词： Transcriptome carassius auratus Hypoxia Gill Poly I c

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：