检索结果-南通市图书馆

Journal of Magnesium and Alloys 2023年第4期11卷 1206-1212页

作者： Xuejian Li Xiaojun Wang Xiaoshi Hu Chao Xu Wenzhu shao kun Wu State Key Laboratory of Advanced Welding and Joining Harbin Institute of TechnologyHarbin 150001PR China National Key Laboratory of Precision Hot Processing of Metal Harbin Institute of TechnologyHarbin 150001PR China

Converting CO_(2)to valuable materials is attractive in environmental protection and resource *** this study,a vapor-liquid interface reaction system for mass production of high-quality graphene is *** graphene obtained has high crystallinity and few defects during the reaction of CO_(2)and Mg *** growth mechanism of graphene is demonstrated in vapor-liquid interface area by combining the CO_(2)bubbles as a soft template to guide growth with the confinement effect of dense MgO *** quality of the graphene is verified by epoxy composites with high electromagnetic shielding ***,the V-L reaction method ingeniously solves the dispersion of graphene in metal,providing a preparation strategy of Mg matrix composites with structure and function integration.

关键词： Graphene Vapor-liquid interface Magnesiothermic reaction Dispersion Shielding effectiveness

Elastoplastic cup model for cement-based materials

在线全文

学校读者我要写书评

暂无评论

Water Science and Engineering 2010年第1期3卷 102-112页

作者： yan ZHANG Jian-fu shao College of Mechanics and Materials Hohai University Nanjing 210098 P. R. China Laboratory of Mechanics of Lille UMR 8107 CNRS Villeneuve d＇Ascq 59655 France

Based on experimental data obtained from triaxial tests and a hydrostatic test, a cup model was formulated. Two plastic mechanisms, respectively a deviatoric shearing and a pore collapse, are taken into account. This model also considers the influence of confining pressure. In this paper, the calibration of the model is detailed and numerical simulations of the main mechanical behavior of cement paste over a large range of stress are described, showing good agreement with experimental results. The ease study shows that this cup model has extensive applicability for cement-based materials and other quasi-brittle and high-porosity materials in a complex stress state.

关键词： cup model cement-based materials plastic shearing mechanism plastic porecollapse mechanism numerical simulation

Overview:recent studies of machine learning in phase prediction of high entropy alloys

在线全文

学校读者我要写书评

暂无评论

Tungsten 2023年第1期5卷 32-49页

作者： Yong-Gang yan Dan Lu kun Wang Alfred University AlfredNY 14802USA

High entropy alloys(HEAs),especially refractory HEAs,have become a subject of interest in the past years due to their exceptional properties in terms of high-temperature strength,corrosion resistance,radiation tolerance,*** extreme *** the phase formation of these alloys significantly affects their *** the phase of HEAs can be forecasted before the experiments,the material design process can be greatly *** phase formation study of HEAs mainly relied on trial-and-error experiments and multi-scale computational simulations such as calculation of phase diagrams(CALPHAD) and density functional theory(DFT).However,those methods require massive time,man-power,and *** a highly efficient tool,machine learning(ML) method has been developed and applied to predict the phase formation of HEAs very *** review provided a comprehensive overview and analysis of the most recent research work in this ***,we introduce ML methodologies applied in HEAs’ phase prediction in terms of principles,database,algorithm,and *** then summarize recent applications of the ML method in the phase prediction of *** the end,we propose possible solutions to the current problems and future research pathways for various challenges in the phase prediction of HEAs using ML.

关键词： Machine learning High entropy alloys Phase prediction

Advanced hermetic electronic packaging based on lightweight silicon/aluminum composite produced by powder metallurgy technique

在线全文

学校读者我要写书评

暂无评论

Rare Metals 2020年第11期39卷 1307-1313页

作者： yan-Qiang Liu Jian-Zhong Fan Xin-Xiang Hao shao-Hua Wei Jun-Hui Nie Zi-Li Ma Ming-kun Liu Ya-Bao Wang National Engineering and Technology Research Center for Nonferrous Metals Composites General Research Institute for Nonferrous MetalsBeijing100088China

Silicon/aluminum(Si/Al)composite is a kind of lightweight electronic packaging material that received a lot of attention in the past 20 *** this paper,a series of Si/Al composites with lowered coefficient of thermal expansion(CTE)and high thermal conductivity were produced by powder metallurgy(PM).The Si/Al composites are fully dense and have fine Si particles uniquely distributed within pure Al *** 50%Si/Al composites were designed to have strength in the range of 185-290 MPa to meet different demands,while the other properties keep *** toughness of the composites is measured to be 9-10 MPa·m^(1/2).The composites were machined to 50%Si/Al housings and 27%Si/Al *** the hermeticities of housings before and after laser-beam-welding sealing are *** measured leak rate of composites and sealed housings is in magnitude order of 1×10^(-10)and 1×10^(-9)Pa·m^(3)·s^(-1),respectively,suggesting high *** good hermeticity is attributed to the full dense materials,good weldability,and extremely low weld *** present Si/Al composites are expected to be extensively used in highly hermetic electronic packages.

关键词： Si/Al composite Electronic packaging Strength Hermetic Powder metallurgy

Preparation of Molecular Imprinted Copolymer Membrane for Uracil Recognition

在线全文

学校读者我要写书评

暂无评论

Chinese Chemical Letters 2003年第8期14卷 794-796页

作者： shao Ling XIA Hong Ying WANG Hong SUN Yu kun LIU shao Kui CAO Material Engineering School of Zhengzhou University Zhengzhou 450052

Uracil molecular imprinted membrane was prepared by phase inversion technique with [P(AN-co-MAA)] copolymer. SEM photograph shows that the resultant membrane has a typical ultrafiltration structure with Water Volume Flux of 3.7?0-5m3/m2穝, and uracil substrate permeation experiment shows that the resultant membrane can bind uracil into its structure, and shows a binding equilibrium.

关键词： Molecular imprinting membrane phase inversion.

N-heterocyclic carbene-catalyzed radical reactions

在线全文

学校读者我要写书评

暂无评论

Science China Chemistry 2021年第1期64卷 7-16页

作者： kun-Quan Chen He Sheng Qiang Liu Pan-Lin shao Xiang-Yu Chen School of Chemical Sciences University of the Chinese Academy of SciencesBeijing 100049China College of Innovation and Entrepreneurship Southern University of Science and TechnologyShenzhen 518055China

While N-heterocyclic carbene(NHC)catalyzed electron-pair-transfer processes have been developed into an important tool for synthetically important bond formations during the past decades,the corresponding radical reactions via NHC catalysis have only received growing attention in the past six *** into account the advantages NHC-catalyzed radical reactions might bring,such as creating new activation modes that were previously unobtainable,it is worthwhile to provide a conceptual understanding of this emerging ***,herein we give an overview of NHC-catalyzed radical reactions via different synthetic techniques.

关键词： N-heterocyclic carbene radical one-electron oxidant photochemistry electrochemistry

Scanning tunneling microscopic observation of enhanced superconductivity in epitaxial Sn islands grown on SrTiO3 substrate

在线全文

学校读者我要写书评

暂无评论

Science Bulletin 2018年第20期63卷 1332-1337页

作者： Zhibin shao Zongyuan Zhang Hui Yuan Haigen Sun yan Cao Xin Zhang shaojian Li Habakubaho Gedeon Tao Xiang Qi-kun Xue Minghu Pan School of Physics Huazhong University of Science and TechnologyWuhan 430074China Institute of Physics Chinese Academy of ScienceBeifing 100190China Collaborative Innovation Center of Quantum Matter Beijing 100084China State Key Laboratory of Low-Dimensional Quantum Physics Tsinghua UniversityBejiing 100084China

Recent experimental and theoretical studies of single-layer FeSe film grown on SrTiO_3 have revealed interface enhanced superconductivity, which opens up a pathway to promote the superconducting transition temperature. Here, to investigate the role of SrTiO_3 substrate in epitaxial superconducting film, we grew a conventional superconductor b-Sn(bulk T_c～ 3.72 K) onto SrTiO_3 substrate by molecular beam epitaxy. By employing scanning tunneling microscope and spectroscopic measurements, an enhanced Tcof 8.2 K is found for epitaxial b-Sn islands, deduced by fitting the temperature dependence of the gap values using the BCS formula. The observed interfacial charge injection and enhanced electron–phonon coupling are responsible for this Tcenhancement. Moreover, the critical field of 8.3 T exhibits a tremendous increase due to the suppression of the vortex formation. Therefore, the coexistence of enhanced superconductivity and high critical field of Sn islands demonstrates a feasible and effective route to improve the superconductivity by growing the islands of conventional superconductors on perovskite-type titanium oxide substrates.

关键词： Sn islands/SrTiO3 Interface-enhanced superconductivity Molecular beam epitaxy Scanning tunneling microscope Scanning tunneling spectroscopy

A pressure-calibration method of wavelength modulation spectroscopy in sealed microbial growth environment

在线全文

学校读者我要写书评

暂无评论

Chinese Physics B 2021年第5期30卷 378-383页

作者： kun-yang Wang Jie shao Li-Gang shao Jia-Jin Chen Gui-Shi Wang kun Liu Xiao-Ming Gao Anhui Institute of Optics and Fine Mechanics Chinese Academy of ScienceHefei 230031China University of Science and Technology of China Hefei 230031China College of Physics and Electronic Information Engineering Zhejiang Normal UniversityZhejiang 321004China

A new pressure-calibration method for calibrating the reduction of second harmonic(2f)amplitude caused by pressure broadening effect in sealed microbial growth environment is *** new method combines with linewidth compensation and modulation depth compensation and makes the 2f amplitude accurately retrieve metabolic CO_(2) in microbial *** order to verify the method,a simulation experiment is developed,in which the increasing CO_(2) concentration leads to the increasing *** with the relation between the traditional 2f amplitude and gas concentration,there is a monotonous relation between the calibrated 2f amplitude and CO_(2) concentration,particularly,a linear relation is present when the CO_(2) concentration is replaced with the CO_(2) particle *** terms of microbial measurement,the growth of Escherichia coli is measured,and the culture bottle is sealed during the microbial growth *** experimental results show that,comparing to the microbial growth retrieved by traditional 2f amplitude,the calibrated 2f amplitude can accurately retrieve microbial growth in sealed environment.

关键词： second harmonic amplitude pressure-calibration microbial growth sealed environment CO_(2)

Verification of Real Time Operating System Exception Management Based on SPARCv8

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2021年第6期36卷 1367-1387页

作者： Zhi Ma Lei Qiao Meng-Fei yang shao-Feng Li Jin-kun Zhang Beijing Institute of Control Engineering Beijing 100190China China Academy of Space Technology Beijing 100094China School of Computer Science and Technology Xidian UniversityXi'an 710071China

Exception management,as the lowest level function module of the operating system,is responsible for making abrupt changes in the control flow to react to exception events in the *** correctness of the exception management is crucial to guaranteeing the safety of the whole ***,existing formal verification projects have not fully considered the issues of exceptions at the assembly *** for real-time operating systems,in addition to basic exception handling,there are nested exceptions and task switching by exceptions service *** our previous work,we used high-level abstraction to describe the basic elements of the exception management and verified correctness only at the requirement *** on earlier work,this paper proposes EMS(Exception Management SPARCv8),a practical Hoare-style program framework to verify the exception management based on SPARCv8(Scalable Processor Architecture Version 8)at the design *** framework describes the low-level details of the machine,such as registers and memory *** divides the execution logic of the exception management into six phases for comprehensive formal *** the executing scenario of the real-time operating system SpaceOS on the Beidou-3 satellite as an example,we use the EMS framework to verify the exception *** the formalization and proofs are implemented in the interactive theorem prover Coq.

关键词： operating system exception Scalable Processor Architecture Version 8(SPARCv8) Coq formal verification

Packing unequal circles into a square container based on the narrow action spaces

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2018年第4期61卷 229-231页

作者： kun HE Mohammed DOSH yan JIN Shenghao ZOU School of Computer Science and Technology Huazhong University of Science and Technology Shenzhen Research Institute of Huazhong University of Science and Technology Faculty of Education for Girls Kufa University

The single container packing problem consists of allocating a number of items inside one container in order to find the densest packing patterns without *** an important class of optimization problems,packing problems... 详细信息

关键词： PCI Packing unequal circles into a square container based on the narrow action spaces PAS