To solve the problems that the exception handling code is hard to test and maintain and that it affects the robustness and reliability of software, a method for evaluating the exception handling of programs is present...To solve the problems that the exception handling code is hard to test and maintain and that it affects the robustness and reliability of software, a method for evaluating the exception handling of programs is presented. The exception propagation graph (EPG) that describes the large programs with exception handling constructs is proposed by simplifying the control flow graph and it is applied to a case to verify its validity. According to the EPG, the exception handling code that never executes is identified; the points that are the most critical to controlling exception propagation are found; and the irrational exception handling code is corrected. The constructing algorithm for the EPG is given; thus, this provides a basis for automatically constructing the EPG and automatically correcting the irrational exception handling code.展开更多
This study presented the specified steps of comprehensively analyzing the hydraulic-driven hammer system with the application of the Virtual Prototype Technology.By comparing the simulation results with experimental p...This study presented the specified steps of comprehensively analyzing the hydraulic-driven hammer system with the application of the Virtual Prototype Technology.By comparing the simulation results with experimental phenomena and data,the correctness of simulation analysis conclusion is verified.Meanwhile,by means of its perfect visualization,the internal work process which can not be seen before is simulated.The mechanism of some abnormal phenomena encountered during the experiment is explained.展开更多
This paper presents a simple and rigorous solution procedure of residue harmonic balance for predicting the accurate approximation of certain autonomous ordinary differential systems.In this solution procedure,no smal...This paper presents a simple and rigorous solution procedure of residue harmonic balance for predicting the accurate approximation of certain autonomous ordinary differential systems.In this solution procedure,no small parameter is assumed.The harmonic residue of balance equation is separated in two parts at each step.The first part has the same number of Fourier terms as the present order of approximation and the remaining part is used in the subsequent improvement.The corrections are governed by linear ordinary differential equation so that they can be solved easily by means of harmonic balance method again.Three kinds of different differential equations involving general,fractional and delay ordinary differential systems are given as numerical examples respectively.Highly accurate limited cycle frequency and amplitude are captured.The results match well with the exact solutions or numerical solutions for a wide range of control parameters.Comparison with those available shows that the residue harmonic balance solution procedure is very effective for these autonomous differential systems.Moreover,the present method works not only in predicting the amplitude but also the frequency of bifurcated period solution for delay ordinary differential equation.展开更多
A modification to the PANS(partially averaged Navier-Stokes) model is proposed to simulate unsteady cavitating flows. In the model, the parameter fk is modified to vary as a function of the ratios between the water de...A modification to the PANS(partially averaged Navier-Stokes) model is proposed to simulate unsteady cavitating flows. In the model, the parameter fk is modified to vary as a function of the ratios between the water density and the mixture density in the local flows. The objective of this study is to validate the modified model and further understand the interaction between turbulence and cavitation around a Clark-Y hydrofoil. The comparisons between the numerical and experiment results show that the modified model can be improved to predict the cavity evolution, vortex shedding frequency and the lift force fluctuating in time fairly well, as it can effectively modulate the eddy viscosity in the cavitating region and various levels of physical turbulent fluctuations are resolved. In addition, from the computational results, it is proved that cavitation phenomenon physically influences the turbulent level, especially by the vortex shedding behaviors. Also, the mean u-velocity profiles demonstrate that the attached cavity thickness can alter the local turbulent shear layer.展开更多
Outliers in point clouds affect the performance of surface reconstruction directly. Most of outlier removal methods just remove those outliers far away from the real surface and are only applied to handle watertight s...Outliers in point clouds affect the performance of surface reconstruction directly. Most of outlier removal methods just remove those outliers far away from the real surface and are only applied to handle watertight surface. In this paper, a two-step outlier removal procedure is proposed to filter the point clouds acquired from the gray code and line-shifting technique. The first step is to remove the outliers far away from the real surface. Some feature points are extracted from the point clouds to construct an initial surface. The points with distances to the initial surface greater than a given threshold are removed as distant outliers. The retained points are linked into lines in each structured light sheet using their Voronoi diagrams. Some of lines which are very close to the real surface are removed as near outliers in the second step. The experimental results show that the proposed method is very effective in removing outliers for surface reconstruction.展开更多
The alternating electromagnetic(EM) field is one of the most sensitive physical fields related to earthquakes. There have been a number of publications reporting EM anomalies associated with earthquakes. With increasi...The alternating electromagnetic(EM) field is one of the most sensitive physical fields related to earthquakes. There have been a number of publications reporting EM anomalies associated with earthquakes. With increasing applications and research of artificial-source extremely low frequency EM and satellite EM technologies in earthquake studies, the amount of observed data from the alternating EM method increases rapidly and exponentially, so it is imperative to develop suitable and effective methods for processing and analyzing the influx of big data. This paper presents research on the self-adaptive filter and wavelet techniques and their applications to analyzing EM data obtained from ground measurements and satellite observations, respectively. Analysis results show that the self-adaptive filter method can identify both natural- and artificial-source EM signals, and enhance the ratio between signal and noise of EM field spectra, apparent resistivity, and others. The wavelet analysis is capable of detecting possible correlation between EM anomalies and seismic events. These techniques are effective in processing and analyzing massive data obtained from EM observations.展开更多
In the application of multiple-processor systems some processors or links in a system maynot function properly,thus the fault diagnosis is one of the most important issues in the analysisand maintenance of those syste...In the application of multiple-processor systems some processors or links in a system maynot function properly,thus the fault diagnosis is one of the most important issues in the analysisand maintenance of those systems.For the practical fault diagnosis systems,the probability that allneighboring processors of a processor are faulty simultaneously is very small.Thus,the conditionaldiagnosability,which is a new metric for evaluating such systems,assumes that every fault set doesnot contain all neighbors of any processor in the system.In this paper,the authors show that then-dimensional shuffle-cube has the conditional diagnosability of 4n-15 for n = 2 (mod 4) and n ≥ 10.展开更多
基金The National Natural Science Foundation of China(No60503020)the National Basic Research Program of China (973Program) (No2002CB312000)+1 种基金the Natural Science Foundation of Jiangsu Province (NoBK2006094)the Science Research Foundation of China University of Mining and Technology
文摘To solve the problems that the exception handling code is hard to test and maintain and that it affects the robustness and reliability of software, a method for evaluating the exception handling of programs is presented. The exception propagation graph (EPG) that describes the large programs with exception handling constructs is proposed by simplifying the control flow graph and it is applied to a case to verify its validity. According to the EPG, the exception handling code that never executes is identified; the points that are the most critical to controlling exception propagation are found; and the irrational exception handling code is corrected. The constructing algorithm for the EPG is given; thus, this provides a basis for automatically constructing the EPG and automatically correcting the irrational exception handling code.
文摘This study presented the specified steps of comprehensively analyzing the hydraulic-driven hammer system with the application of the Virtual Prototype Technology.By comparing the simulation results with experimental phenomena and data,the correctness of simulation analysis conclusion is verified.Meanwhile,by means of its perfect visualization,the internal work process which can not be seen before is simulated.The mechanism of some abnormal phenomena encountered during the experiment is explained.
基金supported by the Natural Science Foundation of Shandong Province,China(Grant Nos.ZR2011AQ022 and ZR2012AL03)
文摘This paper presents a simple and rigorous solution procedure of residue harmonic balance for predicting the accurate approximation of certain autonomous ordinary differential systems.In this solution procedure,no small parameter is assumed.The harmonic residue of balance equation is separated in two parts at each step.The first part has the same number of Fourier terms as the present order of approximation and the remaining part is used in the subsequent improvement.The corrections are governed by linear ordinary differential equation so that they can be solved easily by means of harmonic balance method again.Three kinds of different differential equations involving general,fractional and delay ordinary differential systems are given as numerical examples respectively.Highly accurate limited cycle frequency and amplitude are captured.The results match well with the exact solutions or numerical solutions for a wide range of control parameters.Comparison with those available shows that the residue harmonic balance solution procedure is very effective for these autonomous differential systems.Moreover,the present method works not only in predicting the amplitude but also the frequency of bifurcated period solution for delay ordinary differential equation.
基金supported by the National Natural Science Foundation of China(Grant Nos.11172040 and 51239005)the Beijing Municipal Natural Science Foundation(Grant No.3144043)
文摘A modification to the PANS(partially averaged Navier-Stokes) model is proposed to simulate unsteady cavitating flows. In the model, the parameter fk is modified to vary as a function of the ratios between the water density and the mixture density in the local flows. The objective of this study is to validate the modified model and further understand the interaction between turbulence and cavitation around a Clark-Y hydrofoil. The comparisons between the numerical and experiment results show that the modified model can be improved to predict the cavity evolution, vortex shedding frequency and the lift force fluctuating in time fairly well, as it can effectively modulate the eddy viscosity in the cavitating region and various levels of physical turbulent fluctuations are resolved. In addition, from the computational results, it is proved that cavitation phenomenon physically influences the turbulent level, especially by the vortex shedding behaviors. Also, the mean u-velocity profiles demonstrate that the attached cavity thickness can alter the local turbulent shear layer.
基金the National Natural Science Foundation of China (No. 30470488)
文摘Outliers in point clouds affect the performance of surface reconstruction directly. Most of outlier removal methods just remove those outliers far away from the real surface and are only applied to handle watertight surface. In this paper, a two-step outlier removal procedure is proposed to filter the point clouds acquired from the gray code and line-shifting technique. The first step is to remove the outliers far away from the real surface. Some feature points are extracted from the point clouds to construct an initial surface. The points with distances to the initial surface greater than a given threshold are removed as distant outliers. The retained points are linked into lines in each structured light sheet using their Voronoi diagrams. Some of lines which are very close to the real surface are removed as near outliers in the second step. The experimental results show that the proposed method is very effective in removing outliers for surface reconstruction.
基金supported by the National Natural Science Foundation of China(Grant Nos.41374077,41074047)CEA-NASCC Dragon Project Ⅲ(Grant No.10671)Special Public Benefit Program for Earthquake Study(Grant No.200808010)
文摘The alternating electromagnetic(EM) field is one of the most sensitive physical fields related to earthquakes. There have been a number of publications reporting EM anomalies associated with earthquakes. With increasing applications and research of artificial-source extremely low frequency EM and satellite EM technologies in earthquake studies, the amount of observed data from the alternating EM method increases rapidly and exponentially, so it is imperative to develop suitable and effective methods for processing and analyzing the influx of big data. This paper presents research on the self-adaptive filter and wavelet techniques and their applications to analyzing EM data obtained from ground measurements and satellite observations, respectively. Analysis results show that the self-adaptive filter method can identify both natural- and artificial-source EM signals, and enhance the ratio between signal and noise of EM field spectra, apparent resistivity, and others. The wavelet analysis is capable of detecting possible correlation between EM anomalies and seismic events. These techniques are effective in processing and analyzing massive data obtained from EM observations.
基金supported by the National Natural Science Foundation of China under Grant Nos. 10701074,10531070, 10771209, and 10721101in part by Sciences Foundation for Young Scholars of Beijing Normal University+1 种基金in part by priority discipline of Beijing Normal Universityin part by Chinese Academy of Sciences under Grant No. kjcx-yw-s7
文摘In the application of multiple-processor systems some processors or links in a system maynot function properly,thus the fault diagnosis is one of the most important issues in the analysisand maintenance of those systems.For the practical fault diagnosis systems,the probability that allneighboring processors of a processor are faulty simultaneously is very small.Thus,the conditionaldiagnosability,which is a new metric for evaluating such systems,assumes that every fault set doesnot contain all neighbors of any processor in the system.In this paper,the authors show that then-dimensional shuffle-cube has the conditional diagnosability of 4n-15 for n = 2 (mod 4) and n ≥ 10.