检索结果-南通市图书馆

Fast Cross-Platform Binary Code Similarity Detection Framework Based on CFGs Taking Advantage of NLP and Inductive GNN

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2024年第1期33卷 128-138页

作者： Jinxue PENG Yong WANG Jingfeng XUE Zhenyan LIU School of Computer science and technology Beijing Institute of Technology

Cross-platform binary code similarity detection aims at detecting whether two or more pieces of binary code are similar or not. Existing approaches that combine control flow graphs(CFGs)-based function representation and graph convolutional network(GCN)-based similarity analysis are the best-performing ones. Due to a large amount of convolutional computation and the loss of structural information, the use of convolution networks will inevitably bring problems such as high overhead and sometimes inaccuracy. To address these issues, we propose a fast cross-platform binary code similarity detection framework that takes advantage of natural language processing(NLP)and inductive graph neural network(GNN) for basic blocks embedding and function representation respectively by simulating extracting structural features and temporal features. GNN’s node-centric and small batch is a suitable training way for large CFGs, it can greatly reduce computational overhead. Various NLP basic block embedding models and GNNs are evaluated. Experimental results show that the scheme with long short term memory(LSTM)for basic blocks embedding and inductive learning-based Graph SAGE(GAE) for function representation outperforms the state-of-the-art works. In our framework, we can take only 45% overhead. Improve efficiency significantly with a small performance trade-off.

关键词： Training Semantics Process control Binary codes Feature extraction Natural language processing Graph neural networks

同方期刊数据库

Carbon felt electrode coated with WS2 enables a high-performance polysulfide/ferricyanide flow battery

在线全文

学校读者我要写书评

暂无评论

Rare Metals 2024年第10期43卷 5039-5047页

作者： Liang-Yu Li Su Yan Ying-Jia Huang Fang-Fang Zhong Jin-Chao Cao Mei Ding Chuan-Kun Jia College of Materials science and Engineering Changsha University of Science and Technology institute of Energy Storage technology College of Energy and Power EngineeringChangsha University of Science and Technology Binzhou institute of technology Weiqiao-UCAS Science and Technology Park

Polysulfide/ferricyanide flow batteries （S/Fe RFBs）,with the advantages of abundant earth reservation low cost,high safety,and environmental friendliness,have attracted significant interest and demonstrated noteworthy potential for practical ***,the battery performance,including the energy efficiency （EE）,voltage efficiency （VE）,and power density of the S/Fe RFBs remains low owing to the slow redox kinetics of polysulfide *** address these concerns,WS2was selected as the booster and deposited on a commercial carbon felt electrode （WS2–CF） to stimulate the redox reactions of polysulfide *** better hydrophilicity and smaller charge-transfer resistance,WS2–CF exhibits enhanced electrochemical activity toward polysulfide redox ***,the battery performance of S/Fe RFB with WS2–CF as the anode has been improved,with EE of 84%,VE of 84%,and a peak power density of 175.7 mW·cm-2,which are all higher than the cell only with the bare carbon felt （CF） as electrodes (76%,77% and 155.8 mW·cm-2,respectively).Furthermore,the cycling life of the S/Fe RFB with WS2–CF has been prolonged to 2200 cycles with a capacity retention of 96% a 40 mA·cm-2because of the good stability of WS2–CF as the ***,under the same conditions,the S/Fe RFB without WS2–CF terminated after 1500 cycles with a fast capacity *** successful utilization of WS2as a booster on an electrode provides an efficient strategy for obtaining advanced S/Fe RFBs for practical applications.

关键词： Carbon felt Energy storage Polysulfide/ferricyanide flow battery Tungsten disulfide

Low-temperature graphitization of lignin via Co-assisted electrolysis in molten salt

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Green Energy & Environment 2024年第9期9卷 1449-1458页

作者： Shijie Li Wei-Li Song Xue Han Qingqing Cui Yan-li Zhu Shuqiang Jiao institute of Advanced Structure technology Beijing Institute of Technology State Key Laboratory of Advanced Metallurgy University of Science and Technology Beijing State Key Laboratory of Explosion science and technology Beijing Institute of Technology

The ever-growing energy demand and environmental issues have stimulated the development of sustainable energy ***,an efficient and environmentally friendly electrochemical transformation technology was proposed to prepare highly graphitized carbon materials from an abundant natural resource-lignin （LG）.The preparation process mainly includes pyrolytic carbonization of raw LG material and electrochemical conversion of amorphous carbon ***,with the assistance of Co catalyst,the graphitization degree of the products was significantly improved,in which the mechanism was the removal of heteroatoms in LG and the rearrangement of carbon atoms into graphite ***,tunable microstructures （nanoflakes） under catalytic effects could also be observed by controlling the electrolytic *** with the products CN1 （without catalyst） and CN5 （with 10%catalyst）,the specific surface area are 158.957 and202.246 m2g-1,*** used as the electrode material for lithium-ion batteries,CN5 delivered a competitive specific capacity of～350 m Ah g-1（0.5 C） compared with commercial *** strategy proposed in this work provides an effective way to extract value-added graphite materials from lignin and can be extended to the graphitization conversion of any other amorphous carbon precursor materials.

关键词： Lignin Graphitic carbon Electrochemical conversion Lithium-ion batteries

A FAS approach for stabilization of generalized chained forms: part 1. Discontinuous control laws

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science China(Information sciences) 2024年第2期67卷 118-143页

作者： Guang-Ren DUAN Center for Control Theory and Guidance technology Harbin Institute of Technology Center for Control science and technology Southern University of Science and Technology

In this paper, a type of general nonholonomic systems is proposed, which contains both the Brockett’s two example systems, and their extended n-dimensional chained forms, as special cases. For the stabilization of such systems, a stabilizing controller is proposed based on the fully actuated system(FAS)approach, which is discontinuous at the origin but time-invariant when the open-loop system is time-invariant,and drives the feasible trajectories of the system to the origin exponentially. Furthermore, the proposed FAS approach is also extended to the sub-normal system case and the time-delay system case.

关键词： nonholonomic systems feedback stabilization exponential convergence sub-fully actuated systems time-delay systems

A model reduction approach for discrete-time linear time-variant systems with delayed inputs

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science China(Information sciences) 2024年第4期67卷 197-217页

作者： Ai-Guo WU Guang-Ren DUAN Yu WANG Jie ZHANG School of Mechanical Engineering and Automation Harbin Institute of Technology(Shenzhen) HIT Wuhu Robot technology Research institute Center for Control science and technology Southern University of Science and Technology

A model reduction approach is presented for discrete-time linear time-variant input-delayed systems. According to this proposed approach, a dynamical variable is constructed by taking advantage of the current state and historical information of input. It is revealed that the behavior of this dynamical variable is governed by a discrete-time linear delay-free system. It is worth noting that the presented variable transformation does not require the system matrix to be invertible. Based on the reduced delay-free models,stabilizing control laws can be easily obtained for the original delayed system. For the case with a single input delay, the constructed variable is an exact prediction for the future state, and thus the stabilizing control law could be designed by replacing the future state with its prediction. Finally, three discrete-time periodic systems with delayed input are employed to illustrate how to utilize the presented model reduction approaches.

关键词： reduction approach predictor-based feedback time-varying systems delayed input periodic system

Random pinhole attenuator for high-power laser beams

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

High Power Laser science and Engineering 2024年第3期12卷 116-121页

作者： Seong Cheol Park Hyeok Yun Jin Woo Yoon Seong Ku Lee Jae Hee Sung Il Woo Choi Chang Hee Nam Kyung Taec Kim Department of Physics and Photon science Gwangju Institute of Science and TechnologyGwangjuRepublic of Korea Center for Relativistic Laser science Institute for Basic ScienceGwangjuRepublic of Korea Advanced Photonics Research institute Gwangju Institute of Science and TechnologyGwangjuRepublic of Korea

The intensity attenuation of a high-power laser is a frequent task in the measurements of optical *** intensity can be attenuated by inserting an optical element,such as a partial reflector,polarizer or absorption *** devices are,however,not always easily applicable,especially in the case of ultra-high-power lasers,because they can alter the characteristics of a laser beam or become easily *** this study,we demonstrated that the intensity of a laser beam could be effectively attenuated using a random pinhole attenuator(RPA),a device with randomly distributed pinholes,without changing the beam *** this device,a multi-PW laser beam was successfully attenuated and the focused beam profile was measured without any alterations of its *** addition,it was confirmed that the temporal profile of a laser pulse,including the spectral phase,was ***,the RPA possesses significant potential for a wide range of applications.

关键词： high-power laser intensity attenuation laser diagnostics

维普期刊数据库

Rational design and energy catalytic application of high-loading single-atom catalysts

在线全文

学校读者我要写书评

暂无评论

Rare Metals 2024年第10期43卷 4844-4866页

作者： Zi-Wei Deng Yue Liu Jie Lin Wen-Xing Chen Energy and Catalysis Center School of Materials Science and EngineeringBeijing Institute of Technology Ningbo institute of Materials technology and Engineering Chinese Academy of Science

It is well known that single-atom catalysts(SACs)have become a hot topic in the field of catalysis due to their advantages such as 100% metal atom utilization efficiency,high catalytic activity and selectivity compared with conventional catalysts and nanocatalysts. However, the isolated metal atoms on SACs have thermodynamic instability and tend to agglomerate, which limit their catalytic ***, it is of great significance to synthesize stable and high-loading single-atom catalysts(HLSACs). In this paper,we review the research progress of HLSACs from two aspects:design and application. Firstly, we comprehensively introduce the synthesis strategies of HLSACs, namely, top-down and bottom-up methods. Secondly, we overview the application status of HLSACs in three fields: electrocatalysis, thermal catalysis and photocatalysis. Finally, we summarize the development prospects and challenges of HLSACs.

关键词： Design Electrocatalysis High-loading single-atom catalysts Photocatalysis Thermal catalysis

On equivalence of state-based potential games

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science China(Information sciences) 2024年第6期67卷 313-327页

作者： Han WU Jinhuan WANG institute of Mathematics School of ScienceHebei University of Technology

In this paper, we explore state-based potential games using the semi-tensor product of ***, applying the potential equation, we derive both a necessary and sufficient condition as well as a sufficient condition to verify whether a state-based game qualifies as a potential game. Next, we present two static equivalence conditions of state-based potential games. We then delve into dynamic equivalence. We propose a criterion that allows us to identify state-based games that are dynamically equivalent to state-based potential games and share similar dynamic properties. Ultimately, we introduce the concept of state-based networked evolutionary games. We provide a necessary and sufficient condition to ensure that a state-based networked evolutionary game can be classified as a state-based potential game.

关键词： semi-tensor product of matrices state-based potential game verification equivalence state-based networked evolutionary game

Perspective on powder technology for all-solid-state batteries:How to pair sulfide electrolyte with high-voltage cathode

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Particuology 2024年第3期86卷 55-66页

作者： Jiangkui Hu Shijie Yang Yingying Pei Xilong Wang Yulong Liao Shuai Li Aolong Yue Jia-Qi Huang Hong Yuan School of Materials science&Engineering Beijing Institute of TechnologyBeijing100081China Advanced Research institute of Multidisciplinary science Beijing Institute of TechnologyBeijing100081China

Sulfide solid electrolytes(SEs)have attracted ever-increasing attention due to their superior roomtemperature ionic conductivity(~10^(-2) S cm^(-1)).Additionally,the integration of sulfide SEs and highvoltage cathodes is promising to achieve higher energy ***,the incompatible interfaces between sulfide SEs and high-voltage cathodes have been one of the key factors limiting their ***,this review presents a critical summarization of the interfacial issues in all-solid-state lithium batteries based on sulfide SEs and high-voltage cathodes and proposes strategies to stabilize the electrolyte/cathode ***,the future research direction of electrolyte/cathode interfaces and application prospects of powder technology in sulfide-based ASSLBs were also discussed.

关键词： Sulfide solid electrolytes High-voltage cathodes Electrode/electrolyte interfaces All-solid-state lithium batteries