语义分析 通常包括: (1)类型检查。验证程序中执行的每个操作是否 遵守语言的类型系统的过程,编译程序必须报告不 符合类型系统的信息。 (2)控制流检查。控制流语句必须使控制转移到 合法的地方

利用商业软件Thercast建立了描述水冷结晶器内钢液凝固传热和弹塑性变形的有限元模型,对凝固过程进行三维热力耦合求解.首先在坯壳表面施加热流密度,从而得到铸坯结晶器内凝固收缩量和坯壳温度分布,并分析钢水静压力的影响,提出结晶器锥度的设计原则,以确定合适的结晶器纵断面锥度.然后在结晶器铜管冷面施加水冷换热系数,并考虑保护渣和气隙对坯壳凝固的影响,研究坯壳在结晶器内的凝固过程,从而验证所提锥度的合理性

基于Web服务的可信应用程序构造的一个关键问题是如何度量Web服务的可信性.在遵循Web服务特点的基础上，提出一个综合的Web服务可信性度量模型TMM4WS，从Web服务的内部实现和外部使用两方面对Web服务的可信性进行度量，开发了相应的度量支持工具TMT4WS.采用Web服务实例对提出的度量模型与工具进行了验证.实验结果表明，度量模型TMM4WS及其支持工具TMT4WS具有较好的可操作性，能够定量地度量Web服务的可信性

通过建立结晶器内钢液和水的二维对流-传热耦合模型过程,研究了小方坯结晶器冷却水入口温度和流速对铜管温度和结晶器内平均热流的影响.该模型使用Fluent进行求解,模拟了钢液和冷却水的流动和传热,凝固坯壳的生长,以及热量以辐射和导热两种通过保护渣和气隙.通过将坯壳厚度和铜管温度与其他研究的结果进行对比来验证模型准确性.研究结果表明,结晶器冷却水的温度显著影响铜管的冷面温度,水温超过313 K会导致铜管冷面最高温度超过水的沸点.水流速升高0.49 m·s-1能够消除水温升高4 K带来的不利影响

根据钢铁工业逆向供应链流程,分析了钢铁工业逆向供应链及其服务的基本定义和三个服务主体的特征.在此基础上,构建了一种二层级三维度钢铁工业逆向供应链服务过程模型.在服务抽象维、服务组织与协同运作维、服务网络跨级控制与服务增值维等三个维度构成的空间里,完成由服务方案匹配与决策实现的三阶段构成的第一级服务响应以及由服务功能实现的两阶段构成的第二级服务响应过程.探讨了服务过程实现中的服务模块化、服务知识获取与共享、服务模块智能匹配等关键技术.以某钢铁企业废钢逆向供应服务为实际应用案例,验证了模型的可行性

本文建立了LD法炼钢过程中脱碳动力学的理论随机模型,它是带有随机初始条件和非齐次项的“分段型”随机微分方程。文中运用伊藤（It?）随机方程的理论求出了“解过程”和矩函数,讨论了该过程的主要统计性质。最后通过数值例子进行了模型的参数估计,并验证了“后期”模型的可靠性

在矿山实际生产管理的基础上,针对目前矿山企业机电设备管理系统面临的问题,探讨了融合云计算架构、工作流技术和企业资产管理思想的煤矿设备管理系统.通过以全生命周期管理、预防性维护、点检管理等企业资产管理理念设计煤矿设备管理系统九大功能模块;采用三层云服务架构模式和两类云部署方式构建具有四层结构的煤矿设备管理系统云平台;运用工作流引擎辅助企业资产管理系统,实现设备管理业务流程的灵活流转,进而提高企业级多矿设备管理效率.以国内典型煤矿企业为应用实例,验证了基于云计算与工作流技术的煤矿企业设备管理EAM系统的有效性

语义分析 通常包括: (1)类型检查。验证程序中执行的每个操作是否遵守语言的类型系统的过程,编译程序必须报告不符合类型系统的信息。 (2)控制流检查。控制流语句必须使控制转移到合法的地方。 (3)一致性检查。在很多场合要求对象只能被定义一次。例如Pascal语言规定同一标识符在一个分程序中只能被说明一次等等。 (4)名字的作用域分析

本文是针对某厂1600吨浮动轴钢坯剪切机的机架振动问题,在先后三次测试分析的基础上写下的部分专题总结。对剪切机的液压平衡系统进行了动态过程分析,求得与实测示波图基本相符合的液压波动方程及计算公式。应用中值定理对减振效应作了验证;应用广义中值定理推导出冲击振动的公式。对剪切机存在的\墩刀\振动现象作了动态分析,並导出动荷系数的解析式,为解决\墩刀\振动问题和新的改进设计提供了理论依据

根据1700mm热连轧机采集的现场数据分析了硅钢轧制工作辊磨损的规律和其磨损轮廓曲线．采用中部磨损和边部磨损分别建立磨损计算函数的方式,建立了无取向硅钢轧制的工作辊磨损预报模型．采用遗传算法优化计算了模型参数．现场实测数据验证表明,模型预报精度可靠实用,可用于指导生产实践．