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

Combining recursive projection and dynamic programming technique in multi UAVs formation anomaly detection

INTERNATIONAL JOURNAL OF MODELLING IDENTIFICATION AND CONTROL 2019年第1期31卷 53-61页

作者： Wang, Jian-Hong Jiang Univ Sci & Technol Sch Elect & Automat Ganzhou 341000 Peoples R China

To deal with the problem of anomaly detection in multi UAVs formation, and simplify the complexity of hypothesis testing or probability inequalities, the anomaly detection problem can be transformed to identify some unknown parameters process. To avoid a statistical description of measurement noise, a worthwhile alternative is the bounded noise characterisation. In the presence of bounded noise, the projection algorithm with dead zone and its modified form are proposed to identify the unknown parameters, such that the robustness of projection algorithm can be enhanced by increasing a dead zone. Furthermore, dynamic programming technique is introduced to balance the desire for lower present cost with the undesirability of high future cost in determining the anomaly detector, then the cost of collecting new observations and the higher probability of accepting the wrong hypothesis can be compensated. A numerical example illustrates the characteristics of the anomaly detection problem.

关键词： multi UAVs formation anomaly detection projection algorithm dynamic programming dead zone

来源：评论

学校读者我要写书评

暂无评论

Adaptive control of a class of discrete-time nonlinear systems yielding linear-like behavior

引用

AUTOMATICA 2021年 130卷 109691-109691页

作者： Shahab, Mohamad T. Miller, Daniel E. King Abdullah Univ Sci & Technol KAUST Robot Intelligent Syst & Control RISC Lab Elect & Math Sci & Engn CEMSE Div Thuwal 23955 Saudi Arabia Univ Waterloo Dept Elect & Comp Engn Waterloo ON N2L 3G1 Canada

In adaptive control it is typically proven that an asymptotic form of stability holds, and that at best a bounded-noise bounded-state property is proven. Recently, however, it has been proven in a variety of scenarios that it is possible to carry out adaptive control for a linear time-invariant (LTI) discrete-time plant so that the closed-loop system enjoys linear-like behavior: exponential stability, a bounded noise gain, and a convolution bound on the exogenous signals;the key idea is to carry out parameter estimation by using the original projection algorithm together with restricting the parameter estimates to a convex set. In this paper, we extend this approach to a class of nonlinear plants and show how to carry out adaptive control so that we obtain the same desirable linear-like closed-loop properties. First, we consider plants with a known sign of the control gain;second, we consider the case when that sign is unknown, where two parameter estimators and a simple switching mechanism are used. (C) 2021 Elsevier Ltd. All rights reserved.

关键词： Adaptive control Nonlinear systems Exponential stability Switching adaptive control projection algorithm

来源：评论

学校读者我要写书评

暂无评论

Subway Rail Fastener Locating Based on Visual Attention Model 13

Subway Rail Fastener Locating Based on Visual Attention Mode...

引用

13th Asia Pacific Transportation Development Conference - Resilience and Sustainable Transportation Systems

作者： Qi, Wei-Wei Zheng, Shu-Bin Chen, Xing-Jie Li, Li-Ming Shanghai Univ Engn Sci Sch Urban Railway Transportat Shanghai Peoples R China

ISBN: (数字)9780784482902

ISBN: (纸本)9780784482902

Fastener defects detection based on computer vision is an important task in subway rail inspection systems, in which the first step is fastener location. In this paper, a fastener locating method based on visual attention model for subway track is presented, which can implement fastener location in the subway track mixed with ballast-less track in the main line and ballast track on turnout region. Firstly, rail location is obtained by the vertical projection algorithm. Secondly, the image is classified into ballast or ballast-less based on visual attention model with the fractal dimension. Thirdly, ballast image and ballast-less image are treated separately. On one hand, in the ballast image, the sleeper is located with the line segment detector algorithm, and then fastener can be located by the sleeper location combined with the rail location. On the other hand, in the ballast-less image, the fastener is located with horizontal projection algorithm combined with the rail location. Experimental results demonstrate that the proposed method can locate the fastener accurately.

关键词： Fastener Location Visual Attention Model Fractal Dimension projection algorithm Line Segment Detector algorithm

来源：评论

学校读者我要写书评

暂无评论

An efficient numerical algorithm for solving viscosity contrast Cahn-Hilliard-Navier-Stokes system in porous media

引用

JOURNAL OF COMPUTATIONAL PHYSICS 2020年 400卷 108948-000页

作者： Liu, Chen Frank, Florian Thiele, Christopher Alpak, Faruk O. Berg, Steffen Chapman, Walter Riviere, Beatrice Rice Univ Dept Computat & Appl Math 6100 Main St Houston TX 77005 USA Friedrich Alexander Univ Erlangen Nurnberg Dept Math Cauerstr 11 D-91058 Erlangen Germany Shell Technol Ctr 3333 Highway 6 South Houston TX 77082 USA Shell Global Solut Int BV Grasweg 31 NL-1031 HW Amsterdam Netherlands Rice Univ Dept Chem & Biomol Engn 6100 Main St Houston TX 77005 USA

Two-phase flow with viscosity contrast at the pore scale is modeled by a time-dependent Cahn-Hilliard-Navier-Stokes model and belongs to the class of diffuse interface method. The model allows for moving contact line and varying wettability. The numerical scheme utilizes an efficient pressure-correction projection algorithm, in conjunction with interior penalty discontinuous Galerkin schemes for space discretization developed within the framework of a distributed parallel pore-scale flow simulation system. The effect of viscosity contrast on the phase distribution is studied in relation with capillary forces and wettability. The algorithm is numerically robust and lends itself naturally to large-scale 3D numerical simulations. (C) 2019 Elsevier Inc. All rights reserved.

关键词： Cahn-Hilliard-Navier-Stokes Discontinuous Galerkin methods projection algorithm Viscosity ratio Contact angle Micro-CT images

来源：评论

学校读者我要写书评

暂无评论

Linear Regularity and Linear Convergence of projection-Based Methods for Solving Convex Feasibility Problems

引用

APPLIED MATHEMATICS AND OPTIMIZATION 2018年第3期78卷 613-641页

作者： Zhao, Xiaopeng Ng, Kung Fu Li, Chong Yao, Jen-Chih Tianjin Polytech Univ Dept Math Tianjin 300387 Peoples R China Chinese Univ Hong Kong Dept Math Hong Kong Hong Kong Peoples R China Zhejiang Univ Sch Math Sci Hangzhou 310027 Zhejiang Peoples R China China Med Univ Ctr Gen Educ Taichung 40402 Taiwan Kaohsiung Med Univ Res Ctr Nonlinear Anal & Optimizat Kaohsiung 807 Taiwan

For a finite/infinite family of closed convex sets with nonempty intersection in Hilbert space, we consider the (bounded) linear regularity property and the linear convergence property of the projection-based methods for solving the convex feasibility problem. Several sufficient conditions are provided to ensure the bounded linear regularity in terms of the interior-point conditions and some finite codimension assumptions. A unified projection method, called algorithm B-EMOPP, for solving the convex feasibility problem is proposed, and by using the bounded linear regularity, the linear convergence results for this method are established under a new control strategy introduced here.

关键词： Convex feasibility problem Linear regularity projection algorithm

来源：评论

学校读者我要写书评

暂无评论

Exponential Stability for Adaptive Control of a Class of First-Order Nonlinear Systems 13th

Exponential Stability for Adaptive Control of a Class of Fir...

引用

13th International-Federation-of-Automatic-Control (IFAC) Workshop on Adaptive and Learning Control Systems (ALCOS)

作者： Shahab, Mohamad T. Miller, Daniel E. Univ Waterloo Dept Elect & Comp Engn Waterloo ON N2L 3G1 Canada

In adaptive control it is typically proven that a weak asymptotic form of stability holds;furthermore, at best it is proven that a bounded noise yields a bounded state. Recently, however, it has been proven in a variety of scenarios that it is possible to carry out adaptive control for a linear-time invariant (LTI) discrete-time plant so that the closed-loop system enjoys exponential stability, a bounded gain on the noise, as well as a convolution bound on the effect of the exogenous inputs;the key idea is to carry out parameter estimation by using the ideal projection algorithm in conjunction with restricting the parameter estimates to a convex set. In this paper we extend the approach to a class of first-order nonlinear systems. (C) 2019, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.

关键词： Adaptive Control Nonlinear systems Exponential stability projection algorithm

来源：评论

学校读者我要写书评

暂无评论

On the convergence of general projection methods for solving convex feasibility problems with applications to the inverse problem of image recovery

引用

OPTIMIZATION 2018年第9期67卷 1409-1427页

作者： Zhao, Xiaopeng Koebis, Markus Arthur Tianjin Polytech Univ Dept Math Tianjin Peoples R China Free Univ Berlin Dept Math & Comp Sci Berlin Germany

For an arbitrary family of closed convex sets with nonempty intersection in a Hilbert space, we consider the classical convex feasibility problem. We study the convergence property of the recently introduced unified projection algorithm B-EMOPP for solving this problem. For this, a new general control strategy is proposed, which we call the 'quasi-coercive control'. Under mild assumptions, we prove the convergence of B-EMOPP using these new control strategies as well as various other strategies. Several known results are extended and improved. The proposed algorithm is then applied to the inverse problem of image recovery.

关键词： Convex feasibility problem image recovery projection algorithm system of closed convex sets

来源：评论

学校读者我要写书评

暂无评论

Outer perturbations of a projection method and two approximation methods for the split equality problem

引用

OPTIMIZATION 2018年第9期67卷 1429-1446页

作者： Dong, Qiao-Li Li, Xiao-Huan He, Songnian Civil Aviat Univ China Tianjin Key Lab Adv Signal Proc Tianjin Peoples R China Civil Aviat Univ China Coll Sci Tianjin Peoples R China

In this article, we first present a projection method with outer perturbations for the split equality problem (SEP) and establish its weak convergence. Then combining the proposed projection method with the outer approximation method and Halpern iteration method, we introduce two approximation methods to solve the SEP, where the two closed convex sets are both level sets of convex functions. Finally, a preliminary experiment presented compares the approximation methods and a relaxed projection method.

关键词： Split equality problem projection algorithm relaxed projection algorithm Halpern iteration method outer perturbation outer approximation method

来源：评论

学校读者我要写书评

暂无评论

projection algorithms for solving nonmonotone equilibrium problems in Hilbert space

引用

JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS 2016年 302卷 106-117页

作者： Bui Van Dinh Kim, Do Sang Le Quy Don Tech Univ Fac Informat Technol Hanoi Vietnam Pukyong Natl Univ Dept Appl Math Busan South Korea

We propose two projection algorithms for solving an equilibrium problem where the bifunction is not required to be satisfied any monotone property. Under assumptions on the continuity, convexity of the bifunction and the nonemptyness of the solution set of the Minty equilibrium problem, we show that the sequences generated by the proposed algorithms converge weakly and strongly to a solution of the primal equilibrium problem respectively. (C) 2016 Elsevier B.V. All rights reserved.

关键词： Non-monotonicity Equilibria Extragradient method projection algorithm Armijo linesearch

来源：评论

学校读者我要写书评

暂无评论

A projection-based Approach for Memory Leak Detection 42

A Projection-based Approach for Memory Leak Detection

引用

42nd Annual IEEE-Computer-Society Computers, Software and Applications (COMPSAC) Conference - Staying Smarter in a Smartening World

作者： Sun, Xiaohui Xu, Sihan Guo, Chenkai Xu, Jing Dong, Naipeng Ji, Xiujuan Zhang, Sen Nankai Univ Dept Binhai Tianjin Peoples R China Nankai Univ Dept Comp & Control Engn Tianjin Peoples R China Natl Univ Singapore Sch Comp Singapore Singapore

ISBN: (纸本)9781538626672

One of the major software safety issues is memory leak. Moreover, detecting memory leak vulnerabilities is challenging in static analysis. Existing static detection tools find bugs by collecting programs' information in the process of scanning source code. However, the current detection tools are weak in efficiency and accuracy, especially when the targeted program contains complex branches. This paper proposes a projection-based approach to detect memory leaks in C source code with complex control flows. According to the features of memory allocation and deallocation in C source code, this approach projects the original control flow graph of a program to a simpler one, and it reduces the analysis complexity. Besides, this paper implements a memory-leak detection tool-PML Checker, and evaluates the tool by comparing with three open-source static detection tools on both public benchmarks and study test cases. The experimental results show that PML Checker reports the most memory leak vulnerabilities among the four existing tools with complex control flows and complex data types, and PML Checker obtains higher efficiency and accuracy on public benchmarks.

关键词： memory leak projection algorithm static analysis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：