嵌套模式模板在运行时验证中的应用

随着信息技术的迅速发展,对于硬件、软件、网络等可靠性的高效检验成为急需解决的一个重要问题.在众多验证方法中,运行时验证由于其反馈及时、轻量级等多种优势正被应用到越来越广泛的领域.然而,现有运行时验证方法仍有两方面的不足:其一,尽管现有运行时验证中对性质的描述采用形式化方法,但现有自然语言向形式化语言的转化过程不能直接完成,这就会极大的影响了运行时验证的推广使用.其二,现有运行时中规约都是常量事件,并具有不可变性,而在实际中大量事件之间的关系是具有共性的.因此,在对现有规约进行统计的基础上,抽象出常用规约组成模式库,这样用户可根据需要,来调用模式库中的模板,从而减少了从自然语言到形式化方法的转化过程中所需的人工干预.

应用嵌套模式研究梅梁湖区风生流

应用数值嵌套模式，研究不同风向情况下，梅梁湖与竺山湖之间的马山区围垦对梅梁湖风生流的影响。结果表明：风场作用初期，偏Ｓ风使得太湖湖水流入梅梁湖；偏Ｎ风使得梅梁湖湖水流入太湖。梅梁湖稳定风生流流态表现为：在Ｓ、Ｅ风作用下形成逆时针环流；在Ｎ、Ｗ风作用下形成顺时针环流。马山区围垦阻隔了梅梁湖与竺山湖之间的湖水交换，进而影响梅梁湖的风生流流态，导致其湖水更新速度减慢。

运用系统嵌套模式,有效降低躺井率及躺井占产

商河油田位于胜利油田的西部,构造位置处于济阳坳陷惠民凹陷中央隆起带临邑构造断裂带东部。至2008年12月,共有油井507,开井392口,日液能力4789t/d,日油能力942t/d,综合含水80.4%。平均动液面1180m,采油速度0.56%。进入高含水开发中后期。

不规则区域海浪嵌套模式设计及其应用实例

本研究针对第三代MASNUM海浪模式的并行设计特点,设计实现了并行化不规则嵌套计算,从而提高了海浪模式嵌套模拟的灵活性和时效性.选取浙江舟山、宁波附近海域,利用2011年的NCEP再分析风场作为强迫,采用大、中、小网格并利用该嵌套模式进行了三重嵌套应用.其中大、中区域实验均采用规则矩形方式设置开边界,大区域的模拟结果为中区域嵌套实验提供开边界条件,同时中区域嵌套输出小区域嵌套实验在不规则开边界上的边界条件.中区域的实验结果与卫星观测资料的对比表明:嵌套实验比无嵌套实验的误差小30%左右,二者在开边界附近的有效波高差异较大,达到0.5 m以上.8月份中区域的无嵌套实验所得有效波高平均为0.7 m,最大值为3.6m,嵌套实验结果则分别为1.0、7.1 m,后者更接近以往观测资料所显示的平均波高1.5～2.0 m和最大波高5.0～10.0 m的结果,表明该常规嵌套方式的可行性.小区域实验也包含嵌套和无嵌套2个实验,开边界均采用不规则形状.实验结果表明:在5～8月期间,嵌套实验的波向与无嵌套的波向差异较明显,主要表现为外海传入;在6～7月份,嵌套实验与无嵌套实验有效波高的差值达1.0m以上;嵌套实验的周期普遍大于无嵌套的模拟结果,其最大差异为8 s.上述实验结果表明,该嵌套模式可实现规则开边界区域和不规则区域的嵌套模拟,可应用于复杂近岸区域的海浪数值模拟和预报,有效提高对关注区域海浪的模拟能力.

我国华东地区月尺度气候动力预测的研究:(Ⅱ)嵌套模式的回报评估

采用数值模式方法对我国华东地区进行月尺度短期气候预测。预测框架由改进的低分辨率全球环流模式T63 L9嵌套并入了水文模型VXM的区域气候模式RegCM3构成,根据嵌套气候模式的积分结果,经剔除系统误差后制作短期气候预报。本文利用国家气候中心的评分方法对2003、2004两年的降水和地表气温回报结果作了评估;还将本系统的预报结果与CMAP降水资料、NMC温度资料及全国160站的观测资料进行了对比。结果表明,该系统可以比较稳定地对我国华东地区的降水和温度进行月尺度预测。

面向用水量考核管理的多级主题嵌套模式研究

【目的】研究基于多级主题嵌套模式的区域用水总量考核管理方法及系统应用,为实现区域用水总量考核工作的系统化和流程化管理提供支撑。【方法】以区域用水总量考核为研究对象,从服务对象层面和业务应用层面入手,以综合集成平台为工具,对面向用水量考核管理的多级主题嵌套模式进行系统介绍和应用。【结果】基于现有的用水量考核方法,考虑区域用水总量的时变性,采用"组件+知识图"的信息化手段,将用水量考核相关的模型、方法及流程进行组件式封装,以结构化的方式快速、灵活地搭建出多级主题嵌套模式下的用水量考核管理系统。实例分析表明,该系统可将用水量考核业务流程化,能够对新疆兵团第十三师"师-团-连"三级区域用水量分层逐级地进行嵌套式考核,可进行时间尺度动态调整下的用水量考核管理,能够从不同角度可视化展示用水量考核结果,提高了用水量考核管理工作效率。【结论】面向用水量考核管理的多级主题嵌套模式具有可操作性、高效性、实用性,可为落实用水量考核管理提供支撑。

异模式嵌套及中期降水数值预报的试验

成功地将一有限区域细网格模式嵌套在Ｔ６３Ｌ９。全球谱模式中，并利用该嵌套模式做了降水中期数值预报的试验。结果表明，嵌套的细网格模式预报的中期降水明显地优于该谱模式，要做好中期降水预报，使用嵌套模式是必要的。

黄土高原沟壑区不同杏树嵌套种植模式对土壤微生物组成的影响

[目的]研究黄土高原地区土壤微生物群落结构及其主要生理类群在杏树不同嵌套种植模式中的地位和作用。[方法]用"平板培养法"和常规方法,研究了不同嵌套模式下土壤微生物三大类群、主要功能群组成、土壤全氮及有机质含量的变化,并以系统聚类及主成分分析(PCA)等方法进行数据分析。[结果](1)土壤微生物总数量及三大类群数量以杏树与紫花苜蓿的嵌套模式最高(p<0.05),杏树嵌套黄花菜和紫花苜蓿次之(p<0.05),其余嵌套模式间无显著性变化(p>0.05);(2)在杏树和紫花苜蓿的模式中土壤固氮菌数量、氨化细菌和纤维素分解菌数量最高(p<0.05),杏树和黄花菜和紫花苜蓿嵌套模式次之(p<0.05);(3)土壤微生物三大类群中,土壤放线菌数量对Shannon—Wiener指数的大小变化起着较大作用;(4)依据可培养微生物组成,5种嵌套模式可划分为3个类群,嵌套植被对土壤微生物组成的影响不同,紫花苜蓿对土壤微生物学性质的作用更强。[结论]杏树在不同嵌套种植模式下土壤微生物群落结构组成与嵌套植被类型关系密切且具有其独特的规律及变化原因。

一个有限区嵌套细网格模式的设计及预报结果检验

在钱永甫等研制的ｐ－σ混合坐标系原始方程模式的基础上，建立、发展了一有限区域的单向影响嵌套细网格数值预报模式，并选取台风Ｗａｙｎｅ对应的天气形势演变过程为例，通过与ＭＭ４模式对同一个例预报结果的比较分析以及统计学检验，对该模式的预报能力进行了验证。结果表明，该模式能够较好地预报实际天气形势的演变过程，各层大气高度场的预报结果与实况的相关系数都超过０．７４。和ＭＭ４对温压场的预报结果相对比，二者间只有细节上的区别而没有质的差异，都能够较为准确地反映出实际大气的演变特征。对风场的预报，细网格模式的风速值偏小．在降水的预报上，细网格模式对雨区的预报要优于ＭＭ４；在大陆的主要雨区，细网格模式预报的降水量与实况较为接近。

异模式嵌套作中期数值预报的试验

利用一个全球谱模式和一个有限区域细网格模式，作了异模式嵌套的初步试验。对异模式嵌套的方案流程，细网格模式边界值更新的时间间隔及细网格模式的起步时间作了初步研究，发现无论采用物理量本身还是其倾向值作衔接，效果均不错；边界值更新的时间间隔既不宜太长，也不宜太短，粗细网格同时起步或用粗网格模式１２小时的预报场作为细网格模式的初始场，两者预报的结果基本一致。

北京市环保局高性能运算计算集群系统模式集成预报技术开发

该项目围绕奥运空质量预报需求,研发多种集成预报技术手段,开发以大气物理所双向嵌套模式、国际著名的MODEL 3CMAQ模式、CAMx模式为基础的空气质量多模式集成预报系统,研发的该预报系统平台实施多重嵌套方案,可实现从东亚、华北、京津冀、北京全域多层次的空气质量实时数值预报,并可为北京绿色奥运提供高质量的数值预报模型,从而提高空气质量预报准确率。

双雪涛小说中的嵌套叙事——以小说集《猎人》为例

在《猎人》这部短篇小说集中,双雪涛刻意地使用了嵌套性叙事结构,使得原本难以放置在同一文本语境中的故事相遇于小说家的叙事策略之中。借此手法,小说中的叙事者主体性受到质疑,在嵌入故事与主题故事的对照下,整部小说集呈现出一种虚与实相交的暧昧性,在作家创作素材内卷的当下以平庸的素材却创作出了不平庸的故事。

地方高校学术学位研究生“三嵌套五结合”培养模式探索

立足于地方高校的生源特征和高等教育学的专业特性,以江苏师范大学高等教育研究中心为例,介绍了培养研究生的理念与做法,即:以"品质立德、学术立身、实践立业"为人才培养目标,坚持"全程育人""筑牢根基"与"整合资源"的基本理念,将"课堂教学""学术沙龙"与"游学践行"作为研究生培养的三大基本路径,探索"固定的导师组与灵活的讲学制相结合""规范的过程管理与自由的个性发展相结合""广博的知识学习与严格的学术规训相结合""守正的思想引导与创新的方法育人相结合""积极的心灵沟通与理性的职场训练相结合",形成"三嵌套五结合"的研究生培养模式。最后说明了以此模式取得的人才培养效果。

基于核估计和区间聚类的数据流中异常模式发现

研究数据流中异常模式发现问题。为保证可以随时输出当前的异常模式,引入一种简单且有效的数据结构——三层时间区间嵌套模式(TTI),来监测数据流。对新到数据是否为异常加以判断评价的标准不是预先分配的静止阈值,而是由算法(KIC:核估计和置信区间聚类分析)计算得到的动态阈值,从而在仅占用很小内存的前提下提高了算法的准确性。设计的SWMA算法进一步降低了时间和空间复杂度。最后分别在模拟线性模型、非线性模型及带时间戳的真实数据流上对方法的准确性、可行性和时效性进行了验证。

基于Trevni行列混合的分布式嵌套存储研究

为提升树形结构模式和级联关系模式下的查询执行效率,提出一种行列混合式存储方法。通过在列存中引入分组概念,形成逻辑上完整但局部上独立的列组物理单元。研究分析了现有单纯行存储和列存储的优势和潜在不足,并在此基础上通过模式驱动对这一存储方法进行物理设计,使得研究能够适用主流的列存架构。基于开源框架Avro的列存内核Trevni,研究对所提方法予以实现以期显著降低列存到元组转换过程中的开销,同时保证数据交换仅限于查询所需的列。为提高在复杂模式下的可用性,基于union对存储结构进行优化,使得访问能够集中于有效的单元中,并基于空值支持关系查询场景中不满足外关键字约束的模式。实验基于十亿条TPCH数据进行,通过构建三层嵌套分组模式执行查询。结果表明,所提方法较传统行列存储方法效率有显著提升。

动力数值模式侧边界强迫的改进试验

通过修正嵌套模式侧边界缓冲区温度强迫项的计算方法,使区域气候模式所刻画的温度日变化信息与不同下垫面区域的天气变化规律相符合。进而利用数值模式ASRegCM研究了侧边界缓冲区温度强迫的改进处理对嵌套模式模拟效果的影响,并讨论了其对模拟结果改进的可能机制。数值试验结果表明,该侧边界缓冲区强迫的改进对地面气温和降水距平分布的影响并不明显,但对二者强度的模拟有一定程度的改进,其中地面降水距平量级的改善尤为明显。机理探讨结果认为,模拟效果的改进首先源于侧边界修正处理对原有地面气温波动振幅的放大,其次是侧边界修正处理后地面气温时间演变的模拟中增加了周期为7～10d的经向和纬向低频波动分量,两者的综合效应抑止了不稳定的对流性降水过程,增加了连续性的非对流性降水,削弱了数值模式中热带和亚热带地区积云对流与非对流云之间的不稳定。

多尺度城市边界层数值模式系统

人为活动影响天气气候变化是当前大气科学研究的热点问题.随着城市发展,人为活动的加剧,城市非均匀下垫面大气边界层的数值研究面临更多的挑战.研究工作着眼于引入更完善的城市大气边界层物理过程,进一步发展完善南京大学的多尺度数值模式系统,以提高模式系统的模拟性能.主要研究内容包括:1)城市尺度模式中人为热及建筑物拖曳参数参数化方案的完善;2)基于参数化方案完善以及精细地理信息、地表特征参数支持下提高了城市尺度数值模式的分辨率;3)完成不同尺度边界层模式单向向下嵌套及各边界层模式与空气质量模式的单向嵌套;等等,从而建立物理机制更合理,计算过程更完善的多尺度城市边界层数值模拟系统,为天气气候研究,城市环境保护,城市发展规划以及国家安全防御等工作服务.

基于全球模式输出的区域中期数值预报试验

在2003年3月至5月间,基于MRF全球谱模式提供的侧边界,采用MM5有限区域嵌套模式进行预报时效为15天的较高分辨率的区域中期预报试验,并对试验结果进行检验。结果表明:嵌套的区域模式的中期天气预报明显的优于全球模式,对于两周内主要的晴雨过程、冷空气和转折性天气具有一定的预报能力。

MM5模式系统及应用介绍

1 引言随着计算机的快速发展,大气数值模式也朝着复杂、精细、全面的方向发展。中尺度模式的发展可以MM5和RAMS为代表,发展成为非静力模式以适合中-β或γ尺度系统的研究;模式物理过程不断细化;分层更多;计算域更小。发展自己有特色的。

北京市环保局高性能运算计算集群系统模式集成预报技术开发

该项目围绕奥运空气质量预报需求,研发多种集成预报技术手段,开发以大气物理所双向嵌套模式、国际著名的MODEL 3CMAQ模式、CAMx模式为基础的空气质量多模式集成预报系统,研发的该预报系统平台实施多重嵌套方案,可实现从东亚、华北、京津冀、北京全域多层次的空质量实时数值预报,并可为北京绿色奥运提供高质量的数值预报模型,从而提高空气质量预报准确率。