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.     

金刚石光电导探测器研制及在软X光测量中的初步应用

介绍了我们自己设计制造的天然Ⅱａ型金刚石光导探测器的结构，原理，制造工艺，实验标定及其在ＩＣＦ实验中软Ｘ光测量中的应用等。     

海量数据库迁移与升级

目前数据库中数据越来越多,应用对数据库在线时间的要求也越来越高,使得数据库迁移和数据库升级成为了一件非常困难的事情.为此,介绍了几种迁移和升级的方法,用以实现以尽可能少的停机时间对TB级数据库完成数据库的迁移和升级.     

Prediction of atherosclerosis diseases using biosensor-assisted deep learning artificial neuron model

Neural Computing and Applications - In the present medical era, the major cause of the rise in death rate worldwide is atherosclerosis disease and this diagnosis is complicated because initial...