导读:本文包含了文本形式化论文开题报告文献综述及选题提纲参考文献，主要关键词:电子地图,文本,表达,巴克斯—诺尔范式
文本形式化论文文献综述
徐雨明,程鹏,邓洪涛[1]（2010）在《基于文本的电子地图形式化表达研究》一文中研究指出地理空间的表达是地理数据组织、存储、运算、分析的基础。通过电子地图数据组织的分析,以BNF为理论基础,提出了一套简洁、易于实现的电子地图描述性规则,可以方便地利用文本编辑器编辑,实现了电子地图在不同软件系统中通用性的目的,极大地提高了工作效率。(本文来源于《衡阳师范学院学报》期刊2010年03期）
滕衍平[2]（2008）在《文本解读,需要去形式化》一文中研究指出目前,小学语文教学的文本解读出现了一种形式化的倾向。这种形式化表现为教师过分追求"牵一发""格式工整""独特新异"等。解决这些怪现象的根本在于教师进行文本解读的视角必须由自我转向学生,文本解读的内容必须由形式化走向对文本的语言与情感表达的关注。本文提出的教学策略是:一、品味语言,推敲文脉,语文的味道不能变;二、触发情感,唤醒体验,动情朗读不可少。(本文来源于《语文教学通讯》期刊2008年04期）
王阳[3]（2006）在《建立形式化文本意义理论的时机已经成熟》一文中研究指出符号逻辑的主要奠基人之一弗雷格在一个多世纪前就提出过这样的设想,即对只有涵义而无指称的虚构艺术形象进行符号表达式描写。就文学而言,弗雷格的设想预示了一种符号化、形式化的文艺理论,这种理论企图跨越传统的经验直观和现代文本结构分析之间的历史性鸿沟,对文学文本的意义和价值在历史中的弥散提供一个客观的观察平台。然而,在将近一个世纪的时期内,符号逻辑对文学领域的渗透却一再受挫。但深受分析哲学影响的英美新批评派一开始就把语言的文学性与非文学性用法区别作为研究的重心,这样与其说是接近不如说是疏远了甚至背离了弗雷格的设想。同样企图抵达客观性彼岸的法国结构主义,则在其符号化和形式化起步阶段就举步维艰,其结构思想最终被解构。(本文来源于《英美文学研究论丛》期刊2006年00期）
王阳[4]（2005）在《论形式化文本意义理论的可能性及其运用》一文中研究指出当前第五代计算机的研制中发展起来的符号动力学、计算语言学、模糊逻辑、形式语义学等学科,以及人工智能对自然语言意义所作的处理,为传统的符号学方法和形式分析探寻文本意义结构提供了强大的技术手段;极大地推动了文本意义理论向符号化、形式化和公理化方向发展。一种建立在当代高新技术手段上的文本意义理论形式系统,将有效地补正重经验直观轻逻辑分析的传统批评的缺陷。(本文来源于《湛江师范学院学报》期刊2005年05期）
余盛可[5]（1995）在《超文本形式化模型研究》一文中研究指出本文谰述了目前超文本系统中常用的形式化模型，它们分别基于图论、网论、逻辑和集论。(本文来源于《计算机研究与发展》期刊1995年03期）
文本形式化论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
目前,小学语文教学的文本解读出现了一种形式化的倾向。这种形式化表现为教师过分追求"牵一发""格式工整""独特新异"等。解决这些怪现象的根本在于教师进行文本解读的视角必须由自我转向学生,文本解读的内容必须由形式化走向对文本的语言与情感表达的关注。本文提出的教学策略是:一、品味语言,推敲文脉,语文的味道不能变;二、触发情感,唤醒体验,动情朗读不可少。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
文本形式化论文参考文献
[1].徐雨明,程鹏,邓洪涛.基于文本的电子地图形式化表达研究[J].衡阳师范学院学报.2010
[2].滕衍平.文本解读,需要去形式化[J].语文教学通讯.2008
[3].王阳.建立形式化文本意义理论的时机已经成熟[J].英美文学研究论丛.2006
[4].王阳.论形式化文本意义理论的可能性及其运用[J].湛江师范学院学报.2005
[5].余盛可.超文本形式化模型研究[J].计算机研究与发展.1995