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

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

meso-四-(4-甲氧基-3-磺酸苯基)卟啉在测定痕量金属的应用—锌的分光光度法测定

本文研究了在咪唑存在下 meso—四—(4—甲氧基—3—磺酸苯基)卟啉(TMPPS_4)与锌显色反应的最佳条件,建立了测定锌的新方法,灵敏度高,锌量在0—1.2μg/10mL 范围内遵守比耳定律,用于测定粮食中的锌时结果满意     

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.     

Exact probabilistic testability measures for multi-output circuits

The computation of probabilistic testability measures has become increasingly important and some methods have been proposed, although the exact solution of the problem is NP-hard. An exact analytical method for singleoutput combinational circuits is extended to deal with multi-output circuits. Such circuits are reduced to singleoutput ones by introducing a dummy gate, the X-gate, and applying to the resulting graph the analysis based on supergates.     

改进的形态学运算在声纳图像生成中的应用

声纳技术应用日益广泛,已成为海洋测量的重要工具,而去除噪声处理是对声纳图像进行正确判读的前提,本文采用了改进的形态学算法减少声纳图像中噪声的影响,对图像进行预处理,采用Matlab图形图像处理工具对处理的算法进行仿真的方式,从而使处理效果达到最佳。     

可视化基站发电管理系统

针对以前的发电管理系统或只是数据呈现,提供市电及发电相关数据信息,或只是提供出车轨迹,主要实现对出车的管理,不能全面反应发电全过程且不便于对发电事件进行分析的情况,提出可视化发电管理系统的概念。在简要介绍了LBS系统、动力环境监控系统后,讲述了可视化基站发电管理系统的组成以及通过LBS定位管理、短信互动、实时监测数据等进行系统实现。可视化发电管理系统通过可视化的界面帮助发电管理人员进行管理,直观、便捷。