一、程序设计方法学的产生 二、程序设计方法学的基本内容 三、本课程的核心内容和目的

一、基本概念 二、程序测试的基本方法 三、部分正确性证明方法 四、终止性证明方法

通过建立425mm×320mm连铸大方坯二维凝固传热数学模型,模拟了凝固坯壳的长大过程,并通过窄面射钉实验对数学模型进行了验证,精确得到了任意位置处大方坯凝固坯壳的厚度分布情况及最终凝固终点的位置,发现经典的凝固平方根定律对于连铸大方坯的凝壳长大进程不再适用.回归宽面中心坯壳厚度与凝固时间平方根的关系式发现,结晶器弯月面至二冷区出口,近似为线性关系,符合平方根定律,二冷区出口至凝固终点,二者为非线性关系,不再符合平方根定律

一、重点掌握化学反应等温方程。 二、掌握各种反应体系标准平衡常数和其他平衡常数的表 达式及相互间变换。 三、重点掌握温度对平衡常数的影响一Van 't' Hoff方程的 定积分式、不定积式。 四、 压力、惰性气体对气相反应平衡移动的影响和组成变化的计算。 五、了解同时平衡计算原则及方法。 六、了解真实气体反应以及混合物和溶液中的化学平衡。 5.1 化学反应的等温方程 5.2 理想气体化学反应的标准平衡常数 5.3 温度对标准平衡常数的影响 5.4 其他因素对理想气体化学平衡的影响 5.5 同时反应平衡组成的计算 5.6 真实气体反应的化学平衡 5.7 混合物和溶液中的化学平衡

针对分段空场嗣后充填采矿法实际工程中存在的诸多模糊信息,综合考虑了矿山安全、经济和技术等因素,并利用层次分析法(AHP)建立了方案优化综合评判体系.运用模糊数学方法对各个方案参数进行优选,对定性和定量指标权重进行评价,最终由模糊矩阵选出最优方案参数,从而实现安全、高效地开采

从区域化变量分布的稳健性角度,借鉴产品加工质量精度控制的理论,基于Johnson分布曲线族提出了一套非正态数据转换方法,并设计了转换流程.以SPSS和Surpac矿业软件为工具,通过实际案例分析了传统数据转换方法和Johnson转换方法的应用效果.实践证明,采用上述方法转化后的数据开展统计分析、变异函数模型的拟合及验证、克立格估计等工作,更容易满足稳健性要求,并能从本质上减小估计误差,提高估计精度

提出了基于偏最小二乘回归模型的带钢热镀锌质量监控方法.以带钢热镀锌生产中带钢力学性能和锌层质量的质量监控为研究对象,用偏最小二乘方法建立了生产过程参数与质量结果之间的回归模型,对生产过程控制能力进行了分析,并给出了产品质量的预测方法.用鞍钢股份有限公司带钢热镀锌的实际生产数据进行验证.结果表明,偏最小二乘法比传统的多元线性回归方法具有更好的预测精度,基于偏最小二乘回归的锌层质量预测模型,其相对预测误差可达到5.93%

为了准确预测管道在不同应力比交替作用下的剩余寿命,在疲劳裂纹扩展速率实验的基础上,建立了一种新的含缺陷管道剩余寿命预测方法,即不同应力比交替作用下单参数疲劳寿命预测方法.该方法全面考虑了管线运行过程中不同应力比交替作用引起的破坏.以X52管线钢为例,通过模拟天然气实际运行情况(R=0.1和R=0.6交替作用)预测了其剩余寿命

一、概述 平面是箱体类零件、盘类零件的主要 表面之一,平面加工的技术要求包括:平 面本身的精度(例如直线度、平面度), 表面粗糙度,平面相对于其他表面的位置 精度(例如平行度、垂直度等)。 加工平面的方法很多,常用的有铣、 刨、车、拉、磨削等方法。其中铣平面是 平面加工应用最广泛的方法

用人工神经元方法分析IF钢性能与成分、加工工艺之间关系.通过实验与现场数据训练1个前向网络的考核结果表明，该方法是用于大生产中IF钢成分与工艺设计的有效方法