In recent years,with the introduction of the strategy to strengthen the country’s transportation infrastructure and the continuous implementation of new economic development models such as integrating transportation ...In recent years,with the introduction of the strategy to strengthen the country’s transportation infrastructure and the continuous implementation of new economic development models such as integrating transportation with tourism,various open service areas integrating highway service areas with local tourism have emerged nationwide.Examples include the Yangcheng Lake service area in Jiangsu and the Lengshui service area in Chongqing.This paper focuses on the design example of the Dazu Stone Carving service area on the Chongqing section of the Yurong Expressway,comprehensively considering factors such as construction scale,terrain conditions,and local urban planning.It analyzes and studies the traffic flow design of unilateral agglomerative open service areas around two vehicle traffic conversion links:between the main expressway and the service area,and between the service area and local roads.The aim is to provide a case study reference for similar projects.展开更多
Knowledge of the changes in a material’s function, form, and location during the transfer and transformation of materials to generate human services will improve our understanding of how humanity interacts with the e...Knowledge of the changes in a material’s function, form, and location during the transfer and transformation of materials to generate human services will improve our understanding of how humanity interacts with the environment and of how services are formed by human activities. We compared lead’s anthropogenic and biogeochemical cycles and found that the services, pathways, and changes in form requiring the most attention. We traced lead through its life cycle and identified the changes in its functions, forms, and locations by examining technology and engineering information. Lead ore and scrap were the two main anthropogenic sources of lead. When lead provides human services, its main functions included the storage and delivery of electricity, anti-corrosion treatments, and radiation protection; the main forms of lead in these products were Pb, PbO2 and PbSO4, and the main location changed from lithosphere in central China to regions in eastern China.展开更多
In order to increase the effectiveness and the reliability of web services flow, the ~r-calculus formal method is introduced as a development language for web services flow. The π-calculus overcomes inabilities of we...In order to increase the effectiveness and the reliability of web services flow, the ~r-calculus formal method is introduced as a development language for web services flow. The π-calculus overcomes inabilities of web service flow languages in demonstrating the consistency, validating the correctness and so on. The π- calculus analysis and modeling of web services flow is presented, the dynamic actions and basic activities of WS-BPEL with π-calculus formally are described, and the mapping from π-calculus expression to WS-BPEL is built. The basic construction of web services flow with the π-calculus method after the analysis of the syntax of WS-BPEL and inter-description between WS-BPEL and π-calculus is expressed. Also discussed are the approaches to web services flow by modeling from different views, and the proposed approaches through the development and modeling of an e-commerce web service flow application are illustrated.展开更多
In order to highlight and analyze the influence of heterogeneous knowledge flows to enterprises in the modern service industry,based on a review of the Colonel Blotto game,some presumptions such as the game's util...In order to highlight and analyze the influence of heterogeneous knowledge flows to enterprises in the modern service industry,based on a review of the Colonel Blotto game,some presumptions such as the game's utility function are modified,and a mechanism to change tacit knowledge into explicit knowledge is constructed to carry out an analysis of a two-player knowledge flow management.The characteristics of the players' optimal reactions of knowledge flow management are studied,and the results bear evidence of the facts that a gap always exists under the spillover effect.Meanwhile,tacit knowledge seems more important to the development of enterprises than explicit knowledge.So it implies that the foremost task for the development of the modern service industry is to strengthen the settings and institutions for the flux of tacit knowledge and enterprise knowledge management.展开更多
Water supply services(WSSs) are critical for the regional water balance and water circulation, but relevant studies have not established the relationship between WSSs and human well-being. This research identifies the...Water supply services(WSSs) are critical for the regional water balance and water circulation, but relevant studies have not established the relationship between WSSs and human well-being. This research identifies the scope of areas that benefit from WSSs from an ecosystem service flow perspective. Moreover, the path and quantity of the flow of WSSs are simulated to provide a scientific theoretical basis for ecosystem service management and ecological compensation. The Dongjiang Lake Basin is a national priority river basin in China where ecological compensation pilot programmes concerning water resources are top priorities. Dongjiang Lake Basin experienced an increase and then a decrease in the overall supply of water, with an average net water supply of 1096–1500 mm for the years 1995, 2000, 2005 and 2010. The water demand increased each year in service beneficiary areas(SBAs), varying from 387 to 580 mm. Overall, Dongjiang Lake Basin met the net water demands of the actual SBAs in the lower reaches, but a gap in the water supply and demand emerged gradually. This research provides an understanding of the functional mechanisms for the provision, demand and flow of WSSs and provides a scientific theoretical basis for ecosystem service management and ecological compensation.展开更多
This paper proposes a method of data-flow testing for Web services composition. Firstly, to facilitate data flow analysis and constraints collecting, the existing model representation of business process execution lan...This paper proposes a method of data-flow testing for Web services composition. Firstly, to facilitate data flow analysis and constraints collecting, the existing model representation of business process execution language （BPEL） is modified in company with the analysis of data dependency and an exact representation of dead path elimination （DPE） is proposed, which over-comes the difficulties brought to dataflow analysis. Then defining and using information based on data flow rules is collected by parsing BPEL and Web services description language （WSDL） documents and the def-use annotated control flow graph is created. Based on this model, data-flow anomalies which indicate potential errors can be discovered by traversing the paths of graph, and all-du-paths used in dynamic data flow testing for Web services composition are automatically generated, then testers can design the test cases according to the collected constraints for each path selected.展开更多
Accelerate processor, efficient software and pervasive connections provide sensor nodes with more powerful computation and storage ability, which can offer various services to user. Based on these atomic services, dif...Accelerate processor, efficient software and pervasive connections provide sensor nodes with more powerful computation and storage ability, which can offer various services to user. Based on these atomic services, different sensor nodes can cooperate and compose with each other to complete more complicated tasks for user. However, because of the regional characteristic of sensor nodes, merging data with different sensitivities become a primary requirement to the composite services, and information flow security should be intensively considered during service composition. In order to mitigate the great cost caused by the complexity of modeling and the heavy load of single-node verification to the energy-limited sensor node, in this paper, we propose a new distributed verification framework to enforce information flow security on composite services of smart sensor network. We analyze the information flows in composite services and specify security constraints for each service participant. Then we propose an algorithm over the distributed verification framework involving each sensor node to participate in the composite service verification based on the security constraints. The experimental results indicate that our approach can reduce the cost of verification and provide a better load balance.展开更多
Global climate change and increased human consumption have aggravated the uneven spatiotemporal distribution of watershed water resources, affecting the water provision supply and demand state. However, this problem h...Global climate change and increased human consumption have aggravated the uneven spatiotemporal distribution of watershed water resources, affecting the water provision supply and demand state. However, this problem has often been ignored. The present study used the Xiangjiang River basin(XRB) as the study area, and the Integrated Valuation of Ecosystem Services and Trade-offs(InVEST) model, demand quantification model,supply–demand ratio, and water flow formula were applied to explore the spatial heterogeneity, flow, and equilibrium between water supply and demand. The results demonstrated significant spatial heterogeneity in the upstream, midstream, and downstream regions.The areas of water shortage were mainly located the downstream of the Changsha–Zhuzhou–Xiangtan urban agglomeration, and the Hengyang basin was the most scarcity area. Affected by terrain gradients and human needs, water flow varied from-16.33 × 10^(8) m^(3) to 13.69 × 10^(8) m^(3)from the upstream to the downstream area, which provided a possibility to reduce spatial heterogeneity. In the future, measures such as strengthening water resource system control,sponge city construction, and dynamic monitoring technology should be taken to balance the supply and demand of water in different river sections of the basin. This study can provide references for regulating water resources allocation in different reaches of the basin.展开更多
Assessments of ecological importance based on static indexes that do not consider service flows frequently underestimate the importance of the Qinghai-Tibet Plateau as a "source".On the basis of natural envi...Assessments of ecological importance based on static indexes that do not consider service flows frequently underestimate the importance of the Qinghai-Tibet Plateau as a "source".On the basis of natural environmental characteristics,this study selected six type of ecosystem services for evaluation,including water retention,soil retention,carbon sequestration,biodiversity conservation,sandstorm prevention,and tourism.According to the attributes of each ecosystem service flow,we calculated the flow length and traffic accessibility indexes,using Arc GIS hydrological module and kernel functions separately,to comprehensively analyse the ecological importance levels of the Qinghai-Tibet Plateau.Results showed that after considering the service flows,the ecologically important zone shifted to the core area of the Three River Source Region,such as Zadoi County located in the Tanggula Mountains.The area of extreme importance is mainly distributed in the Yarlung Zangbo River basin,Tanggula Mountains,Hengduan Mountains,and Qilian Mountains,which accounts for 31.7% of the Qinghai-Tibet Plateau,providing approximately 60% of the ecosystem services and having extremely high protection efficiency and protection value.By introducing ecosystem service flow indexes,this study confirmed the ecological importance of core source areas such as the Tanggula Mountains,weakened the space bias caused by not considering the spatial transfer of ecosystem services,and provided technical support for optimizing ecological protection strategies and coordinating regional development.展开更多
Data pre-deployment in the HDFS （Hadoop distributed file systems） is more complicated than that in traditional file systems. There are many key issues need to be addressed, such as determining the target location of...Data pre-deployment in the HDFS （Hadoop distributed file systems） is more complicated than that in traditional file systems. There are many key issues need to be addressed, such as determining the target location of the data prefetching, the amount of data to be prefetched, the balance between data prefetching services and normal data accesses. Aiming to solve these problems, we employ the characteristics of digital ocean information service flows and propose a deployment scheme which combines input data prefetching with output data oriented storage strategies. The method achieves the parallelism of data preparation and data processing, thereby massively reducing I/O time cost of digital ocean cloud computing platforms when processing multi-source information synergistic tasks. The experimental results show that the scheme has a higher degree of parallelism than traditional Hadoop mechanisms, shortens the waiting time of a running service node, and significantly reduces data access conflicts.展开更多
In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are verified.WCFA （web service interface control flow automata）is us...In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are verified.WCFA （web service interface control flow automata）is used to model web services,especially the control flow and possible interactions with other web services.A web service composition consists of a set of interacting WCFA.The global behavior of web service compositions is captured by NWA（nested word automata）.A variation of the depth-first search algorithm is used to transform a set of WCFA into an NWA.State formulae and call stacks at each node of NWA are computed by a path-sensitive reachability analysis.Safety properties,call stack inspection properties and pre/post-conditions of service invocations are described by assertions.Then verification of these assertions is carried out by an automated SAT tool.展开更多
文摘In recent years,with the introduction of the strategy to strengthen the country’s transportation infrastructure and the continuous implementation of new economic development models such as integrating transportation with tourism,various open service areas integrating highway service areas with local tourism have emerged nationwide.Examples include the Yangcheng Lake service area in Jiangsu and the Lengshui service area in Chongqing.This paper focuses on the design example of the Dazu Stone Carving service area on the Chongqing section of the Yurong Expressway,comprehensively considering factors such as construction scale,terrain conditions,and local urban planning.It analyzes and studies the traffic flow design of unilateral agglomerative open service areas around two vehicle traffic conversion links:between the main expressway and the service area,and between the service area and local roads.The aim is to provide a case study reference for similar projects.
基金Project(41171361)supported by the National Natural Science Foundation of China(General Program)
文摘Knowledge of the changes in a material’s function, form, and location during the transfer and transformation of materials to generate human services will improve our understanding of how humanity interacts with the environment and of how services are formed by human activities. We compared lead’s anthropogenic and biogeochemical cycles and found that the services, pathways, and changes in form requiring the most attention. We traced lead through its life cycle and identified the changes in its functions, forms, and locations by examining technology and engineering information. Lead ore and scrap were the two main anthropogenic sources of lead. When lead provides human services, its main functions included the storage and delivery of electricity, anti-corrosion treatments, and radiation protection; the main forms of lead in these products were Pb, PbO2 and PbSO4, and the main location changed from lithosphere in central China to regions in eastern China.
文摘In order to increase the effectiveness and the reliability of web services flow, the ~r-calculus formal method is introduced as a development language for web services flow. The π-calculus overcomes inabilities of web service flow languages in demonstrating the consistency, validating the correctness and so on. The π- calculus analysis and modeling of web services flow is presented, the dynamic actions and basic activities of WS-BPEL with π-calculus formally are described, and the mapping from π-calculus expression to WS-BPEL is built. The basic construction of web services flow with the π-calculus method after the analysis of the syntax of WS-BPEL and inter-description between WS-BPEL and π-calculus is expressed. Also discussed are the approaches to web services flow by modeling from different views, and the proposed approaches through the development and modeling of an e-commerce web service flow application are illustrated.
基金The National Key Technology R&D Program of China during the 11th Five-Year Plan Period(No.2006BAH02A06)
文摘In order to highlight and analyze the influence of heterogeneous knowledge flows to enterprises in the modern service industry,based on a review of the Colonel Blotto game,some presumptions such as the game's utility function are modified,and a mechanism to change tacit knowledge into explicit knowledge is constructed to carry out an analysis of a two-player knowledge flow management.The characteristics of the players' optimal reactions of knowledge flow management are studied,and the results bear evidence of the facts that a gap always exists under the spillover effect.Meanwhile,tacit knowledge seems more important to the development of enterprises than explicit knowledge.So it implies that the foremost task for the development of the modern service industry is to strengthen the settings and institutions for the flux of tacit knowledge and enterprise knowledge management.
基金Under the auspices of National Key Research and Development Program of China(No.2016YFC0503706 2016YFC0503403)+1 种基金National Natural Science Foundation of China(No.31400411)Technical Support Program of the Ministry of Science and Technology of China(No.2013BAC03B05)
文摘Water supply services(WSSs) are critical for the regional water balance and water circulation, but relevant studies have not established the relationship between WSSs and human well-being. This research identifies the scope of areas that benefit from WSSs from an ecosystem service flow perspective. Moreover, the path and quantity of the flow of WSSs are simulated to provide a scientific theoretical basis for ecosystem service management and ecological compensation. The Dongjiang Lake Basin is a national priority river basin in China where ecological compensation pilot programmes concerning water resources are top priorities. Dongjiang Lake Basin experienced an increase and then a decrease in the overall supply of water, with an average net water supply of 1096–1500 mm for the years 1995, 2000, 2005 and 2010. The water demand increased each year in service beneficiary areas(SBAs), varying from 387 to 580 mm. Overall, Dongjiang Lake Basin met the net water demands of the actual SBAs in the lower reaches, but a gap in the water supply and demand emerged gradually. This research provides an understanding of the functional mechanisms for the provision, demand and flow of WSSs and provides a scientific theoretical basis for ecosystem service management and ecological compensation.
基金the National Natural Science Foundation of China(60425206, 60503033)National Basic Research Program of China (973 Program, 2002CB312000)Opening Foundation of State Key Laboratory of Software Engineering in Wuhan University
文摘This paper proposes a method of data-flow testing for Web services composition. Firstly, to facilitate data flow analysis and constraints collecting, the existing model representation of business process execution language （BPEL） is modified in company with the analysis of data dependency and an exact representation of dead path elimination （DPE） is proposed, which over-comes the difficulties brought to dataflow analysis. Then defining and using information based on data flow rules is collected by parsing BPEL and Web services description language （WSDL） documents and the def-use annotated control flow graph is created. Based on this model, data-flow anomalies which indicate potential errors can be discovered by traversing the paths of graph, and all-du-paths used in dynamic data flow testing for Web services composition are automatically generated, then testers can design the test cases according to the collected constraints for each path selected.
基金supported in part by National Natural Science Foundation of China(61502368,61303033,U1135002 and U1405255)the National High Technology Research and Development Program(863 Program)of China(No.2015AA017203)+1 种基金the Fundamental Research Funds for the Central Universities(XJS14072,JB150308)the Aviation Science Foundation of China(No.2013ZC31003,20141931001)
文摘Accelerate processor, efficient software and pervasive connections provide sensor nodes with more powerful computation and storage ability, which can offer various services to user. Based on these atomic services, different sensor nodes can cooperate and compose with each other to complete more complicated tasks for user. However, because of the regional characteristic of sensor nodes, merging data with different sensitivities become a primary requirement to the composite services, and information flow security should be intensively considered during service composition. In order to mitigate the great cost caused by the complexity of modeling and the heavy load of single-node verification to the energy-limited sensor node, in this paper, we propose a new distributed verification framework to enforce information flow security on composite services of smart sensor network. We analyze the information flows in composite services and specify security constraints for each service participant. Then we propose an algorithm over the distributed verification framework involving each sensor node to participate in the composite service verification based on the security constraints. The experimental results indicate that our approach can reduce the cost of verification and provide a better load balance.
基金supported by National Natural Science Foundation of China(grant number 42171258,41877084)Natural Science Foundation of Hunan Province(grant number 2021JJ30448)。
文摘Global climate change and increased human consumption have aggravated the uneven spatiotemporal distribution of watershed water resources, affecting the water provision supply and demand state. However, this problem has often been ignored. The present study used the Xiangjiang River basin(XRB) as the study area, and the Integrated Valuation of Ecosystem Services and Trade-offs(InVEST) model, demand quantification model,supply–demand ratio, and water flow formula were applied to explore the spatial heterogeneity, flow, and equilibrium between water supply and demand. The results demonstrated significant spatial heterogeneity in the upstream, midstream, and downstream regions.The areas of water shortage were mainly located the downstream of the Changsha–Zhuzhou–Xiangtan urban agglomeration, and the Hengyang basin was the most scarcity area. Affected by terrain gradients and human needs, water flow varied from-16.33 × 10^(8) m^(3) to 13.69 × 10^(8) m^(3)from the upstream to the downstream area, which provided a possibility to reduce spatial heterogeneity. In the future, measures such as strengthening water resource system control,sponge city construction, and dynamic monitoring technology should be taken to balance the supply and demand of water in different river sections of the basin. This study can provide references for regulating water resources allocation in different reaches of the basin.
基金supported by the Second Tibetan Plateau Scientific Expedition and Research Program (STEP) (Grant No.2019QZKK0308)。
文摘Assessments of ecological importance based on static indexes that do not consider service flows frequently underestimate the importance of the Qinghai-Tibet Plateau as a "source".On the basis of natural environmental characteristics,this study selected six type of ecosystem services for evaluation,including water retention,soil retention,carbon sequestration,biodiversity conservation,sandstorm prevention,and tourism.According to the attributes of each ecosystem service flow,we calculated the flow length and traffic accessibility indexes,using Arc GIS hydrological module and kernel functions separately,to comprehensively analyse the ecological importance levels of the Qinghai-Tibet Plateau.Results showed that after considering the service flows,the ecologically important zone shifted to the core area of the Three River Source Region,such as Zadoi County located in the Tanggula Mountains.The area of extreme importance is mainly distributed in the Yarlung Zangbo River basin,Tanggula Mountains,Hengduan Mountains,and Qilian Mountains,which accounts for 31.7% of the Qinghai-Tibet Plateau,providing approximately 60% of the ecosystem services and having extremely high protection efficiency and protection value.By introducing ecosystem service flow indexes,this study confirmed the ecological importance of core source areas such as the Tanggula Mountains,weakened the space bias caused by not considering the spatial transfer of ecosystem services,and provided technical support for optimizing ecological protection strategies and coordinating regional development.
基金The Ocean Public Welfare Scientific Research Project of State Oceanic Administration of China under contract No.20110533
文摘Data pre-deployment in the HDFS （Hadoop distributed file systems） is more complicated than that in traditional file systems. There are many key issues need to be addressed, such as determining the target location of the data prefetching, the amount of data to be prefetched, the balance between data prefetching services and normal data accesses. Aiming to solve these problems, we employ the characteristics of digital ocean information service flows and propose a deployment scheme which combines input data prefetching with output data oriented storage strategies. The method achieves the parallelism of data preparation and data processing, thereby massively reducing I/O time cost of digital ocean cloud computing platforms when processing multi-source information synergistic tasks. The experimental results show that the scheme has a higher degree of parallelism than traditional Hadoop mechanisms, shortens the waiting time of a running service node, and significantly reduces data access conflicts.
基金The National Key Technology R&D Program of Chinaduring the 11th Five-Year Plan Period(No.2006BAH02A12)the National High Technology Research and Development Program of China(863 Program)(No.2006AA010101)
文摘In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are verified.WCFA （web service interface control flow automata）is used to model web services,especially the control flow and possible interactions with other web services.A web service composition consists of a set of interacting WCFA.The global behavior of web service compositions is captured by NWA（nested word automata）.A variation of the depth-first search algorithm is used to transform a set of WCFA into an NWA.State formulae and call stacks at each node of NWA are computed by a path-sensitive reachability analysis.Safety properties,call stack inspection properties and pre/post-conditions of service invocations are described by assertions.Then verification of these assertions is carried out by an automated SAT tool.
