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.展开更多
A new equalization method is proposed in this paper for severely nonlinear distorted channels. The structure of decision feedback is adopted for the non-singleton fuzzy regular neural network that is trained by gradie...A new equalization method is proposed in this paper for severely nonlinear distorted channels. The structure of decision feedback is adopted for the non-singleton fuzzy regular neural network that is trained by gradient-descent algorithm. The model shows a much better performance on anti-jamming and nonlinear classification, and simulation is carried out to compare this method with other nonlinear channel equalization methods. The results show the method has the least bit error rate （BER）.展开更多
基金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.
文摘A new equalization method is proposed in this paper for severely nonlinear distorted channels. The structure of decision feedback is adopted for the non-singleton fuzzy regular neural network that is trained by gradient-descent algorithm. The model shows a much better performance on anti-jamming and nonlinear classification, and simulation is carried out to compare this method with other nonlinear channel equalization methods. The results show the method has the least bit error rate （BER）.
