广义RUE-NRF归结

本文将RUE-NRF归结使用在广义子句集上,提出了广义RUE-NRF归结方法,并证明了这一方法对于一阶逻辑的完备性;将1型、2型删除策略引入广义RUE-NRF归结.     

广义RUE-NRF归结的配锁

本文把广义RUE-NRF归结对E不可满足子句集是完备的推广到了配锁的广义子句集上.     

自动定理证明中RUE-NRF单元输入和锁的演绎

本文在RUE-NRF推理规则的基础上,定义了RUE-NRF输入归结、RUE-NRF单元归结及RUE-NRF锁归结的概念,证明了RUE-NRF输入反驳与RUE-NRF单元反驳的关系,以及RUE-NRF锁反驳的完备性。     

关于广义调解的一点注记

本文指出了广义调解完备性证明中一个错误,并且给出了使广义调解完备的根据.     

Horn集上的语义正单元归结

Ｌ． Ｈｅｎｓｃｈｅｎ证明了语义归结对 Ｈｏｒｎ集是完备的［１］。但是语义归结不是正单元归结。本文的主要结果是不可满足的Ｈｏｒｎ子句集合Ｓ有这样一个反驳，对于这个反驳的每一个归结来说，或者一个祖先子句是正单元，而且该正单元在 Ｉ上是假的；或者一个祖先子句是正单元，而且从另一个祖先子句和这个归结式中删去他们的正义字后剩下的子句在 Ｉ上都是假的．其中 Ｉ是 Ｓ的任何一个解释。     

归结策略的推理能力和复杂度

为了对基于归结原理的各种归结策略进行性能分析,本文提出了推理能力和复杂度两个概念,并证明了:有序语义归结的推理能力强于单元归结;(2)有序线性归结的复杂度是指数级的。     

广义支撑集归结原理

广义归结是对Ｊ．Ａ．Ｒｏｂｉｎｓｏｎ普通归结的推广．支撑集策略是提高归结效率的有效方法．本文将支撑集策略引入广义归结中,提出了广义支撑集归结方法,并证明了它的完备性．     

DF命题的矩阵归结

对DFL归结方法作进一步的研究,阐述了DF命题的矩阵归结的理论．对任一DF命题归结反演,得到对应的子句集,采用⊙运算分离DF数和DF命题得到原DF命题的命题归结矩阵,由子句集的不可满足性条件,应用鲁宾逊归结原理,得出DF命题的矩阵归结方法,证明了矩阵归结法的成立定理,并给出了矩阵归结方法的一个推论．     

广义归结中的强蕴涵和涵盖

本文讨论了涵盖和强蕴涵之间的关系,给出并证明了强蕴涵是涵盖的条件,还证明了在广义归结中同时使用涵盖和强蕴涵做为删除策略仍是完备的.     

Horn集上的有向调解法

本文证明了在一定条件下输入有向调解法在Horn集上是完备的,进而得出了在该条件下的单元有向调解法对Horn集的完备性。     

固定化N-乙酰鸟氨酸脱酰基酶拆分消旋蛋氨酸

基因工程菌BL21/pET22b-argE可高效表达N-乙酰鸟氨酸脱酰基酶。将含酶细胞包埋于海藻酸钙凝胶中制成固定化细胞酶,用于消旋蛋氨酸的拆分,并将其拆分能力、拆分速度及操作稳定性与游离细胞酶相比较。结果表明：单批次转化固定化细胞酶的拆分能力和游离细胞酶相近,拆分速度较慢;但多批次转化的操作稳定性显著高于游离细胞酶。重复利用8次后的固定化细胞酶仍保有95%以上的酶活力,重复利用5次后的游离细胞酶活已降至20%左右。每克湿菌泥在游离和固定化条件下重复拆分产L-蛋氨酸的量分别为74.16mmol和241.93mmol。酶拆分液中的L-蛋氨酸经重结晶后光学纯度为98.3%。固定化细胞酶比游离细胞酶更具有工业化应用的潜质。     

酶法手性拆分技术研究和应用的最新进展

系统地综述了酶法手性拆分技术的最新研究和应用进展, 对动力学拆分、 动态动力学拆分和对映体收敛转化3种方法进行了比较, 并介绍了酶,尤其是脂肪酶在非水介质中催化酯和氨基化合物的立体选择性水解、 转酯化和酰胺化的研究进展及其在技术上遇到的问题和解决方法.     

腔体微扰法测厚度的分辨率和误差

讨论了用微波腔体微扰方法测厚度的分辨率.计算及实验均表明,腔体微扰方法测量厚度具有高的分辨率(0.2μm),文中分析了整机产生误差的主要原因和减小误差的方法,指出扫频源的非线性对精度和稳定性的影响。     

反射地震成像分辨率的理论分析

地震分辨率是地震数据处理和偏移成像中的重要问题.从Ricker开始研究地震分辨力至今已经50多年了,但是大部分的研究集中在原始地震观测道的垂向分辨力上.近年来开始讨论地震偏移成像的空间分辨力的概念.Beylcin,Wu和Toksz,Seggern,Vermmer,Chen和Schuster等人做过成像分辨力的研究,但都是根据定性分析或试验讨论影响地震成像分辨力的若干因素.据此在明确分辨力与分辨率的定义之后,从理论上对地震成像分辨率进行系统分析并给出了地震成像分辨率的定量计算式.影响地震成像空间分辨率在三维情况下有八项因素.它们分别为地震波的频率f、波的传播速度v、炮检距2h、炮检距中点M距成像点的地面位置(原点O)的水平距离L、中点M与原点O的连接线的方位角α、成像点深度z、计算成像分辨率的空间方向矢量的方位角θ(从x方向逆时针计算)和该矢量与正Z轴的夹角β.每个因素均有不同的作用,其中频率和速度可合并为波长λ.这些因素可分为三种类型:第一种是观测参数,如λ和h;第二种是成像孔径参数,如L和α;第三种为地质参数,如z,β和θ.通过地震成像分辨率定量分析获得以下几点重要认识:成像分辨率随波长的减小而提高;成像分辨率随成像点的深度增大而降低;成像孔径内的最大炮检距地震道应限定其空间分辨率大于等于1/2;最大分辨率的地震记录位于地面点(lm,θm)上,其中Lm=-ztanβ,θm是根据计算需要事先给定的,它对应地层的上倾方向.为了提高成像分辨率,应当将孔径中点放在(lm,θm)上,孔径大小由最远道的空间分辨率为1/2所限定.此外,还讨论了叠前偏移和叠后偏移的空间分辨率,并证明在讨论垂直成像分辨率(β=0)的情况下两者是相同的,否则二者是不相同的.