二元关系是一个很重要的概念，它在很多数学领域中都有应用，在计算机科学的如下理论都离不开关系：逻辑设计、 数据结构、 编译原理、 软件工程、数据库理论、 计算理论、 算法分析、 操作系统等； 本章主要介绍：关系的概念及表示方法、关系的性质、关系的运算:关系的复合, 求逆关系, 关系的闭包、三种关系: 等价关系，相容关系, 次序关系

推理的形式结构 推理的正确与错误 推理的形式结构 判断推理正确的方法 推理定律 自然推理系统P 形式系统的定义与分类 自然推理系统P 在P中构造证明:直接证明法、附加前提证明法、归谬法

二元关系是一个很重要的概念，它在很多数学领域中都有应用，在计算机科学的如下理论都离不开关系：逻辑设计、 数据结构、 编译原理、 软件工程、数据库理论、 计算理论、 算法分析、 操作系统等； 本章主要介绍：关系的概念及表示方法、关系的性质、关系的运算:关系的复合, 求逆关系, 关系的闭包、三种关系: 等价关系，相容关系, 次序关系

采用FLAC3D程序和离散裂隙网络技术构建的遍布节理岩体模型能同时考虑节理岩体中节理和岩体的作用,具有概念清晰、建模快捷、计算效率高等特点.首先对现场结构面测绘数据进行统计分析,获得其概率分布特征参数,在此基础上分两尺度考虑节理并确定其离散裂隙网络模型;其次基于离散裂隙网络模型构建相应的节理岩体模型,研究其强度特征并获取工程岩体单轴抗压强度;结合Hoek-Brown、Mohr-Coulomb准则及最大围压拟合综合确定节理岩体力学参数;最后将拟合所得参数用于边坡稳定性分析,分别运用强度折减法和极限平衡法计算两种模型的安全系数,对比发现计算结果基本一致,表明所提出的研究思路用于确定节理岩体参数是可行的

为了在命题演算中,反映命题的内在联系,常常 要将简单命题分解成个体词、谓词、量词等,并对它 们的形式结构及逻辑关系加以研究,总结出正确的推 理形式和规则,这就是本章一阶逻辑要研究的内容

本课程是自动化专业主要骨干专业课之一,其性质、目的和任务是使学生掌握计算机控制系统的 基本结构组成,过程通道的类型、设计方法和抗干扰措施,离散系统控制算法的主要设计方法和类 型,接口技术和提高计算机控制系统可靠性与抗干扰措施的方法,计算机实时监控系统软件设计方 法,以及现场总线技术在计算机控制系统中的应用等。为学生今后实际工作奠定一定的基础

以首钢水厂铁矿为依托工程,在系统的边坡工程地质勘查、岩体结构、水文地质调查与渗流场分析、矿区地应力场测量和矿岩物理力学特性测试的基础上,采用固-流耦合的有限差分法、离散单元法和极限平衡分析法相结合的方法,进行了水厂铁矿高陡边坡稳定性的系统分析研究和边坡优化设计,使水厂铁矿各分区的总体边坡角提高了1~6°

二元关系是一个很重要的概念，它在很多数学领域中都有应用，在计算机科学的如下理论都离不开关系：逻辑设计、 数据结构、 编译原理、 软件工程、数据库理论、 计算理论、 算法分析、 操作系统等； 本章主要介绍：关系的概念及表示方法、关系的性质、关系的运算:关系的复合, 求逆关系, 关系的闭包、三种关系: 等价关系，相容关系, 次序关系

利用三维离散元法对5000 m3高炉圆周方向风口回旋区焦炭非均一消耗条件下,炉内固体炉料的速度、应力分布以及炉墙和炉底的受力情况进行了分析.结果发现,炉口料面料层结构、炉料速度和应力以及炉墙炉底受力呈非对称性分布,死焦堆增高,且在其表面存在狭长的滑动粒子带

针对金属矿山特有的地理地质条件,开展相应岩石声发射试验,确定矿区矿体围岩的时间序列特征,获得岩石破裂冒落声发射参数的危险临界值,并深入研究形成该种声发射信号的破裂机制和破坏特征.然后分别对较均质岩石试样和含有结构弱面的岩石试件进行比较试验,总结弱面裂隙影响下的岩石试件产生声发射信号的规律.利用基于离散单元法的颗粒元程序进行含裂隙岩石试样数值模拟研究,通过降低接触面刚度来模拟岩石内部的损伤,通过不同的模拟条件来研究岩石的破坏情况.研究成果将为分析损伤岩体的声发射规律开辟一条新的研究途径