Established system equivalences for transition systems, such as trace equivalence and failures equivalence, require the ob- servations to be exactly identical. However, an accurate measure- ment is impossible when int...Established system equivalences for transition systems, such as trace equivalence and failures equivalence, require the ob- servations to be exactly identical. However, an accurate measure- ment is impossible when interacting with the physical world, hence exact equivalence is restrictive and not robust. Using Baire met- ric, a generalized framework of transition system approximation is proposed by developing the notions of approximate language equivalence and approximate singleton failures （SF） equivalence. The framework takes the traditional exact equivalence as a special case. The approximate language equivalence is coarser than the approximate Slc equivalence, just like the hierarchy of the exact ones. The main conclusion is that the two approximate equiva- lences satisfy the transitive property, consequently, they can be successively used in transition system approximation.展开更多
The novel method to analyze metallic structure corrosion status was proposed in the presence of stray current in DC mass transit systems. Firstly, the characteristic parameter and the influence parameters for the corr...The novel method to analyze metallic structure corrosion status was proposed in the presence of stray current in DC mass transit systems. Firstly, the characteristic parameter and the influence parameters for the corrosion status were determined. Secondly, an experimental system was established for simulating the corrosion process within the stray current interference. Then, a predictive model for the corrosion status was built, using a support vector machine(SVM) method and experimental data. The data were divided into two sets, including training set and testing set. The training set was used to generate the SVM model and the testing set was used to evaluate the predictive performance of the SVM model. The results show that the relationship between the characteristic parameter and the influence parameters is nonlinear and the SVM model is suitable for predicting the corrosion status.展开更多
基金supported by the National Natural Science Foundation of China(1137100311461006)+4 种基金the Natural Science Foundation of Guangxi(2011GXNSFA0181542012GXNSFGA060003)the Science and Technology Foundation of Guangxi(10169-1)the Scientific Research Project from Guangxi Education Department(201012MS274)Open Research Fund Program of Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis(HCIC201301)
文摘Established system equivalences for transition systems, such as trace equivalence and failures equivalence, require the ob- servations to be exactly identical. However, an accurate measure- ment is impossible when interacting with the physical world, hence exact equivalence is restrictive and not robust. Using Baire met- ric, a generalized framework of transition system approximation is proposed by developing the notions of approximate language equivalence and approximate singleton failures （SF） equivalence. The framework takes the traditional exact equivalence as a special case. The approximate language equivalence is coarser than the approximate Slc equivalence, just like the hierarchy of the exact ones. The main conclusion is that the two approximate equiva- lences satisfy the transitive property, consequently, they can be successively used in transition system approximation.
基金Project(BE2010043) supported by the Technology Support Program of Jiangsu Province,ChinaProject(CXZZ13_0928) supported by the Graduate Education Innovation Project of Jiangsu Province,China
文摘The novel method to analyze metallic structure corrosion status was proposed in the presence of stray current in DC mass transit systems. Firstly, the characteristic parameter and the influence parameters for the corrosion status were determined. Secondly, an experimental system was established for simulating the corrosion process within the stray current interference. Then, a predictive model for the corrosion status was built, using a support vector machine(SVM) method and experimental data. The data were divided into two sets, including training set and testing set. The training set was used to generate the SVM model and the testing set was used to evaluate the predictive performance of the SVM model. The results show that the relationship between the characteristic parameter and the influence parameters is nonlinear and the SVM model is suitable for predicting the corrosion status.
