检索结果-南通市图书馆

High Voltage 2024年第2期9卷 391-402页

作者： Junwen He Bangfa Peng Guanglin Yu Ronggang Wang Nan Jiang Jie Li Yan Wu school of Electrical engineering Dalian University of TechnologyDalianChina Canmax technologies Co. Ltd.SuzhouChina

A dual-frequency(DF)dielectric barrier discharge,excited by the superposition of a 50 Hz low frequency(LF)and a 5000 Hz intermediate frequency(IF),is proposed to enhance *** effect of the LF voltage component on the breakdown behaviour of the DF discharge during different periods has been studied both experimentally and *** number of high-current pulses rises as the LF voltage *** statistical analysis shows that the number of the current pulse amplitude above 80 mA in the DF discharge reaches nearly 6 times that in the IF ***,the total discharge energy in the DF discharge is significantly higher than that in the IF *** simulation re-produces the temporal variation of the breakdown behaviours in the DF *** simulated results reveal that the maximal electric field strength of the breakdown process is greater in the DF discharge compared to the IF discharge during a half-period of ***,the comparison between the IF and DF discharges exhibits that the LF voltage regulates the accumulation of residual charged species on the dielectric surface after the breakdown by modulating the residual voltage between the air gap.

关键词： dielectric excitation excited

Deep learning for code generation: a survey

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2024年第9期67卷 5-40页

作者： Huangzhao ZHANG Kechi ZHANG Zhuo LI Jia LI Jia LI Yongmin LI Yunfei ZHAO Yuqi ZHU Fang LIU Ge LI Zhi JIN Key Lab of High Confidence Software technologies (Peking University) Ministry of Education school of Computer Science Peking University school of Computer Science and engineering Beihang University

In the past decade, thanks to the powerfulness of deep-learning techniques, we have witnessed a whole new era of automated code generation. To sort out developments, we have conducted a comprehensive review of solutions to deep learning-based code generation. In this survey, we generally formalize the pipeline and procedure of code generation and categorize existing solutions according to taxonomy from perspectives of architecture, model-agnostic enhancing strategy, metrics, and tasks. In addition, we outline the challenges faced by current dominant large models and list several plausible directions for future research. We hope that this survey may provide handy guidance to understanding, utilizing, and developing deep learning-based code-generation techniques for researchers and practitioners.

关键词： code generation automated software engineering deep learning large model artificial intelligence

Game Theory based Optimal Defensive Resources Allocation with Incomplete Information in Cyber-physical Power Systems against False Data Injection Attacks

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Protection and Control of Modern Power Systems 2024年第2期9卷 115-127页

作者： Bingjing Yan Zhenze Jiang Pengchao Yao Qiang Yang Wei Li Albert Y.Zomaya College of Electrical engineering Zhejiang University College of Control Science and engineering Zhejiang University College of Electrical engineering Zhejiang UniversityHangzhou 310027China school of Information technologies at The University of Sydney school of Information technologies

Modern power grid is fast emerging as a complex cyber-physical power system(CPPS)integrating physical current-carrying components and processes with cyber-embedded computing,which faces increasing cy-berspace security threats and *** this paper,the state(i.e.,voltage)offsets resulting from false data injection(FDI)attacks and the bus safety characterization are applied to quantify the attack *** state offsets are obtained by the state estimation method,and the bus safety characterization considers the power net-work topology as well as the vulnerability and connection relationship of *** the indeterminacy of attacker’s resource consumption and reward,a zero-sum game-theoretical model from the defender’s perspective with incomplete information is explored for the optimal allocation of limited defensive *** attacker aims to falsify measurements without triggering threshold alarms to break through the protection,leading to load shedding,over-voltage or *** defender attempts to ensure the estimation results to be as close to the actual states as possible,and guarantee the system’s safety and efficient defensive resource *** proposed solution is extensively evaluated through simu-lations using the IEEE 33-bus test network and real-time digital simulator(RTDS)based testbed experiments of the IEEE 14-bus *** results demonstrate the effec-tiveness of the proposed game-theoretical approach for optimal defensive resource allocation in CPPS when lim-ited resources are available when under FDI *** Terms—Optimal strategy,game theory,Nash equilibrium,CPPS,FDI attack.

关键词： Optimal strategy game theory Nash equilibrium CPPS FDI attack

Nonlinear Filtering With Sample-Based Approximation Under Constrained Communication:Progress, Insights and Trends

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

IEEE/CAA Journal of Automatica Sinica 2024年第7期11卷 1539-1556页

作者： Weihao Song Zidong Wang Zhongkui Li Jianan Wang Qing-Long Han IEEE the State Key Laboratory for Turbulence and Complex Systems Department of Mechanics and Engineering ScienceCollege of Engineering Peking University the Department of Computer Science Brunel University London the school of Aerospace engineering Beijing Institute of Technology the school of Science Computing and Engineering Technologies Swinburne University of Technology

The nonlinear filtering problem has enduringly been an active research topic in both academia and industry due to its ever-growing theoretical importance and practical *** main objective of nonlinear filtering is to infer the states of a nonlinear dynamical system of interest based on the available noisy measurements. In recent years, the advance of network communication technology has not only popularized the networked systems with apparent advantages in terms of installation,cost and maintenance, but also brought about a series of challenges to the design of nonlinear filtering algorithms, among which the communication constraint has been recognized as a dominating concern. In this context, a great number of investigations have been launched towards the networked nonlinear filtering problem with communication constraints, and many samplebased nonlinear filters have been developed to deal with the highly nonlinear and/or non-Gaussian scenarios. The aim of this paper is to provide a timely survey about the recent advances on the sample-based networked nonlinear filtering problem from the perspective of communication constraints. More specifically, we first review three important families of sample-based filtering methods known as the unscented Kalman filter, particle filter,and maximum correntropy filter. Then, the latest developments are surveyed with stress on the topics regarding incomplete/imperfect information, limited resources and cyber ***, several challenges and open problems are highlighted to shed some lights on the possible trends of future research in this realm.

关键词： Communication constraints maximum correntropy filter networked nonlinear filtering particle filter sample-based approximation unscented Kalman filter

Carbon-coated hybrid crystals with fast electrochemical reaction kinetics for ultra-stable and high-load sodium-ion batteries

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Rare Metals 2024年第2期43卷 647-657页

作者： Chuan Ou Ming-Dong Tan Zhen-Bang Li Zhao-Jie Li Fei Tian Zheng-Ping Qiao Dan-Ni Lei Cheng-Xin Wang State Key Laboratory of Optoelectronic Materials and technologies School of Materials Science and EngineeringSun Yat-Sen UniversityGuangzhou510275China

Owing to its high theoretical capacity and low cost,Sn has attracted significant attention in sodium-ion ***,the slow kinetics of electrochemical reactions and the rapid decay of capacity resulting from drastic changes in the volume of Sn,as well as persistent side reactions between Sn and the organic electrolyte during the(de)sodium process,have limited its *** improve the electrochemical performance of Sn-based materials,the bottom-up method is normally used to prepare carbon-coated ***,its complex preparation processes and harsh conditions make it unsuitable for practical ***,a carbon-coated hybrid crystal composite(Sn/SnO_(x)@C)was prepared using an up-bottom method with commercial Sn/SnO *** effects accelerate the electrochemical kinetics and inhibit the coarsening of Sn *** Sn/SnO_(x)@C composite electrode exhibited capacity retention of 80.7%even after approximately 1000 cycles(360.4 mAh·g^(−1)) at a current density of 1 A·g^(−1).The high-load Na_(3)V_(2)(PO4)3||Sn/SnO_(x)@C full cell presents a capacity retention rate of 91.7%after 150 cycles at the current density of 0.5 A·g^(−1).This work may significantly accelerate the commercialization of the Sn/SnO_(x)@C composite in sodium-ion batteries with high energy density.

关键词： Sodium-ion batteries(SIBs) Sn-based anode Ultraviolet curing Up-bottom method

维普期刊数据库

Formal Verification of Data Modifications in Cloud Block Storage Based on Separation Logic

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2024年第1期33卷 112-127页

作者： Bowen ZHANG Zhao JIN Hanpin WANG Yongzhi CAO Key Laboratory of High Confidence Software technologies (MOE) School of Computer Science Peking University school of Computer and Artificial Intelligence Zhengzhou University school of Computer Science and Cyber engineering Guangzhou University

Cloud storage is now widely used, but its reliability has always been a major concern. Cloud block storage(CBS) is a famous type of cloud storage. It has the closest architecture to the underlying storage and can provide interfaces for other types. Data modifications in CBS have potential risks such as null reference or data *** verification of these operations can improve the reliability of CBS to some extent. Although separation logic is a mainstream approach to verifying program correctness, the complex architecture of CBS creates some challenges for verifications. This paper develops a proof system based on separation logic for verifying the CBS data modifications. The proof system can represent the CBS architecture, describe the properties of the CBS system state, and specify the behavior of CBS data modifications. Using the interactive verification approach from Coq, the proof system is implemented as a verification tool. With this tool, the paper builds machine-checked proofs for the functional correctness of CBS data modifications. This work can thus analyze the reliability of cloud storage from a formal perspective.

关键词： Cloud computing Behavioral sciences Reliability Formal verification

Preventing formation of intermetallic compounds in ultrasonic-assisted Sn soldering of Mg/Al alloys through pre-plating a Ni coating layer on the Mg substrate

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Magnesium and Alloys 2024年第2期12卷 726-741页

作者： Yingzong Liu Yuanxing Li Hui Chen Zongtao Zhu Key Laboratory of Advanced technologies of Materials Ministry of EducationSchool of Materials Science and EngineeringSouthwest Jiaotong UniversityChengdu 610031PR China

Magnesium and aluminum alloys are widely used in various industries because of their excellent properties,and their reliable connection may increase application of *** compounds(IMCs)affect the joint performance of Mg/*** this study,AZ31 Mg alloy with/without a nickel(Ni)coating layer and 6061 Al alloy were joined by ultrasonic-assisted soldering with Sn-3.0Ag-0.5Cu(SAC)*** effects of the Ni coating layer on the microstructure and mechanical properties of Mg/Al joints were systematically *** Ni coating layer had a significant effect on formation of the Mg_(2)Sn IMC and the mechanical properties of Mg/Al *** blocky Mg_(2)Sn IMC formed in the Mg/SAC/Al joints without a Ni coating *** content of the Mg_(2)Sn IMC increased with increasing soldering temperature,but the joint strength *** joint without a Ni coating layer fractured at the blocky Mg_(2)Sn IMC in the solder,and the maximum shear strength was 32.2 *** pre-plating Ni on the Mg substrate,formation of the blocky Mg_(2)Sn IMC was inhibited in the soldering temperature range 240–280℃and the joint strength ***,when the soldering temperature increased to 310℃,the blocky Mg_(2)Sn IMC precipitated again in the *** electron microscopy showed that some nano-sized Mg_(2)Sn IMC and the(Cu,Ni)_(6)Sn_(5)phase formed in the Mg(Ni)/SAC/Al joint soldered at 280℃,indicating that the Ni coating layer could no longer prevent diffusion of Mg into the solder when the soldering temperature was higher than 280℃.The maximum shear strength of the Mg(Ni)/SAC/Al joint was 58.2 MPa for a soldering temperature of 280℃,which was 80.7%higher than that of the Mg/SAC/Al joint,and the joint was broken at the Mg(Ni)/SAC ***-plating Ni is a feasible way to inhibit formation of IMCs when joining dissimilar metals.

关键词： Ultrasonic-assisted soldering Mg_(2)Sn Ni coating layer Shear strength

维普期刊数据库

Study on the preparation and fretting behavior of bonded oriented MoS_(2)solid lubricant coating

在线全文

学校读者我要写书评

暂无评论

Friction 2024年第11期12卷 2505-2518页

作者： Liangliang XIONG Mengxue WU Xiaoqiang FAN Minhao ZHU Key Laboratory of Advanced technologies of Materials(Ministry of Education) School of Materials Science and EngineeringSouthwest Jiaotong UniversityChengdu 610031China Tribology Research Institute School of Mechanical EngineeringSouthwest Jiaotong UniversityChengdu 610031China

The bonded MoS_(2)solid lubricant coating is an effective measure to mitigate the fretting wear of AISI 1045 *** this work,the amino functionalized MoS_(2)was protonated with acetic acid to make the MoS_(2)positively *** directional arrangement of protonated MoS2 in the coating was achieved by electrophoretic deposition under the electric field *** bonded directionally aligned MoS_(2)solid lubricant coating showed high adaptability to various loads and excellent lubrication performance under all three working *** a load of 10 N,the friction coefficient and wear volume of the coating with 5 wt%protonated MoS_(2)decreased by 20.0%and 37.2%compared to the pure epoxy coating,respectively,and by 0.07%and 16.8%than the randomly arranged MoS_(2)sample,*** remarkable lubricating properties of MoS_(2)with directional alignment were attributed to its effective load-bearing and mechanical support,barrier effect on longitudinal extension of cracks,and the formation of a continuous and uniform transfer film.

关键词： bonded solid lubricant coating MoS_(2) fretting oriented alignment

C@Ag core‒shell structure as lubricating additives towards high efficient lubrication

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Friction 2024年第9期12卷 1991-2003页

作者： Dong AO Xiaoqiang FAN Minhao ZHU Key Laboratory of Advanced technologies of Materials(Ministry of Education) School of Materials Science and EngineeringSouthwest Jiaotong UniversityChengdu 610031China Tribology Research Institute School of Mechanical EngineeringSouthwest Jiaotong UniversityChengdu 610031China

Efficient cooperative lubrication can be achieved via the introduction of core‒shell structure lubricant additives with hard core and soft shell,for obtaining the expected anti-wear performance from the structural changes in the friction *** this study,C@Ag microspheres with a core‒shell structure were prepared by the redox method with carbon spheres as the core and Ag nanoparticles as the *** tribological behaviors as base oil(G1830)additive with different concentrations were investigated in *** with base oil,the addition of C@Ag particles at 0.5 wt%can reduce the coefficient of friction(COF)and wear volume(Wv)up to 15.5%and 88%,*** importantly,C@Ag particles provide superior lubrication performance to single additive(like carbon sphere(CS)and Ag nanoparticle).C@Ag core‒shell particles contribute to the formation of tribo-film by melt bonding of flexible Ag and carbon sphere(CS)toward excellent self-repair performance and high-efficiency ***,core‒shell structural nanoparticles with hard-core and soft-shell hold bright future for high-performance lubrication application.

关键词： C@Ag microspheres tribo-film self-repair performance high-efficiency lubrication

Solvent-free carbon sphere nanofluids towards intelligent lubrication regulation

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Friction 2024年第1期12卷 95-109页

作者： Sheng ZHANG Wen LI Xiaoliang MA Xiaoqiang FAN Minhao ZHU Tribology Research Institute School of Mechanical EngineeringSouthwest Jiaotong UniversityChengdu 610031China Key Laboratory of Advanced technologies of Materials Ministry of EducationSchool of Materials Science and EngineeringSouthwest Jiaotong UniversityChengdu 610031China

By simply switching the electrical circuit installed on steel/steel contact,the tribological behaviors of nanofluids(NFs)can be regulated in real time,thereby achieving the desired performance of friction reduction and wear ***,solvent-free carbon spherical nanofluids(C-NFs)were successfully prepared for intelligent lubrication regulation.C-NFs with excellent lubrication performance can immediately reduce the coefficient of friction(COF)despite applying a weak electric potential(1.5 V).Moreover,polyethylene glycol 400(PEG400)containing 5.0 wt%C-NFs remained responsive to electrical stimulation under the intermittent voltage application with an average coefficient of friction(ACOF)reduction of 20.8%over *** intelligent lubrication regulation of C-NFs under an external electric field(EEF)mainly depends on the orderly arranged double-electric adsorption film of ion canopy-adsorbed carbon spheres(CSs).The intermittent electrical application can continuously reinforce the adsorption film and its durability for real-time controlling the sliding ***-stimulation-responsive intelligent lubricants provide a new technical support for realizing intelligent stepless control of devices.

关键词： solvent-free carbon spherical nanofluids(C-NFs) intelligent lubrication regulation lubrication performance adsorption film