变频器在链条炉系统中的应用

本文介绍了链条炉的定义，链条炉应用变频调速的意义，链条炉控制系统的原理，锅炉采用变频调速控制的优点，变频调速的控制方法和逻辑，链条炉采用变频调速装置的节能分析。     

20K以下温区单级脉管制冷机直流控制实验研究

开展了20K以下温区单级脉管制冷机的实验研究，考察了直流流动对制冷机性能的影响，估算了不同制冷温度下制冷机循环的需气量，在对直流进行控制的情况下，采用2kW(RW2)和4kW(CP4)压缩机分别获得了18．7K和14．7K的最低制冷温度，对应的在30K的制冷量分别为10W和29．5W。     

MARK-Ⅳ型气化炉气化剂均布的探讨

通过对炉篦的结构分析 ,并考虑炉内搅拌器的作用 ,结合原料煤的特性 ,提出气化剂均布的原则及方案 ,以改善气化炉操作功效     

乌江流域大型复杂水电站群联合优化调控关键技术及其应用研究

根据乌江流域总体规划、长江三峡以上防洪要求、南方电网运行特点、乌江流域水文特性等,贵州乌江水电开发有限责任公司组织开展了乌江梯级水库优化调度和发电优化控制的基本理论研究,并根据该研究建立了乌江流域水电站群联合优化调控系统,经过一系列优化调度规则、方法、措施在系统中的应用,实现了节水增发电的目的,取得了良好的社会经济效益。     

透平空压机新型冷却器的使用简介

ＤＡ３５０－６１空压机原采用铝板式油冷却器。由于铝材易受腐蚀，寿命短，改用新型不锈钢式冷却器后效果良好，性能稳定，保证了空压机的安全运行。     

Action semantics-directed prototyping

We present a methodology for compiler synthesis based on Mosses-Watt's action semantics. Each action in action semantics notation is assigned specific “analysis functions”, such as a typing function and a binding-time function. When a language is given an action semantics, the typing and binding-time functions for the individual actions compose into typing and binding-time analyses for the language; these are implemented as the type checker and static semantics processor, respectively, in the synthesized compiler. Other analyses can be similarly formalized and implemented. We show a sample language semantics and its synthesized compiler, and we describe the compiler synthesizer that we have developed.     

A calibration method for the energy-integrating function in photovoltaic system monitoring

Solar radiation has an irregularly varying factor due to a basic day and night cycle and climatic conditions. For such conditions a data sampling interval is important to ensure the accuracy of energy monitoring in a photovoltaic system. While treating a system monitoring equipment as a black box. the author has developed the method of calibrating an energy-integrating function. At first for various input waveforms, the relationship between sampling intervals and quasi-integration outputs have been examined by trapezoidal rule. In the numerical simulation the phases of the sampling clock also are considered Then it is concluded that a sampling interval can be inspected through outside observation only by using a rectangular single pulse. By applying the pulse to the energy-integrating process, two kinds of integrated outputs can be obtained for different sampling phases. The calculated difference between both outputs can uniquely give the sampling interval being inspected. Conditions to ensure measuring accuracy are discussed and the validity of this method has been demonstrated experimentally. Practical calibrating procedures also are proposed for the integrating function of PV system monitoring.     

A singular loop transformation framework based on non-singular matrices

In this paper, we discuss a loop transformation framework that is based on integer non-singular matrices. The transformations included in this framework are called Λ-transformations and include permutation, skewing and reversal, as well as a transformation calledloop scaling. This framework is more general than existing ones; however, it is also more difficult to generate code in our framework. This paper shows how integer lattice theory can be used to generate efficient code. An added advantage of our framework over existing ones is that there is a simple completion algorithm which, given a partial transformation matrix, produces a full transformation matrix that satisfies all dependences. This completion procedure has applications in parallelization and in the generation of code for NUMA machines. This work was supported by the Cornell Theory Center, NSF Presidential Young Investigator award #CCR-8958543. by NSF Grant #CCR-9008526, and by a grant from the Hewlett-Packard Company.