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

Oxidation kinetics of eutectic superalloys Ni (Ni plus co)-Nbc at 1100°c

MRS cOMMUNIcATIONS 2025年第1期15卷 99-104页

作者： Dmytrieva, G. P. cherepova, T. S. Pryadko, T. V. Semenova, Yu. S. NAS Ukraine GV Kurdyumov Inst Met Phys Kiev Ukraine Leibniz Inst Solid State & Mat Res Dresden Germany

The kinetics of oxidation of Ni (Ni + co)-Nbc superalloys represented by the alloy Ni-Nbc and (Ni + co)-Nbc was studied. The alloys were studied in the cast state. It was found that the alloys oxidize according to a parabolic law. The analysis of diffusion-oxidation processes at a temperature of 1100 degrees c in air indicates an increase in heat resistance as a result of intensification of scale sintering and the formation on the surface of superalloys of a diffusion barrier layer of chromium, aluminum, and niobium oxides. The research result determines the prospects of creating industrial alloys for power engineering based on Ni (Ni + co)-Nbc superalloys.

关键词： Alloys Ni co Nb c Oxidation Microstructure Kinetics Oxide Barrier layer

来源：评论

学校读者我要写书评

暂无评论

c-doped cdS2 monolayer as toxic gas scavenger or sensor based on first-principles study

引用

cHEMIcAL PHYSIcS LETTERS 2024年 855卷

作者： Wang, Kuanyi Pang, Jianhua Wei, Guang Zhong, Yifei Wei, Songrui Guangdong Ocean Univ Zhanjiang 524088 Peoples R China Guangdong Ocean Univ Shenzhen Inst Shenzhen 518120 Peoples R China Shenzhen Univ Coll Phys & Optoelect Engn State Key Lab Radio Frequency Heterogeneous Integr Shenzhen 518060 Peoples R China

The selective adsorption mechanism of c-cdS2 2 monolayer was revealed using density functional theory. The results show that c-cdS2 2 has good adsorption properties for SO2, 2 , NO, NH3, 3 , NO2 2 and cl2, 2 , and all of them are chemisorbed. Under the adsorption of different gas molecules, the electronic structure of c-cdS2 2 changed to varying degrees, which provided a theoretical basis for the use of c-cdS2 2 as a gas sensor or scavenger for these gases.

关键词： First-Principles c-Gas Sensor Toxic c

来源：评论

学校读者我要写书评

暂无评论

The response of c/N/S cycling functional microbial communities to redox conditions in shallow aquifers using in-situ sediment as bio-trap matrix

引用

ENVIRONMENTAL TEcHNOLOGY 2024年第18期45卷 3666-3678页

作者： Li, cui chen, Rong Ouyang, Weiwei Xue, chen Liu, Minghui Liu, Hui China Univ Geosci Sch Environm Studies Hubei Key Lab Yangtze Catchment Environm Aquat Sci 388 Lumo Rd Wuhan 430074 Peoples R China China Univ Geosci State Key Lab Biogeol & Environm Geol Wuhan 430078 Hubei Peoples R China Hubei Ecol Polytech Coll Wuhan Peoples R China Wuhan Technol & Business Univ Sch Environm & Biol Engn Wuhan Peoples R China

Microbial communities are fundamental components driving critical biogeochemical carbon (c), nitrogen (N) and sulfur (S) cycles in groundwater ecosystems. The reduction-oxidation (redox) potential is one important environmental factor influencing the microbial community composition. Here, we developed a bio-trap method using in-situ sediment as a matrix to collect aquifer sediment samples and evaluate the response of microbial composition and c/N/S cycling functions to redox variations created by providing sole O-2, joint O-2 and H-2, and sole H-2 to three wells. Illumina sequencing analyses showed that the microbial communities in the bio-trap sediment could respond quickly to redox changes in the wells, demonstrating that this bio-trap method is promising for detecting microbial variation in the aquifer sediment. The microbial metabolic functions related to c, N and S cyclings and organic pollutants degradation were predicted by the Kyoto Encyclopedia of Genes and Genomes (KEGG) approach. It was found that the joint O-2 and H-2 injection produced medium oxidation-reduction potential (ORP -346 and -614 mV) and enhanced more microbial functions than sole O-2 or H-2,H- which mainly include oxidative phosphorylation, most carbon source metabolism, various pollutants degradation, and nitrogen and sulfur metabolism. Moreover, the functional genes encoding phenol monooxygenase, dioxygenase, nitrogen fixation, nitrification, aerobic and anaerobic nitrate reductase, nitrite reductase, nitric oxide reductase, and sulfur oxidation increased. These findings tell us the contaminant bioremediation and N, S metabolism can be promoted by adjusting ORP realised by injecting joint O-2 and H-2.

关键词： Bio-trap microbial community functional genes c N S metabolism redox conditions

来源：评论

学校读者我要写书评

暂无评论

Fabrication of SiO@Graphite@c@Al2O3 as Anode Material for Lithium-Ion Batteries

引用

JOURNAL OF ELEcTRONIc MATERIALS 2024年第7期53卷 4261-4271页

作者： Hou, chunping Yue, Zeyu Zhai, Lidong Sun, Hehang Xie, Haidong Lu, Hui Wu, Jiandong Wang, Xingwei Hou, Jiao North Minzu Univ Coll Mat Sci & Engn Yinchuan 750021 Peoples R China Bolt New Mat Yinchuan Co Ltd Yinchuan 750002 Peoples R China Ningxia Res Ctr Silicon Target & Silicon Carbon N Yinchuan 750021 Peoples R China

In this study, SiO@graphite@c@Al2O3 (SiO@G@c@A) composites are synthesized by varying the content of Al2O3, and their morphology and structure and their electrochemical performance are investigated in detail. The results indicate that the SiO/G@c@A-2 composite exhibits a specific capacity of 977.1 mA h g(-1) at a current density of 0.1 A g(-1) with a coulombic efficiency of 71.15%. Even after 100 cycles at a current density of 0.5 A g(-1), it retains a delithiated specific capacity of 640.7 mA h g(-1) and a capacity retention rate of 73.56%. Moreover, when the current density is raised to 2 A g(-1), it maintains a delithiated capacity of 568.4 mA h g(-1) and a capacity retention rate of 58.51%. The excellent electrochemical performance is ascribed to the synergistic effect of different components. The inclusion of graphite enhances overall conductivity while mitigating the volume expansion of the SiO. The application of asphalt pyrolytic carbon as a coating effectively isolates the SiO from the electrolyte, further reducing volume expansion and enhancing conductivity. The introduction of Al2O3 can absorb trace amounts of hydrogen fluoride (HF) generated during charge and discharge processes. Additionally, it facilitates the formation of an AlF3 film on the particle surfaces, which hinders and decelerates electrolyte dissolution into the electrode. The prepared composites exhibit promising prospects as lithium-ion battery anode materials. [GRAPHIcS] .

关键词： SiO graphite c Al2O3 electrochemical performance

来源：评论

学校读者我要写书评

暂无评论

A new multi-scale modeling method for needled c/c composites

引用

MEcHANIcS OF ADVANcED MATERIALS AND STRUcTURES 2024年第15期31卷 3309-3323页

作者： Shi, Haolin Guo, Zhangxin Zhang, Yifan Liang, Jianguo Li, Yongcun Guo, Meiqing Taiyuan Univ Technol Inst Appl Mech Coll Mech & Vehicle Engn Taiyuan Peoples R China Tiangong Univ Key Lab Adv Text Composite Mat Minist Educ Tianjin Peoples R China Tiangong Univ Sch Text Sci & Engn Tianjin Peoples R China Taiyuan Univ Technol Inst Appl Mech Shanxi Key Lab Mat Strength & Struct Impact Taiyuan Peoples R China Taiyuan Univ Technol Natl Demonstrat Ctr Expt Mech Educ Taiyuan Peoples R China Taiyuan Univ Technol Inst Appl Mech Coll Mech & Vehicle Engn Taiyuan 030024 Peoples R China Tiangong Univ Key Lab Adv Text Composite Mat Minist Educ Tianjin 300387 Peoples R China

Needled composites have stronger interlaminar properties compared to two-dimensional fiber composite structures due to the introduction of z-directional fibers in the fiber composite layup. An effective multi-scale finite element model is developed in this paper for the complex structure of needle-punched composites. Three scales, namely fRVE, pRVE, and lRVE, are modeled from the fiber scale, the delamination scale, and the laminate scale. using ABAQUS, periodic boundary conditions are applied to the RVEs at different scales to obtain the effective mechanical properties of various RVEs. Meanwhile, the effect of needling density on the needled composites is predicted by applying the above multi-scale model. The increase of needling density can enhance the out-of-plane effective mechanical properties of the composites, but it also weakens the in-plane effective mechanical properties. The maximum error of the elastic modulus calculation is 17.68% with that of the reference, thus verifying the rationality of the multi-scale model.

关键词： c c needled composites finite element model multi-scale mechanical properties

来源：评论

学校读者我要写书评

暂无评论

Optimization of Process Parameters for Ozone Disinfestation of c. Maculatus: Effects on Germination, in Vitro Protein Digestibility, Nutritional, Thermal and Pasting Properties of Mung Bean Grains

引用

OZONE-ScIENcE & ENGINEERING 2024年第2期46卷 128-143页

作者： Kaur, Kulwinder Kumar, Satish Kaur, Preetinder Saini, Manpreet Kaur Singh, Arashdeep Bala, Manju Singh, Dhanwinder Punjab Agr Univ Dept Proc & Food Engn Ludhiana 141004 Punjab India Punjab Agr Univ Dept Food Sci & Technol Ludhiana Punjab India ICAR Cent Inst Postharvest Engn & Technol CIPHET Div Food Grains & Oil Proc Ludhiana Punjab India Punjab Agr Univ Dept Soil Sci Ludhiana Punjab India

The use of ozone in food processing has become an eco-friendly, cost-effective way to manage insect pests and improve grain quality. The present study examined the efficacy of different ozone concentrations (500-1000 ppm), exposure time (2-6 h), and grain moisture content (11-15%, wb) on mortality of different developing stages (egg, larvae, and pupae) and adult of callosobruchus maculatus. Treated Mung bean was also analyzed for in-vitro protein digestibility (IVPD), grain hardness, and germination rate. A comparison between untreated (control) and treated mung bean samples at optimized conditions was conducted to determine the influence of ozone on proximate and mineral analysis, thermal and pasting properties. c. maculatus pupae and adults were least susceptible to ozonation, with mortality rates of 11.11 and 13.04-100%, respectively. In the optimal condition of 11.17% grain moisture content, 1000 ppm ozone concentration, and 2 h exposure time, mortality of different life stages (egg, larvae, pupae, and adults) of c. maculatus was calculated as 104.07%, 90.15%, 86.82%, and 83.55%, respectively. The corresponding values of IVPD, hardness, and grain germination were 67.85%, 57.43 N, and 87.74%, respectively. There was a noticeable decrease in protein, fat, and mineral content in ozone-treated mung bean compared to the control. Furthermore, enhancement in thermal and pasting properties of ozonated mung beans suggest that ozone can be utilized to develop high quality grain products' while ensuring their safety.

关键词： c maculatus Disinfection Grain quality Mung bean Optimization Ozone gas

来源：评论

学校读者我要写书评

暂无评论

A Verified Foreign Function Interface between coq and c

引用

PROcEEDINGS OF THE AcM ON PROGRAMMING LANGUAGES-PAcMPL 2025年第POPL期9卷 687-717页

作者： Korkut, Joomy Stark, Kathrin Appel, Andrew W. Princeton Univ Princeton NJ 08544 USA Bloomberg LP New York NY 10017 USA Heriot Watt Univ Edinburgh Scotland

One can write dependently typed functional programs in coq, and prove them correct in coq;one can write low-level programs in c, and prove them correct with a c verification tool. We demonstrate how to write programs partly in coq and partly in c, and interface the proofs together. The Verified Foreign Function Interface (VeriFFI) guarantees type safety and correctness of the combined program. It works by translating coq function types (and constructor types) along with coq functional models into VST function-specifications;if the user can prove in VST that the c functions satisfy those specs, then the c functions behave according to the user-specified functional models (even though the c implementation might be very different) and the proofs of coq functions that call the c code can rely on that behavior. To achieve this translation, we employ a novel, hybrid deep/shallow description of coq dependent types.

关键词： foreign function interface coq c

来源：评论

学校读者我要写书评

暂无评论

Identification of cu⁰/cu⁺/cu⁰ interface as superior active sites for cO2 electroreduction to c2+ in neutral condition

引用

cHEM 2024年第7期10卷 2089-2102页

作者： cao, Xi Ren, Shan Zhang, Xue Fan, Qikui chen, Qingqing Yang, Jian Mao, Junjie Anhui Normal Univ Coll Chem & Mat Sci Minist Educ Key Lab Funct Mol Solids Wuhu Peoples R China Chinese Acad Sci Shenzhen Inst Adv Technol Ctr Mat & Interfaces Shenzhen Guangdong Peoples R China Xi An Jiao Tong Univ Sch Phys Xian Shaanxi Peoples R China

cu-based catalysts are boosting electrocatalysts in cO2 reduction reactions to high-value multicarbon (c2+) products. Because of the unstable cu+ species and the unclear microscopic structure in reactions, cu-based catalysts still face significant challenges of low selectivity and poor durability at high current density. Herein, we report a thermodynamically driven comproportionation strategy for forming a cu-0/cu+/cu-0 interface to stabilize cu+ species. When tested in a flow cell containing neutral electrolyte, the sample showed a high c2+ products Faradaic efficiency (FEc2+) of 92.3% at a partial current density of 276.9 mA cm(-2). In a membrane electrode assembly, the sample achieved a 90.1% FEc2+ and maintained continuous operation for over 50 h at industrial current density. Further investigation demonstrates outstanding FEc2+ of >80% at a large industrial current of 10 A. Mechanism studies reveal that the cu-0/cu+/cu-0 interface lowers the energy barrier for c-c coupling in the reaction, thus facilitating the conversion of cO2 to c2+ products. {GRAPHIAcAL ABSTRAcT}

关键词： cO 2 electroreduction neutral medium c 2+ products metal-organic frameworks in situ reconstruction SDG7: Affordable and clean energy SDG12: Responsible consumption and production

来源：评论

学校读者我要写书评

暂无评论

Fulminate: Testing cN Separation-Logic Specifications in c

引用

PROcEEDINGS OF THE AcM ON PROGRAMMING LANGUAGES-PAcMPL 2025年第POPL期9卷 1260-1292页

作者： Banerjee, Rini Memarian, Kayvan Makwana, Dhruv Pulte, christopher Krishnaswami, Neel Sewell, Peter Univ Cambridge Cambridge England

Separation logic has become an important tool for formally capturing and reasoning about the ownership patterns of imperative programs, originally for paper proof, and now the foundation for industrial static analyses and multiple proof tools. However, there has been very little work on program testing of separation- logic specifications in concrete execution. At first sight, separation-logic formulas are hard to evaluate in reasonable time, with their implicit quantification over heap splittings, and other explicit existentials. In this paper we observe that a restricted fragment of separation logic, adopted in the cN proof tool to enable predictable proof automation, also has a natural and readable computational interpretation, that makes it practically usable in runtime testing. We discuss various design issues and develop this as a c+cN source to c source translation, Fulminate. This adds checks - including ownership checks and ownership transfer - for c code annotated with cN pre- and post-conditions;we demonstrate this on nontrivial examples, including the allocator from a production hypervisor. We formalise our runtime ownership testing scheme, showing (and proving) how its reified ghost state correctly captures ownership passing, in a semantics for a small c-like language.

关键词： c verification separation logic refinement types runtime testing pKVM Android

来源：评论

学校读者我要写书评

暂无评论

cyclic-fatigue life prediction in c/Sic composites subjected to stochastic load spectra with hold cycles

引用

MEcHANIcS OF TIME-DEPENDENT MATERIALS 2023年第3期27卷 843-874页

作者： Li, Longbiao Nanjing Univ Aeronaut & Astronaut Coll Civil Aviat 29 Jiangjun Ave Nanjing 211106 Peoples R China

In this work, the life prediction of c/Sic composites subjected to stochastic load spectra with hold cycles is investigated using a damage-based micromechanical model. Relationships between the fiber's architecture (i.e., 1D unidirectional, 2D crossply and plain-woven, 2.5D woven, and 3D braided), stochastic load spectra, hold cycles, fiber-fragmentation probability (FFP), and composite fatigue-life degradation rate (FFDR) are established. Experimental FFDR and FFP in different c/Sic composites are predicted. Under the low fatigue peak stress, the FFDR is the highest during increasing stochastic stress for 1D and 3D c/Sic and is the highest during decreasing stochastic stress for 2D and 2.5D c/Sic. Under the high fatigue peak stress, the FFDR is the highest during decreasing stochastic stress for 1D, 2D, 2.5D and 3D c/Sic. The FFDR at the constant stochastic stress level is the lowest under the low or high fatigue peak stress.

关键词： c Sic Life cyclic fatigue Stochastic load spectrum Hold cycles

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：