表达式元性理论形式系统的扩充及其强标准化性质

在 [1 ]所给出的Martin_L f表达式元性理论形式系统的基础上 ,通过引入所谓的引用表达式和协引用表达式的形式表示 ,对其进行了扩充 .同时证明了扩充形式系统的强标准化定理 .

基于双路径多模态交互的一阶段视觉定位模型

现有的一阶段方法分别提取视觉特征映射和文本特征,并进行多模态推理来预测被引用对象的边界框.这些方法存在以下两个缺点:首先,预先训练的视觉特征提取器在视觉特征中引入了与文本无关的视觉信号,阻碍了多模态交互;其次,现有模型的推理过程缺乏对语言建模的可视化指导.基于上述缺点,现有的一阶段方法的推理能力是有限的.提出了一种提取文本相关视觉特征映射的低阶交互和一种整合视觉特征的高阶交互来指导语言建模,并进一步对视觉特征进行多步推理.在此基础上,提出了一种新的网络结构,称为双路径多级交互网络.在5种常用的视觉定位数据集上进行了实验,结果表明该方法具有较好的性能和实时性.

THE EQUIVALENCE BETWEEN 2Gs AND 2Es AND A NEW PROOF TO PUMPING LEMMA

In this paper, the concept of type 2 expressions (2Es for short) is briefly introduced, and it is proved strictly that CFL class is precisely the language class expressed by 2Es. A new proof using 2Es to pumping lemma for CFLs is geven.

用于引书识别的引书引用模式研究

现代信息技术飞速发展,为古籍引书计算机识别提供了可能性。本研究的目的是研究古籍引书的引用模式,进而探讨模式识别方法在引书识别中的应用。具体方法是以明、清及民国时期广东地方志中有关物产门目资料(《广东方志物产》)为语料,抽取所有引书的引用模式(引书名称及其表达方式),分别对引书名称模式和引用表达方式进行研究。