检索结果-南通市图书馆

维普期刊数据库

DYNAMEM-A Microarchitecture for Improving Memory Disambiguation at Run-Time

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & technology 1996年第6期11卷 589-600页

作者：王显廖恒李三立 departmentofcomputerscience＆technology TsinghuaUniversityBeijing100084

This paper presents a new microarchitecture technique named DYNAMEM,in which memory reference instructions are dynamically scheduled and can be executed out-of-order. Load instructions can bypass store instructions specula-tively, even if the store instructions'addresses are unknown. DYNAMEM can greatly alleviate the restraints of ambiguous memory dependencies. Simulation results show that the frequency of false load is low. Mechanism has been pro-vided to repair false loads with low penalty, and to achieve precise *** and experimental results show that DYNAMEM could dramatically raise instruction-level parallelism in programs without recompilation.

关键词： Instruction-level parallelism dynamic scheduling memory dependency

维普期刊数据库

Studies on Algorithms for Self-StabilizingCommunication Protocols

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & technology 1999年第6期14卷 606-613页

作者：李腊元李春林 departmentofcomputerscience＆technology WuhanTransportationUniversityWuhan430063PR.China Departmento

in this paper the algorithms for self-stabilizing communication protocols are studied. First some concepts and a formal method for describing theproposed algorithms are described, then an improved algorithm for achieving globalstates is presented. The study shows that the improved algorithm can be appliedto obtain the global states in the case of a loss of cooperation of the different processes in the protocol, which can be used as a recovery point that will be used bythe following recovery procedure. Thus, the improved algorithm can be used toself-stabilize a communication protocol. Meanwhile, a recovery algorithm for selfstabilizing communication protocols is presented. After a failure is detected, allProcesses can eventually know the error. The recovery algorithm uses the contextualinformation exchanged during the progress of the protocol and recorded on the stablememory. The proof of correctness and analysis of complexity for these algorithmshave been made. The availability and efficiency of the algorithms have been verifiedby illustrating the example protocols. Finally, some conclusions and remarks aregiven.

关键词： communication protocol self-stabilization global state recoveryalgorithm multimedia communication

维普期刊数据库

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

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

同方期刊数据库

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

Prescribed-time leader-following consensus of linear multi-agent systems by bounded linear time-varying protocols

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2024年第1期67卷 140-153页

作者： Kai ZHANG Bin ZHOU Xuefei YANG Guangren DUAN Center for Control Theory and Guidance technology Harbin Institute of Technology

This paper considers the prescribed-time leader-following consensus problem of input-constrained linear multi-agent systems under generally directed communication topology in two cases:the Laplacian matrix related to the entire communication topology between agents is either known or *** particular,the consensus problem for the former case is solved by a novel bounded linear time-varying(LTV) protocol,where the feedback gain is formulated by the parametric Lyapunov equation and the knowledge of the Laplacian ***,by utilizing a distributed observer,a fully bounded LTV protocol is proposed for the latter *** should be noted that,compared with the existing results,the system under consideration is more general,the designed protocols are linear,and the consensus problem is accomplished even in a fully distributed ***,the effectiveness of the proposed approach is verified by a numerical example.

关键词： leader-following consensus time-vary feedback prescribed-time control fully distributed consensus

Prescribed time control based on the periodic delayed sliding mode surface without singularities

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2024年第7期67卷 256-270页

作者： Bin ZHOU Yi DING Kang-Kang ZHANG Guang-Ren DUAN Center for Control Theory and Guidance technology Harbin Institute of Technology

In this paper, nonsingular prescribed-time control is studied based on periodic delayed sliding mode surfaces. Different from the existing sliding mode control, where either singularity problems may appear or the convergence time depends on the initial state, the proposed sliding mode control approaches can achieve prescribed-time convergence without singularity. The proposed nonsingular sliding mode control approaches can be applied to both second-order and high-order nonlinear systems with prescribed-time convergence. As applications of the proposed sliding mode control approaches, the control of hypersonic vehicle systems is revisited. Numerical simulations on the nonlinear model of the hypersonic vehicle system show the effectiveness of the proposed methods.

关键词： prescribed-time control smooth periodic delayed feedback sliding mode control high-order nonlinear systems hypersonic vehicle systems

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

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