ISIS全局优化多道反演技术在墩2块岩性油藏描述中的应用

为进一步落实墩2块戴一段岩性油藏成藏规模及分布规律，针对该储层薄、横向变化快的特点，利用ISIS全局优化多道反演技术，对该构造区岩性储层进行了精细描述，较好的预测出戴一段储层平面分布规律。     

中子辐照金刚石生成卡宾碳

金刚石在中子辐照下发生相转变,得到了线性结构的卡宾碳。所得产物为覆盖金刚石表面的黑色薄膜状物质,其拉曼光谱在2191cm-1处有强峰,归属于C≡C伸缩振动;同时,其俄歇电子谱的峰位与金刚石相比有5eV的位移,证实了卡宾碳的存在。在中子辐照条件下,金刚石向卡宾碳的转化可能是通过碳原子堆垛形式发生变化而实现的。     

Cu—Zn—Al系合金热弹性马氏体相变的热滞

本文通过热处理工艺及添加第四组元研究了Cu－Zn－Al系记忆合金的相变热滞。结果表明，淬火冷却速度影响合金的相变热滞大小，随着母相时效时间的延长，马氏体相变热滞变大．Mn元素的加入可以减小CU－Zn－Al合金相变热滞．     

β″－Al_2O_3陶瓷的强化和韧化

研究了稳定ＺｒＯ＿２和部份稳定ＺｒＯ＿２对β″－Ａｌ＿２Ｏ＿３陶瓷的强化和韧化作用，观察了不同种类、不同含量的ＺｒＯ＿２对β″－Ａｌ＿２Ｏ＿３陶瓷的显微结构、力学性能和电导率的影响，探讨了β″－Ａｌ＿２Ｏ＿３的韧化机理。     

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

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

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     

基于小波变换的医学图象压缩编码

本文研究了医学图象小波变换系数的统计特征。根据医学图象的特点，提出了基于小波变换的医学图象编码方法。实验表明，这种方法具有较好的压缩编码性能，优于JPEG标准。同时，它支持逐次浮现式传输，从而能满足医学图象存储、通信、检索的需要。     

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

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