By analyzing some existing test data generation methods, a new automated test data generation approach was presented. The linear predicate functions on a given path was directly used to construct a linear constrain sy...By analyzing some existing test data generation methods, a new automated test data generation approach was presented. The linear predicate functions on a given path was directly used to construct a linear constrain system for input variables. Only when the predicate function is nonlinear, does the linear arithmetic representation need to be computed. If the entire predicate functions on the given path are linear, either the desired test data or the guarantee that the path is infeasible can be gotten from the solution of the constrain system. Otherwise, the iterative refining for the input is required to obtain the desired test data. Theoretical analysis and test results show that the approach is simple and effective, and takes less computation. The scheme can also be used to generate path-based test data for the programs with arrays and loops.展开更多
Ground constructions and mines are severely threatened by ones. Safe and precise cavity detection is vital for reasonable cavity underground cavities especially those unsafe or inaccessible evaluation and disposal. Th...Ground constructions and mines are severely threatened by ones. Safe and precise cavity detection is vital for reasonable cavity underground cavities especially those unsafe or inaccessible evaluation and disposal. The conventional cavity detection methods and their limitation were analyzed. Those methods cannot form 3D model of underground cavity which is used for instructing the cavity disposal; and their precisions in detection are always greatly affected by the geological circumstance. The importance of 3D cavity detection in metal mine for safe exploitation was pointed out; and the 3D cavity laser detection method and its principle were introduced. A cavity auto scanning laser system was recommended to actualize the cavity 3D detection after comparing with the other laser detection systems. Four boreholes were chosen to verify the validity of the cavity auto scanning laser system. The results show that the cavity auto scanning laser system is very suitable for underground 3D cavity detection, especially for those inaccessible ones.展开更多
A great number of pipelines in China are in unsatisfactory condition and faced with problems of corrosion and cracking,but there are very few approaches for underwater pipeline detection.Pipeline detection autonomous ...A great number of pipelines in China are in unsatisfactory condition and faced with problems of corrosion and cracking,but there are very few approaches for underwater pipeline detection.Pipeline detection autonomous underwater vehicle(PDAUV) is hereby designed to solve these problems when working with advanced optical,acoustical and electrical sensors for underwater pipeline detection.PDAUV is a test bed that not only examines the logical rationality of the program,effectiveness of the hardware architecture,accuracy of the software interface protocol as well as the reliability and stability of the control system but also verifies the effectiveness of the control system in tank experiments and sea trials.The motion control system of PDAUV,including both the hardware and software architectures,is introduced in this work.The software module and information flow of the motion control system of PDAUV and a novel neural network-based control(NNC) are also covered.Besides,a real-time identification method based on neural network is used to realize system identification.The tank experiments and sea trials are carried out to verify the feasibility and capability of PDAUV control system to complete underwater pipeline detection task.展开更多
In order to enhance measuring precision of the real complex electromechanical system,complex industrial system and complex ecological & management system with characteristics of multi-variable,non-liner,strong cou...In order to enhance measuring precision of the real complex electromechanical system,complex industrial system and complex ecological & management system with characteristics of multi-variable,non-liner,strong coupling and large time-delay,in terms of the fuzzy character of this real complex system,a fuzzy least squares support vector machine(FLS-SVM) soft measurement model was established and its parameters were optimized by using adaptive mutative scale chaos immune algorithm.The simulation results reveal that fuzzy least squares support vector machines soft measurement model is of better approximation accuracy and robustness.And application results show that the relative errors of the soft measurement model are less than 3.34%.展开更多
文摘By analyzing some existing test data generation methods, a new automated test data generation approach was presented. The linear predicate functions on a given path was directly used to construct a linear constrain system for input variables. Only when the predicate function is nonlinear, does the linear arithmetic representation need to be computed. If the entire predicate functions on the given path are linear, either the desired test data or the guarantee that the path is infeasible can be gotten from the solution of the constrain system. Otherwise, the iterative refining for the input is required to obtain the desired test data. Theoretical analysis and test results show that the approach is simple and effective, and takes less computation. The scheme can also be used to generate path-based test data for the programs with arrays and loops.
基金Project(50490274) supported by the National Natural Science Foundation of China
文摘Ground constructions and mines are severely threatened by ones. Safe and precise cavity detection is vital for reasonable cavity underground cavities especially those unsafe or inaccessible evaluation and disposal. The conventional cavity detection methods and their limitation were analyzed. Those methods cannot form 3D model of underground cavity which is used for instructing the cavity disposal; and their precisions in detection are always greatly affected by the geological circumstance. The importance of 3D cavity detection in metal mine for safe exploitation was pointed out; and the 3D cavity laser detection method and its principle were introduced. A cavity auto scanning laser system was recommended to actualize the cavity 3D detection after comparing with the other laser detection systems. Four boreholes were chosen to verify the validity of the cavity auto scanning laser system. The results show that the cavity auto scanning laser system is very suitable for underground 3D cavity detection, especially for those inaccessible ones.
基金Project(2011AA09A106)supported by the Hi-tech Research and Development Program of ChinaProject(51179035)supported by the National Natural Science Foundation of ChinaProject(2015ZX01041101)supported by Major National Science and Technology of China
文摘A great number of pipelines in China are in unsatisfactory condition and faced with problems of corrosion and cracking,but there are very few approaches for underwater pipeline detection.Pipeline detection autonomous underwater vehicle(PDAUV) is hereby designed to solve these problems when working with advanced optical,acoustical and electrical sensors for underwater pipeline detection.PDAUV is a test bed that not only examines the logical rationality of the program,effectiveness of the hardware architecture,accuracy of the software interface protocol as well as the reliability and stability of the control system but also verifies the effectiveness of the control system in tank experiments and sea trials.The motion control system of PDAUV,including both the hardware and software architectures,is introduced in this work.The software module and information flow of the motion control system of PDAUV and a novel neural network-based control(NNC) are also covered.Besides,a real-time identification method based on neural network is used to realize system identification.The tank experiments and sea trials are carried out to verify the feasibility and capability of PDAUV control system to complete underwater pipeline detection task.
基金Project(51176045)supported by the National Natural Science Foundation of ChinaProject(2011ZK2032)supported by the Major Soft Science Program of Science and Technology Ministry of Hunan Province,China
文摘In order to enhance measuring precision of the real complex electromechanical system,complex industrial system and complex ecological & management system with characteristics of multi-variable,non-liner,strong coupling and large time-delay,in terms of the fuzzy character of this real complex system,a fuzzy least squares support vector machine(FLS-SVM) soft measurement model was established and its parameters were optimized by using adaptive mutative scale chaos immune algorithm.The simulation results reveal that fuzzy least squares support vector machines soft measurement model is of better approximation accuracy and robustness.And application results show that the relative errors of the soft measurement model are less than 3.34%.
