Rees矩阵半群的GK-维数

主要探讨Rees矩阵半群的GK-维数问题.首先刻画Rees矩阵半群的性质,含有零元的一类Rees矩阵半群S的GK-维数等于S的任意非零极大幺半群M的GK-维数.然后利用这些性质,证明一类Rees矩阵半群S有多项式增长当且仅当S的所有的子幺半群有多项式增长,推广了本原富足半群里的相关结果.

基于REE示踪法的工程堆积体坡面泥沙来源研究

[目的]探究生产建设项目工程堆积体坡面侵蚀的泥沙来源,更有针对性地布设水土流失防治措施,减少人为扰动造成的水土流失。[方法]结合室内人工模拟降雨试验与REE(Rare Earth Elements)示踪技术,研究90 mm/h雨强下不同砾石含量[0(纯土),10%,20%,30%]工程堆积体坡面不同坡位的侵蚀特征及侵蚀贡献率。[结果](1)不同砾石含量堆积体各坡位侵蚀量均为下坡位最大,同时下坡位平均侵蚀贡献率(57.40%)大于上坡位和中坡位,表明下坡位是坡面泥沙的主要来源。(2)含砾石堆积体坡面中坡位和下坡位的侵蚀量显著小于纯土堆积体。含砾石堆积体坡面上坡位和中坡位的侵蚀贡献率显著+大于纯土堆积体坡面,下坡位侵蚀贡献率显著小于纯土堆积体坡面。(3)砾石含量对下坡位侵蚀量和贡献率的影响更显著(p<0.05)。含砾石堆积体中,20%砾石含量堆积体坡面上坡位和下坡位的侵蚀量显著大于10%,30%砾石含量堆积体。10%砾石含量堆积体坡面上坡位侵蚀贡献率显著大于20%,30%砾石含量堆积体坡面,下坡位侵蚀贡献率显著小于20%,30%砾石含量堆积体坡面。[结论]各砾石含量工程堆积体坡面中,下坡位侵蚀贡献率均最大,表明下坡位是工程堆积体坡面泥沙的主要来源,要加强工程堆积体下坡位的防护和治理。

新疆巴楚瓦吉里塔格碱性岩有关的Nb-Ta-REE矿床地质特征、地球化学及其成因

瓦吉里塔格碱性岩有关的Nb-Ta-REE矿床位于塔里木克拉通北缘,是近年来在塔里木北缘碱性岩带中发现的、具有代表性的稀有-稀土综合性矿床.通过对其进行详细的矿床地质学、地球化学和构造环境研究,结果表明瓦吉里塔格碱性岩主要为中性-基性-超基性杂岩体,后期有碳酸岩脉、似金伯利岩岩筒及煌斑岩脉贯入.地球化学特征显示其均属碱性岩系列,具有明显结晶分异特征.碱性杂岩体(脉)的稀土配分曲线基本平行,均表现出LREE略富集、HREE亏损的右倾特征,轻稀土分馏特征较重稀土明显.从辉石岩到辉长岩、再到霓霞正长岩类,ΣREE含量逐渐增高,具较为一致的微量元素蛛网图曲线(富集大离子亲石元素,相对亏损高场强元素),具有同源演化特征.岩石成因研究表明,镁铁质岩浆可能源自亏损的地幔源区,演化过程中经历了一定的橄榄石及辉石和钛铁氧化物的分离结晶,岩浆演化后期受到了一定程度的同化混染作用.主体形成于晚石炭世-早二叠世的板内伸展构造环境.碱性岩体中具有较好的碱性岩型稀有(Nb、Ta)矿产找矿前景,其中碳酸岩体(脉)具有较好的寻找碳酸岩型稀土矿的找矿前景.

基于REES构型的非传统矿业评价体系研究

REES构型是以资源 (R) -环境 (E) -经济 (E) -社会 (S)问题构建的理论模型 ,非传统矿业评价是非传统矿产资源理论在矿业评价领域内的应用 .基于REES构型的非传统矿业评价是在REES构型基础上的可持续性意义上的集成化评价 .

Otway Rees协议的安全分析

互联网的迅速发展引起人们对协议安全性的关注,现在国际上流行安全协议的分析方法集中在形式化验证方面,其中BAN逻辑是一种方法。本文通过使用BAN逻辑证明O tway Rees协议的安全性,同时也得出BAN逻辑在证明协议安全性方面的一些缺陷。

Clifford半群上Rees矩阵半群的正规加密群结构

参照含幺Clifford半群上Rees矩阵半群的定义方式,给出Clifford半群上Rees矩阵半群的定义,证明了Clifford半群上的Rees矩阵半群是正规加密群,最后给出了Clifford半群上Rees矩阵半群S的正规加密群结构.

幺逆半群的Rees矩阵半群的平移壳

研究了幺逆半群的Rees矩阵半群的平移壳的结构.利用映射,给出了幺逆半群的Rees矩阵半群的平移壳的两个结构定理,推广了已知的群上的Rees矩阵半群的平移壳的结果.

含幺Clifford半群上的Rees矩阵半群的逆断面

证明了含幺Clifford半群上的Rees矩阵半群S的所有逆断面都是Q-逆断面,S的所有逆断面互相同构并且S的Q-逆断面是它的完全单子半群的Q-逆断面的强半格.

Otway-Rees协议改进及形式化证明

选取认证密钥分配协议Otway-Rees协议作为研究对象,利用协议组合逻辑(PCL)作为协议证明工具,对安全协议形式化分析及证明进行了研究。首先给出了Otway-Rees协议常见的攻击形式,分析了存在的缺陷,提出了改进方案(AOR协议);然后,为了更好地形式化描述AOR协议,对传统的PCL进行一定的扩展;紧接着,用扩展后的PCL对改进的协议中各个实体的行为和协议的安全属性进行形式化描述,将改进后的协议进行模块化划分,并利用PCL进行组合证明;最后,得出改进后的AOR协议具有密钥保密属性。

含幺Clifford半群上的Rees矩阵半群的最大幂等分离同余

研究了含幺Clifford半群上的Rees矩阵半群S的幂等分离同余,给出了S上的同余是最大幂等分离同余的一个充要条件.

蒙古阿尔泰哈勒赞布勒格泰碱性岩有关的Zr-Nb-Ta-REE矿床地质特征、地球化学与成因初探

哈勒赞布勒格泰稀有稀土矿床产出于蒙古国阿尔泰地区,是一处与碱性杂岩体有关的超大型Zr-Nb-Ta-REE矿床。该杂岩体具有多期次侵位和多岩相的特征,主要由含钠铁闪石和霓石的碱长正长岩、英碱正长岩、碱长花岗岩、蚀变碱长花岗岩和碱长花岗伟晶岩等组成,并被碱性辉长岩和辉绿岩侵入。其中,蚀变碱长花岗岩发生了全岩Zr、Nb、Ta和REE矿化,并具有广泛的热液交代特征。LA-ICP-MS锆石U-Pb测年显示,该杂岩体中的长英质碱性岩和基性碱性岩具有相似的侵位年龄,均为~400Ma,侵入于~463Ma的黑云母正长花岗岩中。主微量元素地球化学研究显示,该杂岩体具有强过碱性的特征。岩浆演化主要受到碱性长石分异的控制,使硅逐渐聚集于晚期粒间熔体之中,并逐渐演化为英碱正长岩和碱长花岗岩。这个过程使岩浆的过碱性特征不断加强,也使钠铁闪石和霓石逐渐富集。杂岩体的岩浆演化经历了一定程度的锆石、富集稀土的磷灰石、独居石和磷钇矿以及富集Nb的异性石的分异,使Zr、Nb、Ta和REE等成矿元素在岩浆的演化过程中没有得到显著的富集,因此岩浆的演化并非是该杂岩体中稀有稀土元素发生矿化的关键因素。在蚀变碱长花岗岩的石英、碱性长石和钠铁闪石中,普遍发育顺着晶格生长的“雪球状”钠长石,是碱性花岗质共结岩浆演化晚期流体发生周期性饱和并释放,造成Ab周期性过饱和而沉淀的结果。流体的周期性过饱和及释放萃取成矿元素并汇聚于蚀变碱长花岗岩,造成其Zr、Nb、Ta和REE等元素与硅含量相似但未发生蚀变的碱长花岗岩相比富集了近10倍,因此这是发生矿化的根本原因。

半群的Cwrpp Rees根的扩张结构

借助于半群的理想扩张理论,研究了半群的Cwrpp Rees根的扩张结构,证明了Cwrpp Rees根的扩张半群的结构特征,即S是Cwrpp Rees根的扩张半群当且仅当S是有强Cwrpp Rees根的wrpp半群.同时给出了半群的Cwrpp Rees根的几种扩张结构,并通过例子表明Cwrpp Rees根的扩张半群有其独特意义.

通化地区中生代大川花岗岩岩体成因与REE赋存状态——来自岩石地球化学、锆石U-Pb定年和Hf同位素制约

吉林南部地区位于华北克拉通北缘东段,是一个经历了太古宙、元古宙、古生代、中生代以及新生代漫长地质历史演化的地质构造区,广泛发育晚中生代富集稀土元素的碱长花岗岩。本文选取该区富集稀土元素的大川花岗岩体,开展岩相学、锆石U-Pb年代学与Hf同位素、岩石地球化学研究,结果表明:该岩体主要由细粒、中粒和粗粒黑云母碱长花岗岩所组成,其次是花岗伟晶岩;主量元素具有高硅(w(SiO_(2))=72.56%~84.09%)、低铝(w(Al_(2)O_(3))=8.15%~14.76%)、准铝—强过铝质(A/CNK=0.98~1.60)的特征,属于高钾钙碱性系列;样品稀土质量分数较高(w(ΣREE)=88.53×10^(-6)~839.95×10^(-6)),(La/Yb)_(N)=2.30~41.24,富集轻稀土元素,亏损重稀土元素,稀土配分模式为右倾型,Eu负异常比较明显,δEu值为0.05~0.60,分异指数(ID=86.72~97.69)较高,固结指数(IS=0.16~1.13)较低,显示在岩浆演化过程中经历了斜长石、黑云母、磷灰石等矿物不同程度的分离结晶作用,结合岩相学特征,初步认为大川碱长花岗岩为高分异花岗岩;粗粒黑云母碱长花岗岩单颗粒锆石U-Pb同位素年龄为(120.8±1.6)Ma;锆石ε_(Hf)(t)值全部为负值(-10.7~-5.2),对应的Hf同位素二阶段模式年龄为2 587~2 090 Ma;基于同位素与岩石地球化学数据,初始岩浆起源于新太古代—古元古代陆壳物质的部分熔融,岩体为同源岩浆房经岩浆结晶分异作用后岩浆上侵就位的产物。岩矿鉴定及全岩微量显示,随着岩浆的演化,石英含量逐渐升高,黑云母含量逐渐降低,稀土总量也逐渐降低,稀土主要富集在粗粒黑云母碱长花岗岩相中。

富足半群上的模糊Rees-好同余

引入富足半群上模糊Rees-好同余的概念,在此基础上,给出富足半群上模糊Rees-好同余的性质,得到富足半群上模糊Rees-好同余的一些相关结果.

半群上的富足Rees矩阵半群

引入半群上的λ-行L*-关系和i-列R*-关系,讨论了半群上的这类*-关系和通常的Green′s关系中L*和R*之间的联系,得到了一系列判断半群上的Rees矩阵半群是否为富足半群或是哪一类具有充足断面的富足半群的方法,并给出了这类富足Rees矩阵半群的例子及其结构.

含幺Clifford半群上的Rees矩阵半群的自动性

探讨半群的自动化结构是揭示半群的自动性的主要方法.在研究了半群B的结构和它上面的Rees矩阵半群的结构的关系后,把这种关系和半群的自动结构相结合,证明了含幺Clifford半群上的Rees矩阵半群是自动化的充要条件是这个含幺Clifford半群是自动化的.

基于Rough Set的矿区REES系统中的瓦斯事故分析

瓦斯事故是煤矿经常发生的事故,在矿区REES系统中应对其有准确的分析与预测,采用了Rough Set理论对矿区REES系统中事故分析进行了建模,给出了分析步骤与流程,然后利用作业评价法评价矿井中煤与瓦斯突出分类等级,最后利用Rough Set理论建立煤与瓦斯的决策表,求得其约减,提取决策规则,对规则进行了分析,用于指导煤矿开采。

完全正则半群和幺半群上的Rees矩阵半群

讨论了含幺Clifford半群上的Rees矩阵半群和完全正则半群之间的关系,证明了完全正则半群是含幺Clifford半群上的Rees矩阵半群当且仅当它是幺半群上的Rees矩阵半群。

针对Otway-Rees密钥交换协议的Man-in-the-Middle攻击分析与防范

从Otway-Ress密钥交换协议规范性基础上分析该协议中可信任的服务器S创建密钥K_(ab)分布到两个委托对象A和B消息传递模式,并通过man-in-the-middle攻击原理阐述的基础,分析Otway-Rees密钥交换协议密存在漏洞可能性,以及针对漏洞攻击形式及变种形式,从设计水平的两个方面采取了防范攻击的措施。

矿业地区REES系统可持续发展指标体系的建立

可持续发展是人类追求的共同目标。为了确保可持续发展策略的正确性 ,必须建立衡量协调发展实现程度的指标体系。本文建立了为矿业地区可持续发展战略提供决策依据的指标体系建立进行了指标类型与功能的分析 。