Let {Xi}i=1^∞ be a standardized stationary Gaussian sequence with covariance function τ（n） =EX1Xn＋1, Sn =∑i=1^nXi,and X^-n=Sn/n.And let Nn be the point process formed by the exceedances of random level （x/√2 l...Let {Xi}i=1^∞ be a standardized stationary Gaussian sequence with covariance function τ（n） =EX1Xn＋1, Sn =∑i=1^nXi,and X^-n=Sn/n.And let Nn be the point process formed by the exceedances of random level （x/√2 log n＋√2 log n-log（4π log n）/2√log n） √1-τ（n） ＋ X^-n by X1,X2,…, Xn. Under some mild conditions, Nn and Sn are asymptotically independent, and Nn converges weakly to a Poisson process on （0,1].展开更多
The Poisson point process(PPP) has been widely used in wireless network modeling and performance analysis due to the independence between its nodes. Therefore, it may not be a suitable model for many of the exclusive ...The Poisson point process(PPP) has been widely used in wireless network modeling and performance analysis due to the independence between its nodes. Therefore, it may not be a suitable model for many of the exclusive networks between the nodes. This paper analyzes the energy efficiency(EE) and optimizes the two-tier heterogeneous cellular networks(Het Nets). Considering the mutual exclusion between macro base stations(MBSs) distribution, the deployment of MBSs is modeled by the Matérn hard-core point process(MHCPP), and the deployment of pico base stations(PBSs) is modeled by the PPP. We adopt a simple approximation method to study the signal to interference ratio(SIR) distribution in two-tier MHCPP-PPP networks and then derive the coverage probabilities, the average data rates and the energy efficiency of Het Nets. Finally, an optimization algorithm is proposed to improve the EE of Het Nets by controlling the transmit power of PBSs. The simulation results show that the EE of a system can be effectively improved by selecting the appropriate transmit power for the PBSs. In addition, two-tier MHCPP-PPP Het Nets have higher energy efficiency than two-tier PPP-PPP Het Nets.展开更多
In order to analyze the failure data from repairable systems, the homogeneous Poisson process (HPP) is usually used. In general, HPP cannot be applied to analyze the entire life cycle of a complex, re-pairable system ...In order to analyze the failure data from repairable systems, the homogeneous Poisson process (HPP) is usually used. In general, HPP cannot be applied to analyze the entire life cycle of a complex, re-pairable system because the rate of occurrence of failures (ROCOF) of the system changes over time rather than remains stable. However, from a practical point of view, it is always preferred to apply the simplest method to address problems and to obtain useful practical results. Therefore, we attempted to use the HPP model to analyze the failure data from real repairable systems. A graphic method and the Laplace test were also used in the analysis. Results of numerical applications show that the HPP model may be a useful tool for the entire life cycle of repairable systems.展开更多
A engineering system is usually repairable, and failure process of a repairable by a failure point process. The power law model is a commonly used approach to model syst the em is often described failure point process...A engineering system is usually repairable, and failure process of a repairable by a failure point process. The power law model is a commonly used approach to model syst the em is often described failure point process. This paper introduces the concept and model for the failure process of repairable system. The method of parameter estimation is developed, and failure observations are fitted into a power-law model by using the least square method. Two applications of the pressent model are discussed according to the practical failure data of the central cooling system of a nuclear power plant. One application is determining the optimal overhaul time, and the other is evaluating the quality of maintenance. This paper provides references for the overhaul decision making and maintenance quality evaluation in reality.展开更多
As 3D acquisition technology develops and 3D sensors become increasingly affordable,large quantities of 3D point cloud data are emerging.How to effectively learn and extract the geometric features from these point clo...As 3D acquisition technology develops and 3D sensors become increasingly affordable,large quantities of 3D point cloud data are emerging.How to effectively learn and extract the geometric features from these point clouds has become an urgent problem to be solved.The point cloud geometric information is hidden in disordered,unstructured points,making point cloud analysis a very challenging problem.To address this problem,we propose a novel network framework,called Tree Graph Network(TGNet),which can sample,group,and aggregate local geometric features.Specifically,we construct a Tree Graph by explicit rules,which consists of curves extending in all directions in point cloud feature space,and then aggregate the features of the graph through a cross-attention mechanism.In this way,we incorporate more point cloud geometric structure information into the representation of local geometric features,which makes our network perform better.Our model performs well on several basic point clouds processing tasks such as classification,segmentation,and normal estimation,demonstrating the effectiveness and superiority of our network.Furthermore,we provide ablation experiments and visualizations to better understand our network.展开更多
In this paper, the least square estimator in the problem of multiple change points estimation is studied. Here, the moving-average processes of ALNQD sequence in the mean shifts are discussed. When the number of chang...In this paper, the least square estimator in the problem of multiple change points estimation is studied. Here, the moving-average processes of ALNQD sequence in the mean shifts are discussed. When the number of change points is known, the rate of convergence of change-points estimation is derived. The result is also true for p-mixing, φ-mixing, a-mixing, associated and negatively associated sequences under suitable conditions.展开更多
Light detection and ranging(LiDAR)sensors play a vital role in acquiring 3D point cloud data and extracting valuable information about objects for tasks such as autonomous driving,robotics,and virtual reality(VR).Howe...Light detection and ranging(LiDAR)sensors play a vital role in acquiring 3D point cloud data and extracting valuable information about objects for tasks such as autonomous driving,robotics,and virtual reality(VR).However,the sparse and disordered nature of the 3D point cloud poses significant challenges to feature extraction.Overcoming limitations is critical for 3D point cloud processing.3D point cloud object detection is a very challenging and crucial task,in which point cloud processing and feature extraction methods play a crucial role and have a significant impact on subsequent object detection performance.In this overview of outstanding work in object detection from the 3D point cloud,we specifically focus on summarizing methods employed in 3D point cloud processing.We introduce the way point clouds are processed in classical 3D object detection algorithms,and their improvements to solve the problems existing in point cloud processing.Different voxelization methods and point cloud sampling strategies will influence the extracted features,thereby impacting the final detection performance.展开更多
Willing to work in reliability theory in a general set up, under stochastically dependence conditions, we intend to characterize a not identically spare standby redundancy operation through compensator transform under...Willing to work in reliability theory in a general set up, under stochastically dependence conditions, we intend to characterize a not identically spare standby redundancy operation through compensator transform under a complete information level, the physic approach, that is, observing its component lifetime. We intend to optimize system reliability under standby redundancy allocation of its components, particularly, under minimal standby redundancy. To get results, we will use a coherent system representation through a signature point process.展开更多
The development of an efficient moving target detection algorithm in IR-image sequence is considered one of the most critical research fields in modern IRST (Infrared Search and Track) systems, especially when dealing...The development of an efficient moving target detection algorithm in IR-image sequence is considered one of the most critical research fields in modern IRST (Infrared Search and Track) systems, especially when dealing with moving dim point targets. In this paper we propose a new approach in processing of the Infrared image sequence for moving dim point targets detection built on the transformation of the IR-image sequence into 4-vectors for each frame in the sequence. The results of testing the proposed approach on a set of frames having a simple single pixel target performing a different motion patterns show the validity of the approach for detecting the motion, with simplicity in calculation and low time consumption.展开更多
To address the current issues of inaccurate segmentation and the limited applicability of segmentation methods for building facades in point clouds, we propose a facade segmentation algorithm based on optimal dual-sca...To address the current issues of inaccurate segmentation and the limited applicability of segmentation methods for building facades in point clouds, we propose a facade segmentation algorithm based on optimal dual-scale feature descriptors. First, we select the optimal dual-scale descriptors from a range of feature descriptors. Next, we segment the facade according to the threshold value of the chosen optimal dual-scale descriptors. Finally, we use RANSAC (Random Sample Consensus) to fit the segmented surface and optimize the fitting result. Experimental results show that, compared to commonly used facade segmentation algorithms, the proposed method yields more accurate segmentation results, providing a robust data foundation for subsequent 3D model reconstruction of buildings.展开更多
The satellite laser ranging （SLR） data quality from the COMPASS was analyzed, and the difference between curve recognition in computer vision and pre-process of SLR data finally proposed a new algorithm for SLR was ...The satellite laser ranging （SLR） data quality from the COMPASS was analyzed, and the difference between curve recognition in computer vision and pre-process of SLR data finally proposed a new algorithm for SLR was discussed data based on curve recognition from points cloud is proposed. The results obtained by the new algorithm are 85 % （or even higher） consistent with that of the screen displaying method, furthermore, the new method can process SLR data automatically, which makes it possible to be used in the development of the COMPASS navigation system.展开更多
The composite implicit iteration process introduced by Su and Li [J. Math. Anal. Appl. 320 (2006) 882-891] is modified. A strong convergence theorem for approximation of common fixed points of finite family of k-stric...The composite implicit iteration process introduced by Su and Li [J. Math. Anal. Appl. 320 (2006) 882-891] is modified. A strong convergence theorem for approximation of common fixed points of finite family of k-strictly asymptotically pseudo-contractive mappings is proved in Banach spaces using the modified iteration process.展开更多
A new concept of an equi-attractor is introduced, and defined by the minimal compact set that attracts bounded sets uniformly in the past, for a non-autonomous dynam- ical system. It is shown that the compact equi-att...A new concept of an equi-attractor is introduced, and defined by the minimal compact set that attracts bounded sets uniformly in the past, for a non-autonomous dynam- ical system. It is shown that the compact equi-attraction implies the backward compactness of a pullback attractor. Also, an eventually equi-continuous and strongly bounded process has an equi-attractor if and only if it is strongly point dissipative and strongly asymptotically compact. Those results primely strengthen the known existence result of a backward bounded pullback attractor in the literature. Finally, the theoretical criteria are applied to prove the existence of both equi-attractor and backward compact attractor for a Ginzburg-Landau equation with some varying coefficients and a backward tempered external force.展开更多
基金Supported by the Program for Excellent Talents in Chongqing Higher Education Institutions (120060-20600204)
文摘Let {Xi}i=1^∞ be a standardized stationary Gaussian sequence with covariance function τ（n） =EX1Xn＋1, Sn =∑i=1^nXi,and X^-n=Sn/n.And let Nn be the point process formed by the exceedances of random level （x/√2 log n＋√2 log n-log（4π log n）/2√log n） √1-τ（n） ＋ X^-n by X1,X2,…, Xn. Under some mild conditions, Nn and Sn are asymptotically independent, and Nn converges weakly to a Poisson process on （0,1].
基金partly supported by the National Natural Science Foundation of China(Grant No.61871241,No.61701221)the Natural Science Foundation of Jiangsu Province(No.BK20160781)+1 种基金Nantong Science and Technology Project(No.JC2018127,No.JC2019117)the Research Innovation Project for College Graduates of Jiangsu Province(No.KYLX16_0662)。
文摘The Poisson point process(PPP) has been widely used in wireless network modeling and performance analysis due to the independence between its nodes. Therefore, it may not be a suitable model for many of the exclusive networks between the nodes. This paper analyzes the energy efficiency(EE) and optimizes the two-tier heterogeneous cellular networks(Het Nets). Considering the mutual exclusion between macro base stations(MBSs) distribution, the deployment of MBSs is modeled by the Matérn hard-core point process(MHCPP), and the deployment of pico base stations(PBSs) is modeled by the PPP. We adopt a simple approximation method to study the signal to interference ratio(SIR) distribution in two-tier MHCPP-PPP networks and then derive the coverage probabilities, the average data rates and the energy efficiency of Het Nets. Finally, an optimization algorithm is proposed to improve the EE of Het Nets by controlling the transmit power of PBSs. The simulation results show that the EE of a system can be effectively improved by selecting the appropriate transmit power for the PBSs. In addition, two-tier MHCPP-PPP Het Nets have higher energy efficiency than two-tier PPP-PPP Het Nets.
文摘In order to analyze the failure data from repairable systems, the homogeneous Poisson process (HPP) is usually used. In general, HPP cannot be applied to analyze the entire life cycle of a complex, re-pairable system because the rate of occurrence of failures (ROCOF) of the system changes over time rather than remains stable. However, from a practical point of view, it is always preferred to apply the simplest method to address problems and to obtain useful practical results. Therefore, we attempted to use the HPP model to analyze the failure data from real repairable systems. A graphic method and the Laplace test were also used in the analysis. Results of numerical applications show that the HPP model may be a useful tool for the entire life cycle of repairable systems.
基金supported by the National Natural Science Foundation of China(71771029)
文摘A engineering system is usually repairable, and failure process of a repairable by a failure point process. The power law model is a commonly used approach to model syst the em is often described failure point process. This paper introduces the concept and model for the failure process of repairable system. The method of parameter estimation is developed, and failure observations are fitted into a power-law model by using the least square method. Two applications of the pressent model are discussed according to the practical failure data of the central cooling system of a nuclear power plant. One application is determining the optimal overhaul time, and the other is evaluating the quality of maintenance. This paper provides references for the overhaul decision making and maintenance quality evaluation in reality.
基金supported by the National Natural Science Foundation of China (Grant Nos.91948203,52075532).
文摘As 3D acquisition technology develops and 3D sensors become increasingly affordable,large quantities of 3D point cloud data are emerging.How to effectively learn and extract the geometric features from these point clouds has become an urgent problem to be solved.The point cloud geometric information is hidden in disordered,unstructured points,making point cloud analysis a very challenging problem.To address this problem,we propose a novel network framework,called Tree Graph Network(TGNet),which can sample,group,and aggregate local geometric features.Specifically,we construct a Tree Graph by explicit rules,which consists of curves extending in all directions in point cloud feature space,and then aggregate the features of the graph through a cross-attention mechanism.In this way,we incorporate more point cloud geometric structure information into the representation of local geometric features,which makes our network perform better.Our model performs well on several basic point clouds processing tasks such as classification,segmentation,and normal estimation,demonstrating the effectiveness and superiority of our network.Furthermore,we provide ablation experiments and visualizations to better understand our network.
基金Supported by the National Natural Science Foundation of China（10471126）.
文摘In this paper, the least square estimator in the problem of multiple change points estimation is studied. Here, the moving-average processes of ALNQD sequence in the mean shifts are discussed. When the number of change points is known, the rate of convergence of change-points estimation is derived. The result is also true for p-mixing, φ-mixing, a-mixing, associated and negatively associated sequences under suitable conditions.
文摘Light detection and ranging(LiDAR)sensors play a vital role in acquiring 3D point cloud data and extracting valuable information about objects for tasks such as autonomous driving,robotics,and virtual reality(VR).However,the sparse and disordered nature of the 3D point cloud poses significant challenges to feature extraction.Overcoming limitations is critical for 3D point cloud processing.3D point cloud object detection is a very challenging and crucial task,in which point cloud processing and feature extraction methods play a crucial role and have a significant impact on subsequent object detection performance.In this overview of outstanding work in object detection from the 3D point cloud,we specifically focus on summarizing methods employed in 3D point cloud processing.We introduce the way point clouds are processed in classical 3D object detection algorithms,and their improvements to solve the problems existing in point cloud processing.Different voxelization methods and point cloud sampling strategies will influence the extracted features,thereby impacting the final detection performance.
文摘Willing to work in reliability theory in a general set up, under stochastically dependence conditions, we intend to characterize a not identically spare standby redundancy operation through compensator transform under a complete information level, the physic approach, that is, observing its component lifetime. We intend to optimize system reliability under standby redundancy allocation of its components, particularly, under minimal standby redundancy. To get results, we will use a coherent system representation through a signature point process.
文摘The development of an efficient moving target detection algorithm in IR-image sequence is considered one of the most critical research fields in modern IRST (Infrared Search and Track) systems, especially when dealing with moving dim point targets. In this paper we propose a new approach in processing of the Infrared image sequence for moving dim point targets detection built on the transformation of the IR-image sequence into 4-vectors for each frame in the sequence. The results of testing the proposed approach on a set of frames having a simple single pixel target performing a different motion patterns show the validity of the approach for detecting the motion, with simplicity in calculation and low time consumption.
文摘To address the current issues of inaccurate segmentation and the limited applicability of segmentation methods for building facades in point clouds, we propose a facade segmentation algorithm based on optimal dual-scale feature descriptors. First, we select the optimal dual-scale descriptors from a range of feature descriptors. Next, we segment the facade according to the threshold value of the chosen optimal dual-scale descriptors. Finally, we use RANSAC (Random Sample Consensus) to fit the segmented surface and optimize the fitting result. Experimental results show that, compared to commonly used facade segmentation algorithms, the proposed method yields more accurate segmentation results, providing a robust data foundation for subsequent 3D model reconstruction of buildings.
文摘The satellite laser ranging （SLR） data quality from the COMPASS was analyzed, and the difference between curve recognition in computer vision and pre-process of SLR data finally proposed a new algorithm for SLR was discussed data based on curve recognition from points cloud is proposed. The results obtained by the new algorithm are 85 % （or even higher） consistent with that of the screen displaying method, furthermore, the new method can process SLR data automatically, which makes it possible to be used in the development of the COMPASS navigation system.
文摘The composite implicit iteration process introduced by Su and Li [J. Math. Anal. Appl. 320 (2006) 882-891] is modified. A strong convergence theorem for approximation of common fixed points of finite family of k-strictly asymptotically pseudo-contractive mappings is proved in Banach spaces using the modified iteration process.
基金supported by the National Natural Science Foundation of China(11571283)supported by Natural Science Foundation of Guizhou Province
文摘A new concept of an equi-attractor is introduced, and defined by the minimal compact set that attracts bounded sets uniformly in the past, for a non-autonomous dynam- ical system. It is shown that the compact equi-attraction implies the backward compactness of a pullback attractor. Also, an eventually equi-continuous and strongly bounded process has an equi-attractor if and only if it is strongly point dissipative and strongly asymptotically compact. Those results primely strengthen the known existence result of a backward bounded pullback attractor in the literature. Finally, the theoretical criteria are applied to prove the existence of both equi-attractor and backward compact attractor for a Ginzburg-Landau equation with some varying coefficients and a backward tempered external force.
