语境理论

摘要： 在初中英语教学体系中,阅读始终处于核心地位,与学生英语综合素养之间存在密切的联系.但是在具体实践时,由于阅读教学指导理念和开展模式不够科学,致使阅读教学中暴露出诸多问题,制约了对学生英语核心素养的培养.基于此,结合语境理论在英语教学中的应用价值,将其科学、合理地应用到阅读教学中,最大限度地提升初中英语阅读教学的有效性,已经成为一线初中英语教师关注和研究的重点.

摘要： 语言的含义不只包括词汇和语法等,还依赖于特定语言环境,大学英语翻译教学中语境的作用不言而喻,学会联系语境就成为实现英语准确阅读和翻译的基础和前提.因此,英语翻译教学中,教师势必要学会如何引导学生通过联系上下文,结合语境来进行学习和阅读,以便更好地将语境功能充分发挥出来,提升学生的语境使用技巧,提高英语学习水平.本文就大学英语翻译教学中如何充分实现语境应用进行了深入研究,并就优化路径等方面进行了全面阐述.

摘要： 语境,即语言环境,在英语教学中,语境理论发挥着重要的作用,不仅能够帮助学生正确理解文义,还能增强学生的跨文化意识。文章简析初中英语阅读教学中应用语境理论的价值,并从在背景知识中渗透语境思维、在词汇分析中融入语境意识、在句义解读中运用语境理论、在课堂导入中模拟特殊语境、在生活元素中还原文本语境、在文本解读中应用语境理论等方面,解读语境理论在初中英语阅读教学中的应用策略。

摘要： 英语,作为中考分值最高的学科之一,其重要性不言而喻。词汇教学主要是起到奠基作用,关乎到后续学习质量,以及学生的英语综合运用能力发展情况。而语境理论属于一种较为前沿的教学理念,在初中英语词汇教学中践行应用,不仅可以深化教学效果,还可以促进学生的英语素养发展。因此,本文重点探究初中英语词汇教学中语境理论实际应用方法和效果,在了解语境理论内涵所在基础上,多角度、多层次应用,力求提升初中英语教学有效性。

摘要： 语境通常是指语言环境,即人在说话时,所处的状况和状态。在英语教学中,教师要结合英语词汇、阅读、语法、听力等各个方面的教学内容,为学生创设各种生动、有趣的语言情境,以此为学生提供英语语言使用环境,帮助学生深入理解英语知识,提高学生的英语语言应用能力。文章从语境理论的概况入手,明确语境理论的运用流程,分析初中英语教学中语境理论应用存在的问题,并在此基础上对语境理论在初中英语教学中的具体应用策略进行探究。

摘要： 受新冠疫情影响,国(境)外留学生目前多数仍采用线上授课方式学习。新冠疫情背景下的留学生线上汉语课程得以进行两年多是互联网科技发展的机遇,但是汉语学习成效及可持续运用的能力,很大一部分来自社会建构以及生活圈语境的养成,长时间的线上汉语教学有其局限性。因此,须在课程中实现以互联网资源为主体的教学方法创新、结合“翻转课堂”的教学模式,导入汉语生活语境为基础的课程设计,此教学改革具有重要的理论与现实意义。

摘要： 目前,整个社会处于多元语言文化之中,不同的语言承载着不同的文化背景和思维逻辑,无论是社会或是个人都要具有多语转变的意识和能力。大学英语翻译教学运用语境理论是契合“多语主义转向”的必然选择,能够丰富语言文本结构,释放学生对英语语言的固有认知,促进翻译教学文化对等的实现。因此,语境理论视域下大学英语翻译教学模式的构建,应注重语言环境下英汉语句的非对称性,采用语境理论下“形同异同,形异意同”的翻译技巧,按照英汉两种语言的表达逻辑和结构顺序进行语序调整,并注重英汉词性的转换,运用增补和省略正确表达文本。

摘要： 介绍高中英语词汇教学存在的问题,如重视程度不高、教学方法单一、词汇释义片面、教学效果不佳等。结合教学实例,探索将语境理论应用在高中英语词汇教学中以提升学生词汇记忆效率和学习效果的策略,即结合具体语句,猜测词汇含义;运用情境教学方法,形象认知词汇;紧密结合语境理论,加强理解词汇;有效运用语境理论,明白词汇使用场景;借助文化背景语境,辅助学生掌握词汇。

摘要： 语境理论是目前初中英语教学常见的教学理论,通过为学生创造语言习得和输出的环境,让学生在吸收知识的同时运用知识,加深对新知识的记忆。基于语境理论的初中英语课堂教学,教师应保证语境贯穿教学始终,在课堂导入、课堂讲解以及课后练习中凸显语境教学的价值,培养学生英语学习兴趣,提高英语课堂教学质量。

摘要： “语境”作为文学理论的重要范畴在历史流变之中沉积了复杂、分离和悖论的涵义。“语境”范畴并非外在于文本的附属性背景,而是文学理论的本体性概念。语境诗学的构建试图重建文论范畴之间的对话,形成一种动态的、有机的和整体性的理论形态。语境诗学弥合着文论中“向内转”和“向外转”的理论对立倾向:作品内部的语境结构与作品的情境、社会—文化语境之间形成一种全息的和互渗的混沌关系。语境诗学适应着“泛文学”的文学现状:将关注点从静态的印刷文本到动态的现场表演,从单一媒介文学到多模态文学,从固态的文学话语转向活态化的文学话语。语境诗学将文学理论追求的可言说性知识带向不可言说的氛围;将文学意识从焦点意识带向附带觉知,从实在走向虚在。在语境诗学之中,文类、媒介和社会语境作为最核心的维度,分别为文学文本提供着“前置赋义”“本体构建”和“意识形态”的功能。

摘要： 《译文》是1950-1960年代中国大陆唯一公开发行的专门译介外国文学作品的期刊,通过对这份期刊的研究,可以深入探讨当时中国文坛以及文学翻译如何受到政治及时代社会因素所影响.长久以来,有关1949年以后翻译如何受政治干预的探研显得十分薄弱,相关论文多流于表面论述,而缺乏深入的个案研究.对《译文》(《世界文学》)这一重要期刊的研究更是非常有限.本文将以《译文》在1950年代的发展情况为个案,探讨当时的中国文坛以怎样的标准接受当时美国等资本主义国家的"左翼进步文学".文章将主要考察如下几个方面:(1)《译文》刊载的美国"左翼进步作家"的两类作品;(2)以霍华德·法斯特的"背叛"为例考察政治身份对文学名声的操控;(3)以兰斯登·休士为例看译入语语境对黑人文学的择译标准;(4)名家、名作的"缺席".

摘要： 《译文》是1950-1960年代中国大陆唯一公开发行的专门译介外国文学作品的期刊,通过对这份期刊的研究,可以深入探讨当时中国文坛以及文学翻译如何受到政治及时代社会因素所影响.长久以来,有关1949年以后翻译如何受政治干预的探研显得十分薄弱,相关论文多流于表面论述,而缺乏深入的个案研究.对《译文》(《世界文学》)这一重要期刊的研究更是非常有限.本文将以《译文》在1950年代的发展情况为个案,探讨当时的中国文坛以怎样的标准接受当时美国等资本主义国家的"左翼进步文学".文章将主要考察如下几个方面:(1)《译文》刊载的美国"左翼进步作家"的两类作品;(2)以霍华德·法斯特的"背叛"为例考察政治身份对文学名声的操控;(3)以兰斯登·休士为例看译入语语境对黑人文学的择译标准;(4)名家、名作的"缺席".

摘要： 《译文》是1950-1960年代中国大陆唯一公开发行的专门译介外国文学作品的期刊,通过对这份期刊的研究,可以深入探讨当时中国文坛以及文学翻译如何受到政治及时代社会因素所影响.长久以来,有关1949年以后翻译如何受政治干预的探研显得十分薄弱,相关论文多流于表面论述,而缺乏深入的个案研究.对《译文》(《世界文学》)这一重要期刊的研究更是非常有限.本文将以《译文》在1950年代的发展情况为个案,探讨当时的中国文坛以怎样的标准接受当时美国等资本主义国家的"左翼进步文学".文章将主要考察如下几个方面:(1)《译文》刊载的美国"左翼进步作家"的两类作品;(2)以霍华德·法斯特的"背叛"为例考察政治身份对文学名声的操控;(3)以兰斯登·休士为例看译入语语境对黑人文学的择译标准;(4)名家、名作的"缺席".

摘要： 《译文》是1950-1960年代中国大陆唯一公开发行的专门译介外国文学作品的期刊,通过对这份期刊的研究,可以深入探讨当时中国文坛以及文学翻译如何受到政治及时代社会因素所影响.长久以来,有关1949年以后翻译如何受政治干预的探研显得十分薄弱,相关论文多流于表面论述,而缺乏深入的个案研究.对《译文》(《世界文学》)这一重要期刊的研究更是非常有限.本文将以《译文》在1950年代的发展情况为个案,探讨当时的中国文坛以怎样的标准接受当时美国等资本主义国家的"左翼进步文学".文章将主要考察如下几个方面:(1)《译文》刊载的美国"左翼进步作家"的两类作品;(2)以霍华德·法斯特的"背叛"为例考察政治身份对文学名声的操控;(3)以兰斯登·休士为例看译入语语境对黑人文学的择译标准;(4)名家、名作的"缺席".

摘要： 随着安全关键软件规模的不断增长、复杂性的持续扩大,其形式验证难度也越来越高.传统的形式验证方法如Floyd提出的"断言式方法"、Hoare提出的"公理式方法",存在断言构造依赖于操作人员的实际工作能力、循环不变式生成复杂、证明复杂度高等不足之处.本文在Hoare逻辑核心特性的Hoare三元组的基础上,提出基于语境的程序正确性形式证明方法:用语境来记录程序运行的上下文;将高层需求抽象为功能模型,并将其描述为前后置条件形式;将高层需求前置条件作为待证明程序的初始语境,经过待证明程序执行到达终止语境,程序正确性形式证明即为验证终止语境与高层需求后置条件的一致性.本文以形式证明ARINC653操作系统核心服务建模程序正确性为目标,为此,首先对ARINC653操作系统57个核心服务进行建模并将高层需求描述为前后置条件形式;之后构造一套将程序语句转化为逻辑语句的形式公理系统,将核心服务模型转化为逻辑语句序列以待证明;最后开发出一个基于语境的程序正确性形式证明工具,将上述逻辑语句序列和高层需求前置条件作为输入,经过一系列语境代入合并操作以及终止语境与高层需求后置条件匹配操作,从而得到ARINC653操作系统核心服务正确性证明结果.本文设计的基于语境的程序正确性形式证明方法能够简化验证的难度,提高证明的自动化程度.

摘要： 随着安全关键软件规模的不断增长、复杂性的持续扩大,其形式验证难度也越来越高.传统的形式验证方法如Floyd提出的"断言式方法"、Hoare提出的"公理式方法",存在断言构造依赖于操作人员的实际工作能力、循环不变式生成复杂、证明复杂度高等不足之处.本文在Hoare逻辑核心特性的Hoare三元组的基础上,提出基于语境的程序正确性形式证明方法:用语境来记录程序运行的上下文;将高层需求抽象为功能模型,并将其描述为前后置条件形式;将高层需求前置条件作为待证明程序的初始语境,经过待证明程序执行到达终止语境,程序正确性形式证明即为验证终止语境与高层需求后置条件的一致性.本文以形式证明ARINC653操作系统核心服务建模程序正确性为目标,为此,首先对ARINC653操作系统57个核心服务进行建模并将高层需求描述为前后置条件形式;之后构造一套将程序语句转化为逻辑语句的形式公理系统,将核心服务模型转化为逻辑语句序列以待证明;最后开发出一个基于语境的程序正确性形式证明工具,将上述逻辑语句序列和高层需求前置条件作为输入,经过一系列语境代入合并操作以及终止语境与高层需求后置条件匹配操作,从而得到ARINC653操作系统核心服务正确性证明结果.本文设计的基于语境的程序正确性形式证明方法能够简化验证的难度,提高证明的自动化程度.

摘要： 随着安全关键软件规模的不断增长、复杂性的持续扩大,其形式验证难度也越来越高.传统的形式验证方法如Floyd提出的"断言式方法"、Hoare提出的"公理式方法",存在断言构造依赖于操作人员的实际工作能力、循环不变式生成复杂、证明复杂度高等不足之处.本文在Hoare逻辑核心特性的Hoare三元组的基础上,提出基于语境的程序正确性形式证明方法:用语境来记录程序运行的上下文;将高层需求抽象为功能模型,并将其描述为前后置条件形式;将高层需求前置条件作为待证明程序的初始语境,经过待证明程序执行到达终止语境,程序正确性形式证明即为验证终止语境与高层需求后置条件的一致性.本文以形式证明ARINC653操作系统核心服务建模程序正确性为目标,为此,首先对ARINC653操作系统57个核心服务进行建模并将高层需求描述为前后置条件形式;之后构造一套将程序语句转化为逻辑语句的形式公理系统,将核心服务模型转化为逻辑语句序列以待证明;最后开发出一个基于语境的程序正确性形式证明工具,将上述逻辑语句序列和高层需求前置条件作为输入,经过一系列语境代入合并操作以及终止语境与高层需求后置条件匹配操作,从而得到ARINC653操作系统核心服务正确性证明结果.本文设计的基于语境的程序正确性形式证明方法能够简化验证的难度,提高证明的自动化程度.

摘要： 随着安全关键软件规模的不断增长、复杂性的持续扩大,其形式验证难度也越来越高.传统的形式验证方法如Floyd提出的"断言式方法"、Hoare提出的"公理式方法",存在断言构造依赖于操作人员的实际工作能力、循环不变式生成复杂、证明复杂度高等不足之处.本文在Hoare逻辑核心特性的Hoare三元组的基础上,提出基于语境的程序正确性形式证明方法:用语境来记录程序运行的上下文;将高层需求抽象为功能模型,并将其描述为前后置条件形式;将高层需求前置条件作为待证明程序的初始语境,经过待证明程序执行到达终止语境,程序正确性形式证明即为验证终止语境与高层需求后置条件的一致性.本文以形式证明ARINC653操作系统核心服务建模程序正确性为目标,为此,首先对ARINC653操作系统57个核心服务进行建模并将高层需求描述为前后置条件形式;之后构造一套将程序语句转化为逻辑语句的形式公理系统,将核心服务模型转化为逻辑语句序列以待证明;最后开发出一个基于语境的程序正确性形式证明工具,将上述逻辑语句序列和高层需求前置条件作为输入,经过一系列语境代入合并操作以及终止语境与高层需求后置条件匹配操作,从而得到ARINC653操作系统核心服务正确性证明结果.本文设计的基于语境的程序正确性形式证明方法能够简化验证的难度,提高证明的自动化程度.

摘要： 随着安全关键软件规模的不断增长、复杂性的持续扩大,其形式验证难度也越来越高.传统的形式验证方法如Floyd提出的"断言式方法"、Hoare提出的"公理式方法",存在断言构造依赖于操作人员的实际工作能力、循环不变式生成复杂、证明复杂度高等不足之处.本文在Hoare逻辑核心特性的Hoare三元组的基础上,提出基于语境的程序正确性形式证明方法:用语境来记录程序运行的上下文;将高层需求抽象为功能模型,并将其描述为前后置条件形式;将高层需求前置条件作为待证明程序的初始语境,经过待证明程序执行到达终止语境,程序正确性形式证明即为验证终止语境与高层需求后置条件的一致性.本文以形式证明ARINC653操作系统核心服务建模程序正确性为目标,为此,首先对ARINC653操作系统57个核心服务进行建模并将高层需求描述为前后置条件形式;之后构造一套将程序语句转化为逻辑语句的形式公理系统,将核心服务模型转化为逻辑语句序列以待证明;最后开发出一个基于语境的程序正确性形式证明工具,将上述逻辑语句序列和高层需求前置条件作为输入,经过一系列语境代入合并操作以及终止语境与高层需求后置条件匹配操作,从而得到ARINC653操作系统核心服务正确性证明结果.本文设计的基于语境的程序正确性形式证明方法能够简化验证的难度,提高证明的自动化程度.

摘要： 本文试图在不同语境下对左脚舞的语言形态进行阐述，通过几个民间生活的场合的描述从放大镜的角度上去解剖音乐和舞蹈形态，从而进一步探寻左脚舞在不同场合的背后所形成的舞蹈形态特征以及它所映射出的内涵和功能。

摘要： 本发明涉及一种计算机软件系统中实现构件对象在语境对象中自动具备语境特征功能的方法，包括系统实例化语境构件类得到语境构件对象实例、系统实例化外部构件类得到外部构件对象实例、对该外部构件对象实例进行进入所述的语境构件对象实例的处理操作、调用所述的语境构件对象实例的接口、对该外部构件对象实例进行离开所述的语境构件对象实例的处理操作。采用该种计算机软件系统中实现构件对象在语境对象中自动具备语境特征功能的方法，提高了构件应用的灵活性，降低了程序设计的复杂度，为构件编程提供了更宽广的空间，为软件工厂化提供了简便途径；提高了软件的可扩展性，能够更好地描述现实世界模型，方便用户对不同需求的扩展，为计算机构件化软件技术的进一步发展奠定了坚实基础。

摘要： 本发明公开了一种记录语境信息以及追溯生词语境的方法和系统，属于电子阅读和信息显示领域。其中记录语境信息的方法包括：响应记录生词的指令将所述生词加入生词本，提取与所述生词相关的语境信息，以及将所述语境信息与所述生词关联地存储在所述生词本中。追溯生词语境的方法包括：接收追溯生词语境的指令，读取所述生词本中与所述生词对应的语境信息，以及根据所述语境信息再现所述生词的语境。通过本发明记录语境信息以及追溯生词语境的方法和系统，在阅读过程中可以轻松地在生词本中记录与生词相关的语境信息，而且通过生词本中的语境信息可以容易地追溯到生词所在原文的语境，不但查阅方便而且使生词的记忆更加容易。

摘要： 本发明涉及一种计算机软件系统中实现构件对象在语境对象中自动具备语境特征功能的方法，包括系统实例化语境构件类得到语境构件对象实例、系统实例化外部构件类得到外部构件对象实例、对该外部构件对象实例进行进入所述的语境构件对象实例的处理操作、调用所述的语境特征对象实例的接口、对该外部构件对象实例进行离开所述的语境构件对象实例的处理操作。采用该种计算机软件系统中实现构件对象在语境对象中自动具备语境特征功能的方法，提高了构件应用的灵活性，降低了程序设计的复杂度，为构件编程提供了更宽广的空间，为软件工厂化提供了简便途径；提高了软件的可扩展性，能够更好地描述现实世界模型，方便用户对不同需求的扩展，为计算机构件化软件技术的进一步发展奠定了坚实基础。

摘要： 本发明属于心理健康、对话机器人与自然语言处理领域，具体是涉及一种基于语境建模的智能情感识别方法。本发明的目的在于解决当对话文本缺少上下文信息时，现有的感情识别方法无法准确的识别用户情感的问题。主要方案包括将对话文本和用户信息输入信息融合模块进行说话者与聆听者之间关系、用户性格、上下文信息的融合处理，然后输入情感分析模块将情感识别任务转化为填充任务，通过预测[MASK]位置上的词，然后通过词映射对应的情感类型，得到用户精准情感状态。本发明用于对话文本的情感识别。

摘要： 本发明公开了一种基于语境识别的机器翻译系统及其翻译方法，语境翻译系统自动识别源语言文本的语境，自动翻译为目标语言译文。语境翻译系统分为三个模块，分别是语境识别模块，语境翻译模块和译文质量自动评估模块。先用语境识别模块对原文进行分类，然后用不同分类下的翻译模型来翻译原文，得到不同分类下的译文，最后对这些译文自动进行质量评估，最终输出最贴合原文语境的质量最佳的译文，使不同语境下的翻译更加准确，更加靠近人工翻译。

摘要： 本发明提供一种迁移语境网络的大桃生产知识开放问答方法及装置，所述方法包括：将获取的问句文本输入至训练好的问句意图分类网络，获取带有分类标签的问句语义信息；将所述问句语义信息输入至训练好的问句相似度匹配网络，获取所述问句文本对应的至少一个匹配问句；根据所述匹配问句从预先构建的问答数据库中确定与所述问句文本对应的匹配应答，并将所述匹配应答反馈给用户。本发明提供的迁移语境网络的大桃生产知识开放问答方法及装置，通过知识迁移有效构建生产知识库，通过数据挖掘与清晰、问句意图分类、问句语义理解以及应答匹配等方式，立体化提升生产知识问答的准确性和鲁棒性，能最大程度满足用户对生产知识的获取。

摘要： 本公开实施例公开了一种会话语境的确定方法、装置、计算机程序产品和存储介质，其中，该确定方法包括：获取目标会话文本；通过会话语境分割模型对所述目标会话文本进行语境分割，得到所述目标会话文本的多个语境。本公开实施例可以快速合理地确定目标会话文本中的语境。

摘要： 基于语境响应与结构增强的电力营销实体识别方法及系统，首先采集电力营销的工单以及客户互动数据，然后构建NER语境响应模式，并利用电力营销关键词词表对每条待检测数据进行分词；之后，根据分词结果构建每条待检测文本的语义结构图，再对每条待检测文本进行编码与结构增强；使用解码器对每条待检测文本进行解码，最后根据语境响应模式，计算生成文本的损失优化模型并提取得到实体。本发明提出的NER语境响应模式以及结构增强能够最大限度利用语言模型对上下文的优势，有效地处理电力营销领域文本数据并取得更好的训练效果；所提出的结构增强计算方法能够有效增强每个分词的领域特性，其计算复杂性和增强效果远高于现有技术。

摘要： 本发明提供了一种基于语境的验证码生成方法、装置及存储介质，该方法包括步骤：从预设的句子库中随机选择一条句子作为验证句子，随机选择验证句子中的至少一个汉字作为验证汉字，所有验证汉字组成验证汉字集，并将验证句子中的各个验证汉字替换为待填空的提示符号，获得替换后的验证句子；从预设的汉字库中选择至少一个汉字以生成干扰汉字集，对验证汉字集和干扰汉字集进行合并处理和去重处理，生成待选汉字集；从预设的图片库中随机选择一张图片作为目标图片，基于目标图片，根据替换后的验证句子和待选汉字集中的各个汉字生成验证码。本发明能够有效降低人工智能对验证码的破解概率，提高了验证用户身份时的安全性。

摘要： 一种管理用于电子文本和相关动作的标签系统和方法，其用于基于机器学习的实时增强学习并包括：确定电子文本的至少一部分中的语境元素；将一组标签与语境元素和一个动作链接以定义关系；以及配置知识结构，其中通过将关系存储在标签数据库中，可对知识结构进行重新配置。