Loading...

Table of Content

    15 December 2023, Volume 27 Issue 4
    Fingerprint orientation field estimation algorithm based on deep learning
    Yonghong LIU, Congying HAN, Tiande GUO
    2023, 27(4):  1-19.  doi:10.15960/j.cnki.issn.1007-6093.2023.04.001
    Asbtract ( 187 )   HTML ( 10)   PDF (12759KB) ( 137 )  
    Figures and Tables | References | Related Articles | Metrics

    As a very important feature in fingerprint images, fingerprint orientation field plays an important role in many aspects of Automatic Fingerprint Identification System (AFIS), such as fingerprint image enhancement, singular point detection, fingerprint classification, etc. Although existing orientation field estimation algorithms can achieve competitive extraction results, these algorithms are sensitive to image noise and often require prior knowledge for direction calculation, which consumes a lot of time. To address this issue, a fingerprint orientation field estimation algorithm based on fully convolutional network is proposed in this paper, which uses pixel-level classification tasks to estimate fingerprint orientation field. According to the characteristics of fingerprint image and attention mechanism, we design a fully convolutional network with attention mechanism (Attention FCN) for orientation field estimation. In addition, dilated convolution layers are added to the network to extract important discriminative features in different fingerprint images. At the same time, a new loss function is designed to train the network. According to the classification results of each pixel point, the orientation field is estimated. Experimental results show that the proposed algorithm achieves good performance and very fast estimation speed, and it is very robust to image noise.

    S-lemma and its extension
    Wenbao AI, Wei LIANG, Mengxiao ZHANG
    2023, 27(4):  20-32.  doi:10.15960/j.cnki.issn.1007-6093.2023.04.002
    Asbtract ( 214 )   HTML ( 8)   PDF (889KB) ( 141 )  
    References | Related Articles | Metrics

    S-lemma is an important theorem in operations research and cybernetics. In this paper, starting from verifying the global asymptotic stability of a nonlinear control system, we draw S-procedure, S-lemma, and their relations and differences. Then the basic content of S-lemma and its latest advances are introduced. Moreover, several generalizations of S-lemma over the complex field and the quaternion set are discussed. Finally, some basic results corresponding to S-lemma are showed for any number of symmetric (or Hermitian) matrices.

    Unsolved problems in spectral graph theory
    Lele LIU, Bo NING
    2023, 27(4):  33-60.  doi:10.15960/j.cnki.issn.1007-6093.2023.04.003
    Asbtract ( 479 )   HTML ( 18)   PDF (779KB) ( 293 )  
    Figures and Tables | References | Related Articles | Metrics

    Spectral graph theory is a captivating area of graph theory that employs the eigenvalues and eigenvectors of matrices associated with graphs to study them. In this paper, we present a collection of 20 topics in spectral graph theory, covering a range of open problems and conjectures. Our focus is primarily on the adjacency matrix of graphs, and for each topic, we provide a brief historical overview.

    Fast computation of generalized Jacobians of polyhedral projectors and extensions
    Shengxiang DENG, Xudong LI
    2023, 27(4):  61-80.  doi:10.15960/j.cnki.issn.1007-6093.2023.04.004
    Asbtract ( 131 )   HTML ( 8)   PDF (828KB) ( 106 )  
    References | Related Articles | Metrics

    Polyhedral projectors play a fundamental role in modern optimization. Recently, significant progress has been made in the computation of generalized Jacobians of projectors over polyhedral convex sets. In this paper, we review some recent theoretical and computational developments related to polyhedral projectors and their generalized Jacobians. Similar analyses are also extended to solution mappings of strongly convex quadratic programming problems, and proximal mappings of continuous piecewise affine regularizers.

    A survey of direct methods for optimal control problems
    Mengzhen SHAO, Changjun YU
    2023, 27(4):  81-105.  doi:10.15960/j.cnki.issn.1007-6093.2023.04.005
    Asbtract ( 176 )   HTML ( 10)   PDF (992KB) ( 188 )  
    Figures and Tables | References | Related Articles | Metrics

    Optimal control is an important branch of control theory, and its goal is to determine a control strategy that optimizes system performance indicators under the premise of satisfying dynamic systems and constraints. Optimal control has a wide range of applications in engineering, economics, finance, robotics, aerospace and other fields. The direct method is a common method to solve the optimal control problem. This method transforms the continuous optimal control problem into a finite-dimensional optimization problem by directly discretizing the control and state function. At present, the direct method mainly includes the direct collocation method and the control parameterization method. The direct collocation method uses a specific function form to approximate the state and control function at the same time; the control parameterization method uses a linear combination of basis functions to approximate the control function, thereby discretizing the control space. The purpose of the two methods is to transform the continuous optimal control problem into a finite-dimensional nonlinear programming problem, and then choose an appropriate optimization algorithm to solve it. Benefiting from its flexibility and ability to deal with constraints, the direct method has become the important method in recent years for practical applications requiring real-time control. Researchers and engineers continue to develop and improve direct methods to increase their efficiency and accuracy in solving complex optimal control problems. This article mainly introduces the relevant achievements and latest developments of the direct method for readers' reference, and discusses the research trends and potential research directions of the direct method.

    Machine learning-driven multi-agent pathfinding: An overview
    Xiangfeng WANG, Wenhao LI
    2023, 27(4):  106-135.  doi:10.15960/j.cnki.issn.1007-6093.2023.04.006
    Asbtract ( 204 )   HTML ( 10)   PDF (3514KB) ( 207 )  
    Figures and Tables | References | Related Articles | Metrics

    The Multi-agent Path Finding (MAPF) problem is a core fundamental issue in multi-agent systems and has been widely applied in practical scenarios such as automated intelligent warehousing, autonomous driving, and swarm robotics. From the perspective of problem attributes, the key difficulty lies in enabling multiple intelligent agents to travel along paths simultaneously while ensuring no collisions occur, making it an NP-hard combinatorial optimization problem. However, the aforementioned realworld applications require algorithms to find high-quality, collision-free paths for a large number of intelligent agents within a short computation time. Shorter paths lead to higher system throughput and lower operating costs, presenting significant challenges for classical MAPF optimization algorithms. As a result, in recent years, numerous studies have begun focusing on using machine learning methods to empower MAPF research, aiming to accelerate solution speed and improve solution quality. This paper presents a comprehensive review in three parts, including the core concepts, optimization objectives, and benchmark tasks of the MAPF problem. It also covers the problem modeling, core ideas, and strengths and weaknesses of traditional MAPF algorithms. Additionally and most importantly, this paper introduces a series of machine learning-empowered MAPF algorithms with varying degrees of machine learning involvement, providing corresponding schematic diagrams and pseudocode. This paper further summarizes the major challenges currently faced by machine learning-driven MAPF algorithms and proposes potential future research directions. This is intended to assist researchers in the field and promote the development of machine learning methods in the classical MAPF domain.

    On the theories, algorithms, and applications of optimization with nonnegative orthogonality constraints
    Bo JIANG
    2023, 27(4):  136-152.  doi:10.15960/j.cnki.issn.1007-6093.2023.04.007
    Asbtract ( 135 )   HTML ( 7)   PDF (947KB) ( 178 )  
    References | Related Articles | Metrics

    Optimization with nonnegative orthogonality constraints, which includes both nonnegative constraints and orthogonality constraints, has important applications in machine learning and data science. Some typical instances of optimization with nonnegative orthogonality constraints include the quadratic assignment problem, graph matching problem, orthogonal nonnegative matrix factorization problem, nonnegative principal component analysis, and K-indicator model, etc. Due to the coupling effects of nonnegative and orthogonal constraints, this type of problem has a certain combinatorial structure and is generally NP-hard. This paper mainly introduces the basic theoretical properties, algorithms, and related applications of optimization with nonnegative orthogonality constraints.

    Stochastic approximation methods for nonconvex constrained optimization
    Xiao WANG
    2023, 27(4):  153-165.  doi:10.15960/j.cnki.issn.1007-6093.2023.04.008
    Asbtract ( 172 )   HTML ( 23)   PDF (927KB) ( 187 )  
    References | Related Articles | Metrics

    In many application fields such as artificial intelligence and scientific computing, application-driven mathematical optimization models often show randomness due to their dependence on large data sets and/or noisy data, and the model scale is large and accompanied by complex non-convex operator constraints. Thus it is normally expensive to get access to the exact function information of those models and can bring great challenges to algorithm design as well as theoretical analysis. In recent years, stochastic approximation algorithms for nonconvex constrained optimization have attracted much attention. Currently those algorithms can be separated into three categories: penalty methods based on stochastic approximations, proximal point algorithms and stochastic sequential quadratic programming algorithms. In this paper, we will briefly introduce latest progress on these types of algorithms, and present their algorithmic frameworks and theoretical properties including asymptotic convergence and complexity theory.

    A conjecture of optimal pricing for two matroids
    Ying ZHANG, Xinqi JING, Changjun WANG
    2023, 27(4):  166-174.  doi:10.15960/j.cnki.issn.1007-6093.2023.04.009
    Asbtract ( 97 )   HTML ( 3)   PDF (691KB) ( 114 )  
    Figures and Tables | References | Related Articles | Metrics

    In this paper, we study a conjecture of optimal pricing for two matroids, which arises from the problem of maximizing social welfare in combinatorial markets through pricing schemes. Given two matroids with a common ground set of items, there exists a disjoint partition of the ground set such that each subset is a base of one corresponding matroid (called ideal base-partition). The conjecture believes that there exists a price function on the items such that, if we pick any one of the cheapest bases of one matroid from the ground set, then the remaining items still constitute a base of the other matroid. By using perfect matchings on bipartite graphs, we prove that if the ground set admits at most two ideal base-partitions, then the conjecture is true and we can give the price vector efficiently.