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

Fuzzing:Progress,Challenges,and Perspectives

Computers, Materials & Continua 2024年第1期78卷 1-29页

作者： Zhenhua Yu Zhengqi Liu Xuya Cong Xiaobo Li Li Yin Institute of Systems Security and Control College of Computer Science and TechnologyXi'an University of Science and TechnologyXi'an710054China School of Mathematics and Information Science Baoji University of Arts and SciencesBaoji721013China Institute of Systems Engineering Macao University of Science and TechnologyTaipaMacaoChina

As one of the most effective techniques for finding software vulnerabilities,fuzzing has become a hot topic in software *** feeds potentially syntactically or semantically malformed test data to a target program to mine vulnerabilities and crash the *** recent years,considerable efforts have been dedicated by researchers and practitioners towards improving fuzzing,so there aremore and more methods and forms,whichmake it difficult to have a comprehensive understanding of the *** paper conducts a thorough survey of fuzzing,focusing on its general process,classification,common application scenarios,and some state-of-the-art techniques that have been introduced to improve its ***,this paper puts forward key research challenges and proposes possible future research directions that may provide new insights for researchers.

关键词： Fuzzing vulnerability software testing software security

来源：评论

学校读者我要写书评

暂无评论

On convergence of covariance matrix of empirical Bayes hyper-parameter estimator

引用

control Theory and technology 2024年第2期22卷 149-162页

作者： Yue Ju Biqiang Mu Tianshi Chen School of Data Science and Shenzhen Research Institute of Big Data The Chinese University of Hong KongShenzhenShenzhen518172GuangdongChina Division of Decision and Control Systems School of Electrical Engineering and Computer ScienceKTH Royal Institute of Technology10044StockholmSweden Key Laboratory of Systems and Control Institute of Systems ScienceAcademy of Mathematics and System ScienceChinese Academy of SciencesBeijing100190China

Regularized system identification has become the research frontier of system identification in the past *** related core subject is to study the convergence properties of various hyper-parameter estimators as the sample size goes to *** this paper,we consider one commonly used hyper-parameter estimator,the empirical Bayes(EB).Its convergence in distribution has been studied,and the explicit expression of the covariance matrix of its limiting distribution has been ***,what we are truly interested in are factors contained in the covariance matrix of the EB hyper-parameter estimator,and then,the convergence of its covariance matrix to that of its limiting distribution is *** general,the convergence in distribution of a sequence of random variables does not necessarily guarantee the convergence of its covariance ***,the derivation of such convergence is a necessary complement to our theoretical analysis about factors that influence the convergence properties of the EB hyper-parameter *** this paper,we consider the regularized finite impulse response(FIR)model estimation with deterministic inputs,and show that the covariance matrix of the EB hyper-parameter estimator converges to that of its limiting ***,we run numerical simulations to demonstrate the efficacy of ourtheoretical results.

关键词： Regularized system identification Hyper-parameter estimator Empirical Bayes Convergence of covariance matrix

来源：评论

学校读者我要写书评

暂无评论

A Time-delay Approach for Stabilization of Linear systems with Unknown control Direction 63

A Time-delay Approach for Stabilization of Linear Systems wi...

引用

63rd IEEE Conference on Decision and control, CDC 2024

作者： Pan, Gaofeng Zhu, Yang Wu, Zhengguang Institute of Cyber-Systems and Control Zhejiang University State Key Laboratory of Industrial Control Technology Hangzhou310027 China Institute of Cyber-Systems and Control Zhejiang University Hangzhou310027 China Ningbo Innovation Center Zhejiang University State Key Laboratory of Industrial Control Technology Ningbo315100 China

ISBN: (纸本)9798350316339

We propose a novel stability analysis for linear systems with unknown control directions, focusing on stabilization through extremum seeking to minimize a Lyapunov function. Our approach draws inspiration from Lie bracket systems, employing a transformation using time-delay analysis to convert the closed-loop system into a nominal time-delay system. Leveraging techniques from Input-to-State Stability (ISS), we provide a proof of semiglobal practical asymptotic stability. Compared to the preceding analysis based on Lie bracket systems, the use of time-delay methods transforms intricate mathematical discussions and proofs into a structured computational framework, facilitating a more intuitive understanding. Also, we propose a method for selecting controller parameters and can provide a more comprehensive explanation for the current high-gain parameter choices. Finally, we present a new control parameter to reduce the requirements of the frequency of the sinusoidal signals. © 2024 IEEE.

关键词： Stabilization

来源：评论

学校读者我要写书评

暂无评论

Voltage and power control for distributed generation units in islanded microgrids 6th

Voltage and power control for distributed generation units i...

引用

6th International Conference on Renewable Energies Offshore, RENEW 2024

作者： Rouch, T. Bagheri M’zoughi, F. Aboutalebi, P. Ahmad, I. Garrido, A.J. Garrido, I. Institute of Research and Development of Processes—IIDP Department of Automatic Control and Systems Engineering Faculty of Engineering of Bilbao University of the Basque Country Bilbao Spain

ISBN: (纸本)9781032905570

This article presents an optimized control strategy tailored for DC islanded microgrids, featuring a voltage controller based on mixed H2/H∞ state feedback using linear matrix inequalities (LMIs) and a power controller guided by droop characteristics. A polytopic modeling approach addresses system uncertainties and nonlinearities. The controller aims to stabilize the system, reject disturbances, equitably distribute power among distributed generation units (DGUs), and minimize energy consumption. Regional pole placement ensures welldamped transient responses. Simulation results demonstrate effective management of load perturbations and DGU disconnections, with a comparative analysis against an H∞ controller offering additional insights into performance. © 2025 The Author(s).

关键词： Microgrids

来源：评论

学校读者我要写书评

暂无评论

control valve simulation method integrable into the global gradient algorithm

引用

ISH Journal of Hydraulic Engineering 2025年第1期31卷 1-7页

作者： Sivakumar, P. Gorev, N.B. Gorev, V.N. Kodzhespirova, I.F. Shedlovsky, I.A. Itanagar India Department for Functional Elements of Control Systems Institute of Technical Mechanics Dnipro Ukraine Department of Physics Dnipro University of Technology Dnipro Ukraine Department of Automation and Computer Systems Dnipro University of Technology Dnipro Ukraine

This paper presents a refinement of a method that simulates flow- and pressure-regulating valves by replacing them with pipes and adjusting the resistances (diameters) of those pipes to meet the valve settings. The method, referred to as the replacing pipe method (RPM), is readily integrable into the global gradient algorithm, which is the heart of the commonly used EPANET 2 water distribution system modeling software. The RPM proved to be more robust, yet slower than the EPANET 2 valve handling heuristics. In this work, the RPM was modified to increase its computational speed. The modification involved the RPM check valve handling algorithm and condition for updating the diameters of the valve-replacing pipes. The modified RPM was tested as part of a hybrid simulator, which switches from the EPANET 2 valve handling heuristics to the RPM when the former fails. The test networks included a large network with thousands of nodes, pipes, and valves, and a case of an ill-posed problem. As the testing showed, the modified RPM offers a significant reduction in the number of iterations compared to its previous version. © 2024 Indian Society for Hydraulics.

关键词： Safety valves

来源：评论

学校读者我要写书评

暂无评论

Tactical Conflict Avoidance of Manned Traffic - Display Concepts for UAV Pilots

引用

CEAS Aeronautical Journal 2024年第2期15卷 315-324页

作者： Peukert, Markus Santel, Christoph G. Institute of Flight Systems and Automatic Control Technical University of Darmstadt Otto-Berndt-Str. 2 Darmstadt64287 Germany Garrecht Avionik GmbH Wieslocher Str. 38 Walldorf69190 Germany

The number of collisions between manned and unmanned aerial vehicles (UAVs) has risen due to the increased use of UAVs. Pilots of manned aircraft can visually detect the usually much smaller UAVs only very late or not at all, which is why UAVs are required to avoid manned aircraft in lower airspace by most regulations. For the task of collision avoidance, the UAV pilot needs appropriate traffic awareness. While operating UAVs within the visual line of sight (VLOS), the UAV pilot can monitor the surrounding traffic himself, but operation beyond the visual line of sight (BVLOS) requires an additional airspace observer or a supporting detect-and-avoid system. In this work, a traffic display concept supporting UAV pilots is derived and proposed using the human-centered design process. Commonly used collision avoidance displays of manned and unmanned aviation are reviewed and the user context for the proposed traffic display is introduced. An online survey is conducted to gather user preferences for several 2D graphical elements of the traffic display. 25 experienced UAV pilots participated in the survey. The data is analyzed using Gwet’s AC1 agreement coefficient. Overall, fair agreement can be observed with individual coefficients for different 2D graphical elements ranging from poor to almost perfect agreement. With a developed heuristic, preferred 2D graphical elements are extracted and combinations reviewed to derive a complete traffic display design. The proposed traffic display design, based on user preferences, will be implemented for further evaluation in human-in-the-loop experiments. © The Author(s) 2024.

关键词： Collision avoidance

来源：评论

学校读者我要写书评

暂无评论

Instance-Wise MRI Reconstruction Based on Self-Supervised Implicit Neural Representation 46

Instance-Wise MRI Reconstruction Based on Self-Supervised Im...

引用

46th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2024

作者： Yang, Song-Xiao Li, Yi-Zhou Okutomi, Masatoshi Tokyo Institute of Technology School of Engineering Department of Systems and Control Engineering Tokyo Japan

ISBN: (纸本)9798350371499

Accelerated MRI involves a trade-off between sampling sufficiency and acquisition time. Supervised deep learning methods have shown great success in MRI reconstruction from under-sampled measurements, but they typically require a large set of fully-sampled MR images for training, which can be difficult to obtain. In this paper, we present a novel fully self-supervised method based on implicit neural representation, which requires only a single under-sampled MRI instance for training. To effectively guide the self-supervised learning process, we introduced multiple novel supervisory signals in both the image and frequency domains. Experimental results indicate that the proposed method outperforms existing self-supervised methods and even a supervised method, demonstrating its strong reliability and flexibility. Our code is publicly available at https://***/YSongxiao/*** relevance - The proposed method can significantly enhance the image quality of under-sampled MR images without the need of ground-truth fully-sampled MR images for supervision and additional prior images for guidance. © 2024 IEEE.

关键词： Self-supervised learning

来源：评论

学校读者我要写书评

暂无评论

automatic control of Wall-following Mobile Robots Based on Machine Learning

Automatic Control of Wall-following Mobile Robots Based on M...

引用

2024 Conference of Young Researchers in Electrical and Electronic Engineering, ElCon 2024

作者： Hammoud, Moahmmed Lupin, Sergey National Research University of Electronic Technology Institute of Microdevices and Control Systems Moscow Russia

ISBN: (纸本)9798350360646

Mobile robots have become increasingly popular in various industries and applications due to their versatility and ability to perform tasks safely, effectively, and independently. They can operate in hazardous or inaccessible areas, thus reducing the risk of injury to human workers. Mobile robots can also work continuously without breaks, thus increasing productivity and reducing labor costs. Wall-following mobile robots (WMRs) use sensors and algorithms to detect and avoid obstacles while maintaining a constant distance from them. They are instrumental in environments with narrow passages or limited visibility, such as underground tunnels or mines. This study used a benchmark dataset collected by the SCITOS G5 robot to evaluate various Machine Learning (ML) algorithms. This research guides on selecting an ML algorithm to achieve a balance between accuracy and memory consumption. The experiments showed that eXtreme Gradient Boosting (XGB) performed the best with a macro F1-score of 0.9934 on 24 sensor readings. © 2024 IEEE.

关键词： machine learning Mobile robot Multi-category classification SCITOS G5 wall-following robot

来源：评论

学校读者我要写书评

暂无评论

Fault-Tolerant control of Hypersonic Flight Vehicle Attitude Tracking Based on Adaptive Dynamic Programming

Fault-Tolerant Control of Hypersonic Flight Vehicle Attitude...

引用

2024 International Annual Conference on Complex systems and Intelligent Science, CSIS-IAC 2024

作者： Liu, Hao Zhou, Chuan Guo, Jian Lu, Dong Cao, Xiaolei Jia, Zhiqiang Nanjing University of Science and Technology School of Automation Nanjing China Beijing Aerospace Automatic Control Institute Beijing China

ISBN: (纸本)9798331504755

The attitude control problem of hypersonic flight vehicles (HFV) in the presence of bias faults is addressed in this paper, and an intelligent fault-tolerant control strategy using Adaptive Dynamic Programming (ADP) is proposed. A new performance index function is adopted for the fault-tolerant controller design to deal with bias faults. The fault-tolerant control problem is transformed as an optimized control problem based on the improved performance index function. Utilizing policy iteration, a critic neural network is constructed to solve the Hamilton-Jacobi-Bellman equation and the approximate optimal controller is obtained. The uniform ultimate boundedness of the closed-loop system is proved by the Lyapunov stability theorem. Theoretical derivation and simulation verification demonstrate the effectiveness of the proposed fault-tolerant control strategy. © 2024 IEEE.

关键词： Hypersonic vehicles

来源：评论

学校读者我要写书评

暂无评论

Experimental Study on Path Planning Algorithms for Warehouse Mobile Robot Based on Reinforcement Learning

Experimental Study on Path Planning Algorithms for Warehouse...

引用

2024 Conference of Young Researchers in Electrical and Electronic Engineering, ElCon 2024

作者： Hammoud, Moahmmed Haydar, Ola Lupin, Sergey Institute of Microdevices and Control Systems National Research University of Electronic Technology Moscow Russia

ISBN: (纸本)9798350360646

Planning in mobile robots is an essential task because it helps to achieve efficient movement in terms of time, computational resources, and safety. Warehouse robots, for example, are equipped with sensors and cameras to avoid obstacles and to move products around the warehouse pick and pack orders. In this project, we have used path-planning algorithms based on Reinforcement Learning (RL), which include Q-learning (QL), State-Action-Reward-State-Action (SARSA), and Expected SARSA (ESARSA). We evaluated these algorithms on a benchmark dataset with different sizes and obstacle densities. Our findings show that QL produces a more optimal path, but the path is risky since it is close to obstacles. On the other hand, SARSA produces a safer path. However, in terms of convergence speed, SARSA is slow, while ESARSA is faster and more stable but with extra computations. © 2024 IEEE.

关键词： machine learning Mobile robot Multi-category classification SCITOS G5 wall-following robot

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：