基于Gibbs模型的提高图像分辨率方法

在提高图像分辨率过程中,选择合适的成像模型是获得高分辨率图像的一个关键因素。提出一种基于最大后验概率、采用Gibbs成像模型,并利用多帧序列图像重构高分辨率图像的方法,充分利用序列图像之间的累加信息,从而快速地获得较其他方法更优的高分辨率图像。     

一种增强型冲突分解算法

冲突分解算法是一种能有效改善无线信道多址接入协议的方式。本文对传统的冲突分解算法——树形冲突分解算法和先到先服务冲突分解算法进行了深入研究和仿真，探讨了这两种算法的优点和不足之处，提出了一种增强型的冲突分解算法（Enhanced Splitting Algorithm，ESA）。该算法继承了树形冲突分解算法和先到先服务算法的优点，不仅考虑了碰撞分组产生的时间，还考虑了分组的产生间隔，从而有效地提高了冲突分解算法的性能。仿真结果显示ESA算法是一种可行的算法。     

利用机载SAR图像仿真星载SAR图像

简要介绍了现有的SAR图像仿真方法,提出了一种利用机载SAR图像进行星载SAR图像仿真的方法,对仿真原理进行了阐述,着重研究了图像几何特性、空间分辨率、噪声特性、辐射特性仿真的数学模型及设计流程,最后进行了计算机仿真。结果分析表明得到的仿真图像具有较高的逼真度,该星载SAR图像仿真方法是有效的。     

Lipase‐catalyzed dynamic kinetic resolution of (R,S)‐fenoprofen thioester in isooctane

A lipase‐catalyzed enantioselective hydrolysis process under in situ racemization of the remaining (R)‐thioetser substrate with trioctylamine as the catalyst was developed for the production of (S)‐fenoprofen from (R,S)‐fenoprofen 2,2,2‐trifluoroethyl thioester in isooctane. Detailed investigations of trioctylamine concentration on the enzyme activation and the kinetic behavior of the thioester in racemization and enzymatic reactions were conducted, in which good agreement between the experimental data and theoretical results was observed. © 2002 Society of Chemical Industry     

调频步进信号处理方法探讨

调频步进信号是一种新的高距离分辨率信号。文章首先简要阐述了线性调频信号的处理过程；其次对比步进频率、线性调频步进信号的处理过程，得到一种新的处理方法-合成处理法，最后通过仿真论证其正确性。     

叠后记录Radon变换压制干扰方法

在叠加剖面中,下伏反射界面的反射信号同相轴呈连续的或带有限个间断点的连续层状图像,各种干扰则呈无规则的图像。对此剖面的振幅数据进行 Radon 变换,即分别向各方向进行投影,层状图像将产生一定形状的光滑曲线,而干扰数据将相互抵消,其剩余数据呈高斯分布。在Radon 域中通过平滑等方法消除这些呈高斯分布的噪声数据,再经 Radon 逆变换,便可获得信噪比较高的叠加剖面。其结果不改变原叠加剖面的分辨率和信号波形特征。理论与实际剖面的处理结果表明,这是一种良好的压制干扰方法。     

Resolution calculus for the first order linear logic

This paper presents a formulation and completeness proof of the resolution-type calculi for the first order fragment of Girard's linear logic by a general method which provides the general scheme of transforming a cutfree Gentzen-type system into a resolution type system, preserving the structure of derivations. This is a direct extension of the method introduced by Maslov for classical predicate logic. Ideas of the author and Zamov are used to avoid skolomization. Completeness of strategies is first established for the Gentzen-type system, and then transferred to resolution. The propositional resolution system was implemented by T. Tammet.     

分析卤化银微晶的EDS方法探讨

本文探讨了用Ｘ射线能谱仪（ＥＤＳ）分析卤化银微晶的空间分辨率和吸收修正问题。对ＳＥＭ－ＥＤＳ和ＳＴＥＭ－ＥＤＳ两种不同分析模式的空间分辨率进行计算，表明ＳＴＥＭ－ＥＤＳ是研究单个卤化银微晶内碘的含量及分布的有效方法。并对定量分析数据和吸收修正参数进行了讨论，结果证明微晶不同区域厚度的差异，对碘含量的定量测定的影响可以忽略。     

塔里木盆地塔中沙漠区高分辨率地震勘探效果

塔中沙漠区地表被北东—南西向条带状沙层所覆盖,地形起伏剧烈,松散沙层厚度变化巨大,给地震资料采集、处理、解释带来了很大的困难。通过联合攻关,从地震波激发能量下传和反射波接收的研究入手,实现了全部潜水面以下激发,因地制宜、避高就低埋置检波器优化观测系统;针对该区石炭系和志留系低幅度构造、薄储层圈闭难以落实,奥陶系内幕地震资料反射波能量弱、信噪比低、叠加成像困难等问题,开展了沙丘对地震波吸收衰减分析和补偿技术、地表一致性处理技术、多域迭代静校正技术、精细速度场模型确立和偏移成像等配套技术的研究开发与应用。从而极大地改善了塔中沙漠区地震资料的品质,使中深层的石炭系、志留系、奥陶系对应的地震剖面主频从18～20Hz提高到36～40Hz;形成了塔中沙漠区油气勘探技术系列,精细刻画了塔中Ⅰ号带,锁定了油气勘探目标,推动了台盆区油气勘探再掀新高潮。