期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
基于P-不变量的Petri网并行化方法的研究 被引量:2
1
作者 李文敬 王汝凉 廖伟志 《计算机工程与设计》 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
Petri网系统并行化方法的研究 被引量:1
2
作者 李文敬 王汝凉 蓝贞雄 《广西大学学报(自然科学版)》 CAS CSCD 北大核心 2009年第3期400-405,共6页
对Petri网系统并行化一般方法的研究。给出了使用P/T网作为研究对象的原因以及基于P-不变量的Petri网系统分割技术和并行进程创建的条件;提出了非负库所和共享库所进程的并行化条件和方法,并对它们进行证明和实例验证;对不存在P-不变量... 对Petri网系统并行化一般方法的研究。给出了使用P/T网作为研究对象的原因以及基于P-不变量的Petri网系统分割技术和并行进程创建的条件;提出了非负库所和共享库所进程的并行化条件和方法,并对它们进行证明和实例验证;对不存在P-不变量的Petri网并行化问题进行讨论,确定其不存在并行进程,Petri网不能并行化;提出Petri网系统并行化的一般方法和实现步骤,使其成为各应用领域Petri网系统并行化过程中一种通用的、有效的方法。 展开更多
关键词 PETRI网 网转换 网分割 创建进程 并行化方法
在线阅读 下载PDF
动态规划的并行化方法 被引量:1
3
作者 慕德俊 戴冠中 佟明安 《西北工业大学学报》 EI CAS CSCD 北大核心 2000年第3期360-362,共3页
基于动态规划法提出了寻找最短路程的并行化方法 ,该方法将递推计算问题影射到两个线性阵列结构上并行实现 ,提高了计算的实时性。该方法也可用于动态规划法并行求解其它多级决策过程。
关键词 动态规划 阵列结构 并行化方法 多级决策过程
在线阅读 下载PDF
高级Petri网并行化预处理方法的研究 被引量:4
4
作者 李文敬 廖伟志 +1 位作者 元昌安 李双 《广西大学学报(自然科学版)》 CAS 北大核心 2013年第5期1100-1107,共8页
为了解决复杂的Petri网并行化及模拟执行问题,提出将颜色等高级Petri网转化成库所/变迁网(Place/Transition Net)的并行化预处理方法,以便能够对P/T网实现并行化。根据颜色高级Petri网与P/T网系统的特点及其内在联系,从结构模型、代数... 为了解决复杂的Petri网并行化及模拟执行问题,提出将颜色等高级Petri网转化成库所/变迁网(Place/Transition Net)的并行化预处理方法,以便能够对P/T网实现并行化。根据颜色高级Petri网与P/T网系统的特点及其内在联系,从结构模型、代数模型对颜色Petri网转化为P/T网的预处理方法进行研究,并通过实例和编程对预处理方法的正确性和有效性进行验证。实验结果表明,提出的高级Petri网并行化预处理方法是可行而有效的。 展开更多
关键词 高级PETRI网 结构模型 代数模型 P T网 并行预处理方法
在线阅读 下载PDF
最优化方法应用于裂变核反应理论计算的研究 被引量:2
5
作者 田源 续瑞瑞 +6 位作者 张玥 陶曦 王记民 金永利 张智 孙小东 葛智刚 《原子能科学技术》 EI CAS CSCD 北大核心 2022年第5期918-926,共9页
中子诱发裂变核反应的反应机制十分复杂,需由光学模型、复合核模型等共同描述,因此需同时对大量参数进行调节才能正确描述裂变核反应数据。本文在FUNF裂变核反应模型基础上,利用先进的最优化方法MINUIT,结合MPI的并行计算方法,研究了MIN... 中子诱发裂变核反应的反应机制十分复杂,需由光学模型、复合核模型等共同描述,因此需同时对大量参数进行调节才能正确描述裂变核反应数据。本文在FUNF裂变核反应模型基础上,利用先进的最优化方法MINUIT,结合MPI的并行计算方法,研究了MINUIT对裂变核反应调参的工作原理,并以中子诱发^(238)U的裂变核反应为例,验证了裂变核反应数据优化方法的可靠性。 展开更多
关键词 最优方法MINUIT 裂变核 核反应截面 FUNF 并行化方法MPI
在线阅读 下载PDF
广域InSAR时序分析技术对华北平原地表形变的监测 被引量:3
6
作者 李明佳 孙建宝 +1 位作者 薛莲 沈正康 《北京大学学报(自然科学版)》 EI CAS CSCD 北大核心 2023年第6期934-944,共11页
基于2015—2019共4年的合成孔径雷达(SAR)卫星影像,提出一种广域合成孔径雷达干涉测量(In-SAR)时序分析技术,对华北平原的地表形变进行高精度连续监测。首先对SAR影像进行干涉处理,得到干涉图。在此基础上,使用经过并行化改进的永久散... 基于2015—2019共4年的合成孔径雷达(SAR)卫星影像,提出一种广域合成孔径雷达干涉测量(In-SAR)时序分析技术,对华北平原的地表形变进行高精度连续监测。首先对SAR影像进行干涉处理,得到干涉图。在此基础上,使用经过并行化改进的永久散射体技术斯坦福改进(StaMPS)方法,提取干涉图中所有永久散射体(PS)像元,获取研究区域全分辨率的时序形变信息。之后,使用大气模型校正法与共景叠加法相结合的联合大气校正方法,估计并去除形变信息中的大气噪声。经过上述处理流程后,成功地获取华北平原地表大空间尺度、长时间跨度、全空间分辨率和高精度的形变信息,进而监测到平原内部由长期地下水开采导致的高达100mm/a的大范围强烈沉降信号。相较于既有算法,并行化StaMPS方法通过在多个计算节点之间的实时分配,节约至少60%的计算时间,联合大气校正方法则可以去除约74.3%的大气噪声项,有效性显著高于两种校正方法的单独使用效果。广域InSAR时序分析技术可以有效地实现对大范围地表形变的高精度连续监测。 展开更多
关键词 广域InSAR时序分析技术 并行StaMPS方法 联合大气校正方法 地表形变 华北平原
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部