检索结果-南通市图书馆

Graphdiyne(C_(n)H_(2n-2))as an"electron transfer bridge"boosting photocatalytic hydrogen evolution over Zn_(0.5)Co_(0.5)S/MoS_(2)S-scheme heterojunction

在线全文

学校读者我要写书评

暂无评论

Rare Metals 2024年第5期43卷 1999-2014页

作者： Mei Li jing-Zhi Wang Zhi-Liang jin School of Chemistry and Chemical Engineering North Minzu UniversityYinchuan 750021China School of Chemistry and Chemical Engineering Ningxia Key Laboratory of Solar Chemical Conversion TechnologyKey Laboratory for Chemical Engineering and TechnologyState Ethnic Affairs CommissionNorth Minzu UniversityYinchuan 750021China

In the process of photocatalytic water cracking,the migration rate and utilization rate of photogenerated charges determine the hydrogen evolution performance of the *** this paper,a carbon isotope superconducting material graphdiyne(GDY)is prepared by mechanical ball milling and introduced into the S-scheme heterojunction Zn_(0.5)Co_(0.5)S/MoS_(2)inorganic *** terms of hydrogen evolution kinetics,GDY acts as an electron bridge,not only accelerating the migration of photogenerated carriers but also improving the utilization of photogenerated ***,the large twodimensional layer provides more loading and anchoring points for Zn_(0.5)Co_(0.5)S/MoS_(2),which increases the number of active *** ternary composite catalyst 20%GDY/Zn_(0.5)Co_(0.5)S/MoS_(2)(20-GCSM)generates 69.94μmol of hydrogen(5 h)in triethanolamine *** is 2.97 and1.80 times higher than Zn_(0.5)Co_(0.5)S and Zn_(0.5)Co_(0.5)S/MoS_(2),*** the cyclic experiment,it still has stable hydrogen evolution performance after standing for24 h(under dark conditions).In addition,the potential mechanism of photocatalytic hydrogen evolution is demonstrated through in-situ X-ray photoelectron *** work provides a reference for further research in the field of introducing carbon materials into photocatalytic systems and improving the utilization of photogenerated charges.

关键词： Graphdiyne S-scheme heterojunction Electron transfer bridge Hydrogen production

Research on modeling and self-excited vibration mechanism in magnetic levitation-collision interface coupling system

在线全文

学校读者我要写书评

暂无评论

Applied Mathematics and Mechanics(English Edition) 2024年第5期45卷 873-890页

作者： jinghu TANG Chaofeng LI jin ZHOU Zhiwei WU School of Mechanical Engineering&Automation Northeastern UniversityShenyang 110819China Key Laboratory of Vibration and Control of Aero-Propulsion Systems of Ministry of Education of China Northeastern UniversityShenyang 110819China School of Mechanical and Electrical Engineering Nanjing University of Aeronautics and AstronauticsNanjing 210016China

The modeling and self-excited vibration mechanism in the magnetic levitation-collision interface coupling system are *** effects of the control and interface parameters on the system's stability are *** frequency range of self-excited vibrations is investigated from the energy point of *** phenomenon of self-excited vibrations is elaborated with the phase *** corresponding control strategies are briefly analyzed with respect to the vibration *** results show that when the levitation objects collide with the mechanical interface,the system's vibration frequency becomes larger with the decrease in the collision gap;when the vibration frequency exceeds the critical frequency,the electromagnetic system continues to provide energy to the system,and the collision interface continuously dissipates energy so that the system enters the self-excited vibration state.

关键词： magnetic levitation coupling system self-excited vibration mechanical interface vibration frequency

A spaceborne advanced storage system for remote sensing microsatellites

在线全文

学校读者我要写书评

暂无评论

Frontiers of Information Technology & Electronic Engineering 2024年第4期25卷 600-615页

作者： Shilei TU Huiquan WANG Yue HUANG Zhonghe jin Micro-Satellite Research Center Zhejiang UniversityHangzhou 310027China Key Laboratory of Micro-Nano Satellite Research Zhejiang ProvinceHangzhou 310027China

With the development of satellite miniaturization and remote sensing,the establishment of microsatellite constellations is an inevitable *** to their limited size,weight,and power,spaceborne storage systems with excellent scalability,performance,and reliability are still one of the technical bottlenecks of remote sensing *** on the commercial off-the-shelf field-programmable gate array and memory devices,a spaceborne advanced storage system(SASS)is proposed in this *** work provides a dynamic programming,queue scheduling multiple-input multiple-output cache technique and a high-speed,high-reliability NAND flash controller for multiple microsatellite payload *** results show that SASS has outstanding scalability with a maximum write rate of 2429 Mb/s and preserves at least 78.53%of the performance when a single NAND flash *** scheduling technique effectively shortens the data scheduling time,and the data remapping method of the NAND flash controller can reduce the retention error by at least 50.73%and the program disturbance error by at least 37.80%.

关键词： Microsatellite Spaceborne advanced storage system(SASS) Scalability Performance Reliability

N-Heterocyclic carbene-catalyzed enantioselective(dynamic) kinetic resolutions and desymmetrizations

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China Chemistry 2024年第2期67卷 482-511页

作者： Yi Zhang Hui Cai Xiuhai Gan Zhichao jin National Key Laboratory of Green Pesticide Key Laboratory of Green Pesticide and Agricultural BioengineeringMinistry of EducationGuizhou UniversityHuaxi DistrictGuiyang550025China

N-heterocyclic carbene-catalyzed enantioselective kinetic resolutions,dynamic kinetic resolutions,and desymmetrization reactions are systematically *** content is organized according to the activation modes involved i... 详细信息

关键词： N-heterocyclic carbene kinetic resolution dynamic kinetic resolution desymmetrization organocatalysis

Guaranteed Cost Attitude Tracking Control for Uncertain Quadrotor Unmanned Aerial Vehicle Under Safety Constraints

在线全文

学校读者我要写书评

暂无评论

IEEE/CAA Journal of Automatica Sinica 2024年第6期11卷 1447-1457页

作者： Qian Ma Peng jin Frank L.Lewis School of Automation Nanjing University of Science and TechnologyNanjing 210094China UTA Research Institute University of Texas at ArlingtonFort WorthTexas 76118 USA IEEE

In this paper,guaranteed cost attitude tracking con-trol for uncertain quadrotor unmanned aerial vehicle(QUAV)under safety constraints is ***,an augmented system is constructed by the tracking error system and reference *** transformation aims to convert the tracking control prob-lem into a stabilization control ***,control barrier function and disturbance attenuation function are designed to characterize the violations of safety constraints and tolerance of uncertain disturbances,and they are incorporated into the reward function as penalty *** on the modified reward function,the problem is simplified as the optimal regulation problem of the nominal augmented system,and a new Hamilton-Jacobi-Bellman equation is ***,critic-only rein-forcement learning algorithm with a concurrent learning tech-nique is employed to solve the Hamilton-Jacobi-Bellman equa-tion and obtain the optimal *** proposed algorithm can not only ensure the reward function within an upper bound in the presence of uncertain disturbances,but also enforce safety *** performance of the algorithm is evaluated by the numerical simulation.

关键词： Attitude tracking control quadrotor unmanned aerial vehicle(QUAV) reinforcement learning safety constraints uncertain disturbances.

Constrained Multi-Objective Optimization With Deep Reinforcement Learning Assisted Operator Selection

在线全文

学校读者我要写书评

暂无评论

IEEE/CAA Journal of Automatica Sinica 2024年第4期11卷 919-931页

作者： Fei Ming Wenyin Gong Ling Wang Yaochu jin the School of Computer Science China University of GeosciencesWuhan 430074China the Department of Automation Tsinghua UniversityBeijing 100084China the Faculty of Technology Bielefeld UniversityNorth Rhine-Westphalia33619 BielefeldGermany

Solving constrained multi-objective optimization problems with evolutionary algorithms has attracted considerable *** constrained multi-objective optimization evolutionary algorithms(CMOEAs)have been developed with the use of different algorithmic strategies,evolutionary operators,and constraint-handling *** performance of CMOEAs may be heavily dependent on the operators used,however,it is usually difficult to select suitable operators for the problem at ***,improving operator selection is promising and necessary for *** work proposes an online operator selection framework assisted by Deep Reinforcement *** dynamics of the population,including convergence,diversity,and feasibility,are regarded as the state;the candidate operators are considered as actions;and the improvement of the population state is treated as the *** using a Q-network to learn a policy to estimate the Q-values of all actions,the proposed approach can adaptively select an operator that maximizes the improvement of the population according to the current state and thereby improve the algorithmic *** framework is embedded into four popular CMOEAs and assessed on 42 benchmark *** experimental results reveal that the proposed Deep Reinforcement Learning-assisted operator selection significantly improves the performance of these CMOEAs and the resulting algorithm obtains better versatility compared to nine state-of-the-art CMOEAs.

关键词： Constrained multi-objective optimization deep Qlearning deep reinforcement learning(DRL) evolutionary algorithms evolutionary operator selection

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

Recent progress on nanomaterial-based electrochemical dissolved oxygen sensors

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Chemical Engineering 2024年第4期68卷 103-119页

作者： Shaoqi Zhang Tao Liu Zhenyu Chu Wanqin jin State Key Laboratory of Materials-Oriented Chemical Engineering College of Chemical EngineeringNanjing Tech UniversityNanjing 211816China

Dissolved oxygen(DO)usually refers to the amount of oxygen dissolved in *** the environment,medicine,and fermentation industries,the DO level needs to be accurate and capable of online monitoring to guide the precise control of water quality,clinical treatment,and microbial *** with other analytical methods,the electrochemical strategy is superior in its fast response,low cost,high sensitivity,and portable ***,an electrochemical DO sensor faces a trade-off between sensitivity and long-term stability,which strongly limits its practical *** solve this problem,various advanced nanomaterials have been proposed to promote detection performance owing to their excellent electrocatalysis,conductivity,and chemical ***,in this review,we focus on the recent progress of advanced nanomaterial-based electrochemical DO *** the comparison of the working principles on the main analysis techniques toward DO,the advantages of the electrochemical method are *** is placed on recently developed nanomaterials that exhibit special characteristics,including nanostructures and preparation routes,to benefit DO ***,we also introduce some interesting research on the configuration design of the electrode and device,which is rarely ***,the different requirements of the electrochemical DO sensors in different application fields are included to provide brief guidance on the selection of appropriate ***,the main challenges are evaluated to propose future development prospects and detection strategies for nanomaterial-based electrochemical sensors.

关键词： Nanomaterial Dissolved oxygen Electrochemical sensor Nanostructures Detection principles

Dynamic Scene Graph Generation of Point Clouds with Structural Representation Learning

在线全文

学校读者我要写书评

暂无评论

Tsinghua Science and Technology 2024年第1期29卷 232-243页

作者： Chao Qi Jianqin Yin Zhicheng Zhang jin Tang School of Artificial Intelligence Beijing University of Posts and TelecommunicationsBeijing 100876China Standard and Metrology Research Institute China Academy of Railway Sciences Corporation LimitedBeijing 100081China

Scene graphs of point clouds help to understand object-level relationships in the 3D *** graph generation methods work on 2D structured data,which cannot be used for the 3D unstructured point cloud *** point-cloud-based methods generate the scene graph with an additional graph structure that needs labor-intensive manual *** address these problems,we explore a method to convert the point clouds into structured data and generate graphs without given ***,we cluster points with similar augmented features into groups and establish their relationships,resulting in an initial structural representation of the point ***,we propose a Dynamic Graph Generation Network(DGGN)to judge the semantic labels of targets of different *** dynamically splits and merges point groups,resulting in a scene graph with high *** show that our methods outperform other baseline *** output reliable graphs describing the object-level relationships without additional manual labeled data.

关键词： scene graph generation structural representation point cloud