泛型Web服务组合规范和验证

1

作者 翟洁 邵志清 《计算机应用与软件》 CSCD 2011年第11期64-68,187,共6页

面向概念设计技术也称为泛型设计技术,可以将一般服务组合的共同性质进行提取形成泛型形式,并在抽象级别进行验证,其主要目标是提高规范的可重用性和简化验证的需要。基于概念描述语言Tecton定义了泛型服务组合的形式化规范,然后应用结... 面向概念设计技术也称为泛型设计技术,可以将一般服务组合的共同性质进行提取形成泛型形式,并在抽象级别进行验证,其主要目标是提高规范的可重用性和简化验证的需要。基于概念描述语言Tecton定义了泛型服务组合的形式化规范,然后应用结构化归纳法验证规范的完备性。并通过与其他过程定义的形式化方法的比较,说明了面向概念设计技术可重用性方面的优势。 展开更多

关键词 概念 泛型 tecton 结构化归纳法

下载PDF 职称材料

KEYWORDS INDEX

2

《Abstracts of Chinese Geological Literature》 2013年第3期183-194,共12页

关键词 RESERVOIR SEDIMENTARY SANDSTONE GEOCHEMICAL tecton

原文传递

METAMORPHIC PETROLOGY

3

《Abstracts of Chinese Geological Literature》 2014年第2期53-55,共3页

20140751 Guo Xincheng(Geological Party,BGMRED of Xinjiang,Changji 831100,China);Zheng Yuzhuang Determination and Geological Significance of the Mesoarchean Craton in Western Kunlun Mountains,Xinjiang,China(Geological ... 20140751 Guo Xincheng(Geological Party,BGMRED of Xinjiang,Changji 831100,China);Zheng Yuzhuang Determination and Geological Significance of the Mesoarchean Craton in Western Kunlun Mountains,Xinjiang,China(Geological Review,ISSN0371-5736,CN11-1952/P,59(3),2013,p.401-412。 展开更多

关键词 METAMORPHIC RHEOLOGY ZIRCON DATING LIAONING tecton

原文传递

ECONOMIC GEOLOGY (3)PETROLEUM GEOLOGY

4

《Abstracts of Chinese Geological Literature》 2009年第4期61-75,共15页

关键词 RESERVOIR POROSITY PERMEABILITY SEDIMENTARY tecton

原文传递

GEOPHYSICS

5

《Abstracts of Chinese Geological Literature》 2014年第1期16-21,共6页

20140050Chen Shi(Institute of Geophysics,China Earthquake Administration,Beijing100081,China);Xu Weimin Research for Mobile Gravity Dataset Processing Technique on the Surfaced Rugged Topography(Earthquake Research in... 20140050Chen Shi(Institute of Geophysics,China Earthquake Administration,Beijing100081,China);Xu Weimin Research for Mobile Gravity Dataset Processing Technique on the Surfaced Rugged Topography(Earthquake Research in China,ISSN1001-4683,CN11-2008/P,29(1),2013,p.107-115,4illus.,2tables,12refs.)Key words:gravity field,Qinghai-Tibetan 展开更多

关键词 PLATEAU gravity TABLES TIBETAN MANTLE CRUST tecton

原文传递

四川盆地桐湾运动及其油气地质意义 被引量：54

6

作者 武赛军 魏国齐 +2 位作者 杨威 谢武仁 曾富英 《天然气地球科学》 EI CAS CSCD 北大核心 2016年第1期60-70,共11页

桐湾运动作为震旦纪—早寒武世多幕构造运动逐渐受到关注,目前,对其与震旦系灯影组岩溶储层密切相关认识较为一致,然而其与震旦纪—早寒武世古构造形成关系的认识存在分歧。由于古构造与油气地质条件密切相关,因此,深入研究桐湾运动具... 桐湾运动作为震旦纪—早寒武世多幕构造运动逐渐受到关注,目前,对其与震旦系灯影组岩溶储层密切相关认识较为一致,然而其与震旦纪—早寒武世古构造形成关系的认识存在分歧。由于古构造与油气地质条件密切相关,因此,深入研究桐湾运动具有重要意义。通过钻井、露头、川中地区地震资料分析,结合区域地质资料,研究桐湾运动期次、运动性质、发育范围及对震旦纪—早寒武世古构造的影响。结果表明:1桐湾3幕构造运动性质为幕式整体抬升,桐湾Ⅰ幕、Ⅱ幕扬子区广泛发育,桐湾Ⅲ幕相对局限,同一幕构造运动不同地区强弱表现不同,反映局部存在差异升降;2桐湾期幕式抬升、局部差异升降,加剧隆坳格局分异,并可将四川盆地震旦纪—早寒武世构造演化划分为隆坳雏形期、隆坳分异初期、隆坳发育期、隆坳强烈分异期、隆坳形成期、隆坳调整期和隆坳填平补齐期7个阶段;3古构造高地与桐湾期幕式抬升综合作用,使得隆起区沉积的丘滩体幕式抬升暴露,有利岩溶储集层发育,桐湾期不整合面可作为震旦系古油藏以及现今气藏形成过程中油气运移的优势通道。桐湾期多幕运动对震旦纪—早寒武世构造演化、储层发育及油气运聚均有重要影响。 展开更多

关键词 桐湾运动 震旦纪—早寒武世 幕式抬升 隆坳格局 构造演化

原文传递

阿尔金铅、钕、锶、氩、氧同位素研究及其早期演化 被引量：26

7

作者 车自成 刘良 孙勇 《地球学报（中国地质科学院院报）》 CSCD 1995年第3期334-337,共4页

根据铅、钕、锶、氩、氧等同位素体系及其年代学研究，阿尔金在其早期演化阶段中存在２７９０—２５９０、１８８３—１７０４、５７５和４７０—４２０Ｍａ４个构造热事件，各自具有不同的性质和时代意义。

关键词 铅 钕 锶 氩 氧同位素体系 构造演化

下载PDF 职称材料

湘东北地区燕山晚期强过铝质花岗岩的岩石化学特征及构造背景探讨 被引量：16

8

作者 汪洋 邓晋福 《大地构造与成矿学》 EI CAS CSCD 北大核心 2004年第1期60-68,共9页

根据岩石化学特征,湘东北地区燕山晚期花岗岩不属于A型花岗岩类,而是强过铝质的花岗岩。这些花岗岩可以分为两类。依据Frost等(2001)的定义,第一类为的镁质的钙碱性-碱钙质过铝花岗岩,属于高钾钙碱性系列;第二类为铁质的钙碱质过铝花岗... 根据岩石化学特征,湘东北地区燕山晚期花岗岩不属于A型花岗岩类,而是强过铝质的花岗岩。这些花岗岩可以分为两类。依据Frost等(2001)的定义,第一类为的镁质的钙碱性-碱钙质过铝花岗岩,属于高钾钙碱性系列;第二类为铁质的钙碱质过铝花岗岩,属于富钾的拉斑系列。第一类强过铝质花岗岩铁质含量低,Al2O3/TiO2比值低(<100);第二类铁质含量高,Al2O3/TiO2比值高(>100)。但大多数岩体的CaO/Na2O比值均小于0.3。这些特征暗示,湘东北地区燕山晚期第一类强过铝质花岗岩熔融温度较高(>875℃),第二类熔融温度较低(<875℃);而强过铝质花岗岩的源区主要为泥岩质成分。这些强过铝质花岗岩形成的大地构造背景是后碰撞阶段的造山崩塌环境,其深部热机制背景可能类似于欧洲海西造山带,形成花岗岩所需的能量来自软流圈地幔的平流热传递,以及基性岩浆对地壳的加热作用。 展开更多

关键词 强过铝质花岗岩 岩石化学特征 构造背景 燕山晚期 湘东北地区

下载PDF 职称材料

加里东期白马山岩体锆石SHRIMPU-Pb年龄、地球化学特征及形成构造背景 被引量：11

9

作者 杨俊 柏道远 +1 位作者 王先辉 何江南 《华南地质与矿产》 CAS 2015年第1期48-56,共9页

白马山岩体位于雪峰造山带的南东缘,其主体为加里东期花岗岩,部分印支期和早燕山期花岗岩。加里东期花岗岩主要位于白马山岩体中、东部,可划分为4个侵入次。对第二次侵入的细中粒斑状角闪石黑云母花岗闪长岩(γδSb)中的锆石进行了SHRIM... 白马山岩体位于雪峰造山带的南东缘,其主体为加里东期花岗岩,部分印支期和早燕山期花岗岩。加里东期花岗岩主要位于白马山岩体中、东部,可划分为4个侵入次。对第二次侵入的细中粒斑状角闪石黑云母花岗闪长岩(γδSb)中的锆石进行了SHRIMP U-Pb年龄测试,得到的年龄为411±4.5Ma,此年龄反映出志留纪末—泥盆纪初的一期岩浆事件。其地球化学特征表明该期花岗岩为S型花岗岩,源岩主要为中地壳酸性岩石。第一次侵入的英云闪长岩(γδοSa)仅有一个小侵入体,以残留体形式存在于第三次(ηγSc)侵入体中,表明白马山岩体未经历更早的大规模岩浆活动,据此推断加里东期白马山岩体为志留纪后期广西运动的产物。区域上,城步-新化大断裂以西发育早志留世前陆盆地砂、泥质沉积,断裂以东至湘东南则缺失志留系,暗示广西运动前断裂以东已逆冲抬升并遭受剥蚀,断裂以西则形成前陆盆地。 展开更多

关键词 锆石SHRIMP U-PB定年 地球化学特征 S型花岗岩 后碰撞构造环境 广西运动 白马山 湘中

下载PDF 职称材料

低温热年代学方法及其在叠合盆地构造-热演化研究中的应用 被引量：4

10

作者 周雁 李天义 +3 位作者 何生 何治亮 樊德华 杨兴业 《成都理工大学学报（自然科学版）》 CAS CSCD 北大核心 2013年第4期399-408,共10页

叠合盆地构造-热演化史是当前油气地质研究的重点和难点之一。近年来,低温热年代学测龄技术成为构造-热演化史研究的重要技术,多种测龄手段联用极大地拓宽了其应用范围。江汉平原区具有典型的叠合盆地特征,存在当阳复向斜等中新生代多... 叠合盆地构造-热演化史是当前油气地质研究的重点和难点之一。近年来,低温热年代学测龄技术成为构造-热演化史研究的重要技术,多种测龄手段联用极大地拓宽了其应用范围。江汉平原区具有典型的叠合盆地特征,存在当阳复向斜等中新生代多旋回沉积埋藏区和京山地区等多期持续抬升区。在前一类地区,镜质体反射率记录、磷灰石裂变径迹和锆石裂变径迹等综合反映,该区具有"多段式"热历史,至少发生过2次地质事件,分别对应于侏罗纪-早白垩世后以及古近纪后的大规模构造抬升-地层剥蚀事件;在第二类地区,磷灰石裂变径迹、磷灰石和锆石(U-Th)/He测龄、裂变径迹和(U-Th)/He热史反演等综合反映,该区志留系在早白垩世以来先后经历了快-慢-较快的抬升冷却过程,分别对应于晚侏罗世末期-早白垩世地层大幅度抬升冷却、早白垩世-古近纪盆地拉张沉降和古近纪中期盆地内隆起抬升剥蚀事件。不同类型低温热年代学测龄指标可以有效反映沉积埋藏区地层沉降-古地温演化历史,再现多期持续剥蚀区地层冷却和构造抬升-剥蚀过程。 展开更多

关键词 低温热年代学 构造-热演化 叠合盆地

下载PDF 职称材料

NAA与6-BA对黑金丝柚木组织培养的影响 被引量：2

11

作者 李学东 华帅 刘长安 《亚热带植物科学》 2017年第4期379-382,共4页

通过对黑金丝柚木Tecton grandis带潜伏芽茎段的组织培养,研究不同浓度配比6-BA和NAA对组培苗生长的影响。结果表明,黑金丝柚木不定芽分化最佳培养基为MS+0.3 mg·L^(-1) 6-BA+0.6 mg·L^(-1) NAA+30g·L^(-1)蔗糖+12 g... 通过对黑金丝柚木Tecton grandis带潜伏芽茎段的组织培养,研究不同浓度配比6-BA和NAA对组培苗生长的影响。结果表明,黑金丝柚木不定芽分化最佳培养基为MS+0.3 mg·L^(-1) 6-BA+0.6 mg·L^(-1) NAA+30g·L^(-1)蔗糖+12 g·L^(-1)琼脂;生根适宜培养基为MS+0.8 mg·L^(-1) 6-BA+0.5 mg·L^(-1) NAA+30 g·L^(-1)蔗糖+12 g·L^(-1)琼脂;继代培养的最佳培养基为MS+0.5 mg·L^(-1) 6-BA+0.5 mg·L^(-1) NAA+30 g·L^(-1)蔗糖+12 g·L^(-1)琼脂。 展开更多

关键词 黑金丝柚木 组织培养 生长调节剂 分化增殖

下载PDF 职称材料

阿尔金构造带西段早古生代侵入岩地球化学特征及构造意义 被引量：2

12

作者 覃小锋 杨文 +2 位作者 许华 胡贵昂 朱安汉 《新疆地质》 CAS CSCD 2015年第2期167-176,共10页

通过1∶25万瓦石峡幅和阿尔金山幅区域地质调查发现,阿尔金构造带西段发育有大量早古生代侵入岩,可划分为3条构造-岩浆岩带。岩石组合和地球化学分析结果表明,北带塔特勒克布拉克花岗岩系列具同源岩浆演化特征,为碰撞造山阶段形成的产物... 通过1∶25万瓦石峡幅和阿尔金山幅区域地质调查发现,阿尔金构造带西段发育有大量早古生代侵入岩,可划分为3条构造-岩浆岩带。岩石组合和地球化学分析结果表明,北带塔特勒克布拉克花岗岩系列具同源岩浆演化特征,为碰撞造山阶段形成的产物;中带其昂里克浆混花岗岩组合和南带尖石山花岗岩系列显示不同原岩岩浆混合特点,是俯冲-消减阶段到碰撞阶段壳-幔相互作用产物,表明阿尔金构造带西段早古生代侵入岩类属造山型花岗岩,时代与阿尔金地区高压-超高压变质作用时间可对比,是早古生代洋陆俯冲-碰撞的地质记录。说明塔里木和柴达木板块间在早古生代存在板块的汇聚碰撞,形成了该区高压-超高压变质岩和广泛发育的加里东期造山型花岗岩。 展开更多

关键词 阿尔金构造带西段 早古生代侵入岩 地球化学 构造环境

下载PDF 职称材料

跨断层辅助测线对非构造因素去除的应用探讨 被引量：1

13

作者 路珍 郭泉 +4 位作者 李瑞莎 张希 唐红涛 贾鹏 汪翠枝 《地震研究》 CSCD 北大核心 2017年第2期193-202,共10页

将跨断层场地的辅助测线应用于跨断层形变资料的数据处理中,引入谱减法对沿鲜水河断裂带的5个跨断层场地进行分析处理,试图将辅助测线与跨断层测线都包含的非构造因素的影响从跨断层数据中去除,从而突出与地震发生相关的断层活动信息。... 将跨断层场地的辅助测线应用于跨断层形变资料的数据处理中,引入谱减法对沿鲜水河断裂带的5个跨断层场地进行分析处理,试图将辅助测线与跨断层测线都包含的非构造因素的影响从跨断层数据中去除,从而突出与地震发生相关的断层活动信息。结果表明:利用谱减法处理过的跨断层测线在多数场地都表现出了时频成分上较明显的异常,异常出现时间与周期特点都有较好的一致性。由鲜水河断裂带附近地震活动性可得异常在时间上存在与后续地震活动性增加相关的可能性。 展开更多

关键词 辅助测线 跨断层测线 谱减法 非构造因素 震前异常

下载PDF 职称材料