带弧标识的时钟同步Petri网

针对以往的时间Petri网对时钟同步系统描述能力不足的情况,提出了一种带弧标识的时钟同步Petri网(CSPN)。

雪峰弧构造带钻孔轨迹控制关键技术研究

随着近年来矿产资源勘查要求的提高,岩心钻孔的深度及地层复杂性也不断加大,为能精准的钻遇靶区矿体以实现地质目的,对钻孔轨迹控制的要求越来越高。雪峰弧构造带部分工作区地层倾角大、软硬交替频繁、地层破碎,实际施工中地层造斜情况严重,随着孔深增加导致终孔轨迹与靶区矿体偏差较大,影响矿产资源勘查的精度和质量。通过对该工作区地层造斜情况的深入分析,在ZK1001钻孔绳索取心钻进施工中采用初级定向孔技术和满眼钻具工艺,大幅度提高了钻孔孔身质量,较好地实现钻孔轨迹控制。并通过试验不同的岩心钻具组合,提出了满眼钻具组合的优化意见和建议,为工作区岩心钻孔轨迹控制提供技术参考。

西藏冈底斯南缘火山-岩浆弧带中桑日群adakite的发现及其意义

冈底斯南缘火山-岩浆弧带,位于雅鲁藏布江缝合带与冈底斯陆块之间。近年来的研究表明,它是新特提斯洋多次俯冲消减的产物。洋壳大致经历了早(中侏罗世)、晚(晚侏罗—早白垩世)两次俯冲作用,由此形成的火山岛弧带在空间上呈北、南两条平行展布。本文,通过对晚期俯冲形成的南带岛弧火山岩(桑日群)的研究,并与新生代(＜25Ma)环太平洋adakite的对比研究表明,桑日群火山岩具有与adakite相似的特征:缺乏玄武岩,以安山岩-英安岩-流纹岩组合为主;地球化学特征表现为SiO_2平均为61．57%(≥56%)、Al_2O_3平均为16．36%(≥15%)、MgO平均为2．63%(＜3%),Na/K高(3．05);具有低的Yb(1．39×10^(-6),≤1．9×10^(-6))、Y(13．57×10^(-6),≤18×10^(-6))和高的Sr(646×10^(-6),＞400×10^(-6));REE配分型式为亏损重稀土,Eu异常不明显;Sr同位素组成与大洋板片熔融形成的adakite非常相近。这意味着,该弧南带(桑日群)的弧火山岩(＞25Ma)是新特提斯洋壳经俯冲部分熔融形成的;同时也暗示,它的形成可能是一种特殊动力学机制的产物——新特提斯主洋有关的小洋盆快速俯冲。而其成矿意义在于:它是超大型斑岩铜矿和中低温热液矿床成矿的标志之一。

班公湖-怒江结合带北侧陆缘火山-岩浆弧带的厘定及其意义

在班公湖-怒江结合带西段北侧的拉热拉新岩体东、西两侧,新发现了一些早白垩世岩体、相伴的陆缘火山岩组合和矿(化)点,侵入岩和火山岩的岩石化学特征均显示其成因与中特提斯洋向北俯冲消减密切相关。本文将班- 怒带北侧的火山- 侵入岩带厘定为五峰尖拉热拉新晚侏罗世—早白垩世陆缘火山岩浆弧带,同时讨论了陆缘火山- 岩浆弧带的厘定在分析中特提斯构造演化方面的研究意义。

带凸弧的球头铣刀上等螺距刃口曲线

给出了回转铣刀上等螺距刃口曲线设计的通用公式 。

造山带沉积学系列之一——弧造山带的弧前沉积

板块构造理论得到地学界广泛接受以来,沉积学在造山带研究中得到了普遍的重视。笔者在归纳总结板块构造沉积学3个主要发展阶段及其相应的研究成果的基础上,重点讲述了弧造山带的弧前海沟盆地、楔顶盆地和弧前盆地的定义,并结合具体实例介绍了3类盆地沉积环境、沉积组合与物源背景。总之,希望这些讨论能使对造山带沉积学感兴趣的读者得到梗概的认识。

北祁连中段加里东俯冲－增生杂岩／火山弧带及其变形特征

分布于北祁连造山带中段的加里东期俯冲－增生杂岩／火山弧带可划分为托莱山俯冲杂岩带和走廊南山增生杂岩／火山弧带两个亚带。前者主要由蛇绿岩、蛇绿混杂岩及深海复理石组成，为古祁连洋俯冲作用后期由于岛弧的阻力在浅部刨铲作用的产物；后者由不完整的蛇绿岩透镜体、高压变质岩、弧火山岩及一些变质碎屑岩等组成，反映古祁连洋不断向北俯冲，火山弧前锋南移，增生杂岩不断增厚且在其下部发生板底垫托作用以及海沟不断向南倒退的复杂演化历史。俯冲－增生杂岩在加里东期共经历三期变形作用（Ｄ＿１、Ｄ＿２、Ｄ＿３）。Ｄ＿１、Ｄ＿２为简单剪切变形机制，反映从Ｎ向Ｓ的逆冲方向。Ｄ＿３为压扁型变形机制，代表走廊南山古岛弧与中祁连地块碰撞时的挤压变形。

造山带沉积学之二——弧造山带的弧内沉积

笔者阐述弧造山带的弧内沉积盆地的沉积作用。在岩浆弧内出现弧内盆地和弧背前陆盆地。笔者选取典型实例,说明2类盆地的大地构造位置、盆地边界特征、盆地包含的沉积环境、沉积物类型、沉积物源和盆地构造特点。

基于带抑止弧的Petri网的软件保护技术应用序列构建方法

基于软件保护领域中多种软件保护技术之间存在不同依赖关系的情况,针对求解有效的软件保护技术应用序列问题,提出了一种基于带抑止弧的Petri网建模分析的求解方法。首先分类并建立4种基本的软件保护技术依赖关系的Petri网模型,包括前向/后向必须依赖关系和前向/后向禁止依赖关系;根据实际应用场景建立相应的复合依赖关系Petri网模型,并绘制其可达标识图;在可达标识图中定位满足需求的标识,求解得从初始标识到此标识的一条变迁序列所对应的软件保护技术应用序列即为所求序列。最后,通过实验证明了此方法的有效性。

带抑制弧Petri网的保性变换

Petri网的保性化简是Petri网分析的一种重要途径。带抑制弧的增广Petri网在计算能力上与图灵机等价。针对带抑制的增广Petri网中串联变迁和串联库所两类情况进行了较深入的分析,在给出了相关化简方法的基础上,证明了通过这些化简规则所得到的网系统与原网在活性、有界性、弱公平性等动态性质上仍保持一致。

海南岛古生代弧状构造带的特征及其地质意义

海南岛古生代弧状构造带发育于EW向九所-陵水构造带以北的广大地区,席卷中元古界至晚古生界,生成于海西期,并持续至印支期,控制了同期的岩浆作用、成矿作用和沉积盆地西浅东深的古地理格局。通过对该弧状构造带的构造特征、构造演化及动力学背景进行的探讨,研究认为,其生成可能与古特提斯收缩闭合有关,并呈现出由西向东的剪式闭合特征。而弧状构造带的厘定将为海南岛基础地质的研究以及地质找矿工作带来新的启发。

“伊斯兰弧带”动荡的原因分析及对中国安全的警示

2011年发生的埃及等中东-北非国家的持续动荡,均发生在所谓的"伊斯兰弧带"。此次动荡具有持续时间长、影响深、社会基础广泛等特征。骚乱的原因,主要是历史上宗教冲突遗留下的仇恨、美国等西方势力的干涉、中东-北非地区国家内部现代化转型障碍重重等。在更深的层次上,此次乱局也是现有国际政治结构失衡的一种折射。中国需要细致评估动乱对中国安全的警示意义,提升对中东一北非地区事务的政治影响力,更好地维护本国在这一地区的利益。

基于带抑制弧的Petri网的min-min算法模型研究

为了解决已有的min-min算法Petri网模型不能模拟min-min算法运行过程的问题,根据min-min算法的调度特点,利用带抑制弧的Petri网提出了一种算法模型,该模型运行过程可以严格模拟min-min算法对独立任务集的调度顺序,能够正确地描述独立任务调度系统使用min-min算法的情况。最后对该模型的空间复杂度以及每调度一个任务模型的变化情况进行了分析,随着独立任务的调度执行,该基于带抑制弧的Petri网的变迁数和弧数会随之减少,模型的空间复杂度会不断降低。

同时配送和回收需求的带容量约束弧路径问题

提出了一种同时配送和回收需求的带容量约束的弧路径问题(CARPSPD),建立了该问题的基于直观描述的数学模型,设计了求解该问题的构造启发式算法与变邻域搜索算法。前者利用基于路径扫描的构造方法产生弱可行解,再转换成强可行解;后者采用5种邻域结构混合进行局部搜索,并采用了一种分层的局部搜索策略,扩大了算法的搜索空间。两种算法在23个基准数据集上的求解结果表明,变邻域搜索算法在稳定性与解的质量等方面都优于构造启发式算法,能更有效地求解CARPSPD。

基于带随机需求的限量弧路径规划概率型邻域搜索算法

针对带随机需求的限量弧路径规划(CARPSD)问题,建立基于期望与方差的数学模型,设计一种概率型邻域搜索算法。采用随机路径扫描产生初始种群,构建最优解集。根据影响解的质量的4个关键指标,构建4种领域结构。应用算法的概率机制,计算邻域搜索的强度,进行大小邻域结构的转化,指导邻域搜索。通过Restart策略,扩大解空间的范围。实验结果表明,该算法可有效解决CARPSD问题,比自适应较大的邻域算法具有更强的寻优能力。

缅甸弧中部俯冲带下方地幔间断面起伏形态研究

新生代以来,印度板块和欧亚板块发生碰撞形成了喜马拉雅造山带和青藏高原,印度板片在喜马拉雅东构造结处缅甸弧俯冲带进入深部地幔.开展缅甸弧俯冲带下方地幔间断面的研究有助于认识印度大陆岩石圈的碰撞-俯冲过程及其对上地幔结构的影响.本文选用了发生于缅甸弧地区的3个中源地震事件,获取了欧洲和美国阿拉斯加地区多个密集地震台网/台阵记录的高质量宽频带波形,利用N次根倾斜叠加方法(N=1,4)提取了缅甸弧中部俯冲带下方地幔间断面处产生的次生SdP转换震相.通过研究我们发现:(1)410-km间断面的深度范围为392~407 km,平均深度为400 km;相比于IASP91模型,410-km间断面的平均抬升幅度为10 km.我们推测印度板片在缅甸弧中部俯冲带下方已经穿过410-km间断面并进入到地幔转换带,410-km间断面的抬升与冷俯冲板片的影响有关;(2)X间断面深度在289~314 km之间,平均深度为306 km,推测该间断面可能与大陆地壳深俯冲背景下形成的超高压变质岩中柯石英(coesite)到斯石英(stishovite)的相变有关.

基于带抑止弧Petri网的C#多线程程序分析

在.net开发环境中使用C#语言编写多线程代码可以大大提高代码的运行效率,更好的利用计算机的资源。但是多线程代码在运行过程中有着不确定性会导致代码中的潜在错误难以发现,使得代码的正确性和健壮性受到影响。本文通过Petri网对一个C#多线程程序建立模型并且通过对该模型的结构和行为进行分析从而对程序中的错误进行定位,然后分析了引发错误的原因并给出了解决方案。

碧口地区中晚元古宙增生的弧前构造带及演化初析

碧口地区位于扬子地台西北缘，主要由中、晚元古宙“碧口群”火山、沉积杂岩系组成。笔者认为该套岩系在铜线韧性剪切之南主体属一在向北俯冲机制下增生的弧前构造岩带。具有宽阔的增生杂岩带。晋宁期（１４００￣８００Ｍａ）其上又迭加喷发了一套以碧口岩群为代表的岛弧火山岩系。晚元古宙末（８００￣７００Ｍａ）该弧前构造经澄江碰撞造山运动，仰冲超覆在扬子古陆北缘之上而得以保留下来。

长弧围带概念及在解决成组叶片损坏事故中的应用

本文阐述了长弧围带的概念,并指出这是一个有别于增强叶片本身强度和叶片频率调整用于消除叶片由于切向振型共振所引起的疲劳损坏事故的新方法。它是通过改变叶片成组长度以达到控制叶片一阶振型振动的能量输入。当围带长度于激振曲线中正弦波的一个或更多个周期时,能量的输入最小,理论上为零。由于该方法容易在现场实施,且结构变动不太大,因而可得到广泛采用。文章还对电厂大功率汽轮机低压第二级成组叶片的损坏事故作了分析并介绍了在解决事故中长弧围带技术的应用,着重说明应用该技术的关键是焊接工艺,因此特别叙述了所作的焊缝机械性能试验。文章最后简介了长弧围带经三年多运行完好无损的事实.