本章是数理逻辑中的最基本内容， 是下一章的基础.本章主要讲述命 题与联结词、命题公式、恒真命 题、等价式、蕴涵式及范式等基 本内容；能将自然语言符号化； 能用等价式、蕴涵式等进行命题 演算和推理；能用逻辑推理的方 法解决一些实际问题

1. 掌握内积、欧氏空间等概念; 2. 熟练运用 Schmidt 正交化方法求标准正交基; 3. 掌握子空间的正交补概念，会求某些空间的正交补； 4. 掌握正交变换的概念，会用正交变换的等价条件和正交矩阵的某些性质

网络模型的讨论，本质上属于图论范畴 用途极其广泛（如：运输系统设计、信息系统 设计、项目计划管理等）、实用性强，是网络 模型的特征之一，其解法的特殊，也是值得关 注的地方 需要重点掌握：各种网络模型的算法

模拟，也称仿真 计算机模拟：利用计算机，主要是利用计算 机生成随机数对管理问题、系统进行仿真， 模拟出若对管理系统进行不同的设计（如不 同数量的收银通道）、若对库存系统制订不 同的策略（如不同的库存量、订货量），其 可能之经济后果，从而帮助在各种不同系统 中或不同策略中筛选出较优的管理方案来 重点：掌握模拟技术的想法

基于CFD多相流欧拉模型,针对后混合式磨料水射流除鳞喷嘴中磨料与水混合均匀性差、射流能量利用率低的缺点,应用Fluent软件对磨料侧进式、切进式和平行多射流式3种进料方式的喷嘴进行三维数值模拟,通过喷嘴内部流场速度矢量图分析了3种进料方式下高压水与磨料的作用机理,并通过磨料体积分数云图比较了流场的均匀性.结果表明:与磨料侧进式喷嘴相比,磨料切进式和平行多射流式喷嘴能够改善磨料与水的混合效果,使流场内磨料分布均匀.但切进式喷嘴会增加喷嘴内部的磨损,需要采用更耐磨的材料.与前两种喷嘴相比,平行多射流式喷嘴可得到磨料与水最好的混合均匀性,实际应用中还可以根据需要对水射流的流量及作用方式进行调节

实验内容 学习计算机模拟的基本过程与方法。 1、模拟的概念。 4、实验作业。 3、计算机模拟实例。 2、产生随机数的计算机命令

根据相似原理,以某厂300 t RH为原型建立了1∶4的水模型,集中研究了吹气孔堵塞对RH循环流量的影响.结果表明,吹气孔堵塞时,气量偏差对循环流量影响最大;当吹气孔对称堵塞时,吹气孔堵塞位置的连线与环流方向成0°时循环流量最小,呈90°时循环流量最大;当吹气孔集中堵塞时,随吹气孔堵塞个数的增加,气泡泵的作用机制由环状机制向簇群状机制转变,循环流量增加

本文研究了钢绳罐道上提升容器的横向运动,它包括容器质心的横向摆动和绕质心的转动。建立了此系统的动力学微分方程组,并用龙格——库塔方法求得了运动的数值解。通过对数值解的分析说明:(1)容器的摆动量与提升钢绳的横向力,以及罐道长度成正比,与重锤的重量成正比。(2)在容器长度确定的条件下,增大上下罐耳之间的距离可使容器的晃动减小。但是,如果容器长度与罐耳间的距离同步地增加,将不能达到使晃动减小的目的

行星齿轮箱振动信号包含多种频率成分和噪声干扰，频谱具有复杂的边带结构，容易对故障识别造成误导甚至引起错判.在不同故障状态下，行星齿轮箱振动信号的多域特征量将偏离正常范围且偏离程度不同，根据这一特点，提取振动信号的时域、频域特征参量用于故障识别.为了避免传统分析方法中负频率及虚假模态问题，增强对噪声干扰的鲁棒性，采用局部均值分解法将信号自适应地分解为单分量之和，提取时频域单分量瞬时幅值能量.针对多域特征空间构造过程中出现的高维及非线性问题，采用流形学习对数据进行降维处理.提出基于改进的虚假近邻点的本征维数估计及最优k邻域确定方法，并通过等距映射对多域特征空间进行降维分析.对于行星齿轮箱实验信号，根据样本流形特征聚类结果，分别识别出了太阳轮、行星轮和齿圈的局部故障，从而验证了上述方法的有效性

本文按分布参数从理论上推导了声线路动态基本方程组,在此基础上建立了膨胀型消声器的数字仿真模型,介绍了仿真方法,对于消声器的设计和预测其消声值具有一定的参考价值