早古生代北秦岭—北祁连结合部构造格局的地层及构造岩浆事件约束 被引量：78

1

作者 徐学义 何世平 +3 位作者 王洪亮 张二朋 陈隽璐 孙吉明 《西北地质》 CAS CSCD 2008年第1期1-21,共21页

通过对位于华北、北秦岭、北祁连交界部位的武威—贺兰山—礼泉地区奥陶纪地层格架进行对比分析,初步认为奥陶纪时,北祁连洋、北秦岭洋和华北西南海盆相通。早—中奥陶世,自鄂尔多斯碳酸盐台地—鄂尔多斯西南缘—北祁连走廊台地边缘—... 通过对位于华北、北秦岭、北祁连交界部位的武威—贺兰山—礼泉地区奥陶纪地层格架进行对比分析,初步认为奥陶纪时,北祁连洋、北秦岭洋和华北西南海盆相通。早—中奥陶世,自鄂尔多斯碳酸盐台地—鄂尔多斯西南缘—北祁连走廊台地边缘—北祁连火山沉积盆地,存在一个基本连续,由陆缘相至盆地相的沉积格架。对构造岩浆事件的对比研究表明,北秦岭西段的关子镇蛇绿岩中的火山岩具N-MORB特点,武山高家河蛇绿岩中火山岩具E-MORB特征,它们均形成于洋中脊环境,是早古生代商丹洋盆西延的证据。对北祁连东端的早古生代地质体初步确认有：具有N-MORB特征的赤沙火山岩系;形成于弧后环境的红土堡基性火山岩系和形成于岛弧环境的陈家河酸性火山岩系,显示了北祁连东端保存有早古生代洋盆及俯冲构造演化的地质记录。岩石学、地球化学及同位素年代学数据揭示北秦岭西端和北祁连东端均发育450~391Ma俯冲碰撞型花岗质岩浆侵入事件及408~415Ma碰撞变质事件,表明北秦岭和北祁连经历了相似的洋陆转化过程。因此,北秦岭和北祁连造山带在新元古代末—早古生代可能为同一洋盆演化的产物,经历了大体相当的构造-热事件的改造,两者可能在统一的构造动力学机制下经历了相似的构造演化,形成了大体相当的古构造格局。对比研究认为,东秦岭商丹断裂带向西可能与武山-唐藏断裂带相对应;北秦岭的二郎坪群向西可能与北祁连的葫芦河群相对应;北秦岭的秦岭群可能与北祁连的陇山群相对应。 展开更多

关键词 构造格局 地层格架对比 构造岩浆事件约束 早古生代 北秦岭-北祁连给合部

在线阅读 下载PDF 职称材料

基于事件约束的分布式程序正确性测试 被引量：6

2

作者 顾庆 陈道蓄 +2 位作者 于勐 谢立 孙钟秀 《软件学报》 EI CSCD 北大核心 2000年第8期1035-1040,共6页

由于并发的存在和不确定性 ,在以规约为基础来测试分布式程序的正确性时 ,必须考虑程序执行时的内部状态 .这些内部状态通过端口显示为事件序列 ,程序规约需要对序列中各事件间的依赖关系作约定 ,即定义事件约束集 .该文提出了 E- CSPE(... 由于并发的存在和不确定性 ,在以规约为基础来测试分布式程序的正确性时 ,必须考虑程序执行时的内部状态 .这些内部状态通过端口显示为事件序列 ,程序规约需要对序列中各事件间的依赖关系作约定 ,即定义事件约束集 .该文提出了 E- CSPE(extended- constraints on succeeding and preceding events) ,以形式化描述这类事件约束 ,它由 3个基本描述规则组成 ,分别对应于 3种不同类型的事件约束 .通过判断程序执行时所产生的事件序列集同这些事件约束集的一致性以及对约束集覆盖程度可以检测被测程序的正确性 . 展开更多

关键词 分布式程序测试 自动机模型 事件约束

在线阅读 下载PDF 职称材料

基于有限状态进程的事件约束定义 被引量：5

3

作者 顾庆 陈道蓄 +2 位作者 谢立 韩杰 孙钟秀 《软件学报》 EI CSCD 北大核心 2002年第11期2162-2168,共7页

测试分布式程序需要定义事件约束来检测程序执行产生的事件序列.事件约束需要根据程序的规约来推导.FSP是一类描述并发程序形式化规约的进程代数记法.它将并发进程描述为动作序列,其中动作可对应到规约级事件.E-CSPE约束在给定状态谓词... 测试分布式程序需要定义事件约束来检测程序执行产生的事件序列.事件约束需要根据程序的规约来推导.FSP是一类描述并发程序形式化规约的进程代数记法.它将并发进程描述为动作序列,其中动作可对应到规约级事件.E-CSPE约束在给定状态谓词下定义前后运行事件间的顺序关系.根据FSP的操作符和并发控制机制可推导E-CSPE约束.推导出来的E-CSPE约束考虑到并发程序的安全和进展属性,可据以判断程序运行的正确性和测试的充分性. 展开更多

关键词 有限状态进程 事件约束定义 软件测试 并发程序 软件开发

在线阅读 下载PDF 职称材料

基于事件约束的软件过程验证 被引量：2

4

作者 顾庆 陈道蓄 《软件学报》 EI CSCD 北大核心 2005年第10期1735-1742,共8页

软件过程是以人为中心的系统,其特点是动态性和不断演化.既定过程模型在实际执行时往往有所偏差.基于E-CSPE(extendedconstraintsonsucceedingandproceedingevents)约束实现过程验证和偏差测量.事件约束根据过程模型定义.过程实例执行... 软件过程是以人为中心的系统,其特点是动态性和不断演化.既定过程模型在实际执行时往往有所偏差.基于E-CSPE(extendedconstraintsonsucceedingandproceedingevents)约束实现过程验证和偏差测量.事件约束根据过程模型定义.过程实例执行被记录为事件序列.通过分析事件序列对事件约束的覆盖和违反结果,可以计算EPD(eventconstraintbasedprocessdifferencemetric)和EAD(eventconstraintbasedactivitydeviationmetric)指标.EPD指标可以反映过程执行与过程模型的偏差,EAD指标则为过程演化提供依据. 展开更多

关键词 软件工程 软件过程 软件过程改进 过程模型 过程验证 事件约束

在线阅读 下载PDF 职称材料

状态图中基于事件约束的测试路径覆盖策略 被引量：2

5

作者 杨献军 曾一 乔木 《计算机工程》 CAS CSCD 北大核心 2004年第24期54-55,158,共3页

　提出了一个在状态图中基于事件约束的测试路径覆盖策略,介绍了具有超态的状态图模型,定义了事件约束机制(S-CSPE),在此约束机制上给出了测试路径覆盖策略。最后给出了该策略与CSPE约束覆盖策略和Rapps-Weyuker路径覆盖标准的比较结果。

关键词 状态图 超态 并发事件约束 路径覆盖策略

在线阅读 下载PDF 职称材料

事件信息采集中的事件监测项归约方法研究

6

作者 仲兆满 李恒 +1 位作者 管燕 李慧 《中文信息学报》 CSCD 北大核心 2024年第7期73-83,共11页

随着互联网的飞速发展,从微博、贴吧、论坛、新闻网站等媒体获取关注的事件信息已经是互联网信息处理系统的基本功能。然而,面对大数据时代的媒体资源,如何全面、快速地获取关注的事件信息是值得深入研究的问题。该文针对事件信息采集... 随着互联网的飞速发展,从微博、贴吧、论坛、新闻网站等媒体获取关注的事件信息已经是互联网信息处理系统的基本功能。然而,面对大数据时代的媒体资源,如何全面、快速地获取关注的事件信息是值得深入研究的问题。该文针对事件信息采集效率低下的问题,揭示了事件之间的约束效应,为事件监测项、最简事件监测项的要素组成提供了指导;分析了最简事件监测项之间的相交关系,提出了事件监测项的归约方法,减少了用于搜采的监测项的数量。以一个市级地域SaaS平台和一个消防行业SaaS平台中的事件信息采集为实验对象,面向主流的内置搜索引擎,在事件监测项选取率和事件信息采集效率两方面进行了实验评测。结果表明,该文提出的事件监测项归约方法,减少了信息采集的次数,改善了事件信息采集的性能。 展开更多

关键词 事件信息采集 内置搜索引擎 事件约束效应 事件监测项归约

在线阅读 下载PDF 职称材料

E-CSPE约束的一致性判定 被引量：1

7

作者 顾庆 陈宗岳 +1 位作者 陈道蓄 谢立 《计算机学报》 EI CSCD 北大核心 2003年第11期1568-1574,共7页

分布式程序目前被大量使用 .由于并发的存在 ,测试分布式程序需要采用事件约束来判定运行事件序列的正确性 ,事件约束之间需要判定一致性 .初始的事件约束可以通过规约来定义 ,作者提出E CSPE约束的描述规则来推导新约束 ,并提出约束之... 分布式程序目前被大量使用 .由于并发的存在 ,测试分布式程序需要采用事件约束来判定运行事件序列的正确性 ,事件约束之间需要判定一致性 .初始的事件约束可以通过规约来定义 ,作者提出E CSPE约束的描述规则来推导新约束 ,并提出约束之间的一致性判定机制 .该算法具有多项式复杂度 . 展开更多

关键词 软件开发 事件约束 分布式程序 一致性判定 E-CSPE 计算机

在线阅读 下载PDF 职称材料

基于EE-CSPE约束的并发程序测试

8

作者 卢炎生 王静 +1 位作者 谢晓东 毛澄映 《小型微型计算机系统》 CSCD 北大核心 2007年第7期1240-1244,共5页

由于执行的不确定性,并发程序的测试需要验证程序执行的事件序列.定义事件之间的约束是验证事件序列合法性的前提.本文提出了一种事件约束的形式化描述方法,扩充了E-CSPE(extended constraints on succeeding and preceding events)对... 由于执行的不确定性,并发程序的测试需要验证程序执行的事件序列.定义事件之间的约束是验证事件序列合法性的前提.本文提出了一种事件约束的形式化描述方法,扩充了E-CSPE(extended constraints on succeeding and preceding events)对事件排斥约束和后决约束的定义,更全面地描述了前后事件的依赖关系,并给出了基于此方法的确定性测试和非确定性测试规则. 展开更多

关键词 软件测试 并发程序 事件约束CSPE

在线阅读 下载PDF 职称材料

一种基于模型的并发系统测试目的描述 被引量：1

9

作者 刘大光 林惠民 吴鹏 《计算机工程与应用》 CSCD 北大核心 2007年第25期105-110,共6页

提出了带约束事件的时序逻辑TLCE,用于描述系统运行中输入/输出事件之间的时序关系以及对事件参数的数据相关性约束。阐述了一种基于模型的并发系统测试框架,采用TLCE描述测试目的以引导测试用例生成。缓存一致性协议和会议协议的实例... 提出了带约束事件的时序逻辑TLCE,用于描述系统运行中输入/输出事件之间的时序关系以及对事件参数的数据相关性约束。阐述了一种基于模型的并发系统测试框架,采用TLCE描述测试目的以引导测试用例生成。缓存一致性协议和会议协议的实例研究中所生成的测试用例集显著优于随机测试用例集。这说明了TLCE作为测试目的描述的有效性。 展开更多

关键词 基于模型的测试 时序逻辑 约束事件 测试用例生成:测试目的

在线阅读 下载PDF 职称材料

面向Java的分布式程序测试系统 被引量：2

10

作者 顾庆 陈道蓄 +1 位作者 谢立 孙钟秀 《软件学报》 EI CSCD 北大核心 2003年第4期743-749,共7页

由于程序的分布运行,测试分布式程序必须同时考虑并发特性和运行环境.介绍了一个面向Java语言的分布式程序测试系统JDPT(Java-oriented distributed program testing system).JDPT基于运行环境定义事件,通过事件序列记录分布式程序的运... 由于程序的分布运行,测试分布式程序必须同时考虑并发特性和运行环境.介绍了一个面向Java语言的分布式程序测试系统JDPT(Java-oriented distributed program testing system).JDPT基于运行环境定义事件,通过事件序列记录分布式程序的运行过程,并定义事件约束检测可行事件序列集的有效性.通过该技术,JDPT可以有效地判断程序在运行环境中并发执行的正确性,适用于跨平台的Java程序测试. 展开更多

关键词 分布式程序测试系统 JAVA语言 软件开发 并行程序 事件约束

在线阅读 下载PDF 职称材料

基于Petri网的UML顺序图分析 被引量：1

11

作者 胡建军 《计算机工程与科学》 CSCD 北大核心 2009年第3期115-117,共3页

本文针对顺序图形式分析上存在的困难,引进消息事件序约束的概念,利用Petri网理论定义了顺序图的分析模型,并给出了UML顺序图冲突和语义一致性的检查方法,最后通过一个实例说明了方法的使用。实例表明,该方法是可行和高效的。

关键词 顺序图 消息事件序约束 激活期 容量函数

在线阅读 下载PDF 职称材料

基于增广Petri网生成受控日志 被引量：1

12

作者 邵叱风 方贤文 王吴松 《计算机工程与设计》 北大核心 2022年第3期876-885,共10页

为减少冗余日志,降低事件约束不可控对算法评估及验证的影响,提出基于可达状态的随机选择生成受控日志的方法。利用增广Petri网为系统建立模型,依据模型中库所与变迁的结构关系及标识分布构建输入矩阵;基于Petri网可达状态分析方法,随... 为减少冗余日志,降低事件约束不可控对算法评估及验证的影响,提出基于可达状态的随机选择生成受控日志的方法。利用增广Petri网为系统建立模型,依据模型中库所与变迁的结构关系及标识分布构建输入矩阵;基于Petri网可达状态分析方法,随机选择触发可发生变迁,记录变迁序列;对记录进行受控分析,拼装生成多重集事件日志和XES标准日志。实现相关日志生成工具,利用BPIC2020数据进行实验,与已有工具进行比较,实验结果表明了工具的效率和有效性。 展开更多

关键词 日志冗余 事件约束 佩特里网 可达状态 受控分析

在线阅读 下载PDF 职称材料