检索结果-南通市图书馆

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

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

A Hybrid Optimization Approach of Single Point Incremental Sheet Forming of AISI 316L Stainless Steel Using Grey Relation Analysis Coupled with Principal Component Analysiss

引用

Journal of Wuhan University of technology(Materials Science) 2024年第1期39卷 160-166页

作者： A Visagan P Ganesh Department of Production technology Madras Institute of TechnologyChennai-600044India

We investigated the parametric optimization on incremental sheet forming of stainless steel using Grey Relational Analysis(GRA) coupled with Principal Component Analysis(PCA). AISI 316L stainless steel sheets were used to develop double wall angle pyramid with aid of tungsten carbide tool. GRA coupled with PCA was used to plan the experiment conditions. Control factors such as Tool Diameter(TD), Step Depth(SD), Bottom Wall Angle(BWA), Feed Rate(FR) and Spindle Speed(SS) on Top Wall Angle(TWA) and Top Wall Angle Surface Roughness(TWASR) have been studied. Wall angle increases with increasing tool diameter due to large contact area between tool and workpiece. As the step depth, feed rate and spindle speed increase,TWASR decreases with increasing tool diameter. As the step depth increasing, the hydrostatic stress is raised causing severe cracks in the deformed surface. Hence it was concluded that the proposed hybrid method was suitable for optimizing the factors and response.

关键词： single point incremental forming AISI 316L taguchi grey relation analysis principal component analysis surface roughness scanning electron microscopy

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

HEN:a novel hybrid explainable neural network based framework for robust network intrusion detection

引用

Science China(Information Sciences) 2024年第7期67卷 72-90页

作者： Wei WEI Sijin CHEN Cen CHEN Heshi WANG Jing LIU Zhongyao CHENG Xiaofeng ZOU School of Computer Science and Engineering Xi'an University of TechnologyShaanxi Key Laboratory for Network Computing and Security Technology School of Computer Science and technology Wuhan University of Science and Technology School of Future technology South China University of Technology Shenzhen Research Institute of Hunan University School of Computer Science Hunan University of Technology and Business Institute for Infocomm Research (I2R) Agency for Science Technology and Reseach (A*STAR)

With the rapid development of network technology and the automation process for 5G, cyberattacks have become increasingly complex and threatening. In response to these threats, researchers have developed various network intrusion detection systems(NIDS) to monitor network traffic. However, the incessant emergence of new attack techniques and the lack of system interpretability pose challenges to improving the detection performance of NIDS. To address these issues, this paper proposes a hybrid explainable neural network-based framework that improves both the interpretability of our model and the performance in detecting new attacks through the innovative application of the explainable artificial intelligence(XAI)method. We effectively introduce the Shapley additive explanations(SHAP) method to explain a light gradient boosting machine(Light GBM) model. Additionally, we propose an autoencoder long-term short-term memory(AE-LSTM) network to reconstruct SHAP values previously generated. Furthermore, we define a threshold based on reconstruction errors observed during the training phase. Any network flow that surpasses the specified threshold is classified as an attack flow. This approach enhances the framework's ability to accurately identify attacks. We achieve an accuracy of 92.65%, a recall of 95.26%, a precision of 92.57%,and an F1-score of 93.90% on the dataset NSL-KDD. Experimental results demonstrate that our approach generates detection performance on par with state-of-the-art methods.

关键词： explainable artificial intelligence light gradient boosting machine machine learning network intrusion detection Shapley additive explanation hybrid explainable neural network (HEN)

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

A mixed Nash equilibrium solution for visibility-based pursuit-evasion game with multiple obstacles

引用

Science China(Information Sciences) 2024年第9期67卷 330-332页

作者： Shaoming BU Li LIANG Youqing WANG College of Information Science and technology Beijing University of Chemical Technology

This study primarily investigates a visibility-based pursuitevasion game with multiple obstacles. The pursuer aims to maintain surveillance over the evader as long as possible, while the evader's objective is to escape the pursuer's surveillance as quickly as possible. We use the explicit strategy method to analyze the winning conditions and optimal strategy of the player in the case of corner obstacles and propose a 'Present-Future-Past'(PFP) loop structure to extend the strategy to the case of multiple obstacles.

关键词：

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Local resonance metamaterial-based integrated design for suppressing longitudinal and transverse waves in fluid-conveying pipes

引用

Applied Mathematics and Mechanics(English Edition) 2024年第10期45卷 1821-1840页

作者： Donghai HAN Qi JIA Yuanyu GAO Qiduo JIN Xin FANG Jihong WEN Dianlong YU Laboratory of Science and technology on Integrated Logistics Support National University of Defense TechnologyChangsha 410073China College of Intelligence Science and technology National University of Defense TechnologyChangsha 410073China

To solve the problem of low broadband multi-directional vibration control of fluid-conveying pipes,a novel metamaterial periodic structure with multi-directional wide bandgaps is ***,an integrated design method is proposed for the longitudinal and transverse wave control of fluid-conveying pipes,and a novel periodic structure unit model is constructed for vibration *** on the bandgap vibration reduction mechanism of the acoustic metamaterial periodic structure,the material parameters,structural parameters,and the arrangement interval of the periodic structure unit are *** finite element method(FEM)is used to predict the vibration transmission characteristics of the fluid-conveying pipe installed with the vibration reduction periodic ***,the wave/spectrum element method(WSEM)and experimental test are used to verify the calculated results ***,the vibration attenuation characteristics of the structure under different conditions,such as rubber material parameters,mass ring material,and fluid-structure coupling effect,are *** results show that the structure can produce a complete bandgap of 46 Hz-75 Hz in the low-frequency band below 100 Hz,which can effectively suppress the low broadband vibration of the fluidconveying *** addition,a high damping rubber material is used in the design of the periodic structure unit,which realizes the effective suppression of each formant peak of the pipe,and improves the vibration reduction effect of the fluid-conveying ***,the structure has the effect of suppressing both bending vibration and longitudinal vibration,and effectively inhibits the transmission of transverse waves and longitudinal waves in the *** research results provide a reference for the application of acoustic metamaterials in the multi-directional vibration control of fluid-conveying pipes.

关键词： fluid-conveying pipe acoustic metamaterial multi-directional vibration reduction local resonance

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Nonlinear metamaterial enabled aeroelastic vibration reduction of a supersonic cantilever wing plate

引用

Applied Mathematics and Mechanics(English Edition) 2024年第10期45卷 1749-1772页

作者： Peng SHENG Xin FANG Dianlong YU Jihong WEN Laboratory of Science and technology on Integrated Logistics Support College of Intelligence Science and TechnologyNational University of Defense TechnologyChangsha 410073China

The violent vibration of supersonic wings threatens aircraft *** paper proposes the strongly nonlinear acoustic metamaterial(NAM)method to mitigate aeroelastic vibration in supersonic wing *** employ the cantilever plate to simulate the practical behavior of a *** aeroelastic vibration model of the NAM cantilever plate is established based on the mode superposition method and a modified third-order piston *** aerodynamic properties are systematically studied using both the timedomain integration and frequency-domain harmonic balance *** presenting the flutter and post-flutter behaviors of the NAM wing,we emphasize more on the preflutter broadband vibration that is prevalent in *** results show that the NAM method can reduce the low-frequency and broadband pre-flutter steady vibration by 50%-90%,while the post-flutter vibration is reduced by over 95%,and the critical flutter velocity is also slightly *** clarified,the significant reduction arises from the bandgap,chaotic band,and nonlinear resonances of the NAM *** reduction effect is robust across a broad range of parameters,with optimal performance achieved with only 10%attached *** work offers a novel approach for reducing aeroelastic vibration in aircraft,and it expands the study of nonlinear acoustic/elastic metamaterials.

关键词： nonlinear acoustic metamaterial(NAM) hypersonic aeroelastic vibration vibration reduction fluid-structure interaction

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Adaptive learning-based optimal tracking control system design and analysis of a disturbed nonlinear hypersonic vehicle model

引用

Science China(Technological Sciences) 2024年第6期67卷 1893-1906页

作者： AN Kai WANG ZhenGuo HUANG Wei Hypersonic technology Laboratory National University of Defense TechnologyChangsha410073China

We propose an adaptive learning-based optimal control scheme for height-velocity control models considering model uncertainties and external disturbances of hypersonic winged-cone *** longitudinal nonlinear model is first established and transformed into the control-oriented error equations,and the control scheme is organized by a steady-compensation *** overcome and eliminate the impact of model uncertainties and external disturbances,an adaptive radial basis function neural network(RBFNN)is designed by a q-gradient *** the height-velocity error system with estimated uncertainties into account,the adaptive learning-based optimal tracking control(ALOTC)scheme is proposed by combining the critic-only adaptive dynamic programming(ADP)framework and parameter optimization of system settling ***,a novel weight update law is proposed to satisfy the online iteration requirements,and the algorithm convergence and closedloop stability are discussed by the Lyapunov ***,four simulation cases are provided to prove the effectiveness,accuracy,and robustness of the proposed scheme for the hypersonic longitudinal control system.

关键词： optimal tracking control adaptive dynamic programming RBFNN hypersonic vehicle

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

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

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Bio-inspired Design and Inverse Kinematics Solution of an Omnidirectional Humanoid Robotic Arm with Geometric and Load Capacity Constraints

引用

Journal of Bionic Engineering 2024年第2期21卷 778-802页

作者： Zhichao Zhu Zirong Luo Yiming Zhu Tao Jiang Minghai Xia Shanjun Chen Boyu Jin College of Intelligence Science and technology National University of Defense TechnologyChangshaChina

Inspired by the driving muscles of the human arm,a 4-Degree of Freedom(DOF)concentrated driving humanoid robotic arm is proposed based on a spatial double parallel four-bar *** four-bar mechanism design reduces the inertia of the elbow-driving unit and the torque by 76.65%and 57.81%,*** the human pose regulation strategy that the human arm picks up a heavy object by adjusting its posture naturally without complicated control,the robotic arm features an integrated position-level closed-form inverse solution method considering both geometric and load capacity *** method consists of a geometric constraint model incorporating the arm angle(φ)and the Global Configuration(GC)to avoid joint limits and singularities,and a load capacity model to constrain the feasible domain of the arm ***,trajectory tracking simulations and experiments are conducted to validate the feasibility of the proposed inverse solution *** simulated maximum output torque,maximum output power and total energy consumption of the robotic arm are reduced by up to 2.0%,13.3%,and 33.3%,*** experimental results demonstrate that the robotic arm can bear heavy loads in a human-like posture,effectively reducing the maximum output torque and energy consumption of the robotic arm by 1.83%and 5.03%,respectively,while avoiding joints beyond geometric and load capacity *** proposed design provides a high payload–weight ratio and an efficient pose control solution for robotic arms,which can potentially broaden the application spectrum of humanoid robots.

关键词： Humanoid robotic arm Bio-inspired design Inverse kinematics solution Load capacity constraint Geometric constraint

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Mode-dependent dynamic gain of all-fiber FM-EDFA under various pump manipulation

引用

Chinese Optics Letters 2024年第2期22卷 128-134页

作者：方翼鸿张心怡黄锡恒曾研许鸥李建平付松年秦玉文 Institute of Advanced Photonics technology School of Information EngineeringGuangdong University of TechnologyGuangzhou 510006China Guangdong Provincial Key Laboratory of Information Photonics technology Guangdong University of TechnologyGuangzhou 510006China Key Laboratory of Photonic technology for Integrated Sensing and Communication Ministry of EducationGuangdong University of TechnologyGuangzhou 510006China

The dynamic gain of a few-mode erbium-doped fiber amplifier(FM-EDFA)is vital for the long-haul mode division multiplexing(MDM)***,we investigate the mode-dependent dynamic gain of an FM-EDFA under various manipulations of the pump ***,we numerically calculate the gain variation with respect to the input signal power,where a modedependent saturation input power occurs under different pump *** under the fixed intensity profile of the pump laser,the saturation input power of each spatial mode is ***,high-order mode pumping leads to a compression of the linear amplification region,even though it is beneficial for the mitigation of the differential modal gain(DMG)arising in all guided ***,we develop an all-fiber 3-mode EDFA,where the fundamental mode of the pump laser can be efficiently converted to the LP_(11)mode using the all-fiber mode-selective coupler(MSC).In comparison with the traditional LP_(01)pumping scheme,the DMG at 1550 nm can be mitigated from 1.61 dB to 0.97 dB under the LP_(11)mode pumping,while both an average gain of 19.93 dB and a DMG of less than 1 dB can be achieved from 1530 nm to 1560 ***,the corresponding signal input saturation powers are reduced by 0.3 dB for the LP_(01)mode and 1.6 dB for the LP_(11)mode,*** theoretical and experimental results indicate that a trade-off occurs between the DMG mitigation and the extension of the linear amplification range when the intensity profile of pump laser is manipulated.

关键词： few-mode erbium-doped fiber amplifier differential modal gain saturation input power

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：