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

Magnetic and magnetocaloric effect in a stuffed honeycomb polycrystalline antiferromagnet GdInO_(3)

Chinese Physics B 2022年第6期31卷 656-662页

作者： Yao-Dong Wu Wei-Wei Duan Qiu-Yue Li Yong-Liang Qin Zhen-Fa Zi Jin Tang Universities Joint Key Laboratory of Photoelectric Detection Science and Technology in Anhui Province Anhui Province Key Laboratory of Simulation and Design for Electronic Information Systemand School of Physics and Materials EngineeringHefei Normal UniversityHefei 230601China Anhui Province Key Laboratory of Condensed Matter Physics at Extreme Conditions High Magnetic Field LaboratoryHFIPSAnhuiChinese Academy of SciencesHefei 230031China University of Science and Technology of China Hefei 230026China

The magnetic and magnetocaloric properties were studied in a stuffed honeycomb polycrystalline antiferromagnet GdInO_(3).The onset temperature of antiferromagnetic ordering was observed at~2.1 *** thermal and magnetic hystereses suggest a reversible magnetocaloric effect(MCE)in the GdInO_(3) *** the magnetic field changes of 0 kOe-50 kOe and 0 kOe-70 kOe,the maximum magnetic entropy change values are 9.65 J/kg·K and 18.37 J/kg·K,respectively,near the liquid helium temperature,with the corresponding relative cooling power values of 115.01 J/kg and211.31 J/*** MCE investigation of the polycrystalline GdInO_(3) serves to illuminate more exotic properties in this frustrated stuffed honeycomb magnetic system.

关键词： GdInO_(3) magnetization magnetocaloric effects stuffed honeycomb antiferromagnet

来源：评论

学校读者我要写书评

暂无评论

Peridynamic Simulation for Thermal and Mechanical Behavior of Manufactured Structures with MIG Welding 1

引用

作者： Li, Hui Zhang, Liping Liu, Zhenyu Li, Lijuan Zhang, Yixiong Shao, Xuejiao Science and Technology On Reactor System Design Technology Laboratory Nuclear Power Institute of China No. 328 Changshun Avenue Chengdu Sichuan610200 China

ISBN: (数字)9783030683030

ISBN: (纸本)9783030683023;9783030683054

A new numerical simulation method is developed for the evaluation of thermal and mechanical analyses of manufactured structures with Metal Inert Gas (MIG) welding on the basis of the peridynamics. The peridynamic formulations of the weak coupled thermo-mechanical problems are derived based on a heat transfer model and a microplastic model. To simulate the MIG welding process, a birth–death material point method in the peridynamic framework is proposed to model the addition of weld metal to the workpiece. To simplify the calculation process and improve the computational efficiency due to no need of updating the neighbourhoods of material points, an additional scalar field is introduced in the equations to describe the birth and death states of the material points. In addition, the present method is applied to simulate a classical model of two plates being joined together by the MIG welding. The results indicate that the residual tensile deformations are formed in the welded area while the residual compressive deformations are formed far from the wild line after the release of the clamps on account of the plastic deformation. These results also demonstrate the validity of the present method for the simulation of the MIG welding by comparing with the reference solution. © 2021, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Computational efficiency

来源：评论

学校读者我要写书评

暂无评论

Formally Verified a Front-End of the Trusted Code Generator for Safety I&C Software of NPPs 5th

Formally Verified a Front-End of the Trusted Code Generator ...

引用

5th International Symposium on Software Reliability, Industrial Safety, Cyber Security and Physical Protection of Nuclear Power Plant, ISNPP 2020

作者： Lan, Lin Ma, Quan Hou, Rong-Bin Jiang, Wei Liu, Ming-Xing Yang, Fei Li, Yong Science and Technology on Reactor System Design Technology Laboratory Nuclear Power Institute of the China Chengdu Sichuan China Harbin Engineering University Harbin China

ISBN: (纸本)9789811634550

In nuclear power plant embedded software control area, graphical control algorithms are described by Lustre program and designed with graphical editors of engineering station. After they are translated into C programs through a code generator, then the C programs are downloaded to the embedded platform software of NASPIC. The correctness of the code generator will directly determine the credibility and safety of NASPIC. Therefore, it’s important to ensure the correctness of the code generator translation process. Formally verified the correctness of a code generator, which has been studied for many years and becomes a most effective approach to develop a trusted code generator. This article is based on the requirements of nuclear safety-level I&C (Instrumentation & Control) system and mainly presents the development of a formally verified code generator front-end. The front-end translates Lustre source program into S_Lustre (a sequential intermediate language). And it is programmed and proved in Coq (Auxiliary Theorem Prover). During the development of the front-end, two key technical challenges have been resolved. The first is to ensure every id which appeared in the Lustre program has been defined. The second is to implement the casualty analysis and determine the evaluation order of user-defined types and equations based on the dependencies. © 2021, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

Effect of Fecral Sublayer Composition on the Microstructure, Mechanical Properties and Corrosion Resistance of Fecral/Ysz Composite Coatings

SSRN

引用

SSRN 2023年

作者： Zhu, Changda Qiu, Xi Li, Yuanming Zhang, Wei Yang, Jian Zhong, Yilong Deng, Jiuguo Zhou, Mingyang Liu, Ning Yang, Jijun Key Laboratory of Radiation Physics and Technology of Ministry of Education Institute of Nuclear Science and Technology Sichuan University Chengdu610064 China Science and Technology on Reactor System Design Technology Laboratory Nuclear Power Institute of China Chengdu610213 China

The effect of FeCrAl sublayer composition on the microstructure, mechanical properties and lead-bismuth eutectic (LBE) corrosion behavior of the FeCrAl/YSZ composite coatings were systematically investigated. The results show that the FeCrAl sublayer as a diffusion barrier and bonding layer is beneficial to improve the mechanical properties and corrosion resistance of the coatings. After corrosion, a slow-growing, continuous and protective Al-rich oxide is formed at the interface between the YSZ and FeCrAl sublayer, which can effectively hinder the inward diffusion of oxygen atoms and the outward diffusion of iron atoms. Especially, the Fe12Cr9Al/YSZ coating exhibits the best corrosion resistance even after corrosion at 700°C. The microscopic corrosion mechanism of FeCrAl/YSZ coating is elucidated. © 2023, The Authors. All rights reserved.

关键词： Eutectics

来源：评论

学校读者我要写书评

暂无评论

Trusted Algorithm Compiler for Safety I&C Software of NPPs Based on Formal Methods 5th

Trusted Algorithm Compiler for Safety I&C Software of NPPs B...

引用

5th International Symposium on Software Reliability, Industrial Safety, Cyber Security and Physical Protection of Nuclear Power Plant, ISNPP 2020

作者： Yang, Fei Lan, Lin Ma, Quan Han, Wen-Xing Liu, Ming-Xing Jiang, Wei Science and Technology On Reactor System Design Technology Laboratory Nuclear Power Institute of the China Chengdu Sichuan China Harbin Engineering University Harbin China

ISBN: (纸本)9789811634550

The algorithm for the 1E system of NPPs is generally developed by a graph making tool at the engineering station. After the executable file is generated by the compiler and downloaded to the platform software, the credibility of the executable algorithm depends on the credibility of the generated programming code. Therefore, its security requirements put high demands on the compiler. The formal method has been developed rapidly in response to the problem of trusted compilation in recent years. This paper studies the main methodology and key technological components for designing and implementing the trusted compilers, meanwhile emphasize its industrial application based on existing research. The application is optimized, and a new composite compilation architecture is proposed, which reduces the difficulty of proof work and enhances the flexibility of the compiler’s later phase. Finally, several compiler optimization procedures for the security level software NASPIC are studied, and the algorithm compilation is enhanced, as well as the trusted performance of the device. © 2021, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

Numerical investigation of the critical heat flux in a 5 × 5 rod bundle with multi-grid

引用

Nuclear Engineering and technology 2022年第5期54卷 1914-1928页

作者： Liu, Wei Shang, Zemin Yang, Shihao Yang, Lixin Tian, Zihao Liu, Yu Chen, Xi Peng, Qian State Key Laboratory of Reactor System Design Technology Nuclear Power Institute of China Chengdu 610213 China School of Mechanical Electronic and Control Engineering Beijing Jiaotong University Beijing 100044 China

To improve the heat transfer efficiency of the reactor fuel assembly, it is necessary to accurately calculate the two-phase flow boiling characteristics and the critical heat flux (CHF) in the fuel assembly. In this paper, a Eulerian two-fluid model combined with the extended wall boiling model was used to numerically simulate the 5 × 5 fuel rod bundle with spacer grids (four sets of mixing vane grids and four sets of simple support grids without mixing vanes). We calculated and analyzed 11 experimental conditions under different pressure, inlet temperature, and mass flux. After comparing the CHF and the location of departure from the nucleate boiling obtained by the numerical simulation with the experimental results, we confirmed the reliability of computational fluid dynamic analysis for the prediction of the CHF of the rod bundle and the boiling characteristics of the two-phase flow. Subsequently, we analyzed the influence of the spacer grid and mixing vanes on the void fraction, liquid temperature, and secondary flow distribution. The research in this article provides theoretical support for the design of fuel assemblies. © 2021 Korean Nuclear Society

关键词： 5 × 5 rod bundle Critical heat flux Eulerian two-fluid model Flow boiling

来源：评论

学校读者我要写书评

暂无评论

Direct Numerical Simulation of Turbulent Flow and Heat Transfer in 3x3 Square Rod Bundle

SSRN

引用

SSRN 2024年

作者： Miao, Heng Li, Jie Wei, Zonglan Sun, Yumeng Ai, Zhelun Deng, Jian Sino-French Institute of Nuclear Engineering and Technology Sun Yat-sen University Guangdong Zhuhai519082 China Science and Technology on Reactor System Design Technology Laboratory Nuclear Power Institute of China Sichuan Chengdu610213 China

The flow characteristics within rod bundles are crucial in the evaluation of system performance and safety of engineering systems, including various nuclear reactor designs. This paper conducts direct numerical simulation (DNS) of a 3 × 3 square rod bundle using Nek5000. The model dimensions are Lx × Ly × Lz = 0.95 × 0.02045 × 0.02045 m, with a Reynolds number of 22876. The velocity field and temperature field are analyzed in detail, and the physical quantities such as velocity, temperature and Reynolds stress are extracted. The results show that the organized fluid motion is significant, indicating that there may be gap instability. Furthermore, an assessment of applicability for the widely used RANS model is provided for the rod bundle channel, including the recommended wall treatment method and turbulence model with strong applicability. © 2024, The Authors. All rights reserved.

关键词： Heat transfer

来源：评论

学校读者我要写书评

暂无评论

Proton storage chemistry in aqueous zinc-organic batteries:A review

引用

InfoMat 2023年第2期5卷 45-65页

作者： Xianming Deng James Kumankuma Sarpong Guobin Zhang Jing Hao Xu Zhao Linyuan Li Hongfei Li Cuiping Han Baohua Li Shenzhen Key Laboratory of Power Battery Safety and Shenzhen Geim Graphene Center Tsinghua Shenzhen International Graduate SchoolTsinghua UniversityShenzhenPeople's Republic of China School of System Design and Intelligent Manufacturing Southern University of Science and TechnologyShenzhenGuangdongPeople's Republic of China Faculty of Materials Science and Energy Engineering Institute of Technology for Carbon NeutralityShenzhen Institute of Advanced TechnologyChinese Academy of SciencesShenzhenPeople's Republic of China Shenzhen Key Laboratory of Energy Materials for Carbon Neutrality Shenzhen Institute of Advanced TechnologyChinese Academy of SciencesShenzhenPeople's Republic of China

Benefiting from the advantageous features of structural diversity and resource renewability,organic electroactive compounds are considered as attractive cathode materials for aqueous Zn-ion batteries(ZIBs).In this review,we discuss the recent developments of organic electrode materials for aqueous *** the proton(H^(+))storage chemistry in aqueous Zn-organic batteries has triggered an overwhelming literature surge in recent years,this topic remains ***,our review focuses on this significant issue and summarizes the reported electrochemical mechanisms,including pure Zn^(2+)intercalation,pure H^(+)storage,and H^(+)/Zn^(2+)***,the impact of H^(+)storage on the electrochemical performance of aqueous ZIBs is discussed *** the significance of H^(+)storage,we also highlight the relevant characterization methods ***,perspectives and directions on further understanding the charge storage mechanisms of organic materials are *** hope that this review will stimulate more attention on the H^(+)storage chemistry of organic electrode materials to advance our understanding and further its application.

关键词： aqueous zinc-ion batteries H^(+)/Zn^(2+)co-storage organic electrode materials proton storage chemistry

来源：评论

学校读者我要写书评

暂无评论

Controlling antifungal activity with light:Optical regulation of fungal ergosterol biosynthetic pathway with photo-responsive CYP51 inhibitors

引用

Acta Pharmaceutica Sinica B 2023年第7期13卷 3080-3092页

作者： Zhuang Li Na Liu Wanzhen Yang Jie Tu Yahui Huang Wei Wang Chunquan Sheng State Key Laboratory of Bioengineering Reactor And Shanghai Key Laboratory of New Drug DesignSchool of PharmacyEast China University of Science&TechnologyShanghai 200237China School of Pharmacy Second Military Medical University(Naval Medical University)Shanghai 200433China Department of Pharmacology and Toxicology College of PharmacyAnd BIO5 InstituteUniversity of ArizonaTucsonAZ 85721USA

Invasive fungal infections(IFIs)have been associated with high mortality,highlighting the urgent need for developing novel antifungal *** the first light-responsive antifungal agents were designed by optical control of fungal ergosterol biosynthesis pathway with photocaged triazole lanosterol 14a-demethylase(CYP51)*** photocaged triazoles completely shielded the *** content of ergosterol in fungi before photoactivation and after photoactivation was 4.4%and 83.7%,***,the shielded antifungal activity(MIC80≥64μg/m L)could be efficiently recovered(MIC80=0.5—8μg/m L)by light *** new chemical tools enable optical control of fungal growth arrest,morphological conversion and biofilm *** ability for highprecision antifungal treatment was validated by in vivo *** light-activated compound A1 was comparable to fluconazole in prolonging survival in Galleria mellonella larvae with a median survival of 14 days and reducing fungal burden in the mouse skin infection ***,this study paves the way for precise regulation of antifungal therapy with improved efficacy and safety.

关键词： Antifungal agents Ergosterol biosynthesis Triazoles Photocaged Optical control

来源：评论

学校读者我要写书评

暂无评论

Collaborative Fall Detection and Response Using Wi-Fi Sensing and Mobile Companion Robot

Collaborative Fall Detection and Response Using Wi-Fi Sensin...

引用

2024 IEEE International Conference on Robotics and Biomimetics, ROBIO 2024

作者： Chen, Yunwang Kang, Yaozhong Zhao, Ziqi Hong, Yue Meng, Lingxiao Meng, Max Q.-H. Southern University of Science and Technology Shenzhen Key Laboratory of Robotics Perception and Intelligence Shenzhen518055 China SUSTech Department of Electrical and Electronic Engineering Shenzhen China School of System Design and Intelligent Manufacturing SUSTech Shenzhen China

ISBN: (纸本)9781665481090

This paper presents a collaborative fall detection and response system integrating Wi-Fi sensing with robotic assistance. The proposed system leverages channel state information (CSI) disruptions caused by movements to detect falls in non-line-of-sight (NLOS) scenarios, offering non-intrusive monitoring. Besides, a companion robot is utilized to provide assistance capabilities to navigate and respond to incidents autonomously, improving efficiency in providing assistance in various environments. The experimental results demonstrate the effectiveness of the proposed system in detecting falls and responding effectively. © 2024 IEEE.

关键词： Fall detection

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：