期刊文献+
共找到272篇文章
< 1 2 14 >
每页显示 20 50 100
一种基于Concurrent Apla语言的共享内存并发分布式算法2层验证方法 被引量:2
1
作者 王昌晶 余小军 +2 位作者 沈德明 罗海梅 左正康 《江西师范大学学报(自然科学版)》 CAS 北大核心 2020年第3期301-306,共6页
形式化验证共享内存并发分布式算法已成为当前极具挑战性的问题之一,尤其是在云计算、多核、无线传感器网络、分布式数据库、区块链环境下.该文基于研究团队在形式化规约语言和方法、算法形式推导和验证方面的已有工作,以自定义泛型抽... 形式化验证共享内存并发分布式算法已成为当前极具挑战性的问题之一,尤其是在云计算、多核、无线传感器网络、分布式数据库、区块链环境下.该文基于研究团队在形式化规约语言和方法、算法形式推导和验证方面的已有工作,以自定义泛型抽象顺序设计语言Apla为基础,进一步研究并提出简明、高抽象用于并发分布式计算的Concurrent Apla语言,使其既支持顺序算法的验证又能有效地验证并发分布式算法.在依赖-卫式推理的基础上,提出一种新颖的2层并发分布式算法形式化验证方法,其中系统层用于处理并发级验证,而组件层用于处理顺序级验证.最后,通过2个实例验证了该方法的有效性和可行性. 展开更多
关键词 并发分布式计算 依赖-卫式推理 concurrent APLA 形式化验证
下载PDF
An Improved Model for Computing-Intensive Tasks on Heterogeneous Workstations
2
作者 邬延辉 陆鑫达 《Journal of Shanghai Jiaotong university(Science)》 EI 2004年第2期6-9,15,共5页
An improved algorithm, which solves cooperative concurrent computing tasks using the idle cycles of a number of high performance heterogeneous workstations interconnected through a high-speed network, was proposed. In... An improved algorithm, which solves cooperative concurrent computing tasks using the idle cycles of a number of high performance heterogeneous workstations interconnected through a high-speed network, was proposed. In order to get better parallel computation performance, this paper gave a model and an algorithm of task scheduling among heterogeneous workstations, in which the costs of loading data, computing, communication and collecting results are considered. Using this efficient algorithm, an optimal subset of heterogeneous workstations with the shortest parallel executing time of tasks can be selected. 展开更多
关键词 HETEROGENEOUS parallel computing cooperative concurrent computing scheduling
下载PDF
Concurrent multi-task pre-processing method for LEO mega-constellation based on dynamic spatio-temporal grids
3
作者 Xibin CAO Ning LI Shi QIU 《Chinese Journal of Aeronautics》 SCIE EI CAS CSCD 2023年第11期233-248,共16页
The Low Earth Orbit(LEO)remote sensing satellite mega-constellation has the characteristics of large quantity and various types which make it have unique superiority in the realization of concurrent multiple tasks.How... The Low Earth Orbit(LEO)remote sensing satellite mega-constellation has the characteristics of large quantity and various types which make it have unique superiority in the realization of concurrent multiple tasks.However,the complexity of resource allocation is increased because of the large number of tasks and satellites.Therefore,the primary problem of implementing concurrent multiple tasks via LEO mega-constellation is to pre-process tasks and observation re-sources.To address the challenge,we propose a pre-processing algorithm for the mega-constellation based on highly Dynamic Spatio-Temporal Grids(DSTG).In the first stage,this paper describes the management model of mega-constellation and the multiple tasks.Then,the coding method of DSTG is proposed,based on which the description of complex mega-constellation observation resources is realized.In the third part,the DSTG algorithm is used to realize the processing of concurrent multiple tasks at multiple levels,such as task space attribute,time attribute and grid task importance evaluation.Finally,the simulation result of the proposed method in the case of constellation has been given to verify the effectiveness of concurrent multi-task pre-processing based on DSTG.The autonomous processing process of task decomposition and task fusion and mapping to grids,and the convenient indexing process of time window are verified. 展开更多
关键词 LEO mega-constellation concurrent multiple tasks Tasks pre-processing Highly dynamic spatiotemporal grids Multi-task fusion merging Importance evaluation
原文传递
高性能CAE软件性能评测平台的设计与应用
4
作者 李于锋 段博文 肖永浩 《计算机应用》 CSCD 北大核心 2024年第S01期193-198,共6页
高性能计算机辅助工程(CAE)软件在复杂多物理过程仿真、大规模高逼真度数值模拟中发挥重要作用。高性能CAE软件的性能评测是衡量它性能指标的重要手段。传统手工基于算例评测的方式难以适应批量软件大量算例的并发评测,数据采集、性能... 高性能计算机辅助工程(CAE)软件在复杂多物理过程仿真、大规模高逼真度数值模拟中发挥重要作用。高性能CAE软件的性能评测是衡量它性能指标的重要手段。传统手工基于算例评测的方式难以适应批量软件大量算例的并发评测,数据采集、性能分析等各阶段的数据管理、资源调度、性能指标计算以及评测报告撰写等活动脱节,制约高性能CAE软件的研发效率和评估效率。从高性能CAE软件研发模式和性能评测的需求出发,提出性能评测的数据模型和执行模型,基于科学工作流技术实现多软件、多算例、多规模的三层嵌套并发评测,设计并实现了高性能CAE软件性能评测平台,平台采用松耦合的可执行组件封装技术,提供软件和算例等信息管理、超算资源无缝对接、评测流程自动化执行和评测报告自动生成功能,在实际项目中采用该平台完成了数十个软件上百算例的并发评测。 展开更多
关键词 性能评测 计算机辅助工程软件 工作流引擎 并发 高性能计算
下载PDF
非法获取虚拟货币行为之刑法定性——基于“权利束”理论的展开
5
作者 宋路明 《河南财经政法大学学报》 2024年第5期58-68,共11页
无论是将非法获取虚拟货币的行为定性为财产犯罪、计算机犯罪,抑或认定成立财产犯罪与计算机犯罪的想象竞合犯,均有其局限性。故有必要在肯定虚拟货币的复合属性是行为定性的逻辑起点这一前提的基础上,对虚拟货币的多维度属性进行分置... 无论是将非法获取虚拟货币的行为定性为财产犯罪、计算机犯罪,抑或认定成立财产犯罪与计算机犯罪的想象竞合犯,均有其局限性。故有必要在肯定虚拟货币的复合属性是行为定性的逻辑起点这一前提的基础上,对虚拟货币的多维度属性进行分置讨论。在技术维度承认虚拟货币的唯一属性,即数据属性;在规范维度承认虚拟货币的复合属性,即财产属性或数据属性,并适时引入“权利束”理论,将虚拟货币在技术维度上的数据属性这一物质基础作为“权利束”的“束点”,将规范维度上由虚拟货币的财产属性、数据属性所衍生出的财产法益、数据法益等法益作为“分支束体”,构建起一种从“束点”到“分支束体”再到具体犯罪是否成立的相对开放的、多层次的、立体化的判断模式。 展开更多
关键词 虚拟货币 财产犯罪 计算机犯罪 想象竞合犯 权利束
下载PDF
Computed tomography-based delta-radiomics enabling early prediction ofshort-term responses to concurrent chemoradiotherapy for patients withnon-small cell lung cancer
6
作者 Fengqin Zhou Jianping Bi +6 位作者 Shen Wu Yi Ding Jun Chen Mengting Yuan Yaoyao He Guang Han Zilong Yuan 《Radiation Medicine and Protection》 CSCD 2023年第4期227-235,共9页
Objective:To explore the potential of computed tomography(CT)-based delta-radiomics in predicting early shortterm responses to concurrent chemoradiotherapy for patients with non-small cell lung cancer(NSCLC),in order ... Objective:To explore the potential of computed tomography(CT)-based delta-radiomics in predicting early shortterm responses to concurrent chemoradiotherapy for patients with non-small cell lung cancer(NSCLC),in order to determine the optimal time point for the prediction.Methods:A total of 20 patients with pathologically confirmed NSCLC were prospectively enrolled in this study,who did not receive surgical treatment between February 2021 and February 2022.For each case,a total of 1,210 radiomic features(RFs)were extracted from both planning CT(pCT)images along with each of the subsequent three weeks of CT images.EffectiveΔRFs were selected using intra-class correlation coefficient(ICC)analysis,Pearson's correlation,ANOVA test(or Mann-Whitney U-test),and univariate logistic regression.The area under the curve(AUC)of the receiver operating characteristic(ROC)curve was used to evaluate the potential to predict short-term responses of different time points.Results:Among the 1,210ΔRFs for 1-3 weeks,121 common features were retained after processing using ICC analysis and Pearson's correlation.These retained features included 54 and 58 of all time points that differed significantly between the response and non-response groups for the first and third months,respectively(P<0.05).After univariate logistic regression,11 and 44 features remained for the first and third months,respectively.Finally,eightΔRFs(P<0.05,AUC=0.77-0.91)that can discriminate short-term responses in both at 1 and 3 months with statistical accuracy were identified.Conclusion:CT-based delta-radiomics has the potential to provide reasonable biomarkers of short-term responses to concurrent chemoradiotherapy for NSCLC patients,and it can help improve clinical decisions for early treatment adaptation. 展开更多
关键词 Non-small cell lung cancer Delta-radiomics Short-term response computed tomography concurrent chemoradiotherapy
原文传递
Direct measurement of the concurrence of hybrid entangled state based on parity check measurements
7
作者 Man Zhang Lan Zhou +1 位作者 Wei Zhong Yu-Bo Sheng 《Chinese Physics B》 SCIE EI CAS CSCD 2019年第1期205-209,共5页
The hybrid entangled state is widely discussed in quantum information processing. In this paper, we propose the first protocol to directly measure the concurrence of the hybrid entangled state. To complete the measure... The hybrid entangled state is widely discussed in quantum information processing. In this paper, we propose the first protocol to directly measure the concurrence of the hybrid entangled state. To complete the measurement, we design parity check measurements(PCMs) for both the single polarization qubit and the coherent state. In this protocol, we perform three rounds of PCMs. The results show that we can convert the concurrence into the success probability of picking up the correct states from the initial entangled states. This protocol only uses polarization beam splitters, beam splitters, and weak cross-Kerr nonlinearities, which is feasible for future experiments. This protocol may be useful in future quantum information processing. 展开更多
关键词 HYBRID ENTANGLED state quantum computATION PARITY measurement concurrENCE
下载PDF
基于卫星导航基准站网的海量实时解算与服务算法
8
作者 顾建祥 赵奕澎 陈燕 《测绘通报》 CSCD 北大核心 2023年第11期48-53,138,共7页
大地测量基准作为现代基础测绘的重要组成部分,其建立和维持的技术手段、工具及理论方法随着社会的发展及科学的进步发生了巨大的变化。上海市卫星导航定位基准服务系统(SHCORS)通过格网化VRS技术,采用“发布七参数”的作业模式,实现了... 大地测量基准作为现代基础测绘的重要组成部分,其建立和维持的技术手段、工具及理论方法随着社会的发展及科学的进步发生了巨大的变化。上海市卫星导航定位基准服务系统(SHCORS)通过格网化VRS技术,采用“发布七参数”的作业模式,实现了面向海量用户服务,为上海地区提供了高精度、稳定的位置服务。本文对SHCORS系统构建中的关键技术进行了探讨与研究,并对其实时定位精度进行了测试。结果表明,SHCORS系统的精度满足实际应用需求。 展开更多
关键词 SHCORS 虚拟参考站 海量并发 实时地方坐标 分布式解算
下载PDF
面向异构架构的关系型算子并发计算框架OmegaDB 被引量:1
9
作者 赖锦辉 徐子晨 +1 位作者 涂亦澄 谭国龙 《计算机应用》 CSCD 北大核心 2023年第7期2017-2025,共9页
数据库系统的不同查询之间存在访问数据路径重叠和计算共享的可能,而工作负载中的查询分批处理称为多条查询一次执行(Multiple-Query-at-a-Time)模型。一些已开发的多查询处理框架已经被证明有效,然而都缺乏构建完整查询处理和优化方法... 数据库系统的不同查询之间存在访问数据路径重叠和计算共享的可能,而工作负载中的查询分批处理称为多条查询一次执行(Multiple-Query-at-a-Time)模型。一些已开发的多查询处理框架已经被证明有效,然而都缺乏构建完整查询处理和优化方法的普适框架。在基于等价变换来构建查询时算子合并优化框架的基础上,提出一种面向异构架构的关系型算子并发计算框架OmegaDB。该框架通过研究面向GPU的关系算子流批计算模型并构建关系数据查询流水,在CPU-GPU异构架构上实现了聚合多查询的流批计算方法。在实验及原型实现上,通过理论分析和实验结果验证OmegaDB相对传统关系型数据库管理系统(RDBMS)所具备的优势,以及OmegaDB利用新硬件的潜力。根据基于传统关系代数规则的多条查询一次执行模型的查询优化框架的理论研究,提出多个优化方法并展望未来研究方向。使用TPC-H商业智能计算作为基准测试程序,实验结果表明OmegaDB与现代先进的商业数据库系统SQL SERVER相比,在消耗更低的磁盘I/O和CPU时间的情况下,最高可以达到24倍的端到端加速。 展开更多
关键词 高并发关系数据库 多条查询一次执行 关系代数 流批计算 硬件加速
下载PDF
支持 CAD/CAPP/CAM 集成和并行的制造特征 被引量:13
10
作者 蒋祖华 严隽琪 +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
11
作者 栾亚建 黄翀民 +1 位作者 龚高晟 赵铁柱 《计算机工程》 CAS CSCD 北大核心 2010年第14期262-263,266,共3页
随着基于MapReduce模型的应用程序越来越多,Hadoop性能取决于应用程序。针对上述特性,从应用着手剖析Hadoop存在的局限和不足,提出解决方案,利用作业和任务的多重并发平衡磁盘和网络带宽,减小瓶颈出现的可能性,提高系统性能。
关键词 分布式计算 存储 并发I/O 性能优化
下载PDF
基于Pi-演算的Web服务组合的描述和验证 被引量:107
12
作者 廖军 谭浩 刘锦德 《计算机学报》 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
13
作者 茅兵 杜兴 谢立 《计算机研究与发展》 EI CSCD 北大核心 1996年第4期241-247,共7页
计算机辅助协同工作(CSCW)的出现,反映了人们对计算机功能需求的改变,即希望计算机从传统的解决计算问题发展为辅助用户的交互活动。本文介绍了计算机辅助协同工作的概念,着重从人机接口,并发控制和协同管理等方面介绍了它的... 计算机辅助协同工作(CSCW)的出现,反映了人们对计算机功能需求的改变,即希望计算机从传统的解决计算问题发展为辅助用户的交互活动。本文介绍了计算机辅助协同工作的概念,着重从人机接口,并发控制和协同管理等方面介绍了它的现状及问题,并讨论了解决方法。 展开更多
关键词 CSCW 人机接口 并发控制 协同管理
下载PDF
CSCW系统中的并发控制机制的研究 被引量:24
14
作者 冯晨华 徐捷 +1 位作者 王鸿谷 庄钊文 《计算机工程与应用》 CSCD 北大核心 1999年第4期21-23,41,共4页
并发控制是CSCW系统的关键技术之一,旨在解决由于多用户同时操作可能产生的冲突,它与传统分布式系统的并发控制存在很大的差别。该文首先讨论了CSCW系统的并发控制机制的特点和功能需求,接着简要介绍了CSCW系统中各种并发控制方法,... 并发控制是CSCW系统的关键技术之一,旨在解决由于多用户同时操作可能产生的冲突,它与传统分布式系统的并发控制存在很大的差别。该文首先讨论了CSCW系统的并发控制机制的特点和功能需求,接着简要介绍了CSCW系统中各种并发控制方法,评述了其优缺点,着重研究了各种并发控制方法对用户接口的影响。最后,从设计实际CSCW系统的角度出发,讨论了选择和设计合适的并发控制算法应重点考虑的要素。 展开更多
关键词 并发控制 CSCW系统 人机交互
下载PDF
基于并发跳表的云数据处理双层索引架构研究 被引量:5
15
作者 周维 路劲 +2 位作者 周可人 王世普 姚绍文 《计算机研究与发展》 EI CSCD 北大核心 2015年第7期1531-1545,共15页
云数据处理在云计算基础设施中占有极其关键的地位.然而,当前的云存储系统绝大部分都采用基于分布式Hash的健-值对模式来组织数据,在范围查询方面支持不理想、且动态实时性差,有必要构建云环境下辅助动态索引.通过总结、分析云环境中辅... 云数据处理在云计算基础设施中占有极其关键的地位.然而,当前的云存储系统绝大部分都采用基于分布式Hash的健-值对模式来组织数据,在范围查询方面支持不理想、且动态实时性差,有必要构建云环境下辅助动态索引.通过总结、分析云环境中辅助双层索引机制,提出一种基于并发跳表的云数据处理双层索引架构.该架构采用两层体系结构,突破单台机器内存和硬盘的限制,从而扩展系统整体的索引范围.通过动态分裂算法解决局部服务器中的热点问题,保证索引结构整体的负载均衡.通过并发跳表来提高全局索引的承载性能,改善了全局索引的并发性,提高整体索引的吞吐率.实验结果表明,基于并发跳表的云数据处理双层索引架构能够有效支持单键查询和范围查询,具有较强的可扩展性和并发性,是一种高效的云存储辅助索引. 展开更多
关键词 云计算 双层索引 并发跳表 范围查询 乐观并发控制
下载PDF
移动数据库系统乐观事务处理策略 被引量:20
16
作者 丁治明 孟小峰 王珊 《计算机研究与发展》 EI CSCD 北大核心 2002年第10期1379-1387,共9页
在移动数据库系统中 ,计算平台的移动性、频繁的断接性以及长事务等特性使得传统的事务处理模式不再适用 .为了解决移动数据库中的事务处理问题 ,提出了一种新的移动事务处理模型——乐观两阶段提交移动事务模型 ( O2 PC-MT) .该模型采... 在移动数据库系统中 ,计算平台的移动性、频繁的断接性以及长事务等特性使得传统的事务处理模式不再适用 .为了解决移动数据库中的事务处理问题 ,提出了一种新的移动事务处理模型——乐观两阶段提交移动事务模型 ( O2 PC-MT) .该模型采用乐观并发控制与两阶段提交协议相结合的方法 ,对移动事务的长事务特性提供了灵活与有效的支持 ;此外 ,该模型允许移动计算机分多次发送事务操作 ,且在事务执行的过程中可以任意移动 ,从而提供了对交互式事务及随意移动性的支持 .实验结果表明 ,与基于两段锁协议及其变形的其它移动事务处理模型相比 ,O2 展开更多
关键词 移动数据库系统 乐观事务处理策略 移动计算 乐观并发控制
下载PDF
产品需求建模辅助工具系统的研究与开发 被引量:7
17
作者 郭伟 王凤歧 +1 位作者 于鸿彬 董志林 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 1999年第1期33-38,共6页
介绍了一种面向并行设计的产品需求获取、分析与管理的工具系统.该系统包括基于需求拓扑结构的需求获取与拓展模块、以模糊需求分析为核心的需求信息分析处理模块、以质量功能展开矩阵为纲领的需求信息映射处理模块、设计过程规划与重... 介绍了一种面向并行设计的产品需求获取、分析与管理的工具系统.该系统包括基于需求拓扑结构的需求获取与拓展模块、以模糊需求分析为核心的需求信息分析处理模块、以质量功能展开矩阵为纲领的需求信息映射处理模块、设计过程规划与重组模块以及需求建模过程回溯模块.对该系统的有效性,结合石油管道外涂层缠绕机设计。 展开更多
关键词 产品需求 建模 计算机辅助工程 石油管道 缠绕机
下载PDF
计算机支持的协同工作并发控制策略 被引量:16
18
作者 肖波 张东 诸鸿文 《上海交通大学学报》 EI CAS CSCD 北大核心 1999年第1期101-103,114,共4页
基于对CSCW中复制结构的支持结构、应用模型、操作执行次序和失序纠正等方面的分析,提出了一种适用于复制结构的CSCW并发控制框架模型.采用向量时间方法,在规定操作执行次序方面定义一种新的字典全序,并设计了通用失序纠正... 基于对CSCW中复制结构的支持结构、应用模型、操作执行次序和失序纠正等方面的分析,提出了一种适用于复制结构的CSCW并发控制框架模型.采用向量时间方法,在规定操作执行次序方面定义一种新的字典全序,并设计了通用失序纠正策略.此策略为达到执行操作集合结果的一致性提供了一种有效方法。 展开更多
关键词 计算机支持 并发控制 协同工作 CSCW 复制结构
下载PDF
面向并行工程的组合夹具辅助设计系统设计与开发 被引量:9
19
作者 陈蔚芳 欧志球 吕平 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第9期1196-1201,共6页
提出了一种基于Web的计算机辅助夹具设计系统原型 ,并采用基于UML的ICONIX开发过程实现 ,通过用例图、对象类图、Robustness图和顺序图明确了系统对象类的功能。
关键词 并行工程 组合夹具辅助设计 统一建模语言 例图 对象类图 Robustness图 系统对象类
下载PDF
飞机全生命期过程建模技术及支持环境 被引量:5
20
作者 张莉 周伯生 +1 位作者 崔德刚 刘孟诏 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2001年第4期417-420,共4页
从飞机全生命周期过程建模的需求出发 ,针对大型复杂过程的建模提出了综合过程模型 ,对过程建模语言进行了扩充 .探讨了大型复杂过程的建模方法 ,设计并开发了相应的过程建模和模拟软件 ,并成功地应用于某型飞机研制过程的建模 .
关键词 软件工具 飞机 并行工程 全生命期 过程建模
下载PDF
上一页 1 2 14 下一页 到第
使用帮助 返回顶部