In this paper we study the three new asymptotic-norming properties which are called locally asymptotic-norming property k,k=Ⅰ, Ⅱ,Ⅲ, and discuss the relationship between the locally asymptotic-norming property and t...In this paper we study the three new asymptotic-norming properties which are called locally asymptotic-norming property k,k=Ⅰ, Ⅱ,Ⅲ, and discuss the relationship between the locally asymptotic-norming property and the Kadec Property.展开更多
A polynomial algorithm for the regularity problem of weak and branching bisimilarity on totally normed process algebra(PA) processes is given. Its time complexity is O(n3+ mn), where n is the number of transition rule...A polynomial algorithm for the regularity problem of weak and branching bisimilarity on totally normed process algebra(PA) processes is given. Its time complexity is O(n3+ mn), where n is the number of transition rules and m is the maximal length of the rules. The algorithm works for totally normed basic process algebra(BPA) as well as basic parallel process(BPP).展开更多
We define and study the weak drop property for the polar of a closed bounded convex set in a Banach space which is both a generalization of the weak drop property for dual norm in a Banach space and a characterization...We define and study the weak drop property for the polar of a closed bounded convex set in a Banach space which is both a generalization of the weak drop property for dual norm in a Banach space and a characterization of the sub-differential mapping x →(?)p(x) from S(X) into 2S(X) that is norm upper semi-continuous and norm compact-valued.展开更多
文摘In this paper we study the three new asymptotic-norming properties which are called locally asymptotic-norming property k,k=Ⅰ, Ⅱ,Ⅲ, and discuss the relationship between the locally asymptotic-norming property and the Kadec Property.
基金the National Natural Science Foundation of China(Nos.61261130589 and 61033002)the Fund of the Science and Technology Commission of Shanghai Municipality(No.11XD1402800)
文摘A polynomial algorithm for the regularity problem of weak and branching bisimilarity on totally normed process algebra(PA) processes is given. Its time complexity is O(n3+ mn), where n is the number of transition rules and m is the maximal length of the rules. The algorithm works for totally normed basic process algebra(BPA) as well as basic parallel process(BPP).
文摘We define and study the weak drop property for the polar of a closed bounded convex set in a Banach space which is both a generalization of the weak drop property for dual norm in a Banach space and a characterization of the sub-differential mapping x →(?)p(x) from S(X) into 2S(X) that is norm upper semi-continuous and norm compact-valued.
