基于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-逆断面的强半格.

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

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

半群的Cwrpp Rees根的扩张结构

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

半群上的富足Rees矩阵半群

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

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

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

Rees矩阵半群的GK-维数

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

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

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

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

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

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

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

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

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

局部Clifford半群的Rees矩阵复盖

本文给出了一个局部 Clifford 半群上的 Rees 矩隈 W,证明了 W 也是局部 Clifford 半群,并得到了主要结果:一个正则半群 S 是局部 Clifford 半群,当且仅当 S 是一个 Clifford 半群上的正则 Rees 矩阵半群的局部同构象。

Otway-Rees协议并行攻击的SG逻辑分析

网络信息安全很大程度上取决于密码协议的安全,重放攻击和并行攻击是对密码协议的常见攻击,能够分析并行攻击的形式化分析方法并不多见。该文介绍了一种分析密码协议并行攻击和重放攻击的逻辑方法——SG逻辑,应用它对改进版的Otway-Rees协议进行了分析,找出了BAN类逻辑所不能分析出来的缺陷,针对该缺陷给出了协议的进一步改进,并推证了改进后的协议对SG逻辑的分析是安全的。

PCA分块Rees矩阵半群

用·-幺半群和这类半群的双系构造了PCA分块Rees矩阵半群,这类半群是PA分块Rees矩阵半群的一种推广,并举例表明一个半群可以是PCA分块Rees矩阵半群,但不是PA分块Rees矩阵半群.

可消幺半群上的Rees矩阵半群的强半格同态

利用各个分量之间的同态和结构半格之间的同态,给出了可消幺半群上的Rees矩阵半群的强半格之间同态的构造。

Rees矩阵定理的简明刻画

完全0-单半群的Rees矩阵表示定理通常用三元组表述,在1977年Clifford和Petrich使用的二元组表示的基础上,给出了该定理的一个较为简洁的处理.

改进型Otway-Rees协议的串空间模型分析

本文在介绍了串空间模型的基本概念和定理的基础上,提出了改进型的Otway-Rees认证协议,然后利用串空间模型的理论和方法,从机密性和可鉴别性两个方面对改进型Otway-Rees协议进行了分析,分析结果表明该改进型协议是安全的。