Starting from the utilization and protection of local knowledge, with the performance prism as the framework, the evaluation index system of tourist satisfaction degree was established. The weight was determined by us...Starting from the utilization and protection of local knowledge, with the performance prism as the framework, the evaluation index system of tourist satisfaction degree was established. The weight was determined by using AHP method. Finally, the investigating result was judged with fuzzy comprehensive evaluation method, the evaluation model of tourist satisfaction degree in western tourist area was built, and the case study was carried out. With Lijiang in Yunnan Province as example, according to AHP method, five dimensions weight of the performance prism, various KPI weight and consistency were obtained, fuzzy evaluation on tourist satisfaction degree was conducted. The results showed that the overall was satisfactory, but there were still some problems. Aiming at the utilization and protection of local knowledge, some corresponding countermeasures were put forward which will benefit for further development of tourism in Lijiang of Yunnan Province.展开更多
According to the characteristics of bore data,a model of 3D geologic body with generalized tri-prism as the primitive modeling element is constructed while the modeling process and key algorithms of modeling are prese...According to the characteristics of bore data,a model of 3D geologic body with generalized tri-prism as the primitive modeling element is constructed while the modeling process and key algorithms of modeling are presented here in detail.Using this method,the original bore data go through Delaunay triangulation to generate irregular triangular network on the surface,and then links stratum segments on the adjoining bores in session to form tri-prisms which would be pinched out.Finally stratified 3D geologic body model is built by an iterated search which searches for consecutive layer of the same property.The result shows that this method can effectively simulate stratified stratum modeling.展开更多
Probabilistic model checking has been widely applied to quantitative analysis of stochastic systems, e.g., analyzing the performance, reliability and survivability of computer and communication systems. In this paper,...Probabilistic model checking has been widely applied to quantitative analysis of stochastic systems, e.g., analyzing the performance, reliability and survivability of computer and communication systems. In this paper, we extend the application of probabilistic model checking to the vehicle to vehicle(V2V) networks. We first develop a continuous-time Markov chain(CTMC) model for the considered V2V network, after that, the PRISM language is adopted to describe the CTMC model, and continuous-time stochastic logic is used to describe the objective survivability properties. In the analysis, two typical failures are considered, namely the node failure and the link failure, respectively induced by external malicious attacks on a target V2V node, and interrupt in a communication link. Considering these failures, their impacts on the network survivability are demonstrated. It is shown that with increasing failure strength, the network survivability is reduced. On the other hand, the network survivability can be improved with increasing repair rate. The proposed probabilistic model checking-based approach can be effectively used in survivability analysis for the V2V networks, moreover, it is anticipated that the approach can be conveniently extended to other networks.展开更多
基金Supported by 2008 National Social Science Fund (08BMZ042)~~
文摘Starting from the utilization and protection of local knowledge, with the performance prism as the framework, the evaluation index system of tourist satisfaction degree was established. The weight was determined by using AHP method. Finally, the investigating result was judged with fuzzy comprehensive evaluation method, the evaluation model of tourist satisfaction degree in western tourist area was built, and the case study was carried out. With Lijiang in Yunnan Province as example, according to AHP method, five dimensions weight of the performance prism, various KPI weight and consistency were obtained, fuzzy evaluation on tourist satisfaction degree was conducted. The results showed that the overall was satisfactory, but there were still some problems. Aiming at the utilization and protection of local knowledge, some corresponding countermeasures were put forward which will benefit for further development of tourism in Lijiang of Yunnan Province.
文摘According to the characteristics of bore data,a model of 3D geologic body with generalized tri-prism as the primitive modeling element is constructed while the modeling process and key algorithms of modeling are presented here in detail.Using this method,the original bore data go through Delaunay triangulation to generate irregular triangular network on the surface,and then links stratum segments on the adjoining bores in session to form tri-prisms which would be pinched out.Finally stratified 3D geologic body model is built by an iterated search which searches for consecutive layer of the same property.The result shows that this method can effectively simulate stratified stratum modeling.
基金supported by the National Natural Science Foundation of China under Grant no. 61371113 and 61401240Graduate Student Research Innovation Program Foundation of Jiangsu Province no. YKC16006+1 种基金Graduate Student Research Innovation Program Foundation of Nantong University no. KYZZ160354Top-notch Academic Programs Project of Jiangsu Higher Education Institutions (PPZY2015B135)
文摘Probabilistic model checking has been widely applied to quantitative analysis of stochastic systems, e.g., analyzing the performance, reliability and survivability of computer and communication systems. In this paper, we extend the application of probabilistic model checking to the vehicle to vehicle(V2V) networks. We first develop a continuous-time Markov chain(CTMC) model for the considered V2V network, after that, the PRISM language is adopted to describe the CTMC model, and continuous-time stochastic logic is used to describe the objective survivability properties. In the analysis, two typical failures are considered, namely the node failure and the link failure, respectively induced by external malicious attacks on a target V2V node, and interrupt in a communication link. Considering these failures, their impacts on the network survivability are demonstrated. It is shown that with increasing failure strength, the network survivability is reduced. On the other hand, the network survivability can be improved with increasing repair rate. The proposed probabilistic model checking-based approach can be effectively used in survivability analysis for the V2V networks, moreover, it is anticipated that the approach can be conveniently extended to other networks.
