铸铁热分析用试样新型激冷剂的实验研究

从冷却曲线上相变段倾角最小原则出发，研究了新型激冷剂的配比与热分析法检测铸铁成分精度的关系，实验结果表明，能使相变段倾角最小的成分配比，也能提高对铸铁成分的热分析和检测精度。     

石油一厂东蒸馏装置的技术改造

介绍抚顺石油化工公司石油一厂东蒸馏装置的改造情况，通过技术改造，使减压蒸馏塔由生产燃料型改造成生产石蜡－润滑油型，满足了该厂对石蜡和润滑油料的质量要求。     

HIS变换用于数字化航空片影象同多光谱影象的复合

本文探讨ＨＩＳ变换对数字化航空片影象与ｌａｎｄｓａｔ ＴＭ多光谱影象进行复合的方法，并在此基础上提出一种改进的方法。试验结果表明本文提出的方法是一种非常行之有效的方法。复合后的影象不仅保留了ＴＭ影像的光谱特征，而且将其空间分解力由３０ｍ提高到１０ｍ，清晰度也提高了。因而复合后的影像能提高分类精度，制作专题图的精度、多时相监测能力和解译水平等。     

暴雨洪水流域系统随机模拟(研究之三)

本文提出的移置特大暴雨的不连序序列的随机插补方法,以及利用W—H逆变换法将偏态暴雨序列转为正态序列和随机扣除模拟的暴雨过程损失量等方法,基本是可行的,对提高模型的代表性、稳定性和实用性有重要作用。     

聚四氢呋喃及其下游产品的开发应用

本文论述了聚四氢呋喃技术进展、氨纶弹性纤维发展现状和国内外聚四氢呋喃产能和需求。     

A Refinement Calculus for Shared-Variable Parallel and Distributed Programming

Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. Moreover, a large variety of very different parallel architectures exists. Porting an implementation from one machine to another may require substantial changes. This paper addresses some of these problems by developing a formal basis for the design of parallel programs in the form of a refinement calculus. The calculus allows the stepwise formal derivation of an abstract, low-level implementation from a trusted, high-level specification. The calculus thus helps structuring and documenting the development process. Portability is increased, because the introduction of a machine-dependent feature can be located in the refinement tree. Development efforts above this point in the tree are independent of that feature and are thus reusable. Moreover, the discovery of new, possibly more efficient solutions is facilitated. Last but not least, programs are correct by construction, which obviates the need for difficult debugging. Our programming/specification notation supports fair parallelism, shared-variable and message-passing concurrency, local variables and channels. The calculus rests on a compositional trace semantics that treats shared-variable and message-passing concurrency uniformly. The refinement relation combines a context-sensitive notion of trace inclusion and assumption-commitment reasoning to achieve compositionality. The calculus straddles both concurrency paradigms, that is, a shared-variable program can be refined into a distributed, message-passing program and vice versa. Received July 2001 / Accepted in revised form May 2002     

西北地区节水灌溉市场与技术需求

西部开发需要大量的生态用水，从节水灌溉设备市场分析，节水灌溉专用泵阀、新型输水管材、高效低能喷微灌设备及材料的需求量很大，技术需求与亟待研究开发的关键技术和设备也很多。从西北地区水资源状况与需求看，节水灌溉市场有很大潜力。     

配极变换及其在求解锥面截交线中的应用

本文应用配极变换的几何性质来确定锥面截交线的中心及其主要轴线，这对于准确地绘制或使用数控绘图机来绘制二次曲线．是很有意义的．     

3D Motion Estimation and Motion Fusion by Affine Region Matching

In this paper,a new method is presented for 3D motion estimation by image region correspondences using stereo cameras.Under the weak perspectivity assumption.we first employ the moment tensor theory (Cyganski and Orr^[11]) to compute the monocular affine transformations relating images taken by the same camera at different time instants and the binocular affine transformations relating images taken by different cameras at the same time instant.We then show that 3D motion can be recovered from these 2D transformations.A space-time fusion strategy is proposed to aim at robust results.No knowledge of point correspondences if requred in the above processes and the computations involved are linear.To find corresponding image regions,new affine invariants,which show stronger invariance,are derived in term of tensor contraction theory.Experiments on real motion images are conducted to verify the proposed method.     

浅谈抽水蓄能电站的特点及其优越性

本文介绍了国外抽水蓄能电站的发展过程与现状，修建抽水蓄能电站的八大优点。为了改善我省电力系统的运行条件，提出了在我省修建抽水蓄能电站的四点建议。