亮色系建筑涂料色浆的研制及应用

阐述了自制亮色系色浆的必要性。介绍了自制亮色系色浆的颜料筛选,配方调整及其在建筑涂料中应用后对面漆性能的影响。     

铝灰的回收处理及资源化利用研究现状

铝灰是铝工业生产过程中产生的有害固体废物,每年的产生量达到上百万吨。铝灰的大量堆积会引起严重的环境与公共安全问题。铝灰中含有较多的金属铝及其氧化物、氮化物,综合回收利用铝灰对减少环境压力、提升铝行业的经济效益具有重要意义。阐述了铝灰的火法和湿法处理工艺,通过比较得出无盐火法工艺和湿法工艺是值得开发的工艺。介绍了铝灰在耐火材料、陶瓷产品、氢气制备以及工程材料等领域的综合利用现状及研究进展。指出在进一步巩固和发展铝灰原有的高附加值资源化利用的同时,应加强对铝灰处理过程中产生的气体的利用。建议根据铝灰的特性进一步开发新的资源化利用方向。     

Computational Fluid Dynamics Study on a Top-Blown Smelting Process with Lance Failure in an Isa Furnace

JOM - The Isa/Ausmelt smelting technology with a top submerged lance (TSL) has been extensively used in copper smelting processes. However, the TSL is extremely vulnerable to damage and failure...     

运用NOAA AVHRR和Landsat TM数据估算多年水稻种植面积

介绍了综合运用NOAA AVHRR和Landsat TM数据进行多年水稻种植面积监测的一种方法,以湖北省为例,首先运用Landsat TM数据计算了该省1992年的水稻种植面积;接着运用1992年和1994年的NOAA AVHRR数据分别计算这两年的水稻像元数,以这两年水稻像元数的变化来反映水稻种植面积的变化;最后运用线性模型,估算1994年的水稻种植面积。所得的1994年水稻种植面积与湖北省农调队资料相比精度为84.5%。运用同样的方法估算1995年该省的水稻种植面积,精度达90%以上。     

Abstract Implementation of Algebraic Specifications in a Temporal Logic Language

A formal technique for incorporating two specification paradigms is presented,in which an algebraic specification is implemented by a set of abstract procedures specified in pre and post-condition style.The link between the two level specifications is provided via a translation from terms of algebraic specifications into temporal logic formulae representing abstract programs.In terms of translation,a criterion for an abstract implementation satisfying its specification is given,which allows one to check the consistency between the two levels of specifications.The abstract implementations can be refined into executable code by refining each abstract procedure in it.It is proved that the satisfication relation between a specification and its implementations is preserved by such refinement steps.     

钻机绞车滚筒体的窄间隙埋弧焊

针对钻机绞车滚筒体采用手工电弧焊工人劳动强度大、焊接效率低、质量不稳定及返修率高等问题,研制了钻机绞车滚筒体窄间隙埋弧焊专机。该专机由ESAB—A2埋弧焊电源和焊接小车、窄间隙焊头、滚轮架、防窜装置、旋转地线夹、三维焊接工作台、焊剂自动回收机组成。使用表明,采用该焊机焊接的滚筒体焊缝质量完全符合设计要求,合格率100%,焊接效率比原来提高6倍。每件滚筒体的焊接可降低人工成本约80%。     

一种快速CRC 算法①的硬件实现方法

介绍了CRC校验算法的硬件电路实现方法。CRC校验广泛应用于通信、存储系统，在串行CRC实现的基础上，对电路结构提出了改进的方案，并实现了CRC的并行计算，由此进一步可以适用于任意位数据宽度的数据输入情况。     

导流能力测试系统的研制

压裂后裂缝的导流能力直接关系着压裂缝的渗流能力，是客观评价压裂效果的重要指标之一。文章介绍了基于AT89C52单片机的导流能力测试系统的系统要求、测试原理以及其设计方案，阐述了各个测控通道，给出了测控系统电路方框图。     

A Structured Temporal Logic Language:XYZ/SE

In order to enhance the readability and to simplify the verification of temporal logic programs in the XYZ system,we propose a structured temporal logic language called XYZ/SE,based on XYZ/BE which is the basis language of the XYZ system.A set of proof rules are given and proved to be sound and adequate for proving the partial correctness of XYZ/SE programs in a compositional way.Moreover,we show that every XYZ/BE program can be transformed into an equivalent XYZ/SE program.So we have developed a general conpositional verification method in the XYZ system concerning the sequential case.     

A new texture generation method based on pseudo-DCT coefficients.

In this paper, a new method for generating different texture images is presented. This method involves a simple transform from a certain one-dimensional (1-D) signal to an expected two-dimensional (2-D) image. Unlike traditional methods, the input signal is generated by a simple 1-D function in our work instead of a sample texture. We first transform the 1-D input signal into frequency domain using fast Fourier transform. Based on the sufficient analysis in 2-D discrete cosine transform (DCT) domain, where each of the coefficients expresses a texture feature in a certain direction, the 2-D pseudo-DCT coefficients are then constructed by appropriately rearranging the Fourier coefficients in terms of their frequency components. Finally, the corresponding texture image can be produced by 2-D inverse DCT algorithm. We applied the proposed method to generate several stochastic textures (i.e., cloud, illumination, and sand), and several structural texture images. Experimental results indicate the good performance of the proposed method.