检索结果-南通市图书馆

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

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

维普期刊数据库

Control Strategies for Digital Twin Systems

在线全文

学校读者我要写书评

暂无评论

IEEE/CAA Journal of Automatica Sinica 2024年第1期11卷 170-180页

作者： Guo-Ping Liu IEEE the Center for Control science and technology Southern University of Science and TechnologyShenzhen 518055China

With the continuous breakthrough in information technology and its integration into practical applications, industrial digital twins are expected to accelerate their development in the near future. This paper studies various control strategies for digital twin systems from the viewpoint of practical *** make full use of advantages of digital twins for control systems, an architecture of digital twin control systems, adaptive model tracking scheme, performance prediction scheme, performance retention scheme, and fault tolerant control scheme are proposed. Those schemes are detailed to deal with different issues on model tracking, performance prediction, performance retention, and fault tolerant control of digital twin systems. Also, the stability of digital twin control systems is analysed. The proposed schemes for digital twin control systems are illustrated by examples.

关键词： Digital twin control systems fault tolerant control model tracking performance prediction performance retention

维普期刊数据库

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

同方期刊数据库

Towards High-Performance Graph Processing: From a Hardware/Software Co-Design Perspective

在线全文

学校读者我要写书评

暂无评论

Journal of Computer science & technology 2024年第2期39卷 245-266页

作者：廖小飞赵文举金海姚鹏程黄禹王庆刚赵进郑龙张宇邵志远 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 Technology Huazhong University of Science and TechnologyWuhan 430074China Cluster and Grid Computing Laboratory School of Computer Science and TechnologyHuazhong University of Science and TechnologyWuhan 430074China Zhejiang Lab Hangzhou 311121China

Graph processing has been widely used in many scenarios,from scientific computing to artificial *** processing exhibits irregular computational parallelism and random memory accesses,unlike traditional ***,running graph processing workloads on conventional architectures(e.g.,CPUs and GPUs)often shows a significantly low compute-memory ratio with few performance benefits,which can be,in many cases,even slower than a specialized single-thread graph *** domain-specific hardware designs are essential for graph processing,it is still challenging to transform the hardware capability to performance boost without coupled software *** article presents a graph processing ecosystem from hardware to *** start by introducing a series of hardware accelerators as the foundation of this ***,the codesigned parallel graph systems and their distributed techniques are presented to support graph ***,we introduce our efforts on novel graph applications and hardware *** results show that various graph applications can be efficiently accelerated in this graph processing ecosystem.

关键词： graph processing hardware accelerator software system high performance ecosystem

Neural network study of the nuclear ground-state spin distribution within a random interaction ensemble

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Nuclear science and Techniques 2024年第3期35卷 216-227页

作者： Deng Liu Alam Noor A Zhen-Zhen Qin Yang Lei School of Mathematics and Physics Southwest University of Science and TechnologyMianyang 621010China School of Nuclear science and technology Southwest University of Science and TechnologyMianyang 621010China

The distribution of the nuclear ground-state spin in a two-body random ensemble(TBRE)was studied using a general classification neural network(NN)model with two-body interaction matrix elements as input features and the corresponding ground-state spins as labels or output *** quantum many-body system problem exceeds the capability of our optimized NNs in terms of accurately predicting the ground-state spin of each sample within the ***,our NN model effectively captured the statistical properties of the ground-state spin because it learned the empirical regularity of the ground-state spin distribution in TBRE,as discovered by physicists.

关键词： Neural network Two-body random ensemble Spin distribution of nuclear ground state

维普期刊数据库

Vector field path following for a micro flapping-wing robot

在线全文

学校读者我要写书评

暂无评论

science China(Information sciences) 2024年第6期67卷 442-444页

作者： Haifeng HUANG Yingte LIU Tao NIU Chang WANG Yao ZOU Wei HE School of Intelligence science and technology University of Science and Technology Beijing Institute of Artificial Intelligence University of Science and Technology Beijing Key Laboratory of Intelligent Bionic Unmanned Systems Ministry of EducationUniversity of Science and Technology Beijing

Flapping-wing robots mimic the flight patterns of natural flying creatures,granting them natural *** hold promising applications in the military reconnaissance,urban surveillance,and various other fields[1–3].However,the current limitations in size often restrict the suitability of existing bird-like flapping-wing robots,

关键词：

Adverse effect of niobium and boron on hot deformation behavior of sulfur-containing steel

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Iron and Steel Research(International) 2024年第1期31卷 252-263页

作者： Guo-ning He Shi-qi Wan Bo Jiang Chao-lei Zhang Ya-zheng Liu Chun-jing Wu School of Materials science and Engineering University of Science and Technology BeijingBeijing100083China Institute for Advanced Materials and technology University of Science and Technology BeijingBeijing100083China

The hot deformation behaviors of sulfur-containing gear steel 20MnCr5 containing three different contents of Nb and B(0,0.021%Nb,and 0.024%Nb-0.0022%B)were *** compression and tenssion tests were carried out by Gleeble3800 at the austenite region from 850 to 1150℃and the adverse effects of Nb and B were analyzed by the fracture,microstructure and precipitate *** compression tests showed that the proportions of instable area in hot processing maps of 0.021%Nb and Nb-B steels were higher and the deformability of Nb free steel was *** tensile deformation experiments showed that the reduction areas of Nb free,0.021%Nb and Nb-B steels were 92%-99%,84%-98%and 67%-97%,*** addition of Nb or Nb and B inhibited the dynamic recrystallization during hot deformation,and consequently,more deformed grains were then formed in 0.021%Nb and Nb-B steels thus to obtain the microstructure with worse uniformity and then deteriorate the *** addition,the interaction between inclusions and microalloyed elements was also *** particles of 0.021%Nb and Nb-B steels dynamically precipitated during deformation and precipitated together with MnS thus to worsen the deformability,resulting in the decrease of reduction area.

关键词： Hot deformation Gear steel Processing map Dynamic recrystallization Microalloying