期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
一种基于Concurrent Apla语言的共享内存并发分布式算法2层验证方法 被引量:2
1
作者 王昌晶 余小军 +2 位作者 沈德明 罗海梅 左正康 《江西师范大学学报(自然科学版)》 CAS 北大核心 2020年第3期301-306,共6页
形式化验证共享内存并发分布式算法已成为当前极具挑战性的问题之一,尤其是在云计算、多核、无线传感器网络、分布式数据库、区块链环境下.该文基于研究团队在形式化规约语言和方法、算法形式推导和验证方面的已有工作,以自定义泛型抽... 形式化验证共享内存并发分布式算法已成为当前极具挑战性的问题之一,尤其是在云计算、多核、无线传感器网络、分布式数据库、区块链环境下.该文基于研究团队在形式化规约语言和方法、算法形式推导和验证方面的已有工作,以自定义泛型抽象顺序设计语言Apla为基础,进一步研究并提出简明、高抽象用于并发分布式计算的Concurrent Apla语言,使其既支持顺序算法的验证又能有效地验证并发分布式算法.在依赖-卫式推理的基础上,提出一种新颖的2层并发分布式算法形式化验证方法,其中系统层用于处理并发级验证,而组件层用于处理顺序级验证.最后,通过2个实例验证了该方法的有效性和可行性. 展开更多
关键词 并发分布式计算 依赖-卫式推理 CONCURRENT APLA 形式化验证
在线阅读 下载PDF
Design and achievement of cloud geodatabase for a sponge city 被引量:2
2
作者 HOU Jing-wei SUN Shi-qin +2 位作者 LIU Ren-tao LI Jian-hua ZHANG Ming-xin 《Journal of Central South University》 SCIE EI CAS CSCD 2018年第10期2423-2437,共15页
Building a cloud geodatabase for a sponge city is crucial to integrate the geospatial information dispersed in various departments for multi-user high concurrent access and retrieval,high scalability and availability,... Building a cloud geodatabase for a sponge city is crucial to integrate the geospatial information dispersed in various departments for multi-user high concurrent access and retrieval,high scalability and availability,efficient storage and management.In this study,Hadoop distributed computing framework,including Hadoop distributed file system and MapReduce(mapper and reducer),is firstly designed with a parallel computing framework to process massive spatial data.Then,access control with a series of standard application programming interfaces for different functions is designed,including spatial data storage layer,cloud geodatabase access layer,spatial data access layer and spatial data analysis layer.Subsequently,a retrieval model is designed,including direct addressing via file name,three-level concurrent retrieval and block data retrieval strategies.Main functions are realised,including real-time concurrent access,high-performance computing,communication,massive data storage,efficient retrieval and scheduling decisions on the multi-scale,multi-source and massive spatial data.Finally,the performance of Hadoop cloud geodatabases is validated and compared with that of the Oracle database.The cloud geodatabase for the sponge city can avoid redundant configuration of personnel,hardware and software,support the data transfer,model debugging and application development,and provide accurate,real-time,virtual,intelligent,reliable,elastically scalable,dynamic and on-demand cloud services of the basic and thematic geographic information for the construction and management of the sponge city. 展开更多
关键词 cloud geodatabase sponge city HADOOP concurrent retrieval access
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部