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.展开更多
In this paper, the author define a kind of generalized Szasz-Mirakjan operator and discuss its convergence and degree of the approximation,extend some results got by J. Grof[1] and Z. Ditzian[2].
In this paper we shall defin a kind of generahzed Szász-Mirakjan operator and discuss its convergence and degree of approximation,extend some results got by J.Grof and Z.Ditzian.
基金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.
文摘In this paper, the author define a kind of generalized Szasz-Mirakjan operator and discuss its convergence and degree of the approximation,extend some results got by J. Grof[1] and Z. Ditzian[2].
文摘In this paper we shall defin a kind of generahzed Szász-Mirakjan operator and discuss its convergence and degree of approximation,extend some results got by J.Grof and Z.Ditzian.
