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.展开更多
Abstract--Near field communications (NFC) is a newly thrived technology in recent years. This technology has been installed on many kinds of mobile phone systems, especially the Android. However, there is no unified...Abstract--Near field communications (NFC) is a newly thrived technology in recent years. This technology has been installed on many kinds of mobile phone systems, especially the Android. However, there is no unified and complete framework to access NFC so far. The current software stack of NFC merely implements data obtaining features, ignoring the post-processing of data and lacking a certain security mechanism for NFC, which results in inefficiency and inconvenience for software development and maintenance. Above all, security problems could be caused due to the absence of the security mechanism. To propose a solution, this paper presents a brand-new framework for NFC utilization by analyzing and constructing a service model. Thus, the proposed framework encapsulates the current NFC stack on Android, formulating a three-layer structure after implementing the encapsulation and parsing of NFC records, which ultimately enables an XML document to describe the configuration of NFC and its related service flow. Simultaneously, a context-awareness model is proposed and built in this paper to equip the framework with the capability of adapting to different'physical environment.展开更多
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.展开更多
Ecosystem service flow is essential for transporting,transforming,and maintaining ecosystem services and connecting supply and demand.This study attempted to quantitatively assess the supply and demand flows of ecosys...Ecosystem service flow is essential for transporting,transforming,and maintaining ecosystem services and connecting supply and demand.This study attempted to quantitatively assess the supply and demand flows of ecosystem services in the Yangtze River Basin in 2000,2010,and 2020;assess the evolution of the spatial patterns of ecosystem service flow at the provincial,watershed and urban agglomeration scales;and design a zoning standard for ecosystem service flow.The results showed as follows.1)Between 2000 and 2020,the Yangtze River had a progressive drop in its freshwater supply,water conservation service and carbon sequestration service flows.The decline rates for these services were measured at 10.90%,11.11%,and 5.17%,respectively.The climate regulation service flow exhibited a pattern of initial fall followed by a subsequent increase,characterized by a decline rate of 35.53%.2)The lowest was the ecosystem service flow in the lower reaches of the Yangtze River and the Yangtze River Delta urban agglomeration.Freshwater supply service flow and water conservation service flow were the highest in the upper reaches of the Yangtze River and the Chengdu-Chongqing urban agglomeration.Carbon sequestration service flow and climate regulation service flow were the highest in the middle reaches of the Yangtze River Basin and the urban agglomeration in the middle reaches of the Yangtze River.3)From 2000 to 2020,the change ratios of the area proportion of the confluence,flow,and outflow areas in the Yangtze River Basin were 1.06,3.17,and 0.86,respectively.The results of this research could offer decision support for regulating ecosystem services in the Yangtze River Basin,promoting sustainable regional development and achieving rational use of the basin resources.展开更多
Multimedia content,user mobility and heterogeneous client devices require novel systems that are able to support ubiquitous access to the Web resources.In this scenario,solutions that combine flexibility,efficiency an...Multimedia content,user mobility and heterogeneous client devices require novel systems that are able to support ubiquitous access to the Web resources.In this scenario,solutions that combine flexibility,efficiency and scalability in offering edge services for ubiquitous access are needed.We propose an original intermediary framework,namely Scalable Intermediary Software Infrastructure (SISI),which is able to dynamically compose edge services on the basis of user preferences and device characteristics.The SISI framework exploits a per-user profiling mechanism,where each user can initially set his/her personal preferences through a simple Web interface,and the system is then able to compose at run-time the necessary components.The basic framework can be enriched through new edge services that can be easily implemented through a programming model based on APIs and internal functions.Our experiments demonstrate that flexibility and edge service composition do not affect the system performance.We show that this framework is able to chain multiple edge services and to guarantee stable performance.展开更多
基金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.
文摘Abstract--Near field communications (NFC) is a newly thrived technology in recent years. This technology has been installed on many kinds of mobile phone systems, especially the Android. However, there is no unified and complete framework to access NFC so far. The current software stack of NFC merely implements data obtaining features, ignoring the post-processing of data and lacking a certain security mechanism for NFC, which results in inefficiency and inconvenience for software development and maintenance. Above all, security problems could be caused due to the absence of the security mechanism. To propose a solution, this paper presents a brand-new framework for NFC utilization by analyzing and constructing a service model. Thus, the proposed framework encapsulates the current NFC stack on Android, formulating a three-layer structure after implementing the encapsulation and parsing of NFC records, which ultimately enables an XML document to describe the configuration of NFC and its related service flow. Simultaneously, a context-awareness model is proposed and built in this paper to equip the framework with the capability of adapting to different'physical environment.
基金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.
基金supported by the National Natural Science Foundation of China(Grant Nos.42171298 and 42201333)Late Project of the National Social Science Foundation in China(No.20FJYB035)Natural Science Foundation of Chongqing,China(No.cstc2020jcyj-jqX0004).
文摘Ecosystem service flow is essential for transporting,transforming,and maintaining ecosystem services and connecting supply and demand.This study attempted to quantitatively assess the supply and demand flows of ecosystem services in the Yangtze River Basin in 2000,2010,and 2020;assess the evolution of the spatial patterns of ecosystem service flow at the provincial,watershed and urban agglomeration scales;and design a zoning standard for ecosystem service flow.The results showed as follows.1)Between 2000 and 2020,the Yangtze River had a progressive drop in its freshwater supply,water conservation service and carbon sequestration service flows.The decline rates for these services were measured at 10.90%,11.11%,and 5.17%,respectively.The climate regulation service flow exhibited a pattern of initial fall followed by a subsequent increase,characterized by a decline rate of 35.53%.2)The lowest was the ecosystem service flow in the lower reaches of the Yangtze River and the Yangtze River Delta urban agglomeration.Freshwater supply service flow and water conservation service flow were the highest in the upper reaches of the Yangtze River and the Chengdu-Chongqing urban agglomeration.Carbon sequestration service flow and climate regulation service flow were the highest in the middle reaches of the Yangtze River Basin and the urban agglomeration in the middle reaches of the Yangtze River.3)From 2000 to 2020,the change ratios of the area proportion of the confluence,flow,and outflow areas in the Yangtze River Basin were 1.06,3.17,and 0.86,respectively.The results of this research could offer decision support for regulating ecosystem services in the Yangtze River Basin,promoting sustainable regional development and achieving rational use of the basin resources.
文摘Multimedia content,user mobility and heterogeneous client devices require novel systems that are able to support ubiquitous access to the Web resources.In this scenario,solutions that combine flexibility,efficiency and scalability in offering edge services for ubiquitous access are needed.We propose an original intermediary framework,namely Scalable Intermediary Software Infrastructure (SISI),which is able to dynamically compose edge services on the basis of user preferences and device characteristics.The SISI framework exploits a per-user profiling mechanism,where each user can initially set his/her personal preferences through a simple Web interface,and the system is then able to compose at run-time the necessary components.The basic framework can be enriched through new edge services that can be easily implemented through a programming model based on APIs and internal functions.Our experiments demonstrate that flexibility and edge service composition do not affect the system performance.We show that this framework is able to chain multiple edge services and to guarantee stable performance.