矿业可持续发展理论及应用

在简要回顾我国矿业发展现状及其在环境破坏污染和资源浪费损失的基础上，提出矿业可持纽发展的概念与内涵，论述矿业可持续发展的动态２特征，并就如何实施矿业可持结发展战略进行了思考。     

用强度系列成象法获取或显示高动态范围图象

提出一种适合于高动态范围图象的获取和显示的强度系列成象法。改变输入图象的强度，微机控制的图象采集系统进行记录得到一组磁盘文件，形成强度图象系列。基于记录的系列图象，可以进行信息提取、变换和显示等操作。基于获得的图象系列，提出一种剪贴操作进行快速的非线性图象变换。给出对光学功率谱处理的一个实例，它相当于进行锯齿形的非线性变换。     

Control strategies for reactive batch distillation

A batch reactor may be combined directly with a distillation column by distilling off the light component product in order to increase the reactor temperature or to improve the product yield of an equilibrium reaction. The same amount of the light product should be removed as the amount being formed by the reaction at any time. A linearized model has been developed which describes the process behaviour satisfactorily for control analysis purposes. The controllability of a combined batch reactor/batch distillation column is found to depend strongly on the operating conditions and on the time during the run. In general, controlling only the reactor temperature (one-point bottom control) is difficult since the set-point has to be specified below a maximum value in order to avoid break-through of an intermediate component in the ditillate. This maximum value may be difficult to know a priori. For the example considered in this study, control of both reactor temperature and distillate composition (two-point control) is also found to be difficult due to large interactions in the column. As with one-point bottom control, the reactor temperature has to be specified below a maximum value. However, energy can be saved since the heat duty can be decreased with time. Controlling the temperature on a tray in the column (one-point column control) is found to give good performance for the given process with no loss of reactant and a high reactor temperature, although no direct control of the reactor temperature is obtained.     

利用CFD获取超声流量计截面速度分布

 通过CFD技术在超声波流量计设计过程中的引入,为流量系数的获取提供了新的途径.通过对特定管道的理论计算表明,采用CFD技术获取的管道内部流型完全可以与试验数据吻合,有助于超声波流量计应用场合流量系数曲线的获取及其精度的保证.     

IMPACCT: Methodology and Tools for Power-Aware Embedded Systems

Power-aware systems are those that must exploit a widerange of power/performance trade-offs in order to adapt to the power availabilityand application requirements. They require the integration of many novel powermanagement techniques, ranging from voltage scaling to subsystem shutdown.However, those techniques do not always compose synergistically with eachother; in fact, they can combine subtractively and often yield counterintuitive,and sometimes incorrect, results in the context of a complete system. Thiscan become a serious problem as more of these power aware systems are beingdeployed in mission critical applications.To address the problem of technique integration for power-aware embedded systems, we propose a new design tool framework called IMPACCT and the associated design methodology. The system modeling methodology includes application model for capturing timing/powerconstraints and mode dependencies at the system level. The tool performs power-awarescheduling and mode selection to ensure that all timing/power constraintsare satisfied and that all overhead is taken into account. IMPACCT then synthesizesthe implementation targeting a symmetric multiprocessor platform. Experimentalresults show that the increased dynamic range of power/performance settingsenabled a Mars rover to achieve significant acceleration while using lessenergy. More importantly, our tool correctly combines the state-of-the-arttechniques at the system level, thereby saving even experienced designersfrom many pitfalls of system-level power management.     

四平市地下水动态监测工作的问题和对策

根据四平市动态监测工作中存在的问题,分析其产生的原因,并提出相应对策。     

Voltage sag compensation with minimum energy injection by use of a micro‐SMES

This paper presents a method to compensate voltage sags with minimum energy injection for a series‐connected voltage restorer using a micro‐SMES. A circuit for extracting the fundamental symmetrical components from sag voltages and a minimum energy injection algorithm is described. Simulations of voltage sag compensation have been carried out using PSCAD/EMTDC for various faults. The simulation results confirm the validity of the proposed method and show the possibility of reducing the size of energy storage devices. © 2002 Wiley Periodicals, Inc. Electr Eng Jpn, 141(3): 70–80, 2002; Published online in Wiley InterScience ( www.interscience.wiley.com ). DOI 10.1002/eej.10047     

基于INI文件的动态构图案例编程

本文结合动态构图案例编程．主要分析了INI文件的结构特点，给出了设备仿真程序动态构图部分的编程方法，对于开发设备仿真类软件有一定的借鉴作用。     

NBR/PP热塑性弹性体研究进展

阐述了NBR／PP共混热塑性弹性体动态硫化胶的国内外研究进展、微观相态结构、性能、应用及展望。     

Critical Configurations for 1-View in Projections from ℙ<Superscript>k</Superscript> → ℙ<Superscript>2</Superscript>

In this paper we describe, from a theoretical point of view, critical configurations for the projective reconstruction of a set of points, for a single view, i.e. for calibration of a camera, in the case of projections from ℙ^k to ℙ² for k ≥ 4. We give first a general result describing these critical loci in ℙ^k, which, if irreducible, are algebraic varieties of dimension k−2 and degree 3. If k=4 they can be either a smooth ruled surface or a cone and if k = 5 they can be a smooth three dimensional variety, ruled in planes, or a cone. If k≥ 6, the variety is always a cone, the vertex of which has dimension at least k − 6. The reducible cases are studied in Appendix A. These results are then applied to determine explicitly the critical loci for the projections from ℙ^k which arise from the dynamic scenes in ℙ³ considered in [13]. Marina Bertolini is currently Associate Professor of Geometry at the Department of Mathematics at the Università degli Studi di Milano, Italy. Her main field of research is Complex Projective Algebraic Geometry, with particular interest for the classification of projective varieties and for the geometry of Grassmann varieties. On these topics M. Bertolini has published more than twenty reviewed papers on national and international journals. She has been for some years now interested also in applications of Algebraic Geometry to Computer Vision problems. Cristina Turrini is Associate Professor of Geometry at the Department of Mathematics of Università degli Studi di Milano, Italy. Her main research interest is Complex Projective Algebraic Geometry: subvarieties of Grassmannians, special varieties, automorphisms, classification. In the last two years she has started to work on applications of Algebraic Geometry to problems of Computer Vision. She is author or co-author of about thirty reviewed papers. She is also involved in popularization of Mathematics, and on this subject she is co-editor of some books.