Using Baire metric, this paper proposes a generalized framework of transition system approximation by developing the notions of approximate reachability and approximate bisimulation equivalences. The proposed framewor...Using Baire metric, this paper proposes a generalized framework of transition system approximation by developing the notions of approximate reachability and approximate bisimulation equivalences. The proposed framework captures the traditional exact equivalence as a special case. Approximate reachability equivalence is coarser than approximate bisimulation equivalence, just like the hierarchy of the exact ones. Both approximate equivalences satisfy the transitive property, consequently, they can be used in transition system approximation.展开更多
According to the perturbation theory, the coupled-mode equations for guided optical waves in the magneto-optical fiber Bragg gratings （MFBGs） under non-uniform magnetic field are derived. The equivalent relation bet...According to the perturbation theory, the coupled-mode equations for guided optical waves in the magneto-optical fiber Bragg gratings （MFBGs） under non-uniform magnetic field are derived. The equivalent relation between the magnetically- induced non-uniform fiber Bragg grating （MuFBG） and the corresponding non-magnetic chirped grating is expressed and verified by the piecewise-uniform MFBG model under linear magnetic field. On the basis of the equivalent relation, the MnFBGs can be effectively investigated by means of simulations. The characteristics of the MnFBGs under three typical magnetic field distributions with application to optical pulse compression are simulated, and the minimal pulse width can be achieved for the same magneto-optical coupling parameter of 2.2 ×10^3 m^-1.展开更多
基金Supported by the National Natural Science Foundation of China(No.11371003 and No.11461006)the Natural Science Foundation of Guangxi(No.2011GXNSFA018154 and No.2012GXNSFGA060003)
文摘Using Baire metric, this paper proposes a generalized framework of transition system approximation by developing the notions of approximate reachability and approximate bisimulation equivalences. The proposed framework captures the traditional exact equivalence as a special case. Approximate reachability equivalence is coarser than approximate bisimulation equivalence, just like the hierarchy of the exact ones. Both approximate equivalences satisfy the transitive property, consequently, they can be used in transition system approximation.
基金supported by the National High Technology Research and Development Program of China (No.2009AA01Z216)the National Basic Research Program of China (No.2011CB301703)the Program for New Century Excellent Talents in University (No.NCET-2008)
文摘According to the perturbation theory, the coupled-mode equations for guided optical waves in the magneto-optical fiber Bragg gratings （MFBGs） under non-uniform magnetic field are derived. The equivalent relation between the magnetically- induced non-uniform fiber Bragg grating （MuFBG） and the corresponding non-magnetic chirped grating is expressed and verified by the piecewise-uniform MFBG model under linear magnetic field. On the basis of the equivalent relation, the MnFBGs can be effectively investigated by means of simulations. The characteristics of the MnFBGs under three typical magnetic field distributions with application to optical pulse compression are simulated, and the minimal pulse width can be achieved for the same magneto-optical coupling parameter of 2.2 ×10^3 m^-1.
