期刊文献+
共找到165篇文章
< 1 2 9 >
每页显示 20 50 100
一种基于Concurrent Apla语言的共享内存并发分布式算法2层验证方法 被引量:2
1
作者 王昌晶 余小军 +2 位作者 沈德明 罗海梅 左正康 《江西师范大学学报(自然科学版)》 CAS 北大核心 2020年第3期301-306,共6页
形式化验证共享内存并发分布式算法已成为当前极具挑战性的问题之一,尤其是在云计算、多核、无线传感器网络、分布式数据库、区块链环境下.该文基于研究团队在形式化规约语言和方法、算法形式推导和验证方面的已有工作,以自定义泛型抽... 形式化验证共享内存并发分布式算法已成为当前极具挑战性的问题之一,尤其是在云计算、多核、无线传感器网络、分布式数据库、区块链环境下.该文基于研究团队在形式化规约语言和方法、算法形式推导和验证方面的已有工作,以自定义泛型抽象顺序设计语言Apla为基础,进一步研究并提出简明、高抽象用于并发分布式计算的Concurrent Apla语言,使其既支持顺序算法的验证又能有效地验证并发分布式算法.在依赖-卫式推理的基础上,提出一种新颖的2层并发分布式算法形式化验证方法,其中系统层用于处理并发级验证,而组件层用于处理顺序级验证.最后,通过2个实例验证了该方法的有效性和可行性. 展开更多
关键词 并发分布式计算 依赖-卫式推理 concurrent APLA 形式化验证
在线阅读 下载PDF
无锁并发布谷鸟过滤器
2
作者 王瀚橙 陈志鹏 +3 位作者 戴海鹏 顾荣 KIM Chaewon 陈贵海 《软件学报》 北大核心 2025年第7期3339-3357,共19页
布谷鸟过滤器是一种高效的概率型数据结构,该数据结构可以快速判断某个元素是否存在于给定集合中,被广泛应用于计算机网络、物联网应用以及数据库系统中.在实践中,上述系统通常需要处理海量数据以及大量并发请求.实现支持高并发的布谷... 布谷鸟过滤器是一种高效的概率型数据结构,该数据结构可以快速判断某个元素是否存在于给定集合中,被广泛应用于计算机网络、物联网应用以及数据库系统中.在实践中,上述系统通常需要处理海量数据以及大量并发请求.实现支持高并发的布谷鸟过滤器可以显著提升系统吞吐以及数据处理能力,对提升系统性能至关重要.为此,设计一个支持无锁并发的布谷鸟过滤器.该过滤器通过所提出的两阶段查询、路径探查与元素迁移分离,以及基于多机器字比较并交换的原子迁移技术实现高性能的查询、插入和删除操作.理论分析和实验验证结果均表明,无锁并发布谷鸟过滤器显著提升现有最先进算法的并发性能.无锁并发布谷鸟过滤器的查询吞吐量,平均为使用细粒度锁的布谷鸟过滤器的查询吞吐量的1.94倍. 展开更多
关键词 布谷鸟过滤器 并发 近似成员资格查询 概率数据结构 计算机网络
在线阅读 下载PDF
高性能CAE软件性能评测平台的设计与应用
3
作者 李于锋 段博文 肖永浩 《计算机应用》 CSCD 北大核心 2024年第S01期193-198,共6页
高性能计算机辅助工程(CAE)软件在复杂多物理过程仿真、大规模高逼真度数值模拟中发挥重要作用。高性能CAE软件的性能评测是衡量它性能指标的重要手段。传统手工基于算例评测的方式难以适应批量软件大量算例的并发评测,数据采集、性能... 高性能计算机辅助工程(CAE)软件在复杂多物理过程仿真、大规模高逼真度数值模拟中发挥重要作用。高性能CAE软件的性能评测是衡量它性能指标的重要手段。传统手工基于算例评测的方式难以适应批量软件大量算例的并发评测,数据采集、性能分析等各阶段的数据管理、资源调度、性能指标计算以及评测报告撰写等活动脱节,制约高性能CAE软件的研发效率和评估效率。从高性能CAE软件研发模式和性能评测的需求出发,提出性能评测的数据模型和执行模型,基于科学工作流技术实现多软件、多算例、多规模的三层嵌套并发评测,设计并实现了高性能CAE软件性能评测平台,平台采用松耦合的可执行组件封装技术,提供软件和算例等信息管理、超算资源无缝对接、评测流程自动化执行和评测报告自动生成功能,在实际项目中采用该平台完成了数十个软件上百算例的并发评测。 展开更多
关键词 性能评测 计算机辅助工程软件 工作流引擎 并发 高性能计算
在线阅读 下载PDF
面向边缘计算的并发数据流接转控制模型
4
作者 张明 付乐 王海峰 《计算机应用》 CSCD 北大核心 2024年第12期3876-3883,共8页
为提高边缘计算应用场景中数据的传输效率,有效管理并发数据流量,设计一种面向边缘计算的并发数据流接转控制模型。首先,基于数据平面开发套件(DPDK)的绕过内核、多核处理和多网口收发数据包等特点,实现对数据流的并发接收和转发处理;其... 为提高边缘计算应用场景中数据的传输效率,有效管理并发数据流量,设计一种面向边缘计算的并发数据流接转控制模型。首先,基于数据平面开发套件(DPDK)的绕过内核、多核处理和多网口收发数据包等特点,实现对数据流的并发接收和转发处理;其次,通过建立以模型预测控制(MPC)为核心的系统模型,利用状态预测优化控制输入并及时反馈调整,从而实现数据流量控制;最后,提出一种加权轮询(WRR)算法,根据缓冲区的大小和最近使用时间等因素分配权重,进而实现数据流负载均衡。实验结果表明,所提模型能够有效控制边缘网络环境中的实时数据流速,控制误差在-1%~2%。所提模型在实际应用场景中边缘节点的数据流发送码率相较于传统Linux内核转发有所提高,传输质量和数据包时延也得到相应改善。可见,所提模型能够满足边缘集群和物联网数据中心对低延迟和高带宽的需求,在消减峰值负载的同时优化关键计算资源。 展开更多
关键词 边缘计算 并发数据流 数据平面开发套件 模型预测控制 负载均衡
在线阅读 下载PDF
支持 CAD/CAPP/CAM 集成和并行的制造特征 被引量:13
5
作者 蒋祖华 严隽琪 +2 位作者 金烨 黄宇辉 汤群宏 《上海交通大学学报》 EI CAS CSCD 北大核心 1998年第5期93-95,共3页
由于设计和制造过程的复杂性,目前还没有一种有效的方法能彻底解决产品设计、制造和生产管理等生命周期内各个阶段的信息集成问题.探讨了并行工程下的CAD/CAPP/CAM的集成框架,提出了支持CAD/CAPP/CAM集成和... 由于设计和制造过程的复杂性,目前还没有一种有效的方法能彻底解决产品设计、制造和生产管理等生命周期内各个阶段的信息集成问题.探讨了并行工程下的CAD/CAPP/CAM的集成框架,提出了支持CAD/CAPP/CAM集成和并行运行的制造特征,并在商品化CAD/CAM软件UGⅡ上进行了开发工作.该系统已通过纺织行业箱体、柴油机行业的油泵以及机床厂的主轴箱等多种零件考核. 展开更多
关键词 计算机集成制造 并行工程 CAD CAPP CAM
在线阅读 下载PDF
Hadoop平台的性能优化研究 被引量:51
6
作者 栾亚建 黄翀民 +1 位作者 龚高晟 赵铁柱 《计算机工程》 CAS CSCD 北大核心 2010年第14期262-263,266,共3页
随着基于MapReduce模型的应用程序越来越多,Hadoop性能取决于应用程序。针对上述特性,从应用着手剖析Hadoop存在的局限和不足,提出解决方案,利用作业和任务的多重并发平衡磁盘和网络带宽,减小瓶颈出现的可能性,提高系统性能。
关键词 分布式计算 存储 并发I/O 性能优化
在线阅读 下载PDF
基于Pi-演算的Web服务组合的描述和验证 被引量:107
7
作者 廖军 谭浩 刘锦德 《计算机学报》 EI CSCD 北大核心 2005年第4期635-643,共9页
形式化方法对于建模和验证软件系统是一种有效的方法,所以对 Web服务的形式化描述和验证是一个重要的研究方向.对于Web服务及其组合来说,保证其组合正确性以实现其服务增值是十分必要的.Pi 演算是一种移动进程代数,可用于对并发和动态... 形式化方法对于建模和验证软件系统是一种有效的方法,所以对 Web服务的形式化描述和验证是一个重要的研究方向.对于Web服务及其组合来说,保证其组合正确性以实现其服务增值是十分必要的.Pi 演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.该文基于 Pi 演算对 Web服务及其组合进行形式化描述和建模.文中说明了Pi 演算与以前形式化方法的不同之处,分析了Pi 演算应用于Web服务组合需要解决的问题.讨论了Pi 演算与Web服务协议栈的对应关系,说明了利用Pi 演算建立 Web服务组合模型的规则,指出了如何寻找代理和通道.最后建立了一个实际的模型,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证. 展开更多
关键词 PI-演算 进程代数 WEB服务 服务组合 服务形式化
在线阅读 下载PDF
设计计算机辅助协同工作系统的几个关键技术 被引量:31
8
作者 茅兵 杜兴 谢立 《计算机研究与发展》 EI CSCD 北大核心 1996年第4期241-247,共7页
计算机辅助协同工作(CSCW)的出现,反映了人们对计算机功能需求的改变,即希望计算机从传统的解决计算问题发展为辅助用户的交互活动。本文介绍了计算机辅助协同工作的概念,着重从人机接口,并发控制和协同管理等方面介绍了它的... 计算机辅助协同工作(CSCW)的出现,反映了人们对计算机功能需求的改变,即希望计算机从传统的解决计算问题发展为辅助用户的交互活动。本文介绍了计算机辅助协同工作的概念,着重从人机接口,并发控制和协同管理等方面介绍了它的现状及问题,并讨论了解决方法。 展开更多
关键词 CSCW 人机接口 并发控制 协同管理
在线阅读 下载PDF
CSCW系统中的并发控制机制的研究 被引量:24
9
作者 冯晨华 徐捷 +1 位作者 王鸿谷 庄钊文 《计算机工程与应用》 CSCD 北大核心 1999年第4期21-23,41,共4页
并发控制是CSCW系统的关键技术之一,旨在解决由于多用户同时操作可能产生的冲突,它与传统分布式系统的并发控制存在很大的差别。该文首先讨论了CSCW系统的并发控制机制的特点和功能需求,接着简要介绍了CSCW系统中各种并发控制方法,... 并发控制是CSCW系统的关键技术之一,旨在解决由于多用户同时操作可能产生的冲突,它与传统分布式系统的并发控制存在很大的差别。该文首先讨论了CSCW系统的并发控制机制的特点和功能需求,接着简要介绍了CSCW系统中各种并发控制方法,评述了其优缺点,着重研究了各种并发控制方法对用户接口的影响。最后,从设计实际CSCW系统的角度出发,讨论了选择和设计合适的并发控制算法应重点考虑的要素。 展开更多
关键词 并发控制 CSCW系统 人机交互
在线阅读 下载PDF
基于并发跳表的云数据处理双层索引架构研究 被引量:5
10
作者 周维 路劲 +2 位作者 周可人 王世普 姚绍文 《计算机研究与发展》 EI CSCD 北大核心 2015年第7期1531-1545,共15页
云数据处理在云计算基础设施中占有极其关键的地位.然而,当前的云存储系统绝大部分都采用基于分布式Hash的健-值对模式来组织数据,在范围查询方面支持不理想、且动态实时性差,有必要构建云环境下辅助动态索引.通过总结、分析云环境中辅... 云数据处理在云计算基础设施中占有极其关键的地位.然而,当前的云存储系统绝大部分都采用基于分布式Hash的健-值对模式来组织数据,在范围查询方面支持不理想、且动态实时性差,有必要构建云环境下辅助动态索引.通过总结、分析云环境中辅助双层索引机制,提出一种基于并发跳表的云数据处理双层索引架构.该架构采用两层体系结构,突破单台机器内存和硬盘的限制,从而扩展系统整体的索引范围.通过动态分裂算法解决局部服务器中的热点问题,保证索引结构整体的负载均衡.通过并发跳表来提高全局索引的承载性能,改善了全局索引的并发性,提高整体索引的吞吐率.实验结果表明,基于并发跳表的云数据处理双层索引架构能够有效支持单键查询和范围查询,具有较强的可扩展性和并发性,是一种高效的云存储辅助索引. 展开更多
关键词 云计算 双层索引 并发跳表 范围查询 乐观并发控制
在线阅读 下载PDF
移动数据库系统乐观事务处理策略 被引量:20
11
作者 丁治明 孟小峰 王珊 《计算机研究与发展》 EI CSCD 北大核心 2002年第10期1379-1387,共9页
在移动数据库系统中 ,计算平台的移动性、频繁的断接性以及长事务等特性使得传统的事务处理模式不再适用 .为了解决移动数据库中的事务处理问题 ,提出了一种新的移动事务处理模型——乐观两阶段提交移动事务模型 ( O2 PC-MT) .该模型采... 在移动数据库系统中 ,计算平台的移动性、频繁的断接性以及长事务等特性使得传统的事务处理模式不再适用 .为了解决移动数据库中的事务处理问题 ,提出了一种新的移动事务处理模型——乐观两阶段提交移动事务模型 ( O2 PC-MT) .该模型采用乐观并发控制与两阶段提交协议相结合的方法 ,对移动事务的长事务特性提供了灵活与有效的支持 ;此外 ,该模型允许移动计算机分多次发送事务操作 ,且在事务执行的过程中可以任意移动 ,从而提供了对交互式事务及随意移动性的支持 .实验结果表明 ,与基于两段锁协议及其变形的其它移动事务处理模型相比 ,O2 展开更多
关键词 移动数据库系统 乐观事务处理策略 移动计算 乐观并发控制
在线阅读 下载PDF
产品需求建模辅助工具系统的研究与开发 被引量:7
12
作者 郭伟 王凤歧 +1 位作者 于鸿彬 董志林 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 1999年第1期33-38,共6页
介绍了一种面向并行设计的产品需求获取、分析与管理的工具系统.该系统包括基于需求拓扑结构的需求获取与拓展模块、以模糊需求分析为核心的需求信息分析处理模块、以质量功能展开矩阵为纲领的需求信息映射处理模块、设计过程规划与重... 介绍了一种面向并行设计的产品需求获取、分析与管理的工具系统.该系统包括基于需求拓扑结构的需求获取与拓展模块、以模糊需求分析为核心的需求信息分析处理模块、以质量功能展开矩阵为纲领的需求信息映射处理模块、设计过程规划与重组模块以及需求建模过程回溯模块.对该系统的有效性,结合石油管道外涂层缠绕机设计。 展开更多
关键词 产品需求 建模 计算机辅助工程 石油管道 缠绕机
在线阅读 下载PDF
计算机支持的协同工作并发控制策略 被引量:16
13
作者 肖波 张东 诸鸿文 《上海交通大学学报》 EI CAS CSCD 北大核心 1999年第1期101-103,114,共4页
基于对CSCW中复制结构的支持结构、应用模型、操作执行次序和失序纠正等方面的分析,提出了一种适用于复制结构的CSCW并发控制框架模型.采用向量时间方法,在规定操作执行次序方面定义一种新的字典全序,并设计了通用失序纠正... 基于对CSCW中复制结构的支持结构、应用模型、操作执行次序和失序纠正等方面的分析,提出了一种适用于复制结构的CSCW并发控制框架模型.采用向量时间方法,在规定操作执行次序方面定义一种新的字典全序,并设计了通用失序纠正策略.此策略为达到执行操作集合结果的一致性提供了一种有效方法。 展开更多
关键词 计算机支持 并发控制 协同工作 CSCW 复制结构
在线阅读 下载PDF
面向并行工程的组合夹具辅助设计系统设计与开发 被引量:9
14
作者 陈蔚芳 欧志球 吕平 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第9期1196-1201,共6页
提出了一种基于Web的计算机辅助夹具设计系统原型 ,并采用基于UML的ICONIX开发过程实现 ,通过用例图、对象类图、Robustness图和顺序图明确了系统对象类的功能。
关键词 并行工程 组合夹具辅助设计 统一建模语言 例图 对象类图 Robustness图 系统对象类
在线阅读 下载PDF
飞机全生命期过程建模技术及支持环境 被引量:5
15
作者 张莉 周伯生 +1 位作者 崔德刚 刘孟诏 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2001年第4期417-420,共4页
从飞机全生命周期过程建模的需求出发 ,针对大型复杂过程的建模提出了综合过程模型 ,对过程建模语言进行了扩充 .探讨了大型复杂过程的建模方法 ,设计并开发了相应的过程建模和模拟软件 ,并成功地应用于某型飞机研制过程的建模 .
关键词 软件工具 飞机 并行工程 全生命期 过程建模
在线阅读 下载PDF
基于Hadoop的大矩阵乘法处理方法 被引量:8
16
作者 孙远帅 陈垚 +1 位作者 官新均 林琛 《计算机应用》 CSCD 北大核心 2013年第12期3339-3344,3358,共7页
目前的矩阵乘法算法无法处理大规模和超大规模的矩阵,而随着MapReduce编程框架的提出,并行处理矩阵乘法成为解决大矩阵运算的主要手段。总结了矩阵乘法在MapReduce编程模型上的并行实现方法,并提出了实现高性能大矩阵乘法的策略———... 目前的矩阵乘法算法无法处理大规模和超大规模的矩阵,而随着MapReduce编程框架的提出,并行处理矩阵乘法成为解决大矩阵运算的主要手段。总结了矩阵乘法在MapReduce编程模型上的并行实现方法,并提出了实现高性能大矩阵乘法的策略———折中单个工作节点的计算量和需要网络传输的数据量。实验证明,并行实现算法在大矩阵上明显优于传统的单机算法,而且随着集群中节点数目的增多,并行算法会表现出更好的性能。 展开更多
关键词 大矩阵 矩阵乘法 矩阵运算 MAPREDUCE HADOOP 并行计算 海量数据
在线阅读 下载PDF
基于流程组态的电力系统安全稳定分析并发计算 被引量:5
17
作者 方勇杰 王胜明 +3 位作者 徐泰山 邵伟 徐健 郭剑 《电力系统保护与控制》 EI CSCD 北大核心 2018年第11期92-98,共7页
针对电力系统安全稳定分析分布式计算的应用现状,基于异步并发和工作流的思想,提出了一种适应于粗粒度算例并行的电力系统安全稳定分析多层次并发计算框架。通过多数据断面并行和多应用功能并发,在不改变安全稳定分析程序算法逻辑的前提... 针对电力系统安全稳定分析分布式计算的应用现状,基于异步并发和工作流的思想,提出了一种适应于粗粒度算例并行的电力系统安全稳定分析多层次并发计算框架。通过多数据断面并行和多应用功能并发,在不改变安全稳定分析程序算法逻辑的前提下,实现对不同断面下多个应用功能的计算任务异步并发调度管理,有效提高了计算资源的利用率。基于过程定义方法对安全稳定分析应用功能进行统一封装,满足不同运行场景下安全稳定分析计算流程的定制化需求。该技术已在多个省级及以上电网安全稳定综合防御系统中得到应用,验证了该方法的有效性。 展开更多
关键词 异步并发管理 流程组态 多断面并行 多应用并发 粗粒度
在线阅读 下载PDF
并行设计研究现状及其发展趋势 被引量:26
18
作者 何浩 徐燕申 《机械设计》 CSCD 北大核心 1998年第1期1-4,共4页
本文简要地介绍了并行设计思想发展和演变的历史过程。并从三个重要方面对目前并行设计的研究现状进行了评述,最后结合当前技术发展特点,对并行设计未来的发展趋势进行了探讨。
关键词 并行设计 敏捷制造 计算机网络
在线阅读 下载PDF
CSCW研究中关键技术分析 被引量:9
19
作者 谭郁松 王晓东 周兴铭 《计算机科学》 CSCD 北大核心 1998年第3期34-37,共4页
1 CSCW概述 1.1CSCW的要领及分类“计算机支持协同工作”(Computer Supported Cooperative Work,CSCW)
关键词 CSCW 人机交互系统 冲突消解 并发控制
在线阅读 下载PDF
金属直接成型系统多任务控制方法研究 被引量:4
20
作者 张嘉易 刘伟军 +1 位作者 王天然 刘英 《机械设计与制造》 2003年第6期86-87,共2页
简述了基于同步送粉器的金属直接成型系统工作原理;并介绍了金属直接成形时多任务控制的特点,提出了功能梯度零件直接成型的可行算法。应用并行控制的基本理论思想,提出了金属直接成型系统多任务并行控制方法。编制了并行系统控制VC软件... 简述了基于同步送粉器的金属直接成型系统工作原理;并介绍了金属直接成形时多任务控制的特点,提出了功能梯度零件直接成型的可行算法。应用并行控制的基本理论思想,提出了金属直接成型系统多任务并行控制方法。编制了并行系统控制VC软件,实现了工作台三维运动与送粉器及激光系统的精确同步运行。 展开更多
关键词 快速成型 计算机控制 并行控制 多任务控制 金属直接成型系统 同步送粉器
在线阅读 下载PDF
上一页 1 2 9 下一页 到第
使用帮助 返回顶部