检索结果-内蒙古大学图书馆

Resilient and Safe Platooning Control of Connected Automated Vehicles Against Intermittent Denial-of-Service Attacks

引用

IEEE/CAA Journal of Automatica Sinica 2023年第5期10卷 1234-1251页

作者： Xiaohua Ge Qing-Long Han Qing Wu Xian-Ming Zhang the School of Science Computing and Engineering TechnologiesSwinburne University of TechnologyMelbourne VIC 3122Australia the School of Engineering and Technology Central Queensland UniversityRockhampton QLD 4701Australia

Connected automated vehicles(CAVs)serve as a promising enabler for future intelligent transportation systems because of their capabilities in improving traffic efficiency and driving safety,and reducing fuel consumption and vehicle emissions.A fundamental issue in CAVs is platooning control that empowers a convoy of CAVs to be cooperatively maneuvered with desired longitudinal spacings and identical velocities on *** paper addresses the issue of resilient and safe platooning control of CAVs subject to intermittent denial-of-service(DoS)attacks that disrupt vehicle-to-vehicle ***,a heterogeneous and uncertain vehicle longitudinal dynamic model is presented to accommodate a variety of uncertainties,including diverse vehicle masses and engine inertial delays,unknown and nonlinear resistance forces,and a dynamic platoon ***,a resilient and safe distributed longitudinal platooning control law is constructed with an aim to preserve simultaneous individual vehicle stability,attack resilience,platoon safety and ***,a numerically efficient offline design algorithm for determining the desired platoon control law is developed,under which the platoon resilience against DoS attacks can be maximized but the anticipated stability,safety and scalability requirements remain ***,extensive numerical experiments are provided to substantiate the efficacy of the proposed platooning method.

关键词： Connected automated vehicles(CAVs) cooperative adaptive cruise control denial-of-service(DoS)attacks resilient control vehicle platooning vehicle-to-vehicle communication

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

The Security of Using Large Language Models:A Survey With Emphasis on ChatGPT

引用

IEEE/CAA Journal of Automatica Sinica 2025年第1期12卷 1-26页

作者： Wei Zhou Xiaogang Zhu Qing-Long Han Lin Li Xiao Chen Sheng Wen Yang Xiang the School of Science Computing and Engineering Technologies Swinburne University of Technology IEEE the School of Computer and Mathematical Sciences the University of Adelaide Adelaide the Faculty of Science and Engineering Southern Cross University the School of Information and Physical Sciences the University of Newcastle

ChatGPT is a powerful artificial intelligence(AI)language model that has demonstrated significant improvements in various natural language processing(NLP) tasks. However, like any technology, it presents potential security risks that need to be carefully evaluated and addressed. In this survey, we provide an overview of the current state of research on security of using ChatGPT, with aspects of bias, disinformation, ethics, misuse,attacks and privacy. We review and discuss the literature on these topics and highlight open research questions and future *** this survey, we aim to contribute to the academic discourse on AI security, enriching the understanding of potential risks and mitigations. We anticipate that this survey will be valuable for various stakeholders involved in AI development and usage, including AI researchers, developers, policy makers, and end-users.

关键词： Artificial intelligence (AI) ChatGPT large language models (LLMs) security

来源：评论

学校读者我要写书评

暂无评论

A survey on dynamic graph processing on GPUs: concepts, terminologies and systems

引用

Frontiers of Computer Science 2024年第4期18卷 1-23页

作者： Hongru GAO Xiaofei LIAO Zhiyuan SHAO Kexin LI Jiajie CHEN Hai JIN National Engineering Research Center for Big Data Technology and System/Services Computing Technology and System Lab/Cluster and Grid Computing Lab School of Computer Science and TechnologyHuazhong University of Science and TechnologyWuhan 430074China Zhejiang Lab Hangzhou 311121China

Graphs that are used to model real-world entities with vertices and relationships among entities with edges,have proven to be a powerful tool for describing real-world problems in *** most real-world scenarios,entities and their relationships are subject to constant *** that record such changes are called dynamic *** recent years,the widespread application scenarios of dynamic graphs have stimulated extensive research on dynamic graph processing systems that continuously ingest graph updates and produce up-to-date graph analytics *** the scale of dynamic graphs becomes larger,higher performance requirements are demanded to dynamic graph processing *** the massive parallel processing power and high memory bandwidth,GPUs become mainstream vehicles to accelerate dynamic graph processing ***-based dynamic graph processing systems mainly address two challenges:maintaining the graph data when updates occur(i.e.,graph updating)and producing analytics results in time(i.e.,graph computing).In this paper,we survey GPU-based dynamic graph processing systems and review their methods on addressing both graph updating and graph *** comprehensively discuss existing dynamic graph processing systems on GPUs,we first introduce the terminologies of dynamic graph processing and then develop a taxonomy to describe the methods employed for graph updating and graph *** addition,we discuss the challenges and future research directions of dynamic graph processing on GPUs.

关键词： dynamic graphs graph processing graph algorithms GPUs

来源：评论

学校读者我要写书评

暂无评论

Detecting Vulnerability on IoT Device Firmware: A Survey

引用

IEEE/CAA Journal of Automatica Sinica 2023年第1期10卷 25-41页

作者： Xiaotao Feng Xiaogang Zhu Qing-Long Han Wei Zhou Sheng Wen Yang Xiang School of Science Computing and Engineering TechnologiesSwinburne University of TechnologyHawthorn VIC 3122Australia IEEE

Internet of things (IoT) devices make up 30%of all network-connected endpoints,introducing vulnerabilities and novel attacks that make many companies as primary targets for *** address this increasing threat surface,every organization deploying IoT devices needs to consider security risks to ensure those devices are secure and *** all the solutions for security risks,firmware security analysis is essential to fix software bugs,patch vulnerabilities,or add new security features to protect users of those vulnerable ***,firmware security analysis has never been an easy job due to the diversity of the execution environment and the close source of *** two distinct features complicate the operations to unpack firmware samples for detailed *** also make it difficult to create visual environments to emulate the running of device *** researchers have developed many novel methods to overcome various challenges in the past decade,critical barriers impede firmware security analysis in ***,this survey is motivated to systematically review and analyze the research challenges and their solutions,considering both breadth and ***,based on the analysis perspectives,various methods that perform security analysis on IoT devices are introduced and classified into four *** challenges in each category are discussed in detail,and potential solutions are proposed *** then discuss the flaws of these solutions and provide future directions for this research *** survey can be utilized by a broad range of readers,including software developers,cyber security researchers,and software security engineers,to better understand firmware security analysis.

关键词： Firmware emulation internet of things(IoT)firmware network fuzzing security static analysis

来源：评论

学校读者我要写书评

暂无评论

Computer-Aided Diagnosis Model Using Machine Learning for Brain Tumor Detection and Classification

引用

Computer Systems Science & engineering 2023年第8期46卷 1811-1826页

作者： M.Uvaneshwari M.Baskar Department of Computer Science and Engineering School of ComputingCollege of Engineering and TechnologySRM Institute of Science and TechnologyKattankulathurChengalpattu603203TamilnaduIndia Department of Computing Technologies School of ComputingCollege of Engineering and TechnologySRM Institute of Science and TechnologyKattankulathurChengalpattu603203TamilnaduIndia

The Brain Tumor(BT)is created by an uncontrollable rise of anomalous cells in brain tissue,and it consists of 2 types of cancers they are malignant and benign *** benevolent BT does not affect the neighbouring healthy and normal tissue;however,the malignant could affect the adjacent brain tissues,which results in *** recognition of BT is highly significant to protecting the patient’s ***,the BT can be identified through the magnetic resonance imaging(MRI)scanning *** the radiotherapists are not offering effective tumor segmentation in MRI images because of the position and unequal shape of the tumor in the ***,ML has prevailed against standard image processing *** studies denote the superiority of machine learning(ML)techniques over standard ***,this study develops novel brain tumor detection and classification model using met heuristic optimization with machine learning(BTDC-MOML)*** accomplish the detection of brain tumor effectively,a Computer-Aided Design(CAD)model using Machine Learning(ML)technique is proposed in this research ***,the input image pre-processing is performed using Gaborfiltering(GF)based noise removal,contrast enhancement,and skull ***,mayfly optimization with the Kapur’s thresholding based segmentation process takes *** feature extraction proposes,local diagonal extreme patterns(LDEP)are *** last,the Extreme Gradient Boosting(XGBoost)model can be used for the BT classification *** accuracy analysis is performed in terms of Learning accuracy,and the validation accuracy is performed to determine the efficiency of the proposed research *** experimental validation of the proposed model demonstrates its promising performance over other existing methods.

关键词： Brain tumor machine learning segmentation computer-aided diagnosis skull stripping

来源：评论

学校读者我要写书评

暂无评论

Precise trajectory tracking of mecanum-wheeled omnidirectional mobile robots via a novel fixed-time sliding mode control approach

引用

Control Theory and technology 2024年第4期22卷 596-611页

作者： Zhe Sun Zhipeng Li Hao Xie Yunjun Zheng Jinchuan Zheng Bo Chen College of Information Engineering Zhejiang University of TechnologyHangzhou310023China School of Science Computing and Engineering TechnologiesSwinburne University of TechnologyHawthorn3122VICAustralia School of Mechanical Engineering Hefei University of TechnologyHefei230009AnhuiChina

This paper proposes a novel fixed-time sliding mode control approach for trajectory-tracking tasks of a mecanum-wheeled omnidirectional mobile ***,the idea of two-phase attractors is introduced into the domain of sliding mode control,and a new fixed-time sliding surface is ***,according to this sliding surface,a new type of nonsingular fast terminal sliding mode control algorithm is designed for the omnidirectional mobile robot,which can realize a fast fixed-time convergence *** stability of the control system is proven scrupulously,and a guideline for control-parameter tuning is ***,experiments are implemented to test the trajectory-tracking performance of the *** results demonstrate the superiority of the proposed sliding surface and the corresponding control scheme in comparison with benchmark controllers.

关键词： Omnidirectional mobile robot Trajectory tracking Sliding mode control Fixed-time convergence

来源：评论

学校读者我要写书评

暂无评论

Nonlinear Filtering With Sample-Based Approximation Under Constrained Communication:Progress, Insights and Trends

引用

IEEE/CAA Journal of Automatica Sinica 2024年第7期11卷 1539-1556页

作者： Weihao Song Zidong Wang Zhongkui Li Jianan Wang Qing-Long Han IEEE the State Key Laboratory for Turbulence and Complex Systems Department of Mechanics and Engineering ScienceCollege of Engineering Peking University the Department of Computer Science Brunel University London the School of Aerospace Engineering Beijing Institute of Technology the School of Science Computing and Engineering Technologies Swinburne University of Technology

The nonlinear filtering problem has enduringly been an active research topic in both academia and industry due to its ever-growing theoretical importance and practical *** main objective of nonlinear filtering is to infer the states of a nonlinear dynamical system of interest based on the available noisy measurements. In recent years, the advance of network communication technology has not only popularized the networked systems with apparent advantages in terms of installation,cost and maintenance, but also brought about a series of challenges to the design of nonlinear filtering algorithms, among which the communication constraint has been recognized as a dominating concern. In this context, a great number of investigations have been launched towards the networked nonlinear filtering problem with communication constraints, and many samplebased nonlinear filters have been developed to deal with the highly nonlinear and/or non-Gaussian scenarios. The aim of this paper is to provide a timely survey about the recent advances on the sample-based networked nonlinear filtering problem from the perspective of communication constraints. More specifically, we first review three important families of sample-based filtering methods known as the unscented Kalman filter, particle filter,and maximum correntropy filter. Then, the latest developments are surveyed with stress on the topics regarding incomplete/imperfect information, limited resources and cyber ***, several challenges and open problems are highlighted to shed some lights on the possible trends of future research in this realm.

关键词： Communication constraints maximum correntropy filter networked nonlinear filtering particle filter sample-based approximation unscented Kalman filter

来源：评论

学校读者我要写书评

暂无评论

Global Solvability for a Predator-Prey Model with Prey-Taxis and Rotational Flux Terms

引用

Chinese Annals of Mathematics,Series B 2024年第2期45卷 297-318页

作者： Guoqiang REN Bin LIU School of Mathematics and Statistics Huazhong University of Science and Technology Hubei Key Laboratory of Engineering Modeling and Scientific Computing Huazhong Universityof Science and Technology

In this paper the author investigates the following predator-prey model with prey-taxis and rotational?ux terms■in a bounded domain with smooth *** presents the global existence of generalized solutions to the model... 详细信息

关键词： Predator-prey Prey-taxis Giopal existence Kotational flnux

来源：评论

学校读者我要写书评

暂无评论

Impulsive Control of Nonlinear Multiagent Systems: A Hybrid Fuzzy Adaptive and Event-Triggered Strategy

引用

IEEE Transactions on Fuzzy Systems 2025年第6期33卷 1889-1898页

作者： Han, Fang Jin, Hai Huazhong University of Science and Technology National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Laboratory Cluster and Grid Computing Laboratory School of Computer Science and Technology Wuhan430074 China

In this article, we present a hybrid control approach that integrates an adaptive fuzzy mechanism with an event-triggered impulse strategy to address consensus control challenges in nonlinear multiagent systems (MASs) with uncertain information, both in leader and leaderless scenarios. First, a fuzzy logic-based adaptive control mechanism is proposed to handle system nonlinearity and uncertainty. This mechanism dynamically adjusts fuzzy control rules in real time, enabling the system to adapt to changing conditions and enhancing its robustness against nonlinear disturbances. Second, to alleviate communication overhead and reduce control frequency, an event-triggered impulse strategy is implemented. This strategy activates impulse control only under specific conditions, effectively minimizing control actions while maintaining system consensus. Using Lyapunov stability theory, sufficient conditions for achieving system consensus are established, demonstrating the global consensus and robustness of the MASs under certain criteria. Finally, numerical simulations and experimental evaluations validate the proposed method's effectiveness and its practical advantages. © 1993-2012 IEEE.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：