F-X域粘弹性波动方程保幅偏移

提出了一种利用粘弹性声波波动方程进行偏移的新方法。其基本思路是,修改成像条件,使修改后的成像方程中考虑振幅补偿,然后利用粘弹性、单程波动方程在F-X域对震源和接收点波场进行延拓,进而完成散射、透射等补偿。理论数据处理和实际地震资料处理表明,该方法理论基础可靠,处理效果明显,能较好地解决实际地质问题。     

"信号调制法"研究电子诱导脱附--基本原理及误差分析

电子诱导脱附是近年来在真空科学与表面科学领域内的热门研究课题。它不仅作为研究和探讨原子激发过程以及电子能量传输机制的有效手段,而且已经逐渐成为获取表面和界面结构、状态等信息的有效方法。“信号调制法”是利用脉冲电流能量调制的电子探束取代传统的直流电子探束,并通过测量电子诱导脱附产物引起的压强变化量,来研究电子诱导脱附的新方法。本文系统地介绍了该方法的基本原理,并从理论上对该方法带来的测量误差进行了分析。     

低温等离子体对血管内金属支架的表面改性

生物材料用于人体必须要具备生物相容性。尤其是与血液相接触的材料如血管内支架必须要具备血液相容性。材料的表面特性直接影响血液系统中是否会出现血栓。本文针对金属血管内支架的表面特性、与血液的界面反应以及用于提高血液相容性的低温等离子表面改性进行了简要综述     

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的并行计算，由此进一步可以适用于任意位数据宽度的数据输入情况。     

鱼雷罐喷粉预处理过程水模研究

在鱼罐喷粉预处理水模实验数据的基础上，进一步利用线性回归确定各工艺操作参数对喷吹基本参数（均混时间、粉剂穿透比和粉剂停留时间）的影响，得出各传输动力学基本参数的函数关系式。     

α—当归内酯的合成及在烟草香精中的应用

α-当归内酯是一种香味成分,它具有甜香、枫械香等多种香韵,在烟草香精中有广泛的用途。本文对α-当归内酯的合成方法进行了研究,提出了一条合理可行的的工艺路线;同时通过对α-当归内酯在烟用香精中的应用试验,证明了它是一种理想的烟草香味添加剂。     

B—ISDN宽带UNI信令点到多点配置的实现

本文根据ＩＴＵ－Ｔ最新的Ｑ．２９７１协议，以及笔者所从事的实际课题，提出一整套Ｂ－ＩＳＤＮ第三层ＵＮＩ信令的软件实现策略，其特点是能同时满足用户对点到点以及点到多点广播这两种通信方式的要求，而且可以动态配置。