SLD-博弈树及其删除策略

结合SLD-反驳和对策论的思想,提出标记逻辑程序的SLD-博弈树语义.在SLD-博弈树中,一个目标的所有支持和反对证据作为游戏双方参加博弈.对有限树,提出一种删除策略(博弈规则),根据删除过程的结果判断目标是否成立.对覆盖不循环程序,删除策略是可靠的和完备的.     

重写式光盘染料的存储机理及合成

综述了可擦重写式光盘染料的有关储存机理及合成方法。参考文献１１篇。     

自内射环与线性自动机的线性(弱)逆

设R为含幺有限交换环 ,τ为非负整数 .证明了 :(i)R上任意延迟 0步弱可逆的线性有限自动机都有线性延迟 0步弱逆 ;对τ≥ 1 ,R上任一延迟τ步弱可逆的线性有限自动机都有线性延迟τ步弱逆的充要条件是R为自内射环 . (ii)下列条件等价 :i)R为自内射环 ,ii)R上任一延迟τ步可逆的线性有限自动机都有线性延迟τ步逆 ,iii)对R上任一延迟τ步可逆的线性有限自动机 ,总存在τ′≥τ,使得它有线性延迟τ′步逆     

扫描离子束云纹法

提出了一种在微米尺度下测量物体面内位移的新型扫描离子束云纹法。对该方法的测量原理以及变形测量的精度进行了阐述。以平行云纹和转角云纹为典型实验对该方法的测量精度进行了检验。该方法成功地应用于微电子系统结构在去除SiO2牺牲层后的残余变形测量。实验结果证实了该方法的可行性。     

Structural Effect on Eu(fod)_3-Catalyzed Rearrangement of Allylic Esters

A detail study on the Eu(fod)_3-catalyzed rearrangement of al-lylic esters was described. A significant effect of the substituentsat the allylic backbone was observed. The migrating tendencyof the alkoxyacetates was established in the order of p-CF_3C_6H_4CH_2OCH_2CO_2>MeOCH_2CO_2>PhCH_2OCH_2CO_2>p-MeOC_6H_4CH_2OCH_2CO_2.     

夸克─夸克等效相互作用与手征对称性

从手征变换不变的要求出发给出了一个包括四种场交换的夸克-夸克等效相互作用势.用处理集团模型的共振群方法计算了核子-核子散射³S₁和¹S₀态的相移.较好地解释了以往夸克势模型计算中¹S₀态相移与实验之间的差距.     

再论实闭环

继作者[4]与[7]中的工作对实闭环作进一步的探讨。主要的结果为定理1与3。另外，利用所获得的结果对文[3]中最后所提出的问题作了正面的解答，见定理5。     

Y型沸石和高岭土原位晶化产品的Tb／Tb同位素交换及Na／Tb、Tb／Na离子交换动力学

本文在前文［１］Ｙ型沸石和高岭土原位晶化产品上的Ｎａ／Ｔｂ离子交换平衡研究的基础上，进一步研究了这两种离子交换剂上Ｔｂ／Ｔｂ同位素交换及Ｎａ／Ｔｂ、Ｔｂ／Ｎａ正逆离子交换动力学，确定了反应机理，测得了铽的自扩散系数以及正道交换的积分粒内互扩散系数。对这两种离子交换剂所得结果进行了对比和讨论。