带RVM的描述逻辑εL混合循环术语集的语义及推理

分析描述逻辑循环术语集的研究现状和存在的问题,在F.Baader和S.Brandt的基础上进一步研究带RVM的描述逻辑εL混合循环术语集的语义及推理问题.给出带RVM的εL混合循环术语集的语法和语义.针对带RVM的εL混合循环术语集包含推理的需要,提出TBox-完全的概念,并重新定义描述图,使用描述图之间的模拟关系和TBox-完全给出最大不动点语义和描述语义下带RVM的εL混合循环术语集的概念包含推理算法,证明推理算法的正确性,并证明推理算法是多项式时间复杂的.     

Reduction Algorithms Based on Discernibility Matrix：The Ordered Atributes Method

In this Paper,we present reduction algorithms based on the principle of Skowron‘s discernibility matrix-the ordered attributes method.The completeness of the algorithms for Pawlak reduct and the uniqueness for a given order of the attributes are proved.Since a discernibility matrix requires the size of the memory of |U|^2,U is a universe of bojects,it would be impossible to apply these algorithms directly to a massive object set.In order to solve the problem,a so=called quasi-discernibility matrix and two reduction algorithms are prpopsed.Although the proposed algorithms are incomplete for Pawlak reduct,their optimal paradigms ensure the completeness as long as they satisfy some conditions.Finally,we consider the problem on the reduction of distributive object sets.     

中央空调的故障诊断系统

阐述专家控制系统的特点和中央空调的组成，描述中央空调专家控制系统结构，详细说明该系统的软、硬件设计。该系统是以微型计算机为上位机，以PLC为下位机的控制系统。软件的设计着重于专家控制系统软件的开发。     

高放废物地质处置场址安全要求

概述了国际原子能机构、美国、法国、瑞典、芬兰和日本的高放废物地质处置场址安全要求的内容、现状和发展趋势。场址安全要求主要从水文地质、地球化学、岩石特征、气候变化、人类干扰等方面来阐述场址的有利条件、不利条件以及潜在的有利与不利条件。以系统科学为指导,初步探讨了我国场址安全要求的研究框架和实施步骤。     

不确定观测下离散事件系统的可诊断性

从系统诊断的角度来看,可诊断性是离散事件系统的一个重要性质.其要求系统发生故障后经过有限步的观测可以检测并隔离故障.为简单起见,对离散事件系统可诊断性的研究大都假定观测是确定的,即观测到的事件序列与系统实际发生的可观测事件序列一致.而在实际应用中,由于感知器的精度、信息传输通道的噪声等原因,获取的观测往往是不确定的.本文重点研究观测不确定条件下离散事件系统的可诊断性问题.首先,扩展了传统可诊断性的定义,定义了观测不确定条件下的可诊断性.接着,分别给出各类观测不确定条件下的可诊断性判定方法.而在更一般的情况下,各类观测不确定可能共同存在.因此,最后给出一般情况下的可诊断性判定方法.     

MALC的公式在其模型间互模拟下的不变性

文献[1]中给出了模态描述逻辑的语法与语义,同时给出了两个模型之间的互模拟关系。目前对各种模态描述逻辑系统的研究主要是它们的语法与语义,对其代数性质做研究很少见,然而研究各种模态描述逻辑系统的模型构造,模型之间互模拟、同构等代数性质有重要的理论与现实意义。文中在文献[1]的基础上,定义了模态描述逻辑的可能世界的理论和两个可能世界的等价,继续研究描述逻辑系统的代数性质,得到了的合式公式在模型间互模拟下的不变性。     

高放废物地质处置的安全评价模拟研究：以甘肃北山为例

高放废物安全处置是全球放射性废物管理的重难点问题之一。目前全球拥有核工业的国家正在积极探索安全处置高放废物的前沿课题,但至今尚无高放废物处置库投入运行。我国北山高放废物地质处置地下实验室即将开工建设,因此亟需开展相关安全评价研究,为今后处置库安全评价打下良好基础。本文论述了高放废物地质处置库安全评价的特性,并以处置库首选预选区甘肃北山为对象,开展了高放废物地质处置安全评价模拟研究,旨在为我国高放废物地质处置安全评价提供建议与参考。本文采用蒙特卡罗随机模拟方法,构建了处置库关闭后的破损情景,对拟贮存60 000个废物罐的处置库关闭后100万年期间的辐射水平进行了模拟计算。研究结果表明,甘肃北山处置库100万年内的高放废物有效剂量均低于国际要求的剂量限值,表明该处置库符合高放废物地质处置库的安全要求。本文对于我国甘肃北山高放废物地质处置安全评价的进一步研究具有重要意义。     

甘肃北山坑探设施光面爆破施工技术研究

甘肃北山坑探设施为我国高放废物地质处置工程研发及建设阶段里程碑式的设施。基于光面爆破施工方法,设计了甘肃北山坑探设施项目光面爆破的爆破参数,得到了适宜于本项目的爆破实施方案,进而实施了在不同爆破参数（周边孔间距）的光面爆破,验证了光面爆破参数的科学性。同时,需指出的是,钻爆施工涵盖多种不同的爆破参数,影响因素众多,爆破试验获取的爆破数据仅仅是对不同周边孔间距的初步探索。研究成果可对后续工程开挖提供相应的试验数据与理论支撑,其对于深部地下工程的爆破开挖及高放射性废物的深地质处置有一定的理论指导意义。     

压缩应力条件下花岗岩损伤演化特征及其对渗透性影响研究

 基于岩石三轴压缩应力–应变全过程渗透特性试验,结合三维声发射监测信息,研究花岗岩在不同围压条件下力学损伤演化机制及其对岩石渗透特性影响规律。本研究对常规渗透试验方法进行改进,通过在试样两端加工渗透小孔,实现岩石不同破坏形式下渗透性变化规律的测量。试验结果表明,在压缩应力作用下,花岗岩的损伤演化始于微裂隙的产生和扩展,并在岩石破坏时和峰后阶段发展迅速。该损伤演化的阶段性特征与声发射监测数据一致,进一步说明了裂隙扩展是导致花岗岩力学特性劣化的根本原因。随着微裂隙的扩展,岩石渗透性不断增强,但在峰前加载阶段渗透性变化明显滞后于损伤演化过程。该结果表明,在裂隙贯通并产生宏观破坏面之前,裂隙扩展对花岗岩渗透性影响非常有限。在低围压条件下,岩石渗透性随围压增大迅速减小;当围压增大到一定程度后,该趋势逐渐减弱。结合声发射监测数据,对不同应力条件下损伤演化与渗透特性的相互关系进行分析,并提出花岗岩渗透率与损伤和围压的相关经验公式。