1.1 命题及联结词 1.2 命题公式与翻译 1.3 真值表和等价公式 1.4 重言式 1.5 范式 1.6 全功能联结词集 1.7 对偶式与蕴含式 1.8 命题逻辑的推理理论

为进一步提高带钢热连轧厚控精度及控制品质,在液压活套的工作点附近,考虑带钢自重、液压伺服系统和活套本身的非线性,建立了液压活套系统的非线性多变量动态数学模型,并验证了该模型的有效性.针对该模型,考虑未建模动态和各种扰动,提出了一种基于反推控制和扩张状态观测器(ESO)补偿的解耦控制方法.用Lyapunov稳定理论证明了闭环系统是鲁棒稳定的.仿真表明新的模型和解耦控制方法都是有效的

对定常速度下二维非稳态晶体生长的数学模型进行了分析,证明了解的唯一性,并运用Laplace逆变换法对该定解问题进行求解,最后给出了一个具体的例子

基于结晶动力学理论，建立了球墨铸铁凝固过程各阶段微观组织形成形核和长大的数学模型；根据该结晶动力学模型，编制了球铁微观组织形成模拟软件FTStructure．该软件可以预测球铁凝固过程中各相的形成以及固态转变中铁素体和珠光体的形成，并进而预测铸态力学性能．模拟了阶梯形试块的冷却曲线、微观组织和布氏硬度．模拟与实测结果符合较好．

认识三种数学模型 微分方程 传递函数 频率特性 学习二种图模型 方块图 信号流程图 为物理系统建立数学模型

第一节 资产组合的期望收益与标准差 第二节 有效资产组合曲线 第三节 有效边界的数学描述及计算技术 第四节 国际分散化

1.1 引言 1.2 线性系统的输入输出描述 1.3 线性系统的状态空间描述 1.4 系统状态空间描述的等价变换 1.5 线性定常组合系统的状态空间描述

本文提供了一个建立卷取温度控制模型的新方法,即从输出辊道带钢温降理论模型的解析解出发,构造在线模型,然后对在线模型的结构、参数进行显著性检验,最后提出了控制方案.经与现场实测数据比较,该模型具有较高的拟合精度

为获取顺煤层钻孔抽放瓦斯的合理参数,依据煤层瓦斯流动理论和质量守恒定律,以顺煤层抽放钻孔周围瓦斯流场为研究对象,建立了钻孔抽放瓦斯流动方程的数学模型.以新庄孜煤矿5213掘进工作面为例,采用MATLAB对钻孔瓦斯流场进行数值模拟,并与矿井的实际抽放情况进行了比较和分析,得出了适合该矿煤层的瓦斯抽放参数.抽放参数可以在淮南矿区相近煤层赋存条件下推广应用,以利于矿区高瓦斯矿井的安全生产

运用冶金过程工程理论,对钢包运行过程进行深入的解析和较为系统的研究,形成了钢包运行控制技术,包括钢包运行过程解析、钢包运行时间的数学描述、钢包运行个数的三种计算方法、钢包运行过程温降、钢包运行频率及运行过程的优化.该项技术已经应用于5个工厂,并取得了明显的效益