期刊文献+
共找到16篇文章
< 1 >
每页显示 20 50 100
并发计算重复问题与控制方法 被引量:1
1
作者 何倩 孟祥武 +1 位作者 陈俊亮 沈筱彦 《软件学报》 EI CSCD 北大核心 2011年第10期2263-2278,共16页
数据竞争问题是并发程序开发与测试难题,发现数据竞争可能导致计算重复,重复会导致系统性能下降.从实例出发定义了并发计算重复问题(concurrent computation redundancy problem,简称CCRP),给出了相关性能指标和判断方法,设计了通用并... 数据竞争问题是并发程序开发与测试难题,发现数据竞争可能导致计算重复,重复会导致系统性能下降.从实例出发定义了并发计算重复问题(concurrent computation redundancy problem,简称CCRP),给出了相关性能指标和判断方法,设计了通用并发重复控制机制.并发程序一般都可以基于生产者-消费者模型进行CCRP分析.以带数据源的生产者-消费者为例详细分析了CCRP,给出了单条件、条件交叉两种重复控制算法,算法具有不同的适用范围,都可以作为固定模式来解决CCRP,基于Petri网作了相关性质的证明与仿真.并发程序实验结果说明了并发重复控制的必要性和有效性,比较了两种算法的差异.该研究对于数据竞争检测、并发程序设计具有参考价值. 展开更多
关键词 并发控制 PETRI网 数据竞争 并发计算重复 并发重复控制
在线阅读 下载PDF
并发计算的元模型Ⅰ.图模型 被引量:5
2
作者 傅育熙 《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第6期723-726,共4页
借鉴证明论中的一些思想 ,提出了并发计算的一个图模型 .在此模型中 ,计算对象表示为图 ,计算过程表示为图重写 ,重写规则将通信过程视为证明的等价变换过程 .为便于形式化研究图模型 ,提出了模型的形式对应物——图演算 ,该演算类似于... 借鉴证明论中的一些思想 ,提出了并发计算的一个图模型 .在此模型中 ,计算对象表示为图 ,计算过程表示为图重写 ,重写规则将通信过程视为证明的等价变换过程 .为便于形式化研究图模型 ,提出了模型的形式对应物——图演算 ,该演算类似于进程代数演算 ,与其他进程代数演算的不同之处在于本演算是对称的 .文中用证明论方法研究并行理论 。 展开更多
关键词 并发计算理论 进程代数 图演算 元模型 图模型
在线阅读 下载PDF
并发计算的元模型 Ⅱ.对称通信 被引量:2
3
作者 傅育熙 《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第6期727-731,共5页
在并发计算图模型的基础上 ,提出并研究了一新的进程演算 .该演算的创新处在于它只有一类前缀操作 ,故通信是对称的 .通过建立从 pi演算到对称 pi演算的翻译 ,证明 pi演算是对称 pi演算的子语言 .该翻译既保持前者的操作语义 ,又保持其... 在并发计算图模型的基础上 ,提出并研究了一新的进程演算 .该演算的创新处在于它只有一类前缀操作 ,故通信是对称的 .通过建立从 pi演算到对称 pi演算的翻译 ,证明 pi演算是对称 pi演算的子语言 .该翻译既保持前者的操作语义 ,又保持其代数语义 .对称 pi演算的意义在于它既简化了 pi演算 。 展开更多
关键词 并发计算理论 进程代数 元模型 对称通信 Π演算
在线阅读 下载PDF
并发计算的元模型 Ⅳ.公理化 被引量:2
4
作者 傅育熙 《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第7期859-863,共5页
在 chi进程间互模拟格的基础上 ,利用 L-互模拟的开刻划 ,给出所有 4个 L-互模拟等价诱导的同余关系的完全公理化系统 .4个 L-互模拟等价中最小的同余关系的公理系统 ,由强互模拟等价的公理系统与 3条 tau规则构成 .在此基础上 ,分别加... 在 chi进程间互模拟格的基础上 ,利用 L-互模拟的开刻划 ,给出所有 4个 L-互模拟等价诱导的同余关系的完全公理化系统 .4个 L-互模拟等价中最小的同余关系的公理系统 ,由强互模拟等价的公理系统与 3条 tau规则构成 .在此基础上 ,分别加入一条输出规则和 /或其对偶形式 ,即得其他 展开更多
关键词 并发计算 进程代数 互模拟 元模型 公理化
在线阅读 下载PDF
并发计算的元模型 Ⅲ.互模拟格 被引量:2
5
作者 傅育熙 《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第6期732-736,共5页
在有关 chi演算的基础上 ,用统一的方法在 chi进程上引入一大类互模拟等价关系 ,即 L-互模拟等价关系 .证明了只有 4个不同的 L-互模拟等价 ;在包含关系下 ,它们构成钻石格 .许多常见的互模拟等价都可定义为
关键词 并发计算理论 进程代数 互模拟格 元模型
在线阅读 下载PDF
并发计算的元模型 Ⅴ.并发模型间的关系
6
作者 傅育熙 《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第7期864-867,共4页
讨论 pi演算和 chi演算之间的关系问题 .通过构造从 pi演算到 chi演算的翻译 ,证明了 chi演算的表达能力不亚于 pi演算 .
关键词 并发计算 进程代数 互模拟 并发模型 PI演算
在线阅读 下载PDF
基于多核处理器并发计算软件构架设计与实现 被引量:8
7
作者 汪少敏 赵猛 +1 位作者 朱振博 王艳琦 《计算机科学》 CSCD 北大核心 2008年第7期283-285,共3页
目前在诸多IT应用领域中,对处理器芯片的实时并发处理能力的要求越来越高,促使多核处理器芯片以及以多核处理器为核心的高性能应用系统迅猛发展。本文提出的基于异构多核处理器系统在高性能并发处理应用中的三层软件构架,充分利用了异... 目前在诸多IT应用领域中,对处理器芯片的实时并发处理能力的要求越来越高,促使多核处理器芯片以及以多核处理器为核心的高性能应用系统迅猛发展。本文提出的基于异构多核处理器系统在高性能并发处理应用中的三层软件构架,充分利用了异构处理器的多核结构,为并发处理应用进行加速;同时,该构架大大简化了异构多核平台的应用开发编程。该软件构架的有效性在基于Cell处理器平台的面向电信应用的语音会议原型系统中得到了初步试验验证。 展开更多
关键词 异构多核处理器 并发计算软件构架 语音会议系统
在线阅读 下载PDF
并发计算范型:CCS和π-演算 被引量:3
8
作者 杜旭涛 李舟军 《计算机科学》 CSCD 北大核心 2002年第10期14-17,共4页
1引言并发现象和并发系统在生活中随处可见:网络通信、移动电话系统、银行的信息流动、超市的物流系统都是典型的并发系统。所谓并发系统就是存在并发事件的系统。顺序计算是并发计算的特例,相比于并发计算是一个小得多的领域,其复杂性... 1引言并发现象和并发系统在生活中随处可见:网络通信、移动电话系统、银行的信息流动、超市的物流系统都是典型的并发系统。所谓并发系统就是存在并发事件的系统。顺序计算是并发计算的特例,相比于并发计算是一个小得多的领域,其复杂性也小得多。 展开更多
关键词 程序设计 并发计算范型 CCS Π-演算
在线阅读 下载PDF
调度计划多场景并发安全校核 被引量:6
9
作者 王胜明 徐泰山 +4 位作者 郭剑 姚海成 周海峰 邵伟 徐健 《南方电网技术》 北大核心 2017年第5期56-62,共7页
针对电力系统多时段计划断面安全校核的快速计算需求,结合分布式计算技术在电力系统分析计算的应用现状,提出了一种适用于调度计划安全校核的多场景并发计算框架,对多时段计划断面安全校核的计算流程进行优化,实现了多时段计划断面的数... 针对电力系统多时段计划断面安全校核的快速计算需求,结合分布式计算技术在电力系统分析计算的应用现状,提出了一种适用于调度计划安全校核的多场景并发计算框架,对多时段计划断面安全校核的计算流程进行优化,实现了多时段计划断面的数据整合处理和安全稳定评估分阶段运行,并基于多场景并发管理机制实现了多个计划断面的安全稳定分析计算任务的异步并发运行,进一步减少了计算机群的空闲时间,显著缩短了安全校核的计算周期。实际电网中的测试案例验证了该方法的有效性。 展开更多
关键词 安全校核 多场景并发计算 流程组态 调度计划 多时段
在线阅读 下载PDF
Emergint:一种支持多节点并发动态增删的P2P路由算法 被引量:4
10
作者 韩华 代亚非 李晓明 《电子学报》 EI CAS CSCD 北大核心 2004年第9期1579-1584,共6页
针对P2P网络动态构建问题 ,提出了一种能够支持多节点并发动态加入和退出的P2P路由算法 .该算法具有如下特点 :(1)自治性 :节点的增删不需要统一控制 ;(2 )动态性 :节点的增删不影响其他节点路由过程的正确性 ;(3)并发性 :多节点可以同... 针对P2P网络动态构建问题 ,提出了一种能够支持多节点并发动态加入和退出的P2P路由算法 .该算法具有如下特点 :(1)自治性 :节点的增删不需要统一控制 ;(2 )动态性 :节点的增删不影响其他节点路由过程的正确性 ;(3)并发性 :多节点可以同时加入和退出系统 ,彼此不干扰 .该算法的路由延迟为logN .模拟测试结果表明 :该算法的平均RDP为 1 5 ,增删节点的代价为O(logN) . 展开更多
关键词 P2P 路由算法 并发计算
在线阅读 下载PDF
一种基于Concurrent Apla语言的共享内存并发分布式算法2层验证方法 被引量:2
11
作者 王昌晶 余小军 +2 位作者 沈德明 罗海梅 左正康 《江西师范大学学报(自然科学版)》 CAS 北大核心 2020年第3期301-306,共6页
形式化验证共享内存并发分布式算法已成为当前极具挑战性的问题之一,尤其是在云计算、多核、无线传感器网络、分布式数据库、区块链环境下.该文基于研究团队在形式化规约语言和方法、算法形式推导和验证方面的已有工作,以自定义泛型抽... 形式化验证共享内存并发分布式算法已成为当前极具挑战性的问题之一,尤其是在云计算、多核、无线传感器网络、分布式数据库、区块链环境下.该文基于研究团队在形式化规约语言和方法、算法形式推导和验证方面的已有工作,以自定义泛型抽象顺序设计语言Apla为基础,进一步研究并提出简明、高抽象用于并发分布式计算的Concurrent Apla语言,使其既支持顺序算法的验证又能有效地验证并发分布式算法.在依赖-卫式推理的基础上,提出一种新颖的2层并发分布式算法形式化验证方法,其中系统层用于处理并发级验证,而组件层用于处理顺序级验证.最后,通过2个实例验证了该方法的有效性和可行性. 展开更多
关键词 并发分布式计算 依赖-卫式推理 CONCURRENT APLA 形式化验证
在线阅读 下载PDF
基于异常任务运行记录的WSN故障检测 被引量:1
12
作者 马峻岩 周兴社 +1 位作者 李士宁 李志刚 《计算机工程》 CAS CSCD 2012年第1期93-95,共3页
针对传感器网络在资源受限部署后难以实施故障检测的问题,提出基于异常任务运行记录的故障检测方法。通过分析节点程序运行特征,建立节点行为状态模型,结合系统部署前的测试执行记录和卡方检验技术进行故障检测。实验结果表明,该方法与... 针对传感器网络在资源受限部署后难以实施故障检测的问题,提出基于异常任务运行记录的故障检测方法。通过分析节点程序运行特征,建立节点行为状态模型,结合系统部署前的测试执行记录和卡方检验技术进行故障检测。实验结果表明,该方法与已有方法相比,能有效检测未知类型故障,且通信、存储和计算开销均较小。 展开更多
关键词 故障检测 卡方检验 异常检测 并发计算模型
在线阅读 下载PDF
一新型移动进程模型—— χ-演算 被引量:2
13
作者 傅育熙 《上海交通大学学报》 EI CAS CSCD 北大核心 1997年第8期7-11,共5页
提出一新型并发计算模型——χ-演算.它与π-演算的不同之处在于:具有统一的输入和输出,只有一类受限名,通讯的范围由局部化操作子界定,允许更大的并发度.
关键词 互模拟 Π-演算 X-演算 移动进程 并发计算模型
在线阅读 下载PDF
一种基于源端数据重删的数据备份和恢复系统设计与实现 被引量:15
14
作者 王兴虎 何安元 《南京师大学报(自然科学版)》 CAS CSCD 北大核心 2020年第2期131-139,共9页
针对当前源端数据重删技术中,数据重删效率低、计算指纹耗时长以及频繁操作数据库耗时的问题,设计并实现了一种采用基于源端数据重删技术的数据备份与恢复系统.系统通过在客户端预先将数据流进行分段并采用预处理环形队列进行存储,基于... 针对当前源端数据重删技术中,数据重删效率低、计算指纹耗时长以及频繁操作数据库耗时的问题,设计并实现了一种采用基于源端数据重删技术的数据备份与恢复系统.系统通过在客户端预先将数据流进行分段并采用预处理环形队列进行存储,基于可变分块对数据段进行分块,整个处理过程并发执行,因此该预处理并发计算模块有效缩短了计算时间,而服务端通过用容器存放临近的数据块与索引信息,设计以容器为单位的多级缓存,明显提高缓存命中率.此外,通过使用布隆过滤器与多级缓存减少了数据库的操作频率.仿真实验表明该系统能有效提高数据备份与恢复效率. 展开更多
关键词 源端数据重删 备份与恢复效率 预处理并发计算 多级缓存 数据备份与恢复系统
在线阅读 下载PDF
元Chi进程互模拟等价的一致性 被引量:1
15
作者 林敏 傅育熙 《软件学报》 EI CSCD 北大核心 2001年第12期1793-1800,共8页
Chi-演算是将 π-演算中两类受限名统一后得到的 .多态 Chi-演算扩充了 Chi-演算的通信能力 ,使得一次通信可传递多个信息 .元 Chi-演算是在省略多态 Chi-演算的前缀操作子之后得到的子语言 .研究了元 Chi-演算的互模拟等价关系 ,证明... Chi-演算是将 π-演算中两类受限名统一后得到的 .多态 Chi-演算扩充了 Chi-演算的通信能力 ,使得一次通信可传递多个信息 .元 Chi-演算是在省略多态 Chi-演算的前缀操作子之后得到的子语言 .研究了元 Chi-演算的互模拟等价关系 ,证明了在某种意义下 ,元 Chi-进程之间只有一个互模拟等价关系 . 展开更多
关键词 进程代数 移动进程 互模拟 元Chi演算 并发计算 计算
在线阅读 下载PDF
Design and achievement of cloud geodatabase for a sponge city 被引量:2
16
作者 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 下一页 到第
使用帮助 返回顶部