Analysis of Resolution of Bistatic SAR

In this paper, the spatial resolutions at different directions of bistatic synthetic aperture radar （BiSAR） have been derived from the ambiguity function. Compared with monostatic signal to noise ratio, BiSAR＇s resolutions of a fixed point target are varying with slow time since BiSAR system is space-variant. Constraints for the assumption of space-invariant bistatic topology are proposed in the paper. Moreover, under the assumption of invariance, the change of resolutions at different point in the image scene is taken into account, and we have specified two key parameters that affect resolutions directly and analyzed the way how they influence on the resolutions.     

基于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方法探讨

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

建筑容积率对地价影响规律及修正方法研究

在分析建筑容积率对土地价格影响的作用机制和规律的基础上，针对目前土地估价工作中，容积率修正系数确定存在的问题，提出新的容积率修正思路和方法。