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

2024 CSAA/IET International Conference on Aircraft Utility systems, AUS 2024

作者： Li, Chuandong Wu, Shuai Wei, Renlei Chen, Taiqi Qin, Mingyuan Chu, Bing Yang, Yuliang Luo, Jianing School of Automation Science and Electrical Engineering Beihang University Beijing100191 China National Key Laboratory of Aircraft Integrated Flight Control Beihang University Beijing100191 China AVIC Shenyang Aircraft Design and Research Institute Ministry of Industry and Information Technology Beijing100191 China Key Laboratory of Advanced Aircraft Systems Beihang University Ministry of Industry and Information Technology Beijing100191 China

In the field of flight control systems, actuators play a crucial role, and dynamic stiffness stands as one of the pivotal metrics to gauge their performance, reflecting the actuators' resilience to external disturbances. Hence, investigating dynamic stiffness is paramount for enhancing the overall performance of flight control systems. This study focuses on a hydraulic dual-parallel actuator system, wherein a mathematical model is established to derive the expression for dynamic stiffness. Leveraging the Amesim software, a simulation model of the parallel actuator system is constructed to conduct an in-depth analysis of its dynamic stiffness characteristics. During simulation, sinusoidal loading forces of varying frequencies are applied at the output end of the actuator system, and displacement response data is collected. Subsequently, the Fast Fourier Transform (FFT) is employed to obtain dynamic stiffness, enabling an analysis of its variations. The relationship between the system's natural frequency and dynamic stiffness is explored, along with an investigation into the primary factors influencing dynamic stiffness. Simulation results indicate that enhancing both support and connection stiffness,reducing load mass and enlarging the piston area can enhance the system's dynamic stiffness, thereby meeting the performance requirements of flight control systems. © The Institution of Engineering & technology 2024.

关键词： Fast Fourier transforms

来源：评论

学校读者我要写书评

暂无评论

Importance of London dispersion force in stabilizing La3Ni2O7 under hydrostatic or anisotropic pressure

引用

Physical Review B 2024年第18期110卷 184514-184514页

作者： Junhao Peng Huafeng Dong Jingyi Zhang Renhai Wang Ping Cui Wei Zhang Zhenyu Zhang Guangdong Provincial Key Laboratory of Sensing Physics and System Integration Applications School of Physics and Optoelectronic Engineering Guangdong University of Technology Guangzhou Guangdong 510006 China International Center for Quantum Design of Functional Materials (ICQD) Hefei National Research Center for Physical Sciences at Microscale University of Science and Technology of China Hefei Anhui 230026 China Hefei National Laboratory University of Science and Technology of China Hefei Anhui 230088 China

Accurate determination of the bilayer structure of the recently discovered high transition temperature superconductor La3Ni2O7 under pressure is a prerequisite for understanding its electronic properties and revealing its dominant superconducting mechanism. Here we present the first systematic exploration of the structural evolution of La3Ni2O7 under different pressure schemes, with the long-range London dispersion force between neighboring bilayers taken into account explicitly. We find, within a broad pressure range of 10 to 35 GPa, that the structure is essentially always in-plane symmetric under hydrostatic pressure, in clear contradiction to the experimentally observed asymmetric structure. Nevertheless, when the applied pressure is anisotropic together with inclusion of a proper dispersion force, the asymmetric structure can be reproduced, accompanied by pronounced flat bands of dz2 orbitals around the Fermi level that in turn benefit superconductivity. These findings offer stringent constraints on developing mechanistic understanding of superconductivity of La3Ni2O7.

关键词： High-pressure studies Nickelates Superconductors Density functional calculations

来源：评论

学校读者我要写书评

暂无评论

Thermally-Induced Fracture in the Oxide Scale of T91 Ferritic/Martensitic Steel after Exposure to Oxygen-Saturated Liquid Lead-Bismuth Eutectic

SSRN

引用

SSRN 2024年

作者： Liu, Yunpeng Du, Juan Zhou, Zhikun Tian, Chenwen Liu, Zhenyu Zhang, Ying Shi, Kaikai Chen, Ziguang Department of Engineering Mechanics School of Aerospace Engineering Huazhong University of Science and Technology Wuhan430074 China Science and Technology on Reactor System Design Technology Laboratory Nuclear Power Institute of China Chengdu610213 China Hubei Key Laboratory of Engineering Structural Analysis and Safety Assessment 1037 Luoyu Road Wuhan430074 China

Ensuring the continuity and stability of the oxide scale to separate T91 steel from lead-bismuth eutectic (LBE) is an effective method for limiting corrosion in the lead-based fast reactor system. In this study, we specifically investigate the impact of cooling thermal stress on the stability and damage of the oxide scales of T91 steel when exposed to oxygen-saturated liquid lead-bismuth eutectic at high temperatures. We revisit a corrosion test conducted on T91 steels exposed to stagnant oxygen-saturated LBE at 500 °C. Experimental results indicate that oxide damage exists without any external force, including interface cracks and through-scale cracks perpendicular to the interface. We develope a three-layer peridynamic model of T91-(Fe,Cr)3O4-Fe3O4 to simulate the deformation and failure of oxides under a cooling process from high temperature to room temperature. The simulation results show that a temperature drop of about 200 °C from 500 °C can cause through-oxide cracks in the oxide scale, and subsequent cooling can lead to the propagation of interfacial cracks. Additional modifications are introduced in the model to account for the porosity of the oxide scale. Parametric investigations illustrate the effects of oxide scale thickness and porosity on the resulting crack patterns. © 2024, The Authors. All rights reserved.

关键词： Oxygen

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Coupled Axisymmetric Peridynamics with Stabilized Correspondence Material Model for Ablation and Fracture Problems

SSRN

引用

SSRN 2024年

作者： Zhang, Hanbo Liu, Zhenhai Li, Chengxuan Ye, Hongfei Zhang, Hongwu Li, Hui Zheng, Yonggang State Key Laboratory of Structural Analysis Optimization and CAE Software for Industrial Equipment Department of Engineering Mechanics School of Mechanics and Aerospace Engineering Dalian University of Technology Dalian116024 China Science and Technology on Reactor System Design Technology Laboratory Nuclear Power Institute of China Chengdu610200 China

A coupled axisymmetric peridynamics with a stabilized correspondence material model (CA-PD-SCMM) is proposed in this work to effectively simulate the ablation and ductile fracture behaviors of metals under high temperatures. To quantify the damage resulting from compression and shearing deformations, a strain energy density decomposition method is incorporated into the ductile damage model. Furthermore, a novel axisymmetric stabilization method based on peridynamics linearization theory is introduced to mitigate numerical oscillations arising from zero-energy modes in both thermal and mechanical scenarios. To capture the varying geometries and update the boundary conditions during ablation, a moving boundary model is developed based on temperature-associated criteria. To validate the capacity of the proposed CA-PD-SCMM, several representative numerical experiments are conducted. These examples not only affirm its ability to stabilize numerical oscillations in coupled axisymmetric thermoplastic problems but also demonstrate its capability for accurately simulating ablation and predicting crack propagation. © 2024, The Authors. All rights reserved.

关键词： Ductile fracture

来源：评论

学校读者我要写书评

暂无评论

design of enhanced pipeline repair clamp 6

Design of enhanced pipeline repair clamp

引用

6th International Conference on Material Strength and Applied Mechanics, MSAM 2023

作者： Zhao, Bingjie Zhang, Shuli Hu, Jun Gao, Qijun Sun, Jingquan Lu, Linping Tianjin Key Laboratory for Advanced Mechatronic System Design and Intelligent Control Tianjin University of Technology Tianjin300384 China National Demonstration Center for Experimental Mechanical and Electrical Engineering Education Tianjin300384 China CNOOC Safety Technology Services Co. Ltd Tianjin300457 China

ISBN: (纸本)9781643684345

Based on the technical requirements for emergency repair of damaged subsea oil and gas pipelines, an enhanced pipeline repair clamp is designed. In order to facilitate the installation of subsea environment, a hydraulic cylinder auxiliary installation mechanism is designed. Based on the reinforcement requirements of damaged part of pipelines, the enhanced components are designed and the slip enhanced structure is designed. Analyzed the sealing technology of the clamp, and found that double sealing technology is adopted by the clamp, resulting in higher reliability of pipeline repair sealing. The formula for calculating the key parameters of the wall thickness of the clamp is provided. The above work can provide reference for the design and application of enhanced pipeline repair clamp. © 2023 The Authors.

关键词： Repair

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Distributed Platoon Control of Connected Vehicles Based on Input-to-state String Stability

Distributed Platoon Control of Connected Vehicles Based on I...

引用

2022 IEEE International Conference on Unmanned systems, ICUS 2022

作者： Liu, Xianzhe Duan, Xuting Zhou, Jianshan Zhang, Long School of Transportation Science and Engineering Beihang University Beijing China Institute of Systems Engineering National Key Laboratory of Science and Technology on Information System Security Beijing China

ISBN: (数字)9781665484565

ISBN: (纸本)9781665484565

In this paper, we propose a platoon controller design approach for the vehicular platoon with bounded external disturbances. The vehicle communication between followers are bidirectional, and the leader can transmit its state to all followers. To make sure the platoon can converge to the leader's state with external disturbances, a distributed discontinuous controller is proposed. By introducing input-to-state string stability (ISSS), the states of all followers are proved to be convergent under the leader's bounded inputs and each follower's bounded external disturbances. After solving the linear matrix inequality (LMI) obtained from the convergence analysis, we get the feedback control gains which can make the vehicle platoon stabilized. Besides, with some minor changes to the theorem, the controller can also apply to the platoon system without disturbances. Finally, the effectiveness of the control scheme is confirmed by some numerical simulations. © 2022 IEEE.

关键词： Controllers

来源：评论

学校读者我要写书评

暂无评论

Applying multi-scale simulations to materials research of nuclear fuels:A review

引用

Materials Reports(Energy) 2021年第3期1卷 64-80页

作者： Chunyang Wen Di Yun Xinfu He Yong Xin Wenjie Li Zhipeng Sun School of Nuclear Science and Technology Xi'an Jiaotong UniversityXi'an710049China State Key Laboratory of Multiphase Flow Xi'an Jiaotong UniversityXi'an710049China China Institute of Atomic Energy Beijing102413China Key Laboratory of Nuclear Reactor System Design Technology Nuclear Power Institute of ChinaChengdu610213China

Computational simulation is an important technical means in research of nuclear fuel *** nuclear fuel issues are inherently multi-scopic,it is imperative to study them with multi-scale simulation *** present,the development of multi-scale simulation for nuclear fuel materials calls for a more systematic approach,in which lies the main purpose of this *** most important thing in multi-scale simulation is to accurately formulate the goals to be achieved and the types of methods to be *** this regard,we first summarize the basic principles and applicability of the simulation methods which are commonly used in nuclear fuel research and are based on different scales ranging from micro to macro,***-Principles(FP),Molecular Dynamics(MD),Kinetic Monte Carlo(KMC),Phase Field(PF),Rate Theory(RT),and Finite Element Method(FEM).And then we discuss the major material issues in this field,also ranging from micro-scale to macro-scale and covering both pellets and claddings,with emphasis on what simulation method would be most suitable for solving each of the ***,we give our prospective analysis and understanding about the feasible ways of multi-scale integration and relevant handicaps and challenges.

关键词： Computational simulation Nuclear fuel Multi-scale modeling Irradiation behavior

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：