Prolog逻辑程序的测试方法

Prolog逻辑程序设计语言具有不同于传统程序设计语言的特点.本文根据测试Prolog程序的实践,提出了一系列为Prolog程序生成测试用例的准则.按这些准则测试实际程序效果良好.这是在逻辑程序测试新领域迈出的一步.     

基于SOPC技术的目标识别系统设计

SOPC系统结合了嵌入式系统与FPGA优点,为高性能数字系统提供了新的实现方法。本文结合识别算法的特点,运用软硬件协同设计技术,设计实现了基于SOPC的目标识别系统。给出了完整的设计流程、设计方法,介绍了SOPC系统设计的关键技术。     

转炉开发45#钢的生产实践

介绍了涟钢-炼钢厂技术改造后使用“三位一体”生产45^#优质碳素圆钢的生产工艺。通过出钢过程利用合成渣洗脱氧脱硫及优化连铸工艺参数，生产出了能够满足市场需求的优质碳素圆钢。     

机械制曲成套设备研制

描述了一种新型机械制曲成套设备工艺流程、结构、工作原理和主要特点,并进行了试验研究,给出了其主要性能参数.     

宝钢1^#高炉大修工程喷吹重油的控制

本文介绍了宝钢１＾＃高炉喷吹重油的控制功能和操作画面。     

酒厂曲块粉碎加工除尘系统的探讨

对国内酒厂现有曲块粉碎除尘设备进行分析,提出了双级粉碎、机械输送、双级除尘新工艺,并对除尘系统进行了设计计算.研制出工艺流程合理、设备布置紧凑、单机性能先进的新型酒厂曲块粉碎除尘成套设备,其除尘系统设计合理、操作方便、能够满足曲块粉碎加工要求、车间内粉尘浓度达国家标准.性能试验和生产试验检测表明.该成套设备各项技术经济指标已超过国内现有曲块粉碎除尘设备.     

数控线切割机床对中心的简单方法

用线切割机床加工工件时,往往需要用钼丝找正工件某个孔的中心位置,将其作为加工基准。中心找正的准确度,直接影响加工精度。用线切割机床原配置的对中心功能找正,常常由于工件孔壁与钼丝接触的瞬间接触不良而导致较大的对中心误差。 我们摸索出一种对中心的简单方法,仅用一只     

新加坡电力市场需求响应机制及对中国电力市场建设的启示

需求响应机制对于缓解中国当前的供需矛盾、提高资源的利用率具有重要的意义,新加坡有着较为成熟的需求响应机制。首先,介绍新加坡电力市场的改革历程及当前主要运营机制,重点介绍新加坡现货市场下的需求响应机制,分析其结算机制,概括总结新加坡需求响应机制的特点和实施效果;然后,通过IEEE 30节点系统算例对不同市场场景下需求响应的实施效果进行讨论;最后,基于中国当前现货市场单边交易机制,提出近期中国开展现货市场需求响应的启示和思路。     

SDL语言的SAVE功能的测试

CCITT SDL语言的SAVE功能可以简化过程来表示,但是使软件测试更为困难.本文分析了SAVE功能的性质,并且提出了测试SAVE功能的方法.     

IF钢头尾坯洁净度研究

本文分析IF钢头、尾坯离端部不同距离氧、氮含量、夹杂物评价,为头、尾坯合适的切头、切尾、如何修磨提供依据。钢水从RH出站至凝固过程中大颗粒复合夹杂物不断去除,热轧材夹杂物主要是氧化铝、氮化钛。头坯离头端2.5 m以后,尾坯离尾端1 m后,D类夹杂减少,头坯D类夹杂评级比尾坯波动大;头坯w_(T[O])、w_([N])高于中间坯18×10~(-6)、8×10~(-6)、尾坯wT[O]高于中间坯1 ppm。头坯离头端1m后,夹杂物少于15个/mm~2,粒径4.4μm,尾坯上离尾端1 m后,夹杂物少于10个/mm~2,粒径5.1μm,尾坯洁净度好于头坯。