Deriving topological relations from topologically augmented direction relation matrices

Topological relations and direction relations represent two pieces of the qualitative spatial reasoning triumvirate. Researchers have previously attempted to use the direction relation matrix to derive a topological relation, finding that no single direction relation matrix can isolate a particular topological relation. In this paper, the technique of topological augmentation is applied to the same problem, identifying a unique topological relation in 28.6% of all topologically augmented direction relation matrices, and furthermore achieving a reduction in a further 40.4% of topologically augmented direction relation matrices when compared to their vanilla direction relation matrix counterpart.

Measures of uncertainty for a fuzzy probabilistic approximation space

An approximation space (A-space) is the base of rough set theory and a fuzzy approximation space (FA-space) can be seen as an A-space under the fuzzy environment. A fuzzy probability approximation space (FPA-space) is obtained by putting probability distribution into an FA-space. In this way, it combines three types of uncertainty (i.e., fuzziness, probability and roughness). This article is devoted to measuring the uncertainty for an FPA-space. A fuzzy relation matrix is first proposed by introducing the probability into a given fuzzy relation matrix, and on this basis, it is expanded to an FA-space. Then, granularity measurement for an FPA-space is investigated. Next, information entropy measurement and rough entropy measurement for an FPA-space are proposed. Moreover, information amount in an FPA-space is considered. Finally, a numerical example is given to verify the feasibility of the proposed measures, and the effectiveness analysis is carried out from the point of view of statistics. Since three types of important theories (i.e., fuzzy set theory, probability theory and rough set theory) are clustered in an FPA-space, the obtained results may be useful for dealing with practice problems with a sort of uncertainty.

An Innovative Eigenvector-Based Method for Traffic Light Scheduling

This paper introduces two traffic light strategies to control traffic and avoid traffic jam in urban networks. One strategy is a new traffic light scheduling system, which controls traffic light using local variables (waiting time and number of vehicle on links) but has a global impact on the traffic, using shared variables between neighbour intersections. The proposed traffic light scheduling system is designed based on eigenvector centrality of intersection relation matrix. The intersection relation matrix is a new representation of a junction which indicates the traffic relation between intersection’s links and adjacent intersections. The second contribution is expanding a new dual mode traffic light strategy (namely, Exit Status Traffic Light (ETL)), which notifies the drivers whether they are allowed to exit a street or not. In other words, vehicles are allowed to enter a street in both red and green ETL, but they are not allowed to exit the street for a long time in red ETL (while traffic is heavy in the subnetwork). The ETL gives a chance to relax traffic in a subnetwork and avoid traffic jam. The effectiveness of the proposed strategy is analysed and evaluated by a number of simulations on three-way grid networks. Two-way rectangular grid networks are modelled via a cell transmission model (CTM). The macroscopic fundamental diagram (MFD) and the number of jammed cells are compared with two state-of-the-art methods.

SOGNet: Scene Overlap Graph Network for Panoptic Segmentation

The panoptic segmentation task requires a unified result from semantic and instance segmentation outputs that may contain overlaps. However, current studies widely ignore modeling overlaps. In this study, we aim to model overlap relations among instances and resolve them for panoptic segmentation. Inspired by scene graph representation, we formulate the overlapping problem as a simplified case, named scene overlap graph. We leverage each object's category, geometry and appearance features to perform relational embedding, and output a relation matrix that encodes overlap relations. In order to overcome the lack of supervision, we introduce a differentiable module to resolve the overlap between any pair of instances. The mask logits after removing overlaps are fed into per-pixel instance id classification, which leverages the panoptic supervision to assist in the modeling of overlap relations. Besides, we generate an approximate ground truth of overlap relations as the weak supervision, to quantify the accuracy of overlap relations predicted by our method. Experiments on COCO and Cityscapes demonstrate that our method is able to accurately predict overlap relations, and outperform the state-of-the-art performance for panoptic segmentation. Our method also won the Innovation Award in COCO 2019 challenge.

Analysis and Application of Transition Systems Based on Petri Nets and Relation Matrices to Business Process Management

In order to improve the efficiency of conformance checking in business process management, a business alignment approach is presented based on transition systems between relation matrices and Petri nets. Firstly, a log-based relation matrix of the events is obtained according to the event log. Then, the events in the relation matrix are observed and the transitions in the model are firing, and the activities in the log and in the model are compared. Next, the states of the log and the model are recorded until no new state can be generated, so a transition system can be obtained which includes optimal alignments between the event log and the process model. Finally, two detailed algorithms are presented to obtain an optimal alignment and all optimal alignments between the trace and the model based on the given cost function, respectively. The availability and effectiveness of the proposed approach are proved theoretically.

Relative relation matrix-based approaches for updating approximations in multigranulation rough sets

Multigranulation rough set (MGRS) theory has attracted much attention. However, with the advent of big data era, the attribute values may often change dynamically, which leads to high computational complexity when handling large and complex data. How to effectively obtain useful knowledge from the dynamic information system becomes an important issue in MGRS. Motivated by this requirement, in this paper, we propose relative relation matrix approaches for computing approximations in MGRS and updating them dynamically. A simplified relative relation matrix is used to calculate approximations in MGRS, it is showed that the space and time complexities are no more than that of the original method. Furthermore, relative relation matrix-based approaches for updating approximations in MGRS while refining or coarsening attribute values are proposed. Several incremental algorithms for updating approximations in MGRS are designed. Finally, experiments are conducted to evaluate the efficiency and validity of the proposed methods.

Cooperative differential evolution framework with utility-based adaptive grouping for large-scale optimization

Decomposing the large-scale problem into small-scale subproblems and optimizing them cooperatively are critical steps for solving large-scale optimization problem. This article proposes a cooperative differential evolution with utility-based adaptive grouping. The problem decomposition is adaptively executed by the two mechanisms of circular sliding controller and relation matrix, which consider the variable interactions on the basis of the short-term and long-term utilities, respectively. The circular sliding controller provides baselines for the subproblem optimizer. The size of the sliding window and the sliding speed in the controller are adjusted adaptively so that the variables with higher activeness can be optimized extensively. The relation matrix–based grouping strategy enables interacted variables to be grouped into the same subproblem with higher probabilities. The novelty is that decomposition is conducted as the optimization process without extra computational burden. For subproblem optimization, we use a self-adaptive differential evolution operator that adaptively adjusts the parameters to guide the search to the optimum solutions of the subproblems. Experiments on the benchmarks of CEC2008 and CEC2010, and practical problems show the effectiveness of the proposed algorithm.