并行系统的一种组合式软硬件划分技术

研究并行系统的软硬件划分方法，建立了一种基于并行语言PL的代数语义的形式化软硬件体系结构，提出了一种基于基本调度块（BSB）的并行系统优化划分方法，该方法首先将PL程序分解为BSB，然后考察BSB的软硬件度量，最后利用启发式方法求出优化的软硬件划分方案，语法制导的划分规则可以用于系统的划分和软硬件成分的组合，本文提出的软硬件划分方法将系统的结构划分和功能划分有机地结合，具有实用价值。     

国标BASIC语言编译系统的设计与实现

介绍了国标BASIC语言编译系统的设计思想和实现技术.该系统建立了一个集成化的编程支持环境,通过语法制导编辑器建立BASIC源程序,通过增量编译器进行编译.这个集成化环境把编辑器、编译器、调试器有机地结合在一起,大大地提高了软件开发的效率,也提高了软件的可靠性.     

性别语言差异原因分析

性别语言学属于社会语言学的一部分。通过对性别语言的分析,综述众多语言学家的观点,探求语言差异形成的原因。     

如何在语法教学中贯彻交际性原则

七至九年级学生学习和掌握语法知识、发展语法能力是十分必要的，《新课标》反对过分重视语法知识的讲解和传授，并不意味着可以忽视或排除语法教学。把语法教学置于有意义的交际活动中是当今语法教学的唯一出路。教师应充分运用多种教学技巧在交际课堂进行语法教学，如：利用实物创设情景讲授语法；表演动作创设情景讲授语法：利用图画、地图、简笔画、图表等创设情景讲授语法；通过唱歌熟悉、练习语法。     

改进中学英语语法教学的对策

当前,我国中学英语语法教学中存在着"五重"、"五轻"的问题。要解决这些问题,需要注意语法课的趣味性;注意在训练中提高;将归纳法和演泽法结合起来;突出重点,精讲精练。     

论元代散曲中的虚字“着”

文章根据隋树森《全元散曲》提供的"着"字用例,进行比较、归纳,试图探明元散曲中"附着"义的’"着"字及其虚化形态的语法特色。     

句法乎?语法乎?--"语法的三个平面学说"质疑

语法的三个平面的研究,形成了"结合论"和"包含论"两个不同的研究倾向."结合论"者把语法同语义、语用相并立,坚持语法的独立性或句法的纯洁性;"包含论"者认为语法中包含着句法的、语义的、语用的内容,应从句法、语义、语用这三个方面来对语法进行研究.关于是"句法"还是"语法"的看法,这绝不是一字之差的小问题,它导致了语法本体论的不同,并由此形成了不同的方法论,形成了不同的语法体系.     

峡江方言的人称代词

峡江方言的人称代词主要有三身代词我、你、渠、我叽、我吧、你叽、渠叽以及非三身代词自家、口口[p‘iaη"@ηa]、人家、大家.全文对它们的语音形式作了详细描写,并通过与普通话中的相应形式的比较,逐个分析它们的意义指称对象和语法功能,其中有些人称代词在语用中还会发生转义,文中将其概括为虚指、泛指和转指三种情况.     

UML 顺序图的一种形式化描述方法

统一建模语言UML是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为了事实上的工业标准。但UML不是形式化的建模语言,缺乏精确的、形式化的语义,因此阻碍了它的进一步发展。线性时序逻辑是并发或反应式程序动态语义的一种形式化描述语言,它适合用来精确地表示模型的动态语义。本文定义了顺序图的形式化语法,采用线性时序逻辑给出了顺序图的语义描述,并通过实例分析,对模型的某条性质进行了证明,为模型做进一步分析和验证提供了基础。     

衔接理论在英语阅读教学中的应用

衔接手段是进行语篇分析的一个重要部分,它包括语法衔接和词汇衔接两个方面的内容。运用衔接理论进行语篇分析,可以加深对语篇的理解,培养学生的逻辑思维能力,以达到提高阅读理解之目的。