The ehi calculus is a model of mobile processes. It has evolved from the pi-calculus with motivations from simplification aml communication-as-cut-eliminatinn. This paper studies the ehi calculus in the framework inco...The ehi calculus is a model of mobile processes. It has evolved from the pi-calculus with motivations from simplification aml communication-as-cut-eliminatinn. This paper studies the ehi calculus in the framework incorporating asymmetric communication. The major feature of the calculus is the identification of two actions： x/x and τ. The investigalion on the barbed bisimilarity shows how the property affects the observational theory. Based on the definition of the barbed bisimilarity, the simulation properties of the barbed bisimilarity are studied. It shows that the algebraic properties of the barbed bisimiilarity have changed greatly compared with the chi calculus.Although the definition of the barbed bisimilarity is very simple, the properly of closeness under contexts makes it difficuh to understand the barbed bisimilarity directly. Therefore an open style definition of the barbed bisimilarity is given, which is a context free description of barbed bisimilarity. Its definition is complex, but it is a well-behaved relation for it coincides with the barbed bisimilarity. It also helps to build an axiomatization system for the bathed congruence. Besides the axioms for the strong barbed bisimilarity, the paper proposes a new tau law and four new update laws for the barbed congruence. Both the operational and algebraic properties of the enriched calculus improve the understanding of the bisimulation behaviors of the model.展开更多
This paper presents a new method for constructing synthetic matrix which is obtained by extending the given judgement matrices in the Analytic Hierarchy Process (AHP). The consistency relationship among the given matr...This paper presents a new method for constructing synthetic matrix which is obtained by extending the given judgement matrices in the Analytic Hierarchy Process (AHP). The consistency relationship among the given matrices and their synthetic matrix is studied. The method can be used to deal with situations where the number of the given alternatives is larger than nine, and needs less pairwise comparisons than any others. Thus it will aid in the design of the AHP, which will reduce the information overload of decision maker, a major drawback of the original AHP algorithm. Finally, a numerical example is given to show the feasibility and effectiveness of the method.展开更多
In the paper, cooperative two-stage network games are studied. At the first stage of the game, players form a network, while at the second stage players choose their behaviors according to the network realized at the ...In the paper, cooperative two-stage network games are studied. At the first stage of the game, players form a network, while at the second stage players choose their behaviors according to the network realized at the first stage. As a cooperative solution concept in the game, the core is considered.It is proved that some imputations from the core are time inconsistent, whereas one can design for them a time-consistent imputation distribution procedure. Moreover, the strong time consistency problem is also investigated.展开更多
X charts with estimated control limits are commonly used in practice and treated as if the in-control process parameters were known. However, the former can behave quite differently from the latter. To understand the ...X charts with estimated control limits are commonly used in practice and treated as if the in-control process parameters were known. However, the former can behave quite differently from the latter. To understand the differences, it is necessary to study the run length distribution (RLD), its mean (ARL) and standard deviation (SDRL) of the X charts when the control limits are estimated. However, ARL and SDRL are integrals over an infinite region with a boundless integrand, the finiteness has not been proved in literature. In this paper, we show the finiteness and uniform integrability of ARL and SDRL. Furthermore, we numerically evaluate the ARL, SDRL and the RLD using number theory method. A numerical study is conducted to assess the performance of the proposed method and the results are compared with those given by Quesenberry and Chen.展开更多
We discuss the properties of an ordinal consistency matrix on the base of its directed graph, which benefit deriving the ranking of the compared alternatives.
基金Sponsored by the National Distinguished Young Scientist Fund of NNSFC(Grant No.60225012)the National 973 Project(Grant No.2003CB316905)BDCC(Grant No.03DZ14025).
文摘The ehi calculus is a model of mobile processes. It has evolved from the pi-calculus with motivations from simplification aml communication-as-cut-eliminatinn. This paper studies the ehi calculus in the framework incorporating asymmetric communication. The major feature of the calculus is the identification of two actions： x/x and τ. The investigalion on the barbed bisimilarity shows how the property affects the observational theory. Based on the definition of the barbed bisimilarity, the simulation properties of the barbed bisimilarity are studied. It shows that the algebraic properties of the barbed bisimiilarity have changed greatly compared with the chi calculus.Although the definition of the barbed bisimilarity is very simple, the properly of closeness under contexts makes it difficuh to understand the barbed bisimilarity directly. Therefore an open style definition of the barbed bisimilarity is given, which is a context free description of barbed bisimilarity. Its definition is complex, but it is a well-behaved relation for it coincides with the barbed bisimilarity. It also helps to build an axiomatization system for the bathed congruence. Besides the axioms for the strong barbed bisimilarity, the paper proposes a new tau law and four new update laws for the barbed congruence. Both the operational and algebraic properties of the enriched calculus improve the understanding of the bisimulation behaviors of the model.
基金This research is supported by the National Natural Science Foundation of China(No.79970093).
文摘This paper presents a new method for constructing synthetic matrix which is obtained by extending the given judgement matrices in the Analytic Hierarchy Process (AHP). The consistency relationship among the given matrices and their synthetic matrix is studied. The method can be used to deal with situations where the number of the given alternatives is larger than nine, and needs less pairwise comparisons than any others. Thus it will aid in the design of the AHP, which will reduce the information overload of decision maker, a major drawback of the original AHP algorithm. Finally, a numerical example is given to show the feasibility and effectiveness of the method.
基金supported by the Russian Foundation for Basic Research under Grant No.13-01-91160Saint Petersburg State University under Grant No.9.38.245.2014+4 种基金the National Natural Science Foundation of China under Grant Nos.71171120,71373262,and 71571108Specialized Research Fund for the Doctoral Program of Higher Education under Grant No.20133706110002Projects of International(Regional)Cooperation and Exchanges of the National Science Foundation of China under Grant Nos.71411130215 and 61661136002Natural Science Foundation of Shandong Province,China under Grant No.ZR2015GZ007Graduate Student Education Innovation Plan of Qingdao University under Grant Nos.QDY12017 and QDY13004
文摘In the paper, cooperative two-stage network games are studied. At the first stage of the game, players form a network, while at the second stage players choose their behaviors according to the network realized at the first stage. As a cooperative solution concept in the game, the core is considered.It is proved that some imputations from the core are time inconsistent, whereas one can design for them a time-consistent imputation distribution procedure. Moreover, the strong time consistency problem is also investigated.
基金This research is is partially supported by the National Natural Science Foundation of China.
文摘X charts with estimated control limits are commonly used in practice and treated as if the in-control process parameters were known. However, the former can behave quite differently from the latter. To understand the differences, it is necessary to study the run length distribution (RLD), its mean (ARL) and standard deviation (SDRL) of the X charts when the control limits are estimated. However, ARL and SDRL are integrals over an infinite region with a boundless integrand, the finiteness has not been proved in literature. In this paper, we show the finiteness and uniform integrability of ARL and SDRL. Furthermore, we numerically evaluate the ARL, SDRL and the RLD using number theory method. A numerical study is conducted to assess the performance of the proposed method and the results are compared with those given by Quesenberry and Chen.
基金This research is supported by National Natural Science Foundation of China（10201007） and NSF of Shandong.
文摘We discuss the properties of an ordinal consistency matrix on the base of its directed graph, which benefit deriving the ranking of the compared alternatives.
