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

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

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

平面截割曲面体 目的与要求: 1、掌握圆柱、圆锥、圆球的投影特性和作图方法; 2、掌握在基本立体表面上取点的方法; 3、熟悉特殊位置平面截切元体所得到的截交线形状及其作图方法; 4、了解常见两立体相贯线、形状和作图方法

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

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

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

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

第一节 2×2表卡方检验 第二节 R×C表卡方检验 第三节 Fisher确切概率检验 第四节 优势比检验 第五节 拟合优度的卡方检验

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