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

IEEE Transactions on Intelligent Vehicles 2024年第9期9卷 1-12页

作者： Liu, Chunhong Zhao, Mengdi Wang, Huaichen Cheng, Bo Liu, Jialei Yuan, Peiyan Engineering Lab of Intelligence Business & Internet of Things and School of Computer and Information Engineering Henan Normal University Xinxiang China State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications Beijing China Hubei Key Laboratory of Power System Design and Test for Electrical Vehicle and School of Computer Engineering Hubei University of Arts and Science Xiangyang China

Vehicle edge computing (VEC) offers users low-latency and high-reliability services by using computational resources at the network's edge. Nevertheless, because of inadequate infrastructure and limited resources, computation-intensive and delay-sensitive vehicle applications cannot be performed efficiently at the edge. Therefore, several studies have used the idle resources of parked vehicles to assist in computation offloading. In this paper, we propose a parked vehicle-assisted vehicle edge computing architecture considering multi-agent collaboration, including intelligent vehicles and edge servers. Additionally, we propose a framework for a parallel Internet of Vehicles (IoV) utilizing computational experiment. The service provider is assigned the role of owning VEC resources and recruiting parking vehicle resources. The model was constructed by using the resource consumption-service relationship of both offloading parties to ensure service quality. First, a Stackelberg game model was constructed based on the interaction between requesting vehicles and a service provider. The latter was the leader, and the requesting vehicles were the followers. The Nash equilibrium for optimal pricing and offloading allocations was attained and verified, and a distributed gradient-based equilibrium algorithm was designed to solve the Stackelberg game model and obtain the final decision through mutual communication. The method also protects the privacy of participants and respects the willingness of requesting vehicles to offload. Finally, the simulation experiments confirmed that the proposed algorithm can achieve game equilibrium. Furthermore, it outperformed state-of-the-art algorithms in improving the service provider's utility. IEEE

关键词： Vehicles

来源：评论

学校读者我要写书评

暂无评论

design of an All-Fiber Fabry-Perot Sensor for Strain Measurement in Radiative Environment

引用

Photonic Sensors 2022年第4期12卷 81-90页

作者： Tingting YANG Zengling RAN Xiu HE Lupeng GAN Zhengxi HE Jialiang ZHU Peng HE Zhuoyue LI Dong SUN Key Laboratory of Optical Fiber Sensing&Communications(Ministry of Education) University of Electronic Science and Technology of ChinaChengdu 611731China Science and Technology on Reactor System Design Technology Laboratory Nuclear Power Institute of ChinaChengdu 610213China School of Information and Communication Engineering University of Electronic Science and Technology of ChinaChengdu 611731China

A length-matched micro Fabry-Perot(FP)interferometer is proposed for strain measurement under irradiation *** simulation shows that a well length-matched FP sensor can achieve a very low drift of the cavity length and strain sensitivity in irradiation *** experiment,such an FP cavity is realized by laser *** shows a low cavity length drift of−0.037μm and a strain sensitivity deviation of 0.52%,respectively,under gamma ***,the intensity of interference fringes is also *** a result,such a length-matched FP cavity is a very promising candidate for strain sensing in radiative environments.

关键词： Gamma radiation Fabry-Perot sensor radiation-induced compaction strain sensing

来源：评论

学校读者我要写书评

暂无评论

Uncertainty Quantification of Spray Nozzle Fatigue Analysis Under Transient Load 1

引用

作者： Liu, Zhenyu Li, Lijuan Zhang, Liping Li, Hui Shao, Xuejiao Jiang, Lu Zhang, Ying 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

In this paper, the randomness concept of input parameters is introduced into the design of nuclear equipment, and the uncertainty analysis of input parameters is carried out for fatigue analysis. Taking the pressurizer spray nozzle as the research object, considering the random fluctuation of temperature and pressure of the transient load, the reliability and distribution of the fatigue usage are obtained by performing fatigue analysis according to the fatigue analysis method of nuclear power equipment with Monte Carlo sampling method. Taking section No.3 as an example, the thermal analysis and stress analysis models are established. Through the parameter sensitivity analysis, the relative sensitivity of the fatigue usage to each input parameter is obtained. From the results, it is clear which parameters have a significant impact on the results. The results can further optimize the structural design of the nuclear power equipment and improve its fatigue resistance, which has great application value to the life extension of nuclear power equipment. © 2021, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Uncertainty analysis

来源：评论

学校读者我要写书评

暂无评论

An IGBT Device Health Status Assessment Method Considering the Influence of Operating Conditions

An IGBT Device Health Status Assessment Method Considering t...

引用

IEEE/IAS Industrial and Commercial Power system Asia (I&CPS Asia)

作者： Cheng Yang Zeyu Duan Ran Yao Hui Li Wei Lai Yuan Min Yannan Yuan Wenxing Han State Key Laboratory of Power Transmission Equipment & System Security and New Technology Chongqing University Chongqing China Science and Technology on Reactor System Design Technology Laboratory Nuclear Power Institute of China ChengDu China

The Insulated Gate Bipolar Transistor (IGBT) is a critical component of power electronic equipment, and its health is of utmost importance to ensure the reliability and stability of the entire system. This paper proposes a method for assessing the health status of IGBT device under various operating conditions. Firstly, a finite element model of the IGBT device is established to analyze the influence of solder layer void and bond line detachment on the saturation voltage of the device. Secondly, the device parameters are simulated under different working conditions, and an adaptive neural network algorithm is used to establish the IGBT equipment health state evaluation model. Finally, the results of the model are analyzed, and the prediction results under random conditions are compared with the simulation results. The results show that this method effectively evaluates the health status of IGBT devices.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Investigations of Sodium Droplet Spreading and Evaporation on Surfaces with Different Wettability Based on Lattice Boltzmann Simulations

SSRN

引用

SSRN 2024年

作者： Tang, Songsheng Guo, Kailun Tian, Zhixing Wang, Mingjun Wang, Chenglong He, Xiaoqiang Su, Guanghui Qiu, Suizheng Tian, Wenxi School of Nuclear Science and Technology State Key Lab. of Multiphase Flow in Power Engineering Shaanxi Key Lab. of Advanced Nuclear Energy and Technology Xi’an Jiaotong University Shaanxi Xi’an710049 China Key Lab. of Nuclear Reactor System Design Technology China Nuclear Power Research and Design Institute Chengdu610213 China

The spreading and evaporation of sodium droplets is one of the fundamental phenomena in high-temperature heat pipes. The LBM sodium two-phase flow and phase transition model, which can simulate a huge liquid-vapor density ratio, is first established and validated. Then, the spreading and evaporation processes of sodium droplets on solid walls with different wettability are numerically simulated and analyzed. The main conclusions obtained are as follows: (1) The dimensionless spreading diameter and time of the droplet spreading process conforms to Tanner's power law, and the power exponent has exponential relationship with the equilibrium wetting angle;(2) The maximum dimensionless spreading diameter is negatively and linearly correlated with the equilibrium wetting angle;(3) Evaporation of sodium droplets under constant heat flow conditions shows a mixed pattern. The droplets will be detached from the droplet wall at the late stage of evaporation, and the larger the equilibrium wetting angle the sooner the droplets detach. © 2024, The Authors. All rights reserved.

关键词： Evaporation

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

StreamFP: Learnable Fingerprint-guided Data Selection for Efficient Stream Learning

arXiv

引用

arXiv 2024年

作者： Shi, Tongjun Zhang, Shuhao Chen, Binbin He, Bingsheng National Engineering Research Center for Big DataTechnology and System Services Computing Technology and System Lab Cluster Grid Computing Lab School of Computer Science and Technology Huazhong University of Science and Technology Wuhan430074 China Singapore University of Technology and Design Singapore National University of Singapore Singapore

Stream Learning (SL) requires models that can quickly adapt to continuously evolving data, posing significant challenges in both computational efficiency and learning accuracy. Effective data selection is critical in SL to ensure a balance between information retention and training efficiency. Traditional rule-based data selection methods struggle to accommodate the dynamic nature of streaming data, highlighting the necessity for innovative solutions that effectively address these challenges. Recent approaches to handling changing data distributions face challenges that limit their effectiveness in fast-paced environments. In response, we propose StreamFP, a novel approach that uniquely employs dynamic, learnable parameters called fingerprints to enhance data selection efficiency and adaptability in stream learning. StreamFP optimizes coreset selection through its unique fingerprint-guided mechanism for efficient training while ensuring robust buffer updates that adaptively respond to data dynamics, setting it apart from existing methods in stream learning. Experimental results demonstrate that StreamFP outperforms state-of-the-art methods by achieving accuracy improvements of 15.99%, 29.65%, and 51.24% compared to baseline models across varying data arrival rates, alongside a training throughput increase of 4.6x. © 2024, CC BY.

关键词： Data accuracy

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：