冷压球团矿在锰铁高炉中的应用

介绍了信阳钢铁公司铁合金厂锰铁高炉配用冷压球团矿的生产实验和采取的技术操作措施，并分析了在生产应用中所产生的综合效益。     

点质量模型和单层密度模型计算弹道扰动引力的比较

在惯性制导过程中需要时刻计算弹道点扰动引力来精确校正制导系统并修正弹道。重点研究了3种弹道扰动引力的计算方法：地球重力场模型、点质量模型、单层密度模型,分别推导了其计算扰动引力的基本公式,并进行了数值模拟实验,分析比较了其精度和计算效率。     

治山治水的重要支柱——神池县依靠劳动积累工进行农田水利建设的调查报告

近年来,神池县以小流域治理为中心的农田水利基本建设,连续跃居全区前列。据年报统汁,1986年至1988年,3年共完成水土保持初步治理面积37.78万亩,按全县农业人口计算,每人平均1.58亩。其中,每年平均完成“四田”面积1.12万亩。完成水利工程139处,其中,新建人畜吃水工程11处(眼),恢复和配套人畜吃水工程3处,     

锰铁高炉强化冶炼实践

介绍了信阳钢铁公司3^#锰铁高炉为达到强化冶炼目的所采取的主要措施。实践表明，通过强化冶炼措施，提高了冶炼强度，降低了休风率，为提高产量及技术经济指标奠定了基础。     

某新型雷达可靠性指标的论证

指标论证是武器装备研制任务的开端 ,经论证确定的指标量值是工程设计的目标 ,可靠性论证是方案阶段可靠性工作的重要内容。通过一个具体产品的指标论证 ,阐述了可靠性论证的基本方法。     

基于线性时态逻辑的Petri网模型检测研究

线性时态逻辑Petri网结合了Petri网和时序逻辑的优点,清晰简洁的描述并发系统事件间的时序和因果关系,包括系统的活性和安全性.其中自动机的体积是模型检验的一个关键性问题,为了得到尽可能小体积的自动机,在LTL公式转换为Büchi自动机之前,对LTL公式进行预处理来减少冗余,然后通过布尔技术优化自动机.     

鞍钢朝阳2600 m3高炉采用的新技术

鞍钢朝阳2600m3高炉采用了多项成熟可靠的新工艺、新技术,如铁水一罐制、综合长寿技术、改进型高风温内燃式热风炉及其长寿技术、改进型嘉恒水渣处理工艺、全干法煤气除尘技术、喷煤最新技术、炉底炉缸侵蚀模型等,为实现高效、低耗、长寿、环保创造了有利条件.     

鞍钢集团朝阳公司烧结配矿研究

根据朝阳鞍凌公司烧结生产实际情况, 分析研究了配加鞍凌“四合一”杂料, 改变粉矿种类和提高粉矿比例对烧结技术指标的影响。试验结果表明: 配加杂料可以提高各项烧结技术指标, 但配加比例达到一定程度后, 会对工业生产带来困难; 在配加比例相同的条件下, 配加杨迪矿可以提高烧结矿的转鼓强度, 配加纽曼矿可以提高烧结机产量, 配加巴西矿可以提高烧结矿成品率; 提高粉矿比例后, 当杨迪矿和南非矿混合配加时, 可以得到较好的技术指标。根据烧结矿低温还原粉化指标较差的实际, 分析了烧结矿的显微结构, 并进行了烧结矿喷洒氯化钙溶液的研究, 取得了较好的试验效果。