基于支持集策略实现定理证明及问题的求解

人工智能原理中，基于一阶谓词逻辑下的归结推理方法可以在机器上实现“自动定理证明以及问题的求解”，实际研究应用表明归结原理中的“支持集策略”是一种简单、高效、完备的实现定理证明和问题求解的好方法。     

STBC和VBLAST相结合的MIMO系统

STBC编码是基于发端分集的传输方案,VBLAST是基于空间复用的传输方案;基于两种方案的MIMO 系统,在空间相关信道下系统的性能都会下降,但前者的性能会明显好于后者;该文提出一种折衷方案,将发射天线阵列分组,每组内采用STBC编码,接收端采用VBLAST算法。仿真结果表明:在空间相关信道下,该方案的误码率性能明显优于通常的VBLAST接收机。     

牛顿环实验不确定度的研究

通过对牛顿环曲率半径测量结果处理的研究,分析了测量结果中不确定度不确定分量产生的原因和作用,提出了在大学物理实验中,采用不确定度评定的必要性。