关于不定方程x^2—85=4y^5

利用代数数论中的理想分解证明不定方程x^2-85=4y^5仅有整数解（x,y）=（±9,-1）．     

一种GPS网络RTK整周模糊度解算方法(英文)

提出了一种适用于GPS多参考站网络的RTK模糊度固定方法. 首先, 以参与模糊度解算的参考站三角形重心为参考点, 将与其形成高度角最大的卫星选作参考卫星, 进而提供了载波观测值权阵构造的参数以及模糊度网解正确性的检验条件. 然后, 通过双频线性观测数据组合计算双差宽巷模糊度, 并利用无电离层观测数据组合计算L1模糊度浮点解, 引入卡尔曼滤波进行精化, 并实时估计对流层延迟参数. 最后, 通过Z变换对模糊度协因素阵进行去相关, 从而减小模糊度整数解的搜索空间, 提高LABMDA算法固定模糊度的效率. 实验结果表明, 该方法能在40个历元内可靠实现多个参考站间整周模糊度解算.     

浅谈转换生成语法理论在维吾尔语句法歧义中的运用

歧义是自然语言的一种普遍现象,主要表现为句法歧义和语用歧义。运用转换生成语法有关理论对维吾尔语句法歧义进行简要分析,并找出其产生的原因。     

浅谈汉语歧义现象及其运用

对汉语歧义现象进行了句法分析、语义分析及语用分析,通过大量生动示例指出,在生活实践中恰如其分地运用歧义可产生意想不到的效果。     

基于谓词逻辑的Prolog程序设计

一阶谓词逻辑下的Horn逻辑是人工智能程序语言Prolog的理论基础,利用Prolog在计算机上可实现机械化,从而使自动化求解问题和定理证明具备可行性。本文从Horn逻辑和Prolog的基础理论出发,使用Horn子句、SLD-归结、搜索和回溯等原理讨论了如何在计算机中实现数学函数、定理证明等自动推理的一些应用。     

汉语简单句中的量词辖域歧义及其消歧研究

量词辖域歧义是语言研究的重要课题之一。英、汉语在量词辖域歧义方面存在不对称的现象。汉语简单句中存在着多种类型的量词辖域歧义现象,主要体现为量词与量词、量词与否定词、量词与疑问词以及量词与联结词之间的辖域歧义。量词辖域歧义现象的存在,在一定程度上造成了语言使用和理解方面的困难。为了使语言表达得更加严密、准确,可以采用语音、词汇、语法以及语境等手段消除语句的量词辖域歧义现象。     

汉维词义模糊性对比概况

模糊性是人类自然语言的基本属性之一,而词义模糊性则是语言模糊性中最突出的方面。论文分别从语言中的模糊词和使词义产生模糊或使词义的模糊程度发生改变的手段这两个方面来进行汉维语词义模糊性的对比,指出汉维词义模糊性是不完全对应的,其手段表现形式也具有差异性。     

言语交际中的歧义容忍度及其对外语教学的启示

歧义容忍度是影响外语学习的重要因素之一。在言语交际中,文化背景、认知风格、学习策略,以及自我形象的差异都是影响外语学习者歧义容忍度的重要因素。而歧义容忍度是可以培养的,因此,适当采取一些措施来适时提高学习者的歧义容忍度,对提高外语教学成效带来一定的启示。     

村落民俗体育文化生态的保护与传承

村落民俗体育文化作为扎根于基层、服务于人民的优秀传统文化代表,是树立中华民族文化自信的重要载体.采用文献资料法、田野调查法、文化人类学方法,依托对湘西地区的田野调查经验,对村落民俗体育的文化生态保护与传承的现状进行了探讨.村落民俗体育文化生态的内涵包括文化生态思想、文化生态意识、文化生态枢纽、文化生态境界4个方面.当前...     

语义读入——英语歧义句分析新视点

语句或语词因为语义上的歧义理解产生多种语义读入。词义转类、标点符号、语音、句法结构等都构成对语义读入的影响。语义异常又称为语义破格,英语本族语者的语法知识,除了能分辨歧义句之外,还能判断语义是否有意义或者异常。叶斯柏森的儿童习得语言的理论对认知语义异常现象有启示作用。