检索结果-南通市图书馆

High-Confidence Computing 2024年第3期4卷 64-74页

作者： Chao Wang Xueqiao Xu Ke Xiao Yunhua He Guangcan Yang School of Information science and technology North China University of TechnologyBeijing 100144North China University of TechnologyBeijing 100144

Recently,vehicles have experienced a rise in networking and informatization,leading to increased security *** the most widely used automotive bus network,the Controller Area Network(CAN)bus is vulnerable to attacks,as security was not considered in its original *** paper proposes SIDuBzip2,a traffic anomaly detection method for the CAN bus based on the bzip2 compression *** proposed method utilizes the pseudo-periodic characteristics of CAN bus traffic,constructing time series of CAN IDs and calculating the similarity between adjacent time series to identify abnormal *** method consists of three parts:the conversion of CAN ID values to characters,the calculation of similarity based on bzip2 compression,and the optimal solution of model *** experimental results demonstrate that the proposed SIDuBzip2 method effectively detects various attacks,including Denial of Service,replay,basic injection,mixed injection,and suppression *** addition,existing CAN bus traffic anomaly detection methods are compared with the proposed method in terms of performance and delay,demonstrating the feasibility of the proposed method.

关键词： Automotive safety CAN bus Anomaly detection

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

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

Robust video question answering via contrastive cross-modality representation learning

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science China(Information sciences) 2024年第10期67卷 211-226页

作者： Xun YANG Jianming ZENG Dan GUO Shanshan WANG Jianfeng DONG Meng WANG School of Information science and technology University of Science and Technology of China Institute of Artificial Intelligence Hefei Comprehensive National Science Center School of Computer science and Information Engineering Hefei University of Technology Institutes of Physical science and Information technology Anhui University School of Computer science and technology Zhejiang Gongshang University

Video question answering(VideoQA) is a challenging yet important task that requires a joint understanding of low-level video content and high-level textual semantics. Despite the promising progress of existing efforts, recent studies revealed that current VideoQA models mostly tend to over-rely on the superficial correlations rooted in the dataset bias while overlooking the key video content, thus leading to unreliable results. Effectively understanding and modeling the temporal and semantic characteristics of a given video for robust VideoQA is crucial but, to our knowledge, has not been well investigated. To fill the research gap, we propose a robust VideoQA framework that can effectively model the cross-modality fusion and enforce the model to focus on the temporal and global content of videos when making a QA decision instead of exploiting the shortcuts in datasets. Specifically, we design a self-supervised contrastive learning objective to contrast the positive and negative pairs of multimodal input, where the fused representation of the original multimodal input is enforced to be closer to that of the intervened input based on video perturbation. We expect the fused representation to focus more on the global context of videos rather than some static keyframes. Moreover, we introduce an effective temporal order regularization to enforce the inherent sequential structure of videos for video representation. We also design a Kullback-Leibler divergence-based perturbation invariance regularization of the predicted answer distribution to improve the robustness of the model against temporal content perturbation of videos. Our method is model-agnostic and can be easily compatible with various VideoQA backbones. Extensive experimental results and analyses on several public datasets show the advantage of our method over the state-of-the-art methods in terms of both accuracy and robustness.

关键词： video question answering cross-modality fusion contrastive learning cross-media reasoning

Minimal Context-Switching Data Race Detection with Dataflow Tracking

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Computer science & technology 2024年第1期39卷 211-226页

作者：郑龙李洋辛杰刘海峰郑然廖小飞金海 National Engineering Research Center for Big Data technology and System School of Computer Science and Technology Huazhong University of Science and TechnologyWuhan 430074China Services Computing technology and System Laboratory School of Computer Science and TechnologyHuazhong University of Science and TechnologyWuhan 430074China Cluster and Grid Computing Laboratory School of Computer Science and TechnologyHuazhong University of Science and TechnologyWuhan 430074China

Data race is one of the most important concurrent anomalies in multi-threaded *** con-straint-based techniques are leveraged into race detection,which is able to find all the races that can be found by any oth-er sound race ***,this constraint-based approach has serious limitations on helping programmers analyze and understand data ***,it may report a large number of false positives due to the unrecognized dataflow propa-gation of the ***,it recommends a wide range of thread context switches to schedule the reported race(in-cluding the false one)whenever this race is exposed during the constraint-solving *** ad hoc recommendation imposes too many context switches,which complicates the data race *** address these two limitations in the state-of-the-art constraint-based race detection,this paper proposes DFTracker,an improved constraint-based race detec-tor to recommend each data race with minimal thread context ***,we reduce the false positives by ana-lyzing and tracking the dataflow in the *** this means,DFTracker thus reduces the unnecessary analysis of false race *** further propose a novel algorithm to recommend an effective race schedule with minimal thread con-text switches for each data *** experimental results on the real applications demonstrate that 1)without removing any true data race,DFTracker effectively prunes false positives by 68%in comparison with the state-of-the-art constraint-based race detector;2)DFTracker recommends as low as 2.6-8.3(4.7 on average)thread context switches per data race in the real world,which is 81.6%fewer context switches per data race than the state-of-the-art constraint based race ***,DFTracker can be used as an effective tool to understand the data race for programmers.

关键词： data race satisfiability modulo theory multi-threaded program dynamic detection

Deep Guided Attention Network for Joint Denoising and Demosaicing in Real Image

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2024年第1期33卷 303-312页

作者： Tao ZHANG Ying FU Jun ZHANG School of Computer science and technology Beijing Institute of Technology Advanced Reasearch Institute of Multidisciplinary science Beijing Institute of Technology

Denoising(DN) and demosaicing(DM) are the first crucial stages in the image signal processing pipeline. Recently, researches pay more attention to solve DN and DM in a joint manner, which is an extremely undetermined inverse problem. Existing deep learning methods learn the desired prior on synthetic dataset, which limits the generalization of learned network to the real world data. Moreover, existing methods mainly focus on the raw data property of high green information sampling rate for DM, but occasionally exploit the high intensity and signalto-noise(SNR) of green channel. In this work, a deep guided attention network(DGAN) is presented for real image joint DN and DM(JDD), which considers both high SNR and high sampling rate of green information for DN and DM, respectively. To ease the training and fully exploit the data property of green channel, we first train DN and DM sub-networks sequentially and then learn them jointly, which can alleviate the error accumulation. Besides, in order to support the real image JDD, we collect paired raw clean RGB and noisy mosaic images to conduct a realistic dataset. The experimental results on real JDD dataset show the presented approach performs better than the state-of-the-art methods, in terms of both quantitative metrics and qualitative visualization.

关键词： Training Visualization Inverse problems Green products Noise reduction Pipelines Signal processing

Physics-informed deep Koopman operator for Lagrangian dynamic systems

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science China(Information sciences) 2024年第9期67卷 146-163页

作者： Xuefeng WANG Yang CAO Shaofeng CHEN Yu KANG Department of Automation University of Science and Technology of China State Key Laboratory of Fire science University of Science and Technology of China Institute of Advanced technology University of Science and Technology of China

Accurate mechanical system models are crucial for safe and stable control. Unlike linear systems,Lagrangian systems are highly nonlinear and difficult to optimize because of their unknown system *** research thus used deep neural networks to generate linear models of original systems by mapping nonlinear dynamic systems into a linear space with a Koopman observable function encoder. The controller then relies on the Koopman linear model. However, without physical information constraints, ensuring control consistency between the original nonlinear system and the Koopman system is tough, as the learning process of the Koopman observation function is unsupervised. This paper thus proposes a two-stage learning algorithm that uses structural subnetworks to build a physics-informed network topology to simultaneously learn the Koopman observable functions and the system energy representation. In the Koopman matrix learning session, a quadratic-constrained optimization problem is solved to ensure that the Koopman representation satisfies the energy difference matching hard constraint. The proposed energy-preserving deep Lagrangian Koopman(EPDLK) framework effectively represents the dynamics of the Lagrangian system while ensuring control consistency. The effectiveness of EPDLK is compared with those of various Koopman observable function construction methods in multistep prediction and trajectory tracking tasks. EPDLK achieves better control consistency by guaranteeing energy difference matching, which facilitates the application of the control law generated on the Koopman system directly to the original nonlinear Lagrangian system.

关键词： Koopman operator Lagrangian physics-informed nonlinear model predictive control (MPC)

Privacy-Preserving Consensus-Based Distributed Economic Dispatch of Smart Grids via State Decomposition

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

IEEE/CAA Journal of Automatica Sinica 2024年第5期11卷 1250-1261页

作者： Wei Chen Guo-Ping Liu The authors are with the Center for Control science and technology Southern University of Science and TechnologyShenzhen 518055China

This paper studies the privacy-preserving distributed economic dispatch(DED)problem of smart *** autonomous consensus-based algorithm is developed via local data exchange with neighboring nodes,which covers both the islanded mode and the grid-connected mode of smart *** prevent power-sensitive information from being disclosed,a privacy-preserving mechanism is integrated into the proposed DED algorithm by randomly decomposing the state into two parts,where only partial data is *** objective is to develop a privacy-preserving DED algorithm to achieve optimal power dispatch with the lowest generation cost under physical constraints while preventing sensitive information from being *** this end,a comprehensive analysis framework is established to ensure that the proposed algorithm can converge to the optimal solution of the concerned optimization problem by means of the consensus theory and the eigenvalue perturbation *** particular,the proposed autonomous algorithm can achieve a smooth transition between the islanded mode and the grid-connected ***,rigorous analysis is given to show privacy-preserving performance against internal and external ***,case studies illustrate the feasibility and validity of the developed algorithm.

关键词： preserving autonomous mode

维普期刊数据库

Effect of strain on structure and electronic properties of monolayer C_(4)N_(4)

在线全文

学校读者我要写书评

暂无评论

Chinese Physics B 2024年第5期33卷 595-600页

作者：陈昊徐瑛赵家石周丹 School of Physics Changchun University of Science and TechnologyChangchun 130022China School of Computer science and technology Changchun University of Science and TechnologyChangchun 130022China

The first-principles calculations are performed to examine structural,mechanical,and electronic properties at large strain for a monolayer C_(4)N_(4),which has been predicted as an anchoring promising material to attenuate shuttle effect in Li–S batteries stemming from its large absorption energy and low diffusion energy *** results show that the ideal strengths of C_(4)N_(4)under tension and pure shear deformation conditions reach 13.9 GPa and 12.5 GPa when the strains are 0.07 and 0.28,*** folded five-membered rings and diverse bonding modes between carbon and nitrogen atoms enhance the ability to resist plastic deformation of C_(4)N_(4).The orderly bond-rearranging behaviors under the weak tensile loading path along the[100]direction cause the impressive semiconductor–metal transition and inverse semiconductor–metal *** present results enrich the knowledge of the structure and electronic properties of C_(4)N_(4)under deformations and shed light on exploring other two-dimensional materials under diverse loading conditions.

关键词： two-dimensional materials strain effect structural evolution electronic properties

维普期刊数据库

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

同方期刊数据库