期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到8篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于BIM技术的泵闸工程三维协同集成化设计方案研究 被引量：10
1
作者 任华春 《水利水电技术》 CSCD 北大核心 2017年第5期67-73,86,共8页
在泵闸工程多专业设计进程中,BIM三维协同技术是否优于传统二维协同设计,以及BIM集成化设计方案如何实现,是决定水利工程BIM技术推广应用亟需解决的问题。在二维设计串行工作方式的基础上,通过建立分解并行系数、校订并行系数和延滞系... 在泵闸工程多专业设计进程中,BIM三维协同技术是否优于传统二维协同设计,以及BIM集成化设计方案如何实现,是决定水利工程BIM技术推广应用亟需解决的问题。在二维设计串行工作方式的基础上,通过建立分解并行系数、校订并行系数和延滞系数三参数,综合反映协同任务并行程度。并行进程的量化分析表明:在中小型泵闸工程中,应用BIM三维协同技术较传统二维协同设计可提高设计效率约10%;在三维协同设计平台上,同步实现了设计阶段建模、协同、碰撞、图纸、报表等模块,完成数字一体化设计与交付,建立了BIM集成化设计方案的体系框架。BIM三维协同集成化设计可成为提升工程建设整体效率与设计质量的重要途径。 展开更多
关键词 BIM三维协同技术 并行进程 平原地区 定光塘泵闸 集成化设计
下载PDF
基于P-不变量的Petri网并行化方法的研究 被引量：2
2
作者 李文敬 王汝凉 廖伟志 《计算机工程与设计》 CSCD 北大核心 2009年第16期3758-3761,3770,共5页
为使Petri网系统能够并行执行或模拟运行,提出了基于P-不变量的Petri网并行化方法。根据Petri网系统具有同步与并发的特点,给出基于P-不变量的Petri网模型分割、进程创建条件与并行化分析。在此基础上,提出并行进程创建条件拓展定理并... 为使Petri网系统能够并行执行或模拟运行,提出了基于P-不变量的Petri网并行化方法。根据Petri网系统具有同步与并发的特点,给出基于P-不变量的Petri网模型分割、进程创建条件与并行化分析。在此基础上,提出并行进程创建条件拓展定理并给予证明和实例验证。给出实现并行化所需要解决的Petri网模型行为规范的形式化、P-不变量求解与基于P-不变量的Petri网并行化方法。实验结果表明,基于P-不变量的Petri网系统的并行化方法是可行和有效的。 展开更多
关键词 P-不变量 PETRI网 分割 并行进程 并行化方法
下载PDF
柔性多体系统动力学的并行迭代算法 被引量：1
3
作者 孙卫 周小平 《四川师范大学学报（自然科学版）》 CAS 北大核心 2016年第6期869-874,共6页
为了提高多体系统动力学数值计算的稳定性和精度,针对柔性多体系统动力学建模方式和求解算法问题,采用分类算法、迭加算法完成了柔性多体系统动力学模型求解,利用波形松弛技术和RK离散方法设计并实现了柔性多体系统的并行迭代算法,为了... 为了提高多体系统动力学数值计算的稳定性和精度,针对柔性多体系统动力学建模方式和求解算法问题,采用分类算法、迭加算法完成了柔性多体系统动力学模型求解,利用波形松弛技术和RK离散方法设计并实现了柔性多体系统的并行迭代算法,为了降低计算的复杂性改进这些迭代算法的收敛速度,提出了内外步并行迭代进程,并进一步证明了相应迭代算法的收敛性,完成了误差估计. 展开更多
关键词 柔性 多体系统 波形松弛 并行进程 优化
下载PDF
TRANSPUTER处理器的并行处理技术
4
作者 翁杰军 章根法 《声学与电子工程》 1994年第3期27-33,共7页
讨论了单个TRANSPUTER处理器内部以及多个TRANSPUTER处理器之间的并行操作,并用OCCAM语言说明了并行操作的机制.
关键词 并行进程 通道 切换点 并引处理器
下载PDF
并行进程的调试程序
5
作者 GRIF.,JH 汪良 《软件》 北大核心 1989年第6期480-489,共10页
关键词 并行进程 调试程序 多任务处理
下载PDF
基本并行进程活性的限界模型检测 被引量：2
6
作者 谭锦豪 李国强 《软件学报》 EI CSCD 北大核心 2020年第8期2388-2403,共16页
基本并行进程是一个用于描述和分析并发程序的模型,是Petri网的一个重要子类.EG逻辑是一种在Hennessy-Milner Logic的基础上增加EG算子的分支时间逻辑,其中的AF算子表示从当前的状态出发性质最终会被满足,因此EG逻辑是能够表达活性的逻... 基本并行进程是一个用于描述和分析并发程序的模型,是Petri网的一个重要子类.EG逻辑是一种在Hennessy-Milner Logic的基础上增加EG算子的分支时间逻辑,其中的AF算子表示从当前的状态出发性质最终会被满足,因此EG逻辑是能够表达活性的逻辑.然而,基于基本并行进程的EG逻辑的模型检测问题是不可判定的.由此,提出了基本并行进程上EG逻辑的限界模型检测方法.首先给出了基本并行进程上EG逻辑的限界语义,然后采用基于约束的方法,将基本并行进程上EG逻辑的限界模型检测问题转化为线性整数算术公式的可满足性问题,最后利用SMT求解器进行求解. 展开更多
关键词 基本并行进程 限界模型检测 活性 线性整数算术 SMT求解
下载PDF
基于基本并行进程的异步通信程序的验证方法
7
作者 赵樱 谭锦豪 李国强 《软件学报》 EI CSCD 北大核心 2022年第8期2782-2796,共15页
异步通信程序是进程间通过异步消息通信实现非阻塞并发的程序.当前异步通信程序的程序验证问题通常将其归约至向量加法系统及其扩展模型,因而复杂度很高,缺乏高效工具.基本并行进程作为向量加法系统的一个子类,其可达性的验证问题为NP完... 异步通信程序是进程间通过异步消息通信实现非阻塞并发的程序.当前异步通信程序的程序验证问题通常将其归约至向量加法系统及其扩展模型,因而复杂度很高,缺乏高效工具.基本并行进程作为向量加法系统的一个子类,其可达性的验证问题为NP完备.首先,改进了Osualdo等人提出的为异步通信程序建模的Actor通信系统,将其归约至基本并行进程.然后,实现了基本并行进程的模型检测工具RABLE,实验结果表明,验证方法在异步通信程序的一系列程序验证问题上具有比已有工具更高效的结果. 展开更多
关键词 异步通信程序 基本并行进程 Actor通信系统 模型检测 可达性
下载PDF
周期性可定实时并行进程的进化代数分析
8
作者 梁平 《电脑知识与技术》 2006年第1期144-144,146,共2页
对应用进化代数(EA),即目前的抽象状态机(AbstractStateMachine–ASM),描述可定时实时并行进程进行了研究,进化代数采用第一顺序逻辑(First-OrderLogic)定义或解释计算机问题,描述不同的抽象等级并且逻辑地描述计算机算法,因此非常适合... 对应用进化代数(EA),即目前的抽象状态机(AbstractStateMachine–ASM),描述可定时实时并行进程进行了研究,进化代数采用第一顺序逻辑(First-OrderLogic)定义或解释计算机问题,描述不同的抽象等级并且逻辑地描述计算机算法,因此非常适合描述并行进程复杂的运行过程,并逻辑地精确推导进程调度。 展开更多
关键词 进化代数(EA或ASM) 非正式语义 第一顺序逻辑(FOL) 实时并行进程
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部