清华大学计算机系列教材：《离散数学——数理逻辑与集合论》教学资源（石纯一、王家廞）

上海交通大学：《科学技术史 A History of Science and Technology》课程教学资源（PPT课件）第04讲 古希腊数理科学

8.1.1 调查设计的目的与方法 8.1.2 随机与系统抽样 8.1.3 整群与分层抽样 8.1.4 调查误差的控制

6.1.1 试验设计的随机分配 6.1.2 试验设计的样本容量估计 6.1.3 正交表原理 6.1.4 正交表安排试验

4.1.1 配对秩和检验（Wilcoxon法） 4.1.2 成组秩和检验（Wilcoxon法） 4.1.3 完全随机分组秩和检验(K-W法) 4.1.4 随机配伍分组秩和检验Friedman

2.1.1 随机抽样 2.1.2 无偏点估计 2.1.3 μ的u估计 2.1.4 σ2的χ2估计 2.1.5 μ的t估计

运用数理统计方法，分析了某铸造厂离心铸钢管生产情况，提出了该厂生产中各工艺因素的主次关系，并推荐了该种钢管离心铸造工艺参数的控制范围

本文对微合金化中碳L45钢进行了控制轧制和控制冷却试验;测定了各项力学性能及先共析铁素体量fa、铁素体尺寸da、铁素体自由程λa和珠光体片层间距So;采用对大量实验数据进行数理统计的方法,研究了控轧控冷微合金化中碳钢力学性能与组织参量之间的关系,得到了一些表达其定量关系的估计式,探讨了控轧控冷中碳钢的强韧化机制

原子命题是数理逻辑研究的基本单位.分析了原子命题的相关性与逻辑运算之间的关系.在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同.定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点

为了解决某钢厂IF钢冶炼RH精炼过程铝耗偏高问题,通过数理统计和BP神经网络相结合的方法建立了铝耗预测模型,并与多元线性回归模型进行比较,该模型具有更高准确度.该模型分析了不同冶炼工艺参数对铝耗的具体影响,并对相应工艺参数进行了优化.结果表明:脱碳结束氧活度或RH进站氧活度降低0.005%左右,每吨钢铝耗可降低0.07~0.08 kg,铝脱氧有效利用系数为70.31%~80.35%;RH进站钢液温度增加35~40℃,铝耗降低1 kg左右,铝热反应升温利用系数在97.4%左右;吹氧量小于100 m3和大于100 m3时,氧气与铝反应的比例分别为37.3%和74.6%左右,吹氧量每增加50 m3,铝耗分别增加0.1 kg和0.2 kg左右.工艺参数优化后平均铝耗由1.359 kg降低到1.113 kg,降幅达18.1%