太钢4号高炉喷煤站应用MFD—Ⅲ型布袋除尘器的实践

太钢４号高炉喷煤站从１９９０年起采用ＭＦＤ－Ⅲ型脉动反吹式布袋除尘器。这种除尘器采用脉动式反吹清灰设施，合理布置布袋间距，布袋支撑骨架及选用针呢材质的布袋，过滤面积大，反吹清灰效果好，设备运行平稳，除尘效率高达９９．８％，排放浓度小于１０ｍｇ／ｍ＾３，故障率低。     

Intentionality in human gait control: Modifying the frequency-to-amplitude relationship.

Tight frequency-to-amplitude relationships are observed in spontaneous human steady gait. If required, however, they can be modified. The following experiments were aimed at the processes underlying this flexibility, which forms the fundamental basis of the intentional adaptive capabilities of locomotion. In Exp 1, Ss had to intentionally modify the frequency-to-amplitude relationship (leading to preferred or nonpreferred steady states). In Exp 2, they had to temporarily perturbate the stride-frequency-to-amplitude relationship to intentionally shorten or lengthen 1 stride. Within the important constraints exerted by the head–arm–trunk system on leg movement, the results pointed out 2 main strategies that allow the S to intentionally adapt stride organization on-line: adjustment of the tonic properties of the oscillating leg to achieve nonpreferred steady states and phasic action to ensure temporary movement away from a steady state. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Remote sensing of species mixtures in conifer plantations using LiDAR height and intensity data

In even-aged, single species conifer plantations LiDAR height data can be modelled to provide accurate estimates of tree height and volume. However, it is apparent that growth models developed for single species stands are not directly transferable to a more general situation of mixed species plantations. This paper evaluates the ability of small footprint, dual-return, pulsed airborne LiDAR data to estimate the proportion of the productive species when mixed with a nurse crop in closed canopy plantations. A study area located in Galloway Forest District in Scotland is used as an example of Lodgepole pine and Sitka spruce mixed plantation; this area contains good examples of a wide range of pure and mixed species plantation types. Three species groups are studied: areas of pure Sitka spruce, areas of pure Lodgepole pine and areas where the two species have been planted together. Two approaches are assessed for detection of plantation mixtures: the first uses LiDAR intensity data to separate spruce and pine species and the second uses LiDAR-derived canopy density measures, coefficient of variation, skewness, percent of ground returns (which provides a measure of canopy openness) and the mean canopy height, which enables areas with height variations to be identified. From analysis of LiDAR data extracted from 54 study plots using logistic regression, the coefficient of variation and LiDAR intensity data provide the most useful predictors of the proportion of spruce in a pine/spruce mixture with coefficients of determination (R²) of 0.914 and 0.930 respectively. The method could be developed as a mapping tool, which in combination with existing inventory data should help to improve timber volume forecasting for mixed species even-aged plantations.     

Energy indicators for tracking sustainability in developing countries

Due to the fact that human activities and most sustainability issues are closely related to energy use, the energy system is a sound framework for providing lead indicators for sustainable development. Common energy-economic models enable the estimation of future states of the energy system. An energy system-based lead indicator set can be used to develop consistent and coherent future indicator estimates and to track sustainability, a clear advantage over existing sets.     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

Contribution a l'etude du polymorphisme de Ga2S3: Structure cristalline de Mn0,23Ga1,85S3

The Mn_0.23Ga_1.85S₃ phase belongs to the solid solution $\text{ф}{}_0$, stable at low temperature in the Ga₂S₃MnS system. It is hexagonal superstructure of the wurtzite, with the Ga₂S₃α′ type ($\text{a}\text{= 6.397}\text{A}\text{?}$; $\text{c}\text{= 18.027}\text{A}\text{?}$Z = 6; space groupe P6₁ or P6₅). Its crystal structure has been refined by the least squares method to a final R = 0.06 with 323 independant reflections. This structure is closely related to Ga₂S₃ α described by Hahn and Frank, and differs only by the partial occupation of the vacant metal site of Ga₂S₃ by Mn atoms in statistical disorder.     

Fast location of high-order modes for boxed microstrip with finite strip thickness

Many analyses of boxed microstrip discontinuities require the location of large numbers of high-order modes. Using Sturm-Liouville theory, this letter derives a relationship between microstrip modes and slab-loaded guide modes, leading to an efficient mode location algorithm for microstrip, including microstrip with finite strip thickness.<>     

Deterministic finite automata with recursive calls and DPDAs

We study deterministic finite automata (DFA) with recursive calls, that is, finite sequences of component DFAs that can call each other recursively. DFAs with recursive calls are akin to recursive state machines and unrestricted hierarchic state machines. We show that they are language equivalent to deterministic pushdown automata (DPDA).