真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。     

带延迟约束单机排序的改进算法

给出了带延迟排序的一个改进启发式算法,从而解决了Wikum等提出的一个问题。并且此算法可以最优求解单位加工时间的问题,进一步对另一个问题,此算法亦被证明好于Wikum等原来的算法。     

Measurement of the First Hyperpolarizability of Substituted Ketene N，S－acetals by Hyper－Rayleigh Scattering in Solution

ＭｅａｓｕｒｅｍｅｎｔｏｆｔｈｅＦｉｒｓｔＨｙｐｅｒｐｏｌａｒｉｚａｂｉｌｉｔｙｏｆＳｕｂｓｔｉｔｕｔｅｄＫｅｔｅｎｅＮ，Ｓ－ａｃｅｔａｌｓｂｙＨｙｐｅｒ－ＲａｙｌｅｉｇｈＳｃａｔｔｅｒｉｎｇｉｎＳｏｌｕｔｉｏｎＧＡＯＸｉｎｇｙｕ；ＣＨＥＮＪｉｎｇｂ...     

THE VALIDITY OF HIGH TEMPERATURE APPROXIMATION IN NMR SPECTROSCOPY AND ITS RELATED PROBLEMS

A large body of conspicuous publications [1] in recent years asserts that the high temperature approximation (HTA), a mostly tested and most widely used assumption in NMR spectroscopy and MRI technology, is invalid for concentrated samples in high magnetic fields such as for a proton COSY spectrum of water [1].     

利用CARS方法研究超短脉冲激光的脉冲宽度

在理论上提出了利用两光束CARS/CSRS方法测量超短脉冲激光的三阶相关函数。实验上在几种样品中测量了CARS/CSRS的时间特性,得到了泵浦光脉冲,SCDL输出光脉冲以及受激喇曼散射光脉冲的宽度。     

脱镁叶绿素a和脱镁叶绿素b的联合同步荧光分析法

建立了脱镁叶绿素a和脱镁叶绿素b的联合同步荧光分析法。方法简便快速。脱镁叶绿素a和脱镁叶绿素b的线性范围分别为0～400ng/ml和0～200ng/ml,检出限分别为1ng/ml和0.5ng/ml。     

仓库容量有限条件下的一类存贮管理模型

建立了一类仓库容量有限条件下存贮管理决策模型 ,给出最优存贮策略 .     

一类三参数混沌动力学系统模型及其在经济增长研究中的应用

从非线性自回归模型Xt+1=-αXtλ+1+βXt+γ出发,通过变量替换Xt=aYt,推出三参数混沌动力学系统模型Yt+1=kYt(1-Ytλ)+c;采用线性回归与非线性回归相结合的改进的混合法,对模型参数作了估计;实际研究表明,该模型可以用于对国内生产总值GDP增长的研究.     

数学分析中的一题多解问题

通过两个积分 (一个是不定积分 ,一个是定积分 )及一个极限 ,说明如何灵活使用积分法解决积分问题 ,方法灵活、巧妙 ,适用范围广 .     

限制李超代数p-理想与其Frattini p-理想紧密联系的性质

对限制李超代数的一些p-理想与Frattini p-理想紧密联系的性质进行了讨论,给出p-基本限制李超代数和E-p-限制李超代数的一些结果,证明L是E-p-限制李超代数当且仅当L/φp(L)是p-基本的,研究了p-理想Ep(L)(其中Ep(L)是含于一切满足L/A是p-基本的所有p-理想A的交),描述限制李超代数的Frattini p-理想和某些p-理想之间的关系.