期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
A Trace-state Based Approach to Specification and Design of Parallel Programs
1
作者 He Jifeng Oxford University Computing LaboratoryProgramming Research Group Parks Road, Oxford OXl 3QD, England 《计算机工程》 CAS CSCD 北大核心 1996年第S1期91-105,共15页
In this paper they deal with the issue of specification and design of parallel communicatingprocesses. A trace-state based model is introduced to describe the behaviour of concurrent programs. They presenta formal sys... In this paper they deal with the issue of specification and design of parallel communicatingprocesses. A trace-state based model is introduced to describe the behaviour of concurrent programs. They presenta formal system based on that model to achieve hierarchical and modular development and verification methods. Anumber of refinement rules are used to decompose the specification into smaller ones and calculate program fromthe 展开更多
关键词 COMM A Trace-state Based Approach to Specification and Design of parallel Programs
在线阅读 下载PDF
LICOM3.0海洋模式中太平洋北赤道逆流的模拟偏差分析 被引量:2
2
作者 孙志阔 刘海龙 +2 位作者 林鹏飞 于子棚 李逸文 《大气科学》 CSCD 北大核心 2020年第3期591-600,共10页
本文用CORE-IAF(Coordinated Ocean-ice Reference Experiments–Interannual Forcing)外强迫场分别强迫LICOM3(LASG/IAP Climate System Ocean Model Version 3)和POP2(Parallel Ocean Program version 2)两个海洋模式,并分析了这两个... 本文用CORE-IAF(Coordinated Ocean-ice Reference Experiments–Interannual Forcing)外强迫场分别强迫LICOM3(LASG/IAP Climate System Ocean Model Version 3)和POP2(Parallel Ocean Program version 2)两个海洋模式,并分析了这两个模式中太平洋北赤道逆流(NECC)的模拟结果。我们发现LICOM3和POP2模拟的NECC强度均弱于实测,这和Sun et al.(2019)的研究结果一致,也进一步证明了海洋模式中NECC偏弱是CORE-IAF外强迫场造成的,海表风应力及对应的风应力旋度是海洋模式准确模拟NECC的最主要因子。同时,我们也分析了NECC的模拟在动力机制上的差别,这里的动力强迫项包括风应力项、平流项和余项。我们发现模式的外强迫场虽然相同,但是两个模式中各动力强迫项(风应力项、平流项和余项)对NECC模拟的影响并不完全相同。 展开更多
关键词 太平洋北赤道逆流 LICOM3(LASG/IAP Climate System Ocean Model Version 3)海洋模式 POP2(parallel Ocean Program version 2)海洋模式 CORE-IAF强迫场(Coordinated Ocean-ice ReferenceExperiments–Interannual Forcing)
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部