铁水脱硫扒渣是包钢发展的重要环节

脱硫扒渣站的建成,既解放了炼铁厂的高炉,又减轻了炼钢厂转炉冶炼的负担,同时可以实现铁水预脱硫→顶底复吹转炉炼钢→钢水二次精炼→连铸这一炼钢四位一体的现代化生产工艺流程,从而生产有市场竞争力的产品.镁基脱硫剂是世界上冶金企业采用最先进的脱硫剂,脱硫技术和设备也是世界上最先进的.     

农电企业降损节能工作的探讨

阐述了农网降损节能的意义和技术上，管理上的有效措施，指出在线损管理中，只有将理论计算，准确统计，科学分析，营业管理和严打窃电等一系列办法有机地结合起来，才会有良好的效果。     

A study on time schemes for DRBEM analysis of elastic impact wave

 The precise integration and differential quadrature methods are two new unconditionally stable numerical schemes to approximate time derivative with more than the second order accuracy. Recent studies showed that compared with the Houbolt and Newmark methods, they produced more accurate solutions with large time step for the problems where response is primarily dominated by low and intermediate frequency modes. This paper aims to investigate these time schemes in the context of the dual reciprocity BEM (DRBEM) formulation of various shock-excited scalar elastic wave problems, where high modes have important affect on traction response. The Houbolt method was widely recommended in many literatures for such DRBEM dynamic formulations. However, this study found that the damped Newmark algorithm was the most efficient and accurate for impact traction analysis in conjunction with the DRBEM. The precise integration and differential quadrature methods are shown inapplicable for such shock-excited problems due to the absence of numerical damping. On the other hand, we also found that to achieve the same order of accuracy, the differential quadrature method required much less computing effort than the precise integration method due to the use of the Bartels–Stewart algorithm solving the resulting Lyapunov matrix analogization equation. Received 6 November 2000     

机电一体化技术在综合采煤设备中的应用与发展

介绍了机电一体化技术在国内外煤矿井下综采设备中的应用，并论述了机电一体化技术发展与相关技术的研究。     

经济边际在油气资源勘探开发中的应用方法研究

油气资源勘探开发的经济边际分析是从石油企业的边际利润出发，确定石油企业的最优投入产出水平，为作出科学的投资决策和生产决策提供依据，界定了有关油气资源勘探开发经济边际的概念和内涵，探讨了石油企业边际成本和边际收入的确定方法。     

关于混联梯级水电站经济调度的研究

提出采用具有附加线性约束的网络规划法，可把混联梯级水电站分解为几个子网络，简化了每个子网络的求解计算，从而加速大电网复杂的经济调度的计算速度。     

未来十年综合航电系统的发展趋向

本文主要阐述未来十年国外综合航电系统的总的发展趋向，重点介绍了在开放式系统结构的研究与应用、采用COTS技术、模块化、多传感器综合技术等方面的发展趋向。     

热释电系数的测量方法

描述热释电系数的两种测量方法。其一为电荷积分法，测试系统简单，测量数据准确，且能满足零电场条件下的测量。其二为动态电流法，采用调制热源技术，研究在特定温度条件下热释电材料的动态热释电响应。     

An integral theorem prover and the role of proof planning

An investigation is made into the ways proof planning can enhance the capability of a rule based prover for the theory of integration. The integrals are of the Riemann type and are defined in a way to maximize the theorem proving methods of predicate calculus. Approximately fifty theorems have been proved and several examples are discussed. A major shortcoming was found to be the inability of the system to work with or produce a proof plan. As a result, a planning scheme based on the idea of subgoals or milestones was considered. With user defined plans, there was a substantial increase in performance and capability of the system and, in some cases, proofs which were previously unsuccessful were completed.