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

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

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

一、信号的时域分解一用(n)表示离散时间信号;表示连续时间信号。 二、LTI系统的时域分析—卷积积分与卷积和。 三、LTI系统的微分方程及差分方程表示。 四、LTI系统的框图结构表示。 五、奇异函数

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

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

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

应用模拟退火算法成功地解决了设计变量为连续和离散混合变量的湿式多盘制动器多目标优化设计问题,将经过改进的模拟退火算法应用到湿式多盘制动器的多目标优化设计中,可获得满意的优化设计结果.实际优化设计结果表明,应用模拟退火算法进行湿式多盘制动器零部件结构尺寸的优化设计是可行且高效的,它可在工程结构优化设计领域中推广应用

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

学科基础课平台必修课 《高等数学 A1》 《高等数学 A2》 《大学物理 A1》 《大学物理 A2》 《大学物理实验》 《C++程序设计》 《C++程序设计实验》 《C++程序设计实训》 《线性代数》 《概率论与数理统计 B》 《离散数学Ⅰ》 《计算机组成原理 I》 《数据结构 I》 《数据结构 I 实验》 《计算机网络原理Ⅰ》 《操作系统 I》 《操作系统Ⅰ》 《电工电子技术 C》 《复变函数与积分变换》 学科基础课平台选修课 《数字逻辑》 《Java 程序设计》 《Java 程序设计实验》 《管理信息系统》 《管理信息系统实训》 《数据库原理 A》 《编译原理》 《物联网工程导论》 《软件工程概论 A》 《汇编语言与接口技术》 《算法分析与设计》 《数字通信原理》 专业课平台必修课 《计算机体系结构》 《嵌入式系统概论》 《软件设计与规范》 《计算机类认识实习》 《计算机生产实习》 《计算机毕业实习》 《计算机毕业设计（论文）I》 《计算机毕业设计（论文）II》 专业课平台选修课 《单片机原理及应用》 《嵌入式操作系统》 《嵌入式系统设计》 《软件项目管理》 《软件测试技术与工具》课程实验 《单元测试实训》 《集成测试实训》 《软件测试设计与文档规范实训》 《信息服务概论》 《离散数学 II》 《操作系统原理Ⅱ》 《数据结构Ⅱ》 《计算机组成原理Ⅱ》 《计算机网络原理Ⅱ》 《Oracle 高级数据库开发设计》 《C#程序设计》 《基于组件的软件开发》 《UML 软件建模》