受限的proflog语言及其表推演过程语义

Fitting提出一种逻辑程序设计语言proflog，并把表推演机制作为语言的过程语义，表推演具有直观，灵活的特点，它的单步扩展规则具有很强的语义特征，它是扩展逻辑程序类的另一个理想的证明论，不过proflog包含了全部一阶理论，等词的替换性使得proflog过程语义比较复杂，在此提出讨论一种受限的程序语言cProflog，它包含函词，但限制了等词的替换性，体现了表达能力与计算复杂性之间的平衡，对于逻辑程序语言cProflog，还给出了复杂性较低的表推演过程。     

基于FLL的载波牵引过程的研究与实现

为使捕获到的信号估计参数可以更加精细化地初始化跟踪环路,在基于锁频环的牵引方法基础上进行了改进,根据卫星信号的特点,通过在一定时间内去除最值求平均的方法,消除了卫星信号中比特跳变对鉴频器的影响,扩大了鉴频器的鉴频范围。首先分析了鉴频器的鉴频方法和鉴频范围,重点分析了比特跳变对鉴频器的影响。然后提出了一种基于锁频环的牵引方案,最后通过MATLAB仿真测试了牵引方案的性能。算法分析及仿真结果表明,改进的牵引方案扩大了牵引范围,提高了牵引性能。     

语义理论与语言教学

本文简要地阐述了当代语义学的一些基本理论和观点 ,并就语义理论指导词汇教学进行了初步的实践和探讨 ,文章从并置理论与词汇搭配学习 ,结构语义学与词语运用能力的提高 ,语义场理论与词汇量扩大 ,语义成份分析与同义词教学等几个方面进行讨论 ,并指出 :运用语义理论指导教学有益于课堂教学质量的提高     

并发语言OCCAM的指称语义

在研究关于CSP并发指称语义的不同研究方法的基础之上，利用广义状态的概念和完间作为指称的方法，讨论了OCCAM的一个子集OCCAM/TOY的并发语义。针对目前交垒并发语义研究方法的问题和不足，首先在OCCAM/TOY的语法中经入了一类具体的原子语句，并从语义上考虑了原子语句的语义对整个程序语义的影响；其次，对于通常语义方法中合并处理的一对通信原语的一次通信分开处理，描述了单个通信步骤的语义及其对程序的影响。在构造语义域时，利用完备距离空间作为指称，讨论了在距离空间范畴中语义域议程的解的存在性；并且在定义域时，保证了递归定义的语义函数的存在性。给出了OCCAM/TOY的完全意义上的并发指称语义，既体现了由于并发而导致的执行过程的不确定性，又反映了并发导致的执行效果的不确定性。     

修辞语义与语言意义之关联

修辞语义与语言意义各有自己特定的内涵,既不乏某种程度上的一致性,也存在着根本性的区别。修辞语义是具体的、个体的、临时的,而语言意义则是抽象的、全民的、稳定的;语言意义是修辞语义形成的基础,修辞语义则是具体语境和特定语体规制下语言意义的修辞化变异。     

基于时迹的指称语义方法

采用基于时迹的双层指标语义框架讨论过程式语言的形式语义,主要给出对过程和函数的描述。     

Repeat-until语句的操作语义与指称语义的等价性证明

在计算机科学中，形式语义学以数学为工具，精确地定义和解释计算机程序设计语言的含义或语义．其中操作语义学和指称语义学是形式语义学的两大类别．本文使用简单的命令式语言IMP的语法，首先给出了repeat—until循环语句的操作语义，然后详细推导出了其指称语义，并在此基础上详细证明了它们二者之间的语义等价性．     

论诗歌语言中的语义蒙太奇

语义蒙太奇是诗歌语言中经常使用的手法。语义蒙太奇通过相似性使不同认知域的事物得以互通,以达到说明解释目标认知域的目的。根据目标域的有无,可以将语义蒙太奇分为目标域显现的语义蒙太奇和目标域潜藏的语义蒙太奇。     

论法律语言中语义模糊的根源

模糊性是自然语言的固有属性,法律语言作为语言的一种变体,也具有模糊性。本文利用范畴分类中导致语义模糊性的理论从客观世界、主观认识及语言形式这三个分类时涉及到的方面来论述法律语言的模糊性成因,同时,论述在分类时不同的认知、文化模式也会对范畴的切分产生影响,导致语义模糊性。     

依据过程性优势分析Prolog程序语言

介绍了过程性程序设计语言中过程，控制结构，程序流程等在陈述性语言Prolog中的实现，说明了Prolog是一种更有效的软件开发工具，它比Basic,Pascal等著名程序设计语言能力更强，效率更高。     

语义场和语言建构

本文在概述现代语义学的语义场概念的基础上,进一步分析了上下义关系中的上义词和下义词之间的相互影响及其互换时对语言建构的作用。分析结果表明,意义更宽泛的上义词和意义更精准的下义词分别对应不同的语言建构需要,合理使用语义场理论,能使我们的语言输出更传神,更贴切。     

言内语义语境与言外语境语义

语境研究已成为当前语言学界的中心课题,语义学也把语境视为一个重要对象。言内语义语境是利用语言知识来解释语境对语义的解释制约作用;言外语境语义则是用非语言知识来分析语境对语义的解释制约作用。由此得出语义研究离不开语境。     

结合语义的位置语言模型

针对位置语言模型没有考虑词与词之间语义关系的问题, 提出一种结合语义的位置语言模型。首先采用高斯核函数来度量词与词之间的位置关系; 然后提出一种平滑互信息的技术来度量词与词之间的语义关系, 证明了平滑互信息能够有效解决大量词对之间无法通过互信息来计算转移概率的问题; 还证明了位置语言模型是结合语义位置语言模型的一个特例; 最后将结合语义的位置语言模型应用于信息检索, 得到一个基于该模型的检索模型。实验结果表明, 基于该模型的检索模型在性能方面要优于基于位置语言模型的检索模型。     

SHOULD与MUST的推测性语义研究

should与must是英语中两个都可用来表达可能性和推测性语义的情态助动词.但二者在语义和语用上是有差异的.探讨二者的不同,总结、归纳出一套简短而实用的规则,可以帮助非母语使用者迅速作出正确的选择.     

并行面向对象语言的Action演算语义

给出具体的Action演算EP的定义,并且应用该演算进一步给出一个并行面向对象语言的语义.通过这个例子,说明了Action演算簇在实际应用方面的描述能力.     

英语动词性语义研究

英语动词性语义研究可以从四个方面进行：研究名词的动词性语义,剖析形容词的动词性语义,探讨副词的动词性语义,阐述倒序性动词和否定性动词的语义内涵.     

基于潜在语义对偶空间的跨语言文本分类研究

当今互联网上语言呈现多样性趋势,如何组织这些多语言的资源成为研究的热点。通过对双语平行语料库提取语义对应关系,构建潜在语义对偶空间,把双语文档映射到此概念空间后,实现跨语言分类。并通过改变训练集样本大小及语言构成来验证模型的分类性能。实验结果表明基于潜在语义对偶空间的跨语言文本分类具有良好的稳定性和准确度。     

语义模糊与言语交际

人类对客观世界的认知是不彻底、不完整的。在反应-思维-表达-交际这一过程中，任何一个环节都可能蕴含着偶然性、局部性、肤浅性，语言也就有了模糊性。语言的模糊性在语义上表现出来，交际在模糊中成功完成。     

语义与民族文化

本文在语义理论的基础上强调可以透过语义引申抽象出词语或句子折射出的民族文化特点,这一点对于我们进行文化交流,正确恰当地接收和发出信息,把握信息内涵十分重要。在外语教学实践中也应注意使学生体会到语义所体现的民族文化而不仅仅局限于词句本身,从而使他们能够顺利地进行正确、自然、得体的交流和沟通。