检索结果-南通市图书馆

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

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Vortex localization and OAM selective conversion via cylindrical metagratings

引用

Chinese Optics Letters 2024年第3期22卷 137-141页

作者：郝占磊朱杉仇成伟徐亚东陈焕阳 Institute of Electromagnetics and Acoustics and Department of Physics College of Physical Science and TechnologyXiamen UniversityXiamen 361005China Department of Electrical and Computer Engineering National University of SingaporeSingapore 117583Singapore school of physical science and technology and Jiangsu Key Laboratory of Thin Films Soochow UniversitySuzhou 215006China

Vortex waves with orbital angular momentum(OAM)are a highly active research topic in various *** this paper,we design and investigate cylindrical metagratings(CMs)with an even number of unit cells that can efficiently achieve vortex localization and specific OAM selective *** multifunctional manipulation of vortex waves and the new OAM conservation law have further been confirmed through analytical calculations and numerical *** addition,we qualitatively and quantitatively determine the OAM range for vortex localization and the OAM value of vortex selective conversion and also explore the stability for performance and potential applications of the designed *** work holds potential applications in particle manipulation and optical communication.

关键词： vortex waves cylindrical metagratings vortex localization high-efficiency transmission vortex selective conversion

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

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)

来源：

同方期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Efficient synthesis of bottle-brush polymers enabled by selective photoactivation strategy in NIR-induced PET-RAFT polymerization

引用

science China Chemistry 2024年第7期67卷 2353-2361页

作者： Hao Zha Lin Cheng Zuowei Wang Chao Liu Chunyan Hong Department of Polymer science and Engineering University of Science and Technology of ChinaHefei 230026China Hefei National Laboratory for physical sciences at the Microscale University of Science and Technology of ChinaHefei 230026China

Bottle-brush polymers possessing densely grafted side chains have special properties that are distinct from linear ***,an efficient method for preparing bottle-brush polymers based on a selective photoactivation strategy in the photoinduced electron/energy transfer reversible addition-fragmentation chain transfer(PET-RAFT)polymerization was developed.A methacrylate monomer 2-(2-(dodecylthiocarbonothioylthio)propionate)ethyl methacrylate(DTPEMA)containing a 2-(dodecylthiocarbonothioylthio)propionate(DTP)unit with a secondary R group was *** the unique selectivity of metal naphthalocyanine photocatalyst zinc 2,11,20,29-tetra-tert-butyl-2,3-naphthalocyanine(ZnTtBNc)toward trithiocarbonate with tertiary R group,the PET-RAFT polymerization of DTPEMA catalyzed by ZnTtBNc was performed under near infrared(NIR)light(λ_(max)=760 nm)irradiation at room temperature,using 4-cyano-4-[(dodecylsulfanylthiocarbonyl)-sulfanyl]pentanoic acid(CDTPA)with a tertiary R group as a chain transfer agent(CTA).Proton nuclear magnetic resonance(1H NMR)and gel permeation chromatography(GPC)results demonstrated that the DTP units in the side chains were inert during the *** grafting poly(methyl acrylate)(PMA)from PDTPEMA via thermal-initiated RAFT polymerization,welldefined P(DTPEMA-g-PMA)bottle-brush polymers could be ***,the film prepared from the bottle-brush polymer exhibited excellent scratch self-healing property due to the interlocking of side chains.

关键词： bottle-brush polymers PET-RAFT polymerization selective photoactivation scratch self-healing

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

A cost-efficient quantum access network with qubit-based synchronization

引用

science China(Physics,Mechanics & Astronomy) 2024年第4期67卷 12-22页

作者： Chunfeng Huang Ye Chen Tingting Luo Wenjie He Xin Liu Zhenrong Zhang Kejin Wei Guangxi Key Laboratory for Relativistic Astrophysics School of Physical Science and TechnologyGuangxi UniversityNanning 530004China Guangxi Key Laboratory of Multimedia Communications and Network technology School of Computer Electronics and InformationGuangxi UniversityNanning 530004China

Quantum key distribution(QKD)is a physical layer encryption technique that enables two distant parties to exchange secure keys with information-theoretic *** the last two decades,QKD has transitioned from laboratory research to real-world applications,including multi-user quantum access networks(QANs).This network structure allows users to share a single-photon detector at a network node through time-division multiplexing,thereby significantly reducing the network ***,current QAN implementations require additional hardware for auxiliary tasks such as time *** address this issue,we propose a cost-efficient QAN that uses qubit-based *** this approach,the transmitted qubits facilitate time synchronization,eliminating the need for additional synchronization *** tested our scheme by implementing a network for two users and successfully achieved average secure key rates of 53.84 kbps and 71.90 kbps for each user over a 50-km commercial fiber *** addition,we investigated the capacity of the access network under cross-talk and loss *** simulation results demonstrate that this scheme can support a QAN with 64 users with key rates up to 1070 *** work provides a feasible and cost-effective way to implement a multi-user QKD network,further promoting the widespread application of QKD.

关键词： quantum key distribution quantum access network qubit-based synchronization

来源：

维普期刊数据库

同方期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Fixed-time stabilization of output-constrained stochastic high-order nonlinear systems

引用

science China(Information sciences) 2024年第4期67卷 5-20页

作者： Ruiming XIE Shengyuan XU Nanjing University of science and technology school of Automation

In this study, the fixed-time stabilization problem of stochastic high-order nonlinear systems with output constraint and high-order and low-order nonlinearities is addressed. A new coordinate transformation is employed to directly convert output-constrained stochastic systems into an equivalent unconstrained *** fully extracting the characteristics of system nonlinearities and using the stochastic fixed-time stability theorem, a new design and analysis method is constructed to guarantee that the trivial solution of the closed-loop system is stochastically fixed-time stable while fulfilling the output constraint.

关键词： stochastic high-order nonlinear system outputconstraint high-order and low-order nonlinearity fixed-timestabilization finite-time stabilization

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Output feedback stabilization of stochastic high-order planar nonlinear systems with stochastic inverse dynamics and output-constraint

引用

science China(Information sciences) 2024年第3期67卷 182-196页

作者： Ruiming XIE Shengyuan XU Nanjing University of science and technology school of Automation

In this paper, we solve the output feedback control problem of stochastic high-order planar nonlinear systems with output constraint and stochastic integral input-to-state stability(SiISS) inverse dynamics. By employing a key coordinate transformation, a stochastic nonlinear system with output constraint and SiISS inverse dynamics is converted into an unconstrained system. By skillfully constructing an observer and adopting SiISS small-gain conditions, we develop a new output feedback control design and analysis method, and prove that all the closed-system signals are bounded almost surely, the output constraint is not violated almost surely, and the equilibrium point of the closed-loop system is stochastically asymptotically stable.

关键词： stochastic high-order planar nonlinear system outputconstraint stochastic inverse dynamics output feedbackstabilization stochastic integral input-to-state stability(SiISS)

来源：

同方期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Different coalescence sources of light nucleus production in Au-Au collisions at √sNN=3 GeV

引用

Chinese Physics C 2024年第5期48卷 160-179页

作者：王瑞芹吕济鹏李彦豪宋军邵凤兰 school of Physics and physical Engineering Qufu Normal UniversityQufu 273165China school of physical science and Intelligent Engineering Jining UniversityJining 273155China

We study the production of light nuclei in the coalescence mechanism of Au-Au collisions at midrapidity at √sNN=*** derive analytic formulas of the momentum distributions of two bodies,three bodies,and four nucleons coalescing into light nuclei and naturally explain the transverse momentum spectra of the deuteron(d),triton(t),helium-3(3He),and helium-4(4He).We reproduce data on the yield rapidity densities,yield ratios,and averaged transverse momenta of d,t,3He,and 4He and provide the proportions of contributions from different coalescence sources for t,3He,and 4He in their *** find that besides nucleon coalescence,nucleon+nucleus coalescence and nucleus+nucleus coalescence may play requisite roles in light nucleus production in Au-Au collisions at √sNN=3 GeV.

关键词： light nucleus production the coalescence model relativistic heavy ion collision

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Constructing arbitrary self-similar Bessel-like beams via transverse-longitudinal mapping

引用

Chinese Optics Letters 2024年第2期22卷 167-171页

作者：李岩珂邹昱郭兆金刘圣李鹏魏冰妍温丹丹赵建林 Key Laboratory of Light Field Manipulation and Information Acquisition Ministry of Industry and Information TechnologyShaanxi Key Laboratory of Optical Information TechnologySchool of Physical Science and TechnologyNorthwestern Polytechnical UniversityXi’an 710129China

Based on the transverse-longitudinal mapping of Bessel beams,we propose a simple method to construct a self-similar Bessel-like beam whose transverse profile maintains a stretched form during ***,the propagatingvariant width of this beam can be flexibly *** experimentally demonstrate three types of self-similar Bessellike beams whose width variations are linear,piecewise,and period functions of propagation distance,*** experimental results match well with the theoretical *** also demonstrate that our approach enables the generation of self-similar higher-order vortex Bessel-like beams.

关键词： Bessel beams self-similarity transverse-longitudinal mapping

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Coupling N-doping and confined Co3O4 on carbon nanotubes by polydopamine coating strategy for pleiotropic water purification

引用

Rare Metals 2024年第7期43卷 3146-3160页

作者： Wen-Long Tu Gang Wang Yue Zhang Hong-Yang Zhu Rong-Rong Du Hong-Yao Zhao Sheng Tang Zeng-Jing Guo Jun Yang Fu Yang Cheng-Zhang Zhu school of Environmental and Chemical Engineering Jiangsu University of Science and Technology school of Chemistry and Chemical Engineering Liaocheng University school of Material science and Engineering Jiangsu University of Science and Technology school of Environmental science and Engineering Nanjing Tech University

The development of effective and sustainable solutions for pleiotropic water purification becomes urgent and *** Fenton-like catalysts for activation of peroxymonosulfate（PMS） to purify organic wastewater show great *** this work,by tuning metal loading with an in-situ polydopamine coating strategy,oxygen vacancy-enriched Co3O4loading on N-doped carbon nanotubes（CNTs） were constructed to enhance PMS activation efficiency for pollutants ***,the obtained modified CNTs afford a well-developed N-containing network structure,which is further endowed with abundant Co（Ⅱ）/Co（Ⅲ） redox cycles and significant metal-carbon *** particular,the surface N doping in CNTs might induce the oriented enrichment of pollutants around the catalyst,which reduces the migration distance and correspondingly improves the utilization of reactive oxidative *** electron transfer efficiency of the catalyst can be further improved by incorporating oxygen vacancy-enriched *** performance results show that the optimal NC/Co-1 could mineralize 20 × 10-6of bisphenol A（BPA） by almost 98% in 8 min.A low reaction activation energy(26.05 kJ·mol-1) in BPA degradation was demonstrated by the NC/*** importantly,NC/Co-1 can inherit excellent degradation performance towards oxytetracycline,2,4-dichlorophenol,and tetracycline,showing wide practical *** addition,by virtue of the photothermal conversion property,NC/Co-1 achieves an additive function for interfacial solar water evaporation(1.84 kg·m-2·h-1,112.51%),showing impressive potential for clean water recovery under complicated environmental pollution conditions.

关键词： Carbon nanotube Advanced oxidation process Co 3 O 4 Photothermal conversion Solar water evaporation

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：