-
Triaxial shape of the one-proton emitter $^{149}$Lu
Authors:
Qi Lu,
Kai-Yuan Zhang,
Shi-Sheng Zhang
Abstract:
We revisit the proton emitter $^{149}$Lu utilizing the recently developed triaxial relativistic Hartree-Bogoliubov theory in continuum (TRHBc). By incorporating the microscopic nuclear structure properties from the TRHBc theory into the WKB approximation, we successfully reproduce the measured proton-emission half-life of $^{149}$Lu within experimental uncertainties. A triaxial ground state charac…
▽ More
We revisit the proton emitter $^{149}$Lu utilizing the recently developed triaxial relativistic Hartree-Bogoliubov theory in continuum (TRHBc). By incorporating the microscopic nuclear structure properties from the TRHBc theory into the WKB approximation, we successfully reproduce the measured proton-emission half-life of $^{149}$Lu within experimental uncertainties. A triaxial ground state characterized by ($β=0.17,γ=31^\circ$) has been clarified for $^{149}$Lu. The inclusion of triaxiality significantly changes nuclear density distributions and potentials, which results in enhanced binding of both the nuclear system and the proton-emitting orbital. As a result, a slightly extended half-life for the proton emission of $^{149}$Lu is achieved after considering triaxial deformation degrees of freedom.
△ Less
Submitted 14 June, 2024;
originally announced June 2024.
-
The odd-even differences in stability peninsula for $106 \leqslant Z \leqslant 112$ region with the deformed relativistic Hartree-Bogoliubov theory in continuum
Authors:
Xiao-Tao He,
Jia-Wei Wu,
Kai-Yuan Zhang,
Cai-Wan Shen
Abstract:
The predictive power of the deformed relativistic Hartree-Bogoliubov theory in continuum (DRHBc) with density functional PC-PK1 is demonstrated for superheavy region ($101 \leqslant Z \leqslant 120$) by comparing with available experimental and evaluated data in the AME2020. The DRHBc theory predicts 93 bound nuclei beyond the drip line $N = 258$ in the region of $106 \leqslant Z \leqslant 112$, w…
▽ More
The predictive power of the deformed relativistic Hartree-Bogoliubov theory in continuum (DRHBc) with density functional PC-PK1 is demonstrated for superheavy region ($101 \leqslant Z \leqslant 120$) by comparing with available experimental and evaluated data in the AME2020. The DRHBc theory predicts 93 bound nuclei beyond the drip line $N = 258$ in the region of $106 \leqslant Z \leqslant 112$, which form a stability peninsula. The odd-even differences between odd-$N$ and even-$N$ nuclei are remarkable in the stability peninsula; the number of bound odd-$N$ nuclei is less than that of bound even-$N$ nuclei, and the one-neutron separation energy of an odd-$N$ nucleus is smaller than those of its neighboring even-$N$ nuclei due to the blocking effect. The deformation effect is indispensable for the reentrant stability beyond the drip line by significantly affecting the structure of single-particle levels around the Fermi energy. The interplay between deformation and pairing effects affects the position where the odd-$N$ nucleus becomes bound in the stability peninsula. By examining the deformation effect at different orders, it is found that quadrupole deformation makes leading contribution to the appearance of stability peninsula and the effects of hexadecapole and hexacontatetrapole deformations are nonnegligible.
△ Less
Submitted 8 May, 2024; v1 submitted 2 May, 2024;
originally announced May 2024.
-
Multi-Dimensional Refinement Graph Convolutional Network with Robust Decouple Loss for Fine-Grained Skeleton-Based Action Recognition
Authors:
Sheng-Lan Liu,
Yu-Ning Ding,
**-Rong Zhang,
Kai-Yuan Liu,
Si-Fan Zhang,
Fei-Long Wang,
Gao Huang
Abstract:
Graph convolutional networks have been widely used in skeleton-based action recognition. However, existing approaches are limited in fine-grained action recognition due to the similarity of inter-class data. Moreover, the noisy data from pose extraction increases the challenge of fine-grained recognition. In this work, we propose a flexible attention block called Channel-Variable Spatial-Temporal…
▽ More
Graph convolutional networks have been widely used in skeleton-based action recognition. However, existing approaches are limited in fine-grained action recognition due to the similarity of inter-class data. Moreover, the noisy data from pose extraction increases the challenge of fine-grained recognition. In this work, we propose a flexible attention block called Channel-Variable Spatial-Temporal Attention (CVSTA) to enhance the discriminative power of spatial-temporal joints and obtain a more compact intra-class feature distribution. Based on CVSTA, we construct a Multi-Dimensional Refinement Graph Convolutional Network (MDR-GCN), which can improve the discrimination among channel-, joint- and frame-level features for fine-grained actions. Furthermore, we propose a Robust Decouple Loss (RDL), which significantly boosts the effect of the CVSTA and reduces the impact of noise. The proposed method combining MDR-GCN with RDL outperforms the known state-of-the-art skeleton-based approaches on fine-grained datasets, FineGym99 and FSD-10, and also on the coarse dataset NTU-RGB+D X-view version.
△ Less
Submitted 27 June, 2023;
originally announced June 2023.
-
Uniform Passive Fault-Tolerant Control of a Quadcopter with One, Two, or Three Rotor Failure
Authors:
Chenxu Ke,
Kai-Yuan Cai,
Quan Quan
Abstract:
This study proposes a uniform passive fault-tolerant control (FTC) method for a quadcopter that does not rely on fault information subject to one, two adjacent, two opposite, or three rotors failure. The uniform control implies that the passive FTC is able to cover the condition from quadcopter fault-free to rotor failure without controller switching. To achieve the purpose of the passive FTC, the…
▽ More
This study proposes a uniform passive fault-tolerant control (FTC) method for a quadcopter that does not rely on fault information subject to one, two adjacent, two opposite, or three rotors failure. The uniform control implies that the passive FTC is able to cover the condition from quadcopter fault-free to rotor failure without controller switching. To achieve the purpose of the passive FTC, the rotors' fault is modeled as a disturbance acting on the virtual control of the quadcopter system. The disturbance estimate is used directly for the passive FTC with rotor failure. To avoid controller switching between normal control and FTC, a dynamic control allocation is used. In addition, the closed-loop stability has been analyzed and a virtual control feedback is adopted to achieve the passive FTC for the quadcopter with two and three rotor failure. To validate the proposed uniform passive FTC method, outdoor experiments are performed for the first time, which have demonstrated that the hovering quadcopter is able to recover from one rotor failure by the proposed controller and continue to fly even if two adjacent, two opposite, or three rotors fail, without any rotor fault information and controller switching.
△ Less
Submitted 25 December, 2022; v1 submitted 23 November, 2022;
originally announced November 2022.
-
Improved Algorithms for Recognizing Perfect Graphs and Finding Shortest Odd and Even Holes
Authors:
Yung-Chung Chiu,
Kai-Yuan Lai,
Hsueh-I Lu
Abstract:
Various classes of induced subgraphs are involved in the deepest results of graph theory and graph algorithms. A prominent example concerns the {\em perfection} of $G$ that the chromatic number of each induced subgraph $H$ of $G$ equals the clique number of $H$. The seminal Strong Perfect Graph Theorem confirms that the perfection of $G$ can be determined by detecting odd holes in $G$ and its comp…
▽ More
Various classes of induced subgraphs are involved in the deepest results of graph theory and graph algorithms. A prominent example concerns the {\em perfection} of $G$ that the chromatic number of each induced subgraph $H$ of $G$ equals the clique number of $H$. The seminal Strong Perfect Graph Theorem confirms that the perfection of $G$ can be determined by detecting odd holes in $G$ and its complement. Chudnovsky et al. show in 2005 an $O(n^9)$ algorithm for recognizing perfect graphs, which can be implemented to run in $O(n^{6+ω})$ time for the exponent $ω<2.373$ of square-matrix multiplication. We show the following improved algorithms.
1. The tractability of detecting odd holes was open for decades until the major breakthrough of Chudnovsky et al. in 2020. Their $O(n^9)$ algorithm is later implemented by Lai et al. to run in $O(n^8)$ time, leading to the best formerly known algorithm for recognizing perfect graphs. Our first result is an $O(n^7)$ algorithm for detecting odd holes, implying an $O(n^7)$ algorithm for recognizing perfect graphs.
2. Chudnovsky et al. extend in 2021 the $O(n^9)$ algorithms for detecting odd holes (2020) and recognizing perfect graphs (2005) into the first polynomial algorithm for obtaining a shortest odd hole, which runs in $O(n^{14})$ time. We reduce the time for finding a shortest odd hole to $O(n^{13})$.
3. Conforti et al. show in 1997 the first polynomial algorithm for detecting even holes, running in about $O(n^{40})$ time. It then takes a line of intensive efforts in the literature to bring down the complexity to $O(n^{31})$, $O(n^{19})$, $O(n^{11})$, and finally $O(n^9)$. On the other hand, the tractability of finding a shortest even hole has been open for 16 years until the very recent $O(n^{31})$ algorithm of Cheong and Lu in 2022. We improve the time of finding a shortest even hole to $O(n^{23})$.
△ Less
Submitted 15 July, 2022;
originally announced July 2022.
-
Control with Patterns Based on D-learning
Authors:
Quan Quan,
Kai-Yuan Cai
Abstract:
Nowadays, data are richly accessible to accumulate, and the increasingly powerful computing capability offers reasonable ease of handling big data. This remarkable scenario leads to a new way of solving some control problems that were previously challenging to analyze and solve. This paper proposes a new control approach, namely control with patterns (CWP), to handle data sets corresponding to non…
▽ More
Nowadays, data are richly accessible to accumulate, and the increasingly powerful computing capability offers reasonable ease of handling big data. This remarkable scenario leads to a new way of solving some control problems that were previously challenging to analyze and solve. This paper proposes a new control approach, namely control with patterns (CWP), to handle data sets corresponding to nonlinear dynamical systems, where the feature abstraction must be considered for unstructured data feedback. For data sets of this kind, a new definition, namely exponential attraction on data sets, is proposed to describe nonlinear dynamical systems under consideration. Based on the data sets and parameterized Lyapunov functions, the problem for exponential attraction on data sets is converted to a pattern classification one. Furthermore, D-learning is proposed to perform CWP without knowledge of the system dynamics.
△ Less
Submitted 4 December, 2023; v1 submitted 8 June, 2022;
originally announced June 2022.
-
Minimal Joint Entropy and Order-Preserving Couplings
Authors:
Ya-**g Ma,
Feng Wang,
Xian-Yuan Wu,
Kai-Yuan Cai
Abstract:
This paper focuses on the extreme-value problem for Shannon entropy of the joint distribution with given marginals. It is proved that the minimum-entropy coupling must be of order-preserving, while the maximum-entropy coupling coincides with the independent one. Note that in this sense, we interpret entropy as a measure of system disorder.
This paper focuses on the extreme-value problem for Shannon entropy of the joint distribution with given marginals. It is proved that the minimum-entropy coupling must be of order-preserving, while the maximum-entropy coupling coincides with the independent one. Note that in this sense, we interpret entropy as a measure of system disorder.
△ Less
Submitted 8 June, 2022;
originally announced June 2022.
-
A Case Study on Parallel HDF5 Dataset Concatenation for High Energy Physics Data Analysis
Authors:
Sunwoo Lee,
Kai-yuan Hou,
Kewei Wang,
Saba Sehrish,
Marc Paterno,
James Kowalkowski,
Quincey Koziol,
Robert Ross,
Ankit Agrawal,
Alok Choudhary,
Wei-keng Liao
Abstract:
In High Energy Physics (HEP), experimentalists generate large volumes of data that, when analyzed, helps us better understand the fundamental particles and their interactions. This data is often captured in many files of small size, creating a data management challenge for scientists. In order to better facilitate data management, transfer, and analysis on large scale platforms, it is advantageous…
▽ More
In High Energy Physics (HEP), experimentalists generate large volumes of data that, when analyzed, helps us better understand the fundamental particles and their interactions. This data is often captured in many files of small size, creating a data management challenge for scientists. In order to better facilitate data management, transfer, and analysis on large scale platforms, it is advantageous to aggregate data further into a smaller number of larger files. However, this translation process can consume significant time and resources, and if performed incorrectly the resulting aggregated files can be inefficient for highly parallel access during analysis on large scale platforms. In this paper, we present our case study on parallel I/O strategies and HDF5 features for reducing data aggregation time, making effective use of compression, and ensuring efficient access to the resulting data during analysis at scale. We focus on NOvA detector data in this case study, a large-scale HEP experiment generating many terabytes of data. The lessons learned from our case study inform the handling of similar datasets, thus expanding community knowledge related to this common data management task.
△ Less
Submitted 2 May, 2022;
originally announced May 2022.
-
Practical Distributed Control for Cooperative Multicopters in Structured Free Flight Concepts
Authors:
Rao Fu,
Quan Quan,
Mengxin Li,
Kai-Yuan Cai
Abstract:
Unmanned Aerial Vehicles (UAVs) are now becoming increasingly accessible to amateur and com-mercial users alike. Several types of airspace structures are proposed in recent research, which include several structured free flight concepts. In this paper, for simplic-ity, distributed coordinating the motions of multicopters in structured airspace concepts is focused. This is formulated as a free flig…
▽ More
Unmanned Aerial Vehicles (UAVs) are now becoming increasingly accessible to amateur and com-mercial users alike. Several types of airspace structures are proposed in recent research, which include several structured free flight concepts. In this paper, for simplic-ity, distributed coordinating the motions of multicopters in structured airspace concepts is focused. This is formulated as a free flight problem, which includes convergence to destination lines and inter-agent collision avoidance. The destination line of each multicopter is known a priori. Further, Lyapunov-like functions are designed elaborately, and formal analysis and proofs of the proposed distributed control are made to show that the free flight control problem can be solved. What is more, by the proposed controller, a multicopter can keep away from another as soon as possible, once it enters into the safety area of another one. Simulations and experiments are given to show the effectiveness of the proposed method.
△ Less
Submitted 22 November, 2021;
originally announced November 2021.
-
Resilient Time-Varying Formation Tracking for Mobile Robot Networks under Deception Attacks on Positioning
Authors:
Yen-Chen Liu,
Kai-Yuan Liu,
Zhuoyuan Song
Abstract:
This paper investigates the resilient control, analysis, recovery, and operation of mobile robot networks in time-varying formation tracking under deception attacks on global positioning. Local and global tracking control algorithms are presented to ensure redundancy of the mobile robot network and to retain the desired functionality for better resilience. Lyapunov stability analysis is utilized t…
▽ More
This paper investigates the resilient control, analysis, recovery, and operation of mobile robot networks in time-varying formation tracking under deception attacks on global positioning. Local and global tracking control algorithms are presented to ensure redundancy of the mobile robot network and to retain the desired functionality for better resilience. Lyapunov stability analysis is utilized to show the boundedness of the formation tracking error and the stability of the network under various attack modes. A performance index is designed to compare the efficiency of the proposed formation tracking algorithms in situations with or without positioning attacks. Subsequently, a communication-free decentralized cooperative localization approach based on extended information filters is presented for positioning estimate recovery where the identification of the positioning attacks is based on Kullback-Leibler divergence. A gain-tuning resilient operation is proposed to strategically synthesize the formation control and cooperative localization for accurate and rapid system recovery from positioning attacks. The proposed methods are tested using both numerical simulation and experimental validation with a team of quadrotors.
△ Less
Submitted 20 October, 2021;
originally announced October 2021.
-
How Far Two UAVs Should Be subject to Communication Uncertainties
Authors:
Quan Quan,
Rao Fu,
Kai-Yuan
Abstract:
Unmanned aerial vehicles are now becoming increasingly accessible to amateur and commercial users alike. A safety air traffic management system is needed to help ensure that every newest entrant into the sky does not collide with others. Much research has been done to design various methods to perform collision avoidance with obstacles. However, how to decide the safety radius subject to communica…
▽ More
Unmanned aerial vehicles are now becoming increasingly accessible to amateur and commercial users alike. A safety air traffic management system is needed to help ensure that every newest entrant into the sky does not collide with others. Much research has been done to design various methods to perform collision avoidance with obstacles. However, how to decide the safety radius subject to communication uncertainties is still suspended. Based on assumptions on communication uncertainties and supposed control performance, a separation principle of the safety radius design and controller design is proposed. With it, the safety radius corresponding to the safety area in the design phase (without uncertainties) and flight phase (subject to uncertainties) are studied. Furthermore, the results are extended to multiple obstacles. Simulations and experiments are carried out to show the effectiveness of the proposed methods.
△ Less
Submitted 18 October, 2021;
originally announced October 2021.
-
Possible existence of bound nuclei beyond neutron drip lines driven by deformation
Authors:
Xiao-Tao He,
Chen Wang,
Kai-Yuan Zhang,
Cai-Wan Shen
Abstract:
Based on the relativistic calculations of the nuclear masses in the transfermium region from No $(Z=102)$ to Ds $(Z=110)$ by the deformed relativistic Hartree-Bogoliubov theory in continuum, the possible existence of the bound nuclei beyond the neutron drip lines is studied. The two-neutron and multi-neutron emission bound nuclei beyond the primary neutron drip line of $N=258$ are predicted in…
▽ More
Based on the relativistic calculations of the nuclear masses in the transfermium region from No $(Z=102)$ to Ds $(Z=110)$ by the deformed relativistic Hartree-Bogoliubov theory in continuum, the possible existence of the bound nuclei beyond the neutron drip lines is studied. The two-neutron and multi-neutron emission bound nuclei beyond the primary neutron drip line of $N=258$ are predicted in $Z=106,108$ and $110$ isotopes. Detailed microscopic mechanism investigation reveals that nuclear deformation plays a vital role in the existence of the bound nuclei beyond the drip line. Furthermore, not only the quadrupole deformation $β_{2}$, but also the higher orders of deformation are indispensible in the reliable description of the phenomenon of the reentrant binding.
△ Less
Submitted 27 April, 2021;
originally announced April 2021.
-
Practical Distributed Control for VTOL UAVs to Pass a Virtual Tube
Authors:
Quan Quan,
Rao Fu,
Mengxin Li,
Donghui Wei,
Yan Gao,
Kai-Yuan Cai
Abstract:
Unmanned Aerial Vehicles (UAVs) are now becoming increasingly accessible to amateur and commercial users alike. An air traffic management (ATM) system is needed to help ensure that this newest entrant into the skies does not collide with others. In an ATM, airspace can be composed of airways, intersections and nodes. In this paper, for simplicity, distributed coordinating the motions of Vertical T…
▽ More
Unmanned Aerial Vehicles (UAVs) are now becoming increasingly accessible to amateur and commercial users alike. An air traffic management (ATM) system is needed to help ensure that this newest entrant into the skies does not collide with others. In an ATM, airspace can be composed of airways, intersections and nodes. In this paper, for simplicity, distributed coordinating the motions of Vertical TakeOff and Landing (VTOL) UAVs to pass an airway is focused. This is formulated as a virtual tube passing problem, which includes passing a virtual tube, inter-agent collision avoidance and kee** within the virtual tube. Lyapunov-like functions are designed elaborately, and formal analysis based on invariant set theorem is made to show that all UAVs can pass the virtual tube without getting trapped, avoid collision and keep within the virtual tube. What is more, by the proposed distributed control, a VTOL UAV can keep away from another VTOL UAV or return back to the virtual tube as soon as possible, once it enters into the safety area of another or has a collision with the virtual tube during it is passing the virtual tube. Simulations and experiments are carried out to show the effectiveness of the proposed method and the comparison with other methods.
△ Less
Submitted 30 July, 2021; v1 submitted 19 January, 2021;
originally announced January 2021.
-
Practical Control for Multicopters to Avoid Non-Cooperative Moving Obstacles
Authors:
Quan Quan,
Rao Fu,
Kai-Yuan Cai
Abstract:
Unmanned Aerial Vehicles (UAVs) are now becoming increasingly accessible to amateur and commercial users alike. The main task for UAVs is to keep a prescribed separation with obstacles in the air. In this paper, a collision-avoidance control method for non-cooperative moving obstacles is proposed for a multicopter with the altitude hold mode by using a Lyapunov-like barrier function. Lyapunov-like…
▽ More
Unmanned Aerial Vehicles (UAVs) are now becoming increasingly accessible to amateur and commercial users alike. The main task for UAVs is to keep a prescribed separation with obstacles in the air. In this paper, a collision-avoidance control method for non-cooperative moving obstacles is proposed for a multicopter with the altitude hold mode by using a Lyapunov-like barrier function. Lyapunov-like functions are designed elaborately, based on which formal analysis and proofs of the proposed control are made to show that the collision-avoidance control problem can be solved if the moving obstacle is slower than the multicopter. The result can be extended to some cases of multiple obstacles. What is more, by the proposed control, a multicopter can keep away from obstacles as soon as possible, once obstacles enter into the safety area of the multicopter accidentally, and converge to the waypoint. Simulations and experiments are given to show the effectiveness of the proposed method by showing the distance between UAV and waypoint, obstacles respectively.
△ Less
Submitted 8 January, 2021;
originally announced January 2021.
-
Three-in-a-Tree in Near Linear Time
Authors:
Kai-Yuan Lai,
Hsueh-I Lu,
Mikkel Thorup
Abstract:
The three-in-a-tree problem is to determine if a simple undirected graph contains an induced subgraph which is a tree connecting three given vertices. Based on a beautiful characterization that is proved in more than twenty pages, Chudnovsky and Seymour [Combinatorica 2010] gave the previously only known polynomial-time algorithm, running in $O(mn^2)$ time, to solve the three-in-a-tree problem on…
▽ More
The three-in-a-tree problem is to determine if a simple undirected graph contains an induced subgraph which is a tree connecting three given vertices. Based on a beautiful characterization that is proved in more than twenty pages, Chudnovsky and Seymour [Combinatorica 2010] gave the previously only known polynomial-time algorithm, running in $O(mn^2)$ time, to solve the three-in-a-tree problem on an $n$-vertex $m$-edge graph. Their three-in-a-tree algorithm has become a critical subroutine in several state-of-the-art graph recognition and detection algorithms.
In this paper we solve the three-in-a-tree problem in $\tilde{O}(m)$ time, leading to improved algorithms for recognizing perfect graphs and detecting thetas, pyramids, beetles, and odd and even holes. Our result is based on a new and more constructive characterization than that of Chudnovsky and Seymour. Our new characterization is stronger than the original, and our proof implies a new simpler proof for the original characterization. The improved characterization gains the first factor $n$ in speed. The remaining improvement is based on dynamic graph algorithms.
△ Less
Submitted 21 April, 2020; v1 submitted 16 September, 2019;
originally announced September 2019.
-
Design Automation and Optimization Methodology for Electric Multicopter UAVs
Authors:
Xunhua Dai,
Quan Quan,
Kai-Yuan Cai
Abstract:
The traditional multicopter design method usually requires a long iterative process to find the optimal design based on given performance requirements. The method is uneconomical and inefficient. In this paper, a practical method is proposed to automatically calculate the optimal multicopter design according to the given design requirements including flight time, altitude, payload capacity, and ma…
▽ More
The traditional multicopter design method usually requires a long iterative process to find the optimal design based on given performance requirements. The method is uneconomical and inefficient. In this paper, a practical method is proposed to automatically calculate the optimal multicopter design according to the given design requirements including flight time, altitude, payload capacity, and maneuverability. The proposed method contains two algorithms: an offline algorithm and an online algorithm. The offline algorithm finds the optimal components (propeller and electronic speed controller) for each motor to establish its component combination, and subsequently, these component combinations and their key performance parameters are stored in a combination database. The online algorithm obtains the multicopter design results that satisfy the given requirements by searching through the component combinations in the database and calculating the optimal parameters for the battery and airframe. Subsequently, these requirement-satisfied multicopter design results are obtained and sorted according to an objective function that contains evaluation indexes including size, weight, performance, and practicability. The proposed method has the advantages of high precision and quick calculating speed because parameter calibrations and time-consuming calculations are completed offline. Experiments are performed to validate the effectiveness and practicality of the proposed method. Comparisons with the brutal search method and other design methods demonstrate the efficiency of the proposed method.
△ Less
Submitted 17 August, 2019;
originally announced August 2019.
-
Unified Simulation and Test Platform for Control Systems of Unmanned Vehicles
Authors:
Xunhua Dai,
Chenxu Ke,
Quan Quan,
Kai-Yuan Cai
Abstract:
Control systems on unmanned vehicles are safety-critical systems whose requirements on reliability and safety are ever-increasing. Currently, testing a complex autonomous control system is an expensive and time-consuming process, which requires massive repeated experimental testing during the whole development stage. This paper presents a unified simulation and test platform for vehicle autonomous…
▽ More
Control systems on unmanned vehicles are safety-critical systems whose requirements on reliability and safety are ever-increasing. Currently, testing a complex autonomous control system is an expensive and time-consuming process, which requires massive repeated experimental testing during the whole development stage. This paper presents a unified simulation and test platform for vehicle autonomous control systems aiming to significantly improve the development speed and safety level of unmanned vehicles. First, a unified modular modeling framework compatible with different types of vehicles is proposed with methods to ensure modeling credibility. Then, the simulation software system is developed by the model-based design framework, whose modular programming methods and automatic code generation functions ensure the efficiency, credibility, and standardization of the system development process. Finally, an FPGA-based real-time hardware-in-the-loop simulation platform is proposed to ensure the comprehensiveness and credibility of the simulation and test results. In the end, the proposed platform is applied to a multicopter control system. By comparing with experimental results, the accuracy and credibility of the simulation testing results are verified by using the simulation credibility assessment method proposed in our previous work. To verify the practicability of the proposed platform, several successful applications are presented for the multicopter rapid prototy**, estimation algorithm verification, autonomous flight testing, and automatic safety testing with automatic fault injection and result evaluation of unmanned vehicles.
△ Less
Submitted 7 August, 2019;
originally announced August 2019.
-
Improving MPI Collective I/O Performance With Intra-node Request Aggregation
Authors:
Qiao Kang,
Sunwoo Lee,
Kai-yuan Hou,
Robert Ross,
Ankit Agrawal,
Alok Choudhary,
Wei-keng Liao
Abstract:
Two-phase I/O is a well-known strategy for implementing collective MPI-IO functions. It redistributes I/O requests among the calling processes into a form that minimizes the file access costs. As modern parallel computers continue to grow into the exascale era, the communication cost of such request redistribution can quickly overwhelm collective I/O performance. This effect has been observed from…
▽ More
Two-phase I/O is a well-known strategy for implementing collective MPI-IO functions. It redistributes I/O requests among the calling processes into a form that minimizes the file access costs. As modern parallel computers continue to grow into the exascale era, the communication cost of such request redistribution can quickly overwhelm collective I/O performance. This effect has been observed from parallel jobs that run on multiple compute nodes with a high count of MPI processes on each node. To reduce the communication cost, we present a new design for collective I/O by adding an extra communication layer that performs request aggregation among processes within the same compute nodes. This approach can significantly reduce inter-node communication congestion when redistributing the I/O requests. We evaluate the performance and compare with the original two-phase I/O on a Cray XC40 parallel computer with Intel KNL processors. Using I/O patterns from two large-scale production applications and an I/O benchmark, we show the performance improvement of up to 29 times when running 16384 MPI processes on 256 compute nodes.
△ Less
Submitted 29 July, 2019;
originally announced July 2019.
-
Simulation Credibility Assessment Methodology with FPGA-based Hardware-in-the-loop Platform
Authors:
Xunhua Dai,
Chenxu Ke,
Quan Quan,
Kai-Yuan Cai
Abstract:
Electronic control systems are becoming more and more complicated, which makes it difficult to test them sufficiently only through experiments. Simulation is an efficient way in the development and testing of complex electronic systems, but the simulation results are always doubtful by people due to the lack of credible simulation platforms and assessment methods. This paper proposes a credible si…
▽ More
Electronic control systems are becoming more and more complicated, which makes it difficult to test them sufficiently only through experiments. Simulation is an efficient way in the development and testing of complex electronic systems, but the simulation results are always doubtful by people due to the lack of credible simulation platforms and assessment methods. This paper proposes a credible simulation platform based on real-time FPGA-based hardware-in-the-loop (HIL) simulation, and then an assessment method is proposed to quantitatively assess its simulation credibility. By using the FPGA to simulate all sensor chips, the simulation platform can ensure that the tested electronic system maintains the same hardware and software operating environment in both simulations and experiments, which makes it possible to perform the same tests in the simulation platform and the real experiment to compare and analyze the simulation errors. Then, the testing methods and assessment indices are proposed to assess the simulation platform from various perspectives, such as performance, time-domain response, and frequency-domain response. These indices are all normalized to the same scale (from 0 to 1) and mapped to a uniform assessment criterion, which makes it convenient to compare and synthesize different assessment indices. Finally, an overall assessment index is proposed by combining all assessment indices obtained from different tests to assess the simulation credibility of the whole simulation platform. The simulation platform and the proposed assessment method are applied to a multicopter system, where the effectiveness and practicability are verified by simulations and experiments.
△ Less
Submitted 9 July, 2019;
originally announced July 2019.
-
An Analytical Design Optimization Method for Electric Propulsion Systems of Multicopter UAVs with Desired Hovering Endurance
Authors:
Xunhua Dai,
Quan Quan,
**rui Ren,
Kai-Yuan Cai
Abstract:
Multicopters are becoming increasingly important in both civil and military fields. Currently, most multicopter propulsion systems are designed by experience and trial-and-error experiments, which are costly and ineffective. This paper proposes a simple and practical method to help designers find the optimal propulsion system according to the given design requirements. First, the modeling methods…
▽ More
Multicopters are becoming increasingly important in both civil and military fields. Currently, most multicopter propulsion systems are designed by experience and trial-and-error experiments, which are costly and ineffective. This paper proposes a simple and practical method to help designers find the optimal propulsion system according to the given design requirements. First, the modeling methods for four basic components of the propulsion system including propellers, motors, electric speed controls, and batteries are studied respectively. Secondly, the whole optimization design problem is simplified and decoupled into several sub-problems. By solving these sub-problems, the optimal parameters of each component can be obtained respectively. Finally, based on the obtained optimal component parameters, the optimal product of each component can be quickly located and determined from the corresponding database. Experiments and statistical analyses demonstrate the effectiveness of the proposed method.
△ Less
Submitted 17 September, 2018; v1 submitted 1 September, 2018;
originally announced September 2018.
-
Terminal Iterative Learning Control for Autonomous Aerial Refueling under Aerodynamic Disturbances
Authors:
Xunhua Dai,
Quan Quan,
**rui Ren,
Zhiyu Xi,
Kai-Yuan Cai
Abstract:
This paper studies the model of the probe-drogue aerial refueling system under aerodynamic disturbances, and proposes a docking control method based on terminal iterative learning control to compensate for the docking errors caused by aerodynamic disturbances. The designed controller works as an additional unit for the trajectory generation function of the original autopilot system. Simulations ba…
▽ More
This paper studies the model of the probe-drogue aerial refueling system under aerodynamic disturbances, and proposes a docking control method based on terminal iterative learning control to compensate for the docking errors caused by aerodynamic disturbances. The designed controller works as an additional unit for the trajectory generation function of the original autopilot system. Simulations based on our previously published simulation environment show that the proposed control method has a fast learning speed to achieve a successful docking control under aerodynamic disturbances including the bow wave effect.
△ Less
Submitted 1 March, 2018;
originally announced March 2018.
-
A Control Performance Index for Multicopters Under Off-nominal Conditions
Authors:
Guang-Xun Du,
Quan Quan,
Zhiyu Xi,
Yang Liu,
Kai-Yuan Cai
Abstract:
In order to prevent loss of control (LOC) accidents,the real-time control performance monitoring problem is studied for multicopters. Different from the existing work, this paper does not try to monitor the performance of the controllers directly. In turn, the disturbances of multicopters under off-nominal conditions are estimated to affect a proposed index to tell the user whether the multicopter…
▽ More
In order to prevent loss of control (LOC) accidents,the real-time control performance monitoring problem is studied for multicopters. Different from the existing work, this paper does not try to monitor the performance of the controllers directly. In turn, the disturbances of multicopters under off-nominal conditions are estimated to affect a proposed index to tell the user whether the multicopter will be LOC or not. Firstly, a new degree of controllability (DoC) will be proposed for multicopters subject to control constrains and off-nominal conditions. Then a control performance index (CPI) is defined based on the new DoC to reflect the control performance for multicopters. Besides, the proposed CPI is applied to a new switching control framework to guide the control decision of multicopter under off-nominal conditions. Finally, simulation and experimental results show the effectiveness of the CPI and the proposed switching control framework.
△ Less
Submitted 15 November, 2017; v1 submitted 24 May, 2017;
originally announced May 2017.
-
Failsafe Mechanism Design of Multicopters Based on Supervisory Control Theory
Authors:
Quan Quan,
Zhiyao Zhao,
Liyong Lin,
Peng Wang,
Walter Murray Wonham,
Kai-Yuan Cai
Abstract:
In order to handle undesirable failures of a multicopter which occur in either the pre-flight process or the in-flight process, a failsafe mechanism design method based on supervisory control theory is proposed for the semi-autonomous control mode. Failsafe mechanism is a control logic that guides what subsequent actions the multicopter should take, by taking account of real-time information from…
▽ More
In order to handle undesirable failures of a multicopter which occur in either the pre-flight process or the in-flight process, a failsafe mechanism design method based on supervisory control theory is proposed for the semi-autonomous control mode. Failsafe mechanism is a control logic that guides what subsequent actions the multicopter should take, by taking account of real-time information from guidance, attitude control, diagnosis, and other low-level subsystems. In order to design a failsafe mechanism for multicopters, safety issues of multicopters are introduced. Then, user requirements including functional requirements and safety requirements are textually described, where function requirements determine a general multicopter plant, and safety requirements cover the failsafe measures dealing with the presented safety issues. In order to model the user requirements by discrete-event systems, several multicopter modes and events are defined. On this basis, the multicopter plant and control specifications are modeled by automata. Then, a supervisor is synthesized by monolithic supervisory control theory. In addition, we present three examples to demonstrate the potential blocking phenomenon due to inappropriate design of control specifications. Also, we discuss the meaning of correctness and the properties of the obtained supervisor. This makes the failsafe mechanism convincingly correct and effective. Finally, based on the obtained supervisory controller generated by TCT software, an implementation method suitable for multicopters is presented, in which the supervisory controller is transformed into decision-making codes.
△ Less
Submitted 27 April, 2017;
originally announced April 2017.
-
Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems
Authors:
Peng Wang,
Kai-Yuan Cai
Abstract:
This paper discusses EFSM for SDL and transforms EFSM into a novel control model of discrete event systems. We firstly propose a control model of discrete event systems, where the event set is made up of several conflicting pairs and control is implemented to select one event of the pair. Then we transform EFSM for SDL to the control model to clarify the control mechanism functioning in SDL flow g…
▽ More
This paper discusses EFSM for SDL and transforms EFSM into a novel control model of discrete event systems. We firstly propose a control model of discrete event systems, where the event set is made up of several conflicting pairs and control is implemented to select one event of the pair. Then we transform EFSM for SDL to the control model to clarify the control mechanism functioning in SDL flow graphs. This work views the EFSM for SDL in the perspective of supervisory control theory, and this contributes to the field of software cybernetics, which explores the theoretically justified interplay of software and the control.
△ Less
Submitted 24 June, 2016;
originally announced June 2016.
-
Calibration of Multiple Fish-Eye Cameras Using a Wand
Authors:
Qiang Fu,
Quan Quan,
Kai-Yuan Cai
Abstract:
Fish-eye cameras are becoming increasingly popular in computer vision, but their use for 3D measurement is limited partly due to the lack of an accurate, efficient and user-friendly calibration procedure. For such a purpose, we propose a method to calibrate the intrinsic and extrinsic parameters (including radial distortion parameters) of two/multiple fish-eye cameras simultaneously by using a wan…
▽ More
Fish-eye cameras are becoming increasingly popular in computer vision, but their use for 3D measurement is limited partly due to the lack of an accurate, efficient and user-friendly calibration procedure. For such a purpose, we propose a method to calibrate the intrinsic and extrinsic parameters (including radial distortion parameters) of two/multiple fish-eye cameras simultaneously by using a wand under general motions. Thanks to the generic camera model used, the proposed calibration method is also suitable for two/multiple conventional cameras and mixed cameras (e.g. two conventional cameras and a fish-eye camera). Simulation and real experiments demonstrate the effectiveness of the proposed method. Moreover, we develop the camera calibration toolbox, which is available online.
△ Less
Submitted 4 July, 2014;
originally announced July 2014.
-
Controllability Analysis for Multirotor Helicopter Rotor Degradation and Failure
Authors:
Guang-Xun Du,
Quan Quan,
Binxian Yang,
Kai-Yuan Cai
Abstract:
This paper considers the controllability analysis problem for a class of multirotor systems subject to rotor failure/wear. It is shown that classical controllability theories of linear systems are not sufficient to test the controllability of the considered multirotors. Owing to this, an easy-to-use measurement index is introduced to assess the available control authority. Based on it, a new neces…
▽ More
This paper considers the controllability analysis problem for a class of multirotor systems subject to rotor failure/wear. It is shown that classical controllability theories of linear systems are not sufficient to test the controllability of the considered multirotors. Owing to this, an easy-to-use measurement index is introduced to assess the available control authority. Based on it, a new necessary and sufficient condition for the controllability of multirotors is derived. Furthermore, a controllability test procedure is approached. The proposed controllability test method is applied to a class of hexacopters with different rotor configurations and different rotor efficiency parameters to show its effectiveness. The analysis results show that hexacopters with different rotor configurations have different fault-tolerant capabilities. It is therefore necessary to test the controllability of the multirotors before any fault-tolerant control strategies are employed.
△ Less
Submitted 3 February, 2015; v1 submitted 24 March, 2014;
originally announced March 2014.
-
A New Causal Ideal Internal Dynamics Generator
Authors:
Quan Quan,
Kai-Yuan Cai
Abstract:
The design of ideal internal dynamics (IID) generators, namely solving IID, is a fundamental problem, which is a key step to handle the nonminimum-phase output tracking problem. In this paper, for a class of unstable matrix differential equations, a new causal dynamic IID generator is proposed, whose parameters are partly chosen via H_2/H_inf optimization. Compared with existing similar generators…
▽ More
The design of ideal internal dynamics (IID) generators, namely solving IID, is a fundamental problem, which is a key step to handle the nonminimum-phase output tracking problem. In this paper, for a class of unstable matrix differential equations, a new causal dynamic IID generator is proposed, whose parameters are partly chosen via H_2/H_inf optimization. Compared with existing similar generators, it is applicable to matrix differential equations with singular system matrices and is easily extended to slowly time-varying matrix differential equations without extra computation.
△ Less
Submitted 7 January, 2014;
originally announced January 2014.
-
Discrete-Time Output-Feedback Robust Repetitive Control for a Class of Nonlinear Systems by Additive State Decomposition
Authors:
Quan Quan,
Lu Jiang,
Kai-Yuan Cai
Abstract:
The discrete-time robust repetitive control (RC, or repetitive controller, also designated RC) problem for nonlinear systems is both challenging and practical. This paper proposes a discrete-time output-feedback RC design for a class of systems subject to measurable nonlinearities to track reference robustly with respect to the period variation. The design relies on additive state decomposition, b…
▽ More
The discrete-time robust repetitive control (RC, or repetitive controller, also designated RC) problem for nonlinear systems is both challenging and practical. This paper proposes a discrete-time output-feedback RC design for a class of systems subject to measurable nonlinearities to track reference robustly with respect to the period variation. The design relies on additive state decomposition, by which the output-feedback RC problem is decomposed into an output-feedback RC problem for a linear time-invariant system and a state-feedback stabilization problem for a nonlinear system. Thanks to the decomposition, existing controller design methods in both the frequency domain and time domain can be employed to make the robustness and discretization for a nonlinear system tractable. To demonstrate the effectiveness, an illustrative example is given.
△ Less
Submitted 7 January, 2014;
originally announced January 2014.
-
Robust Dynamic Selection of Tested Modules in Software Testing for Maximizing Delivered Reliability
Authors:
** Cao,
Zhao Dong,
Ke Liu,
Kai-Yuan Cai
Abstract:
Software testing is aimed to improve the delivered reliability of the users. Delivered reliability is the reliability of using the software after it is delivered to the users. Usually the software consists of many modules. Thus, the delivered reliability is dependent on the operational profile which specifies how the users will use these modules as well as the defect number remaining in each modul…
▽ More
Software testing is aimed to improve the delivered reliability of the users. Delivered reliability is the reliability of using the software after it is delivered to the users. Usually the software consists of many modules. Thus, the delivered reliability is dependent on the operational profile which specifies how the users will use these modules as well as the defect number remaining in each module. Therefore, a good testing policy should take the operational profile into account and dynamically select tested modules according to the current state of the software during the testing process. This paper discusses how to dynamically select tested modules in order to maximize delivered reliability by formulating the selection problem as a dynamic programming problem. As the testing process is performed only once, risk must be considered during the testing process, which is described by the tester's utility function in this paper. Besides, since usually the tester has no accurate estimate of the operational profile, by employing robust optimization technique, we analysis the selection problem in the worst case, given the uncertainty set of operational profile. By numerical examples, we show the necessity of maximizing delivered reliability directly and using robust optimization technique when the tester has no clear idea of the operational profile. Moreover, it is shown that the risk averse behavior of the tester has a major influence on the delivered reliability.
△ Less
Submitted 16 January, 2017; v1 submitted 12 September, 2013;
originally announced September 2013.
-
Controllability Analysis and Degraded Control for a Class of Hexacopters Subject to Rotor Failures
Authors:
Guang-Xun Du,
Quan Quan,
Kai-Yuan Cai
Abstract:
This paper considers the controllability analysis and fault tolerant control problem for a class of hexacopters. It is shown that the considered hexacopter is uncontrollable when one rotor fails, even though the hexacopter is over-actuated and its controllability matrix is row full rank. According to this, a fault tolerant control strategy is proposed to control a degraded system, where the yaw st…
▽ More
This paper considers the controllability analysis and fault tolerant control problem for a class of hexacopters. It is shown that the considered hexacopter is uncontrollable when one rotor fails, even though the hexacopter is over-actuated and its controllability matrix is row full rank. According to this, a fault tolerant control strategy is proposed to control a degraded system, where the yaw states of the considered hexacopter are ignored. Theoretical analysis indicates that the degraded system is controllable if and only if the maximum lift of each rotor is greater than a certain value. The simulation and experiment results on a prototype hexacopter show the feasibility of our controllability analysis and degraded control strategy.
△ Less
Submitted 2 March, 2014; v1 submitted 1 July, 2013;
originally announced July 2013.
-
Additive-State-Decomposition-Based Tracking Control for TORA Benchmark
Authors:
Quan Quan,
Kai-Yuan Cai
Abstract:
In this paper, a new control scheme, called additive state decomposition based tracking control, is proposed to solve the tracking (rejection) problem for rotational position of the TORA (a nonlinear nonminimum phase system). By the additive state decomposition, the tracking (rejection) task for the considered nonlinear system is decomposed into two independent subtasks: a tracking (rejection) sub…
▽ More
In this paper, a new control scheme, called additive state decomposition based tracking control, is proposed to solve the tracking (rejection) problem for rotational position of the TORA (a nonlinear nonminimum phase system). By the additive state decomposition, the tracking (rejection) task for the considered nonlinear system is decomposed into two independent subtasks: a tracking (rejection) subtask for a linear time invariant (LTI) system, leaving a stabilization subtask for a derived nonlinear system. By the decomposition, the proposed tracking control scheme avoids solving regulation equations and can tackle the tracking (rejection) problem in the presence of any external signal (except for the frequencies at +1 or -1) generated by a marginally stable autonomous LTI system. To demonstrate the effectiveness, numerical simulation is given.
△ Less
Submitted 29 November, 2012;
originally announced November 2012.
-
Additive-State-Decomposition Dynamic Inversion Stabilized Control for a Class of Uncertain MIMO Systems
Authors:
Quan Quan,
Guangxun Du,
Kai-Yuan Cai
Abstract:
This paper presents a new control, namely additive-state-decomposition dynamic inversion stabilized control, that is used to stabilize a class of multi-input multi-output (MIMO) systems subject to nonparametric time-varying uncertainties with respect to both state and input. By additive state decomposition and a new definition of output, the considered uncertain system is transformed into a minimu…
▽ More
This paper presents a new control, namely additive-state-decomposition dynamic inversion stabilized control, that is used to stabilize a class of multi-input multi-output (MIMO) systems subject to nonparametric time-varying uncertainties with respect to both state and input. By additive state decomposition and a new definition of output, the considered uncertain system is transformed into a minimum-phase uncertainty-free system with relative degree one, in which all uncertainties are lumped into a new disturbance at the output. Subsequently, dynamic inversion control is applied to reject the lumped disturbance. Performance analysis of the resulting closed-loop dynamics shows that the stability can be ensured. Finally, to demonstrate its effectiveness, the proposed control is applied to two existing problems by numerical simulation. Furthermore, in order to show its practicability, the proposed control is also performed on a real quadrotor to stabilize its attitude when its inertia moment matrix is subject to a large uncertainty.
△ Less
Submitted 7 January, 2014; v1 submitted 29 November, 2012;
originally announced November 2012.
-
A New Continuous-Time Equality-Constrained Optimization Method to Avoid Singularity
Authors:
Quan Quan,
Kai-Yuan Cai
Abstract:
In equality-constrained optimization, a standard regularity assumption is often associated with feasible point methods, namely the gradients of constraints are linearly independent. In practice, the regularity assumption may be violated. To avoid such a singularity, we propose a new projection matrix, based on which a feasible point method for the continuous-time, equality-constrained optimization…
▽ More
In equality-constrained optimization, a standard regularity assumption is often associated with feasible point methods, namely the gradients of constraints are linearly independent. In practice, the regularity assumption may be violated. To avoid such a singularity, we propose a new projection matrix, based on which a feasible point method for the continuous-time, equality-constrained optimization problem is developed. First, the equality constraint is transformed into a continuous-time dynamical system with solutions that always satisfy the equality constraint. Then, the singularity is explained in detail and a new projection matrix is proposed to avoid singularity. An update (or say a controller) is subsequently designed to decrease the objective function along the solutions of the transformed system. The invariance principle is applied to analyze the behavior of the solution. We also propose a modified approach for addressing cases in which solutions do not satisfy the equality constraint. Finally, the proposed optimization approaches are applied to two examples to demonstrate its effectiveness.
△ Less
Submitted 7 January, 2014; v1 submitted 24 September, 2012;
originally announced September 2012.
-
Output Feedback Tracking Control for a Class of Uncertain Systems subject to Unmodeled Dynamics and Delay at Input
Authors:
Quan Quan,
Hai Lin,
Kai-Yuan Cai
Abstract:
Besides parametric uncertainties and disturbances, the unmodeled dynamics and time delay at the input are often present in practical systems, which cannot be ignored in some cases. This paper aims to solve output feedback tracking control problem for a class of nonlinear uncertain systems subject to unmodeled high-frequency gains and time delay at the input. By the additive decomposition, the unce…
▽ More
Besides parametric uncertainties and disturbances, the unmodeled dynamics and time delay at the input are often present in practical systems, which cannot be ignored in some cases. This paper aims to solve output feedback tracking control problem for a class of nonlinear uncertain systems subject to unmodeled high-frequency gains and time delay at the input. By the additive decomposition, the uncertain system is transformed to an uncertainty-free system, where the uncertainties, disturbance and effect of unmodeled dynamics plus time delay are lumped into a new disturbance at the output. Sequently, additive decomposition is used to decompose the transformed system, which simplifies the tracking controller design. To demonstrate the effectiveness, the proposed control scheme is applied to three benchmark examples.
△ Less
Submitted 25 January, 2012; v1 submitted 1 November, 2011;
originally announced November 2011.
-
Additive-Decomposition-Based Output Feedback Tracking Control for Systems with Measurable Nonlinearities and Unknown Disturbances
Authors:
Quan Quan,
Kai-Yuan Cai,
Hai Lin
Abstract:
In this paper, a new control scheme, called as additive-decomposition-based tracking control, is proposed to solve the output feedback tracking problem for a class of systems with measurable nonlinearities and unknown disturbances. By the additive decomposition, the output feedback tracking task for the considered nonlinear system is decomposed into three independent subtasks: a pure tracking subt…
▽ More
In this paper, a new control scheme, called as additive-decomposition-based tracking control, is proposed to solve the output feedback tracking problem for a class of systems with measurable nonlinearities and unknown disturbances. By the additive decomposition, the output feedback tracking task for the considered nonlinear system is decomposed into three independent subtasks: a pure tracking subtask for a linear time invariant (LTI) system, a pure rejection subtask for another LTI system and a stabilization subtask for a nonlinear system. By benefiting from the decomposition, the proposed additive-decomposition-based tracking control scheme i) can give a potential way to avoid conflict among tracking performance, rejection performance and robustness, and ii) can mix both design in time domain and frequency domain for one controller design. To demonstrate the effectiveness, the output feedback tracking problem for a single-link robot arm subject to a sinusoidal or a general disturbance is solved respectively, where the transfer function method for tracking and rejection and backstep** method for stabilization are applied together to the design.
△ Less
Submitted 5 January, 2012; v1 submitted 21 September, 2011;
originally announced September 2011.
-
The Degree Sequence of a Scale-Free Random Graph Process with Hard Copying
Authors:
Gao-Rong Ning,
Xian-Yuan Wu,
Kai-Yuan Cai
Abstract:
In this paper we consider a simple model of random graph process with {\it hard} copying as follows: At each time step $t$, with probability $0<α\leq 1$ a new vertex $v_t$ is added and $m$ edges incident with $v_t$ are added in the manner of {\it preferential attachment}; or with probability $1-α$ an existing vertex is copied uniformly at random. In this way, while a vertex with large degree is…
▽ More
In this paper we consider a simple model of random graph process with {\it hard} copying as follows: At each time step $t$, with probability $0<α\leq 1$ a new vertex $v_t$ is added and $m$ edges incident with $v_t$ are added in the manner of {\it preferential attachment}; or with probability $1-α$ an existing vertex is copied uniformly at random. In this way, while a vertex with large degree is copied, the number of added edges is its degree and thus the number of added edges is not upper bounded. We prove that, in the case of $α$ being large enough, the model possesses a mean degree sequence as $ d_{k}\sim Ck^{-(1+2α)}$, where $d_k$ is the limit mean proportion of vertices of degree $k$.
△ Less
Submitted 5 August, 2008; v1 submitted 17 July, 2008;
originally announced July 2008.
-
Phase Transition on The Degree Sequence of a Mixed Random Graph Process
Authors:
Xian-Yuan Wu,
Zhao Dong,
Ke Liu,
Kai-Yuan Cai
Abstract:
This paper focuses on the problem of the degree sequence for a mixed random graph process which continuously combines the {\it classical} model and the BA model. Note that the number of step added edges for the mixed model is random and non-uniformly bounded. By develo** a comparing argument, phase transition on the degree distributions of the mixed model is revealed: while the {\it pure} clas…
▽ More
This paper focuses on the problem of the degree sequence for a mixed random graph process which continuously combines the {\it classical} model and the BA model. Note that the number of step added edges for the mixed model is random and non-uniformly bounded. By develo** a comparing argument, phase transition on the degree distributions of the mixed model is revealed: while the {\it pure} classical model possesses a {\it exponential} degree sequence, the {\it pure} BA model and the mixed model possess {\it power law} degree sequences. As an application of the methodology, phase transition on the degree sequence of {\it another} mixed model with {\it hard copying} is also studied, especially, in the power law region, the inverse power can take any value greater than 1.
△ Less
Submitted 13 January, 2009; v1 submitted 17 July, 2008;
originally announced July 2008.
-
On the Degree Sequence and its Critical Phenomenon of an Evolving Random Graph Process
Authors:
Xian-Yuan Wu,
Zhao Dong,
Ke Liu,
Kai-Yuan Cai
Abstract:
In this paper we focus on the problem of the degree sequence for the following random graph process. At any time-step $t$, one of the following three substeps is executed: with probability $α_1$, a new vertex $x_t$ and $m$ edges incident with $x_t$ are added; or, with probability $α-α_1$, $m$ edges are added; or finally, with probability $1-\a$, $m$ random edges are deleted. Note that in any cas…
▽ More
In this paper we focus on the problem of the degree sequence for the following random graph process. At any time-step $t$, one of the following three substeps is executed: with probability $α_1$, a new vertex $x_t$ and $m$ edges incident with $x_t$ are added; or, with probability $α-α_1$, $m$ edges are added; or finally, with probability $1-\a$, $m$ random edges are deleted. Note that in any case edges are added in the manner of preferential attachment. we prove that there exists a critical point $α_c$ satisfying: 1) if $α_1<α_c$, then the model has power law degree sequence; 2) if $α_1>α_c$, then the model has exponential degree sequence; and 3) if $α_1=α_c$, then the model has a degree sequence lying between the above two cases.
△ Less
Submitted 28 June, 2008;
originally announced June 2008.
