论文部分内容阅读
利用数学原理和数学机械化方法证明以辐射加热为主的钢丝热处理生产中肪值为常数的结论。在《钢丝辐射加热规律探讨》假设的基础上，借助隐函数建立公式，由此得出钢丝加热温度与时间之间有明确关系。根据公式证明了Dv值为常数，采用计算软件Maple可以直接从图中得到需要的温度和时间，并采用数学机械化方法说明在工程中原文模型可以精确求解。