导读:本文包含了体系结构描述语言论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:体系结构,语言,结构,构件,语法,半音,体系。
体系结构描述语言论文文献综述
张宝华[1]（2019）在《辟斯顿综合调式半音体系下的非叁度结构和声语言——以五部《弦乐四重奏》为例》一文中研究指出文章以辟斯顿综合调式半音体系下的非叁度结构和声语言作为研究对象,重点论述了五部弦乐四重奏作品中的四度(五度)、二度(七度)迭置和弦及其"平行和声"手法和"混合和弦"及其连接手法。其中,重点论述了四度迭置与五度迭置和弦的本质区别、综合调式复合四度结构和弦;二度和音、二度与七度迭置和音的置换;混合和弦的穿插、层迭及插入手法等内容。最后,文章强调并总结了综合调式理论研究中,纵向音高结构研究的意义与价值。(本文来源于《黄钟(武汉音乐学院学报)》期刊2019年01期）
诺姆·乔姆斯基,司富珍[2]（2018）在《语言结构体系及其对进化的重要性》一文中研究指出本文主要讨论语言结构体系的主要构成要素及其在进化问题研究中的重要性。文章首先对UG的主要构成部分即进入计算系统的原子成分和生成程序进行详细讨论,而后将生物语言学放置在强式最简主张(SMT)视角下进行研究,最后得出结论认为语言就其本质而言是极其简单的,语言的多样性、复杂性和柔韧性绝大部分甚或全部存在于外部系统中,是居于语言结构核心部分的内在程序和语义解释的补充。关于进化问题,文章认为人类历史上曾经发生的与语言相关的突变应该发生在个体身上而非发生在群体身上,而后这种能力便代代相传。语言当然会发生改变,但不会进化;真正进化了的不是具体语言,而是语言能力,即UG。(本文来源于《语言科学》期刊2018年03期）
[3]（2017）在《“第22届国际计算机体系结构支持、编程语言和操作系统会议(ASPLOS’ 17)”顺利召开》一文中研究指出4月8日-12日,"第22届国际计算机体系结构支持、编程语言和操作系统会议(ASPLOS’ 17)"在西安顺利召开。ASPLOS是计算机系统结构领域的顶级国际会议,涉及体系结构、硬件、编程语言、编译器、操作系统和网络等多个方向,尤其重视不同方向之间的交叉。(本文来源于《信息网络安全》期刊2017年04期）
王春枝,王立柱[4]（2016）在《计算机体系结构在语言类课程中的意义》一文中研究指出高级语言类课程的一般教学模式是"语法+练习",这种模式中的知识概念之间没有内在联系,与强调自助学习的MOOC格格不入。文章分析这种模式存在的问题,并从计算机体系结构出发,建设性地提出解决问题的方法。(本文来源于《计算机教育》期刊2016年12期）
吴春相,许惠玲[5]（2016）在《从语法和修辞的界面看相关语言结构的创新和演化——兼谈对外汉语教学语法体系的动态调整》一文中研究指出本文支持语言规范的动态观,认为语言结构的演化可以在语法和修辞两个层面之间形成连续统。论文在展现语法结构和修辞结构相互演化特点的基础之上,从普通话语法的规范化、语法项目的统计和专家论证等多角度讨论了语法项目的动态调整问题,并从使用群体、语体以及使用频率角度讨论了对语言结构演化动向的预测。(本文来源于《国际汉语教学研究》期刊2016年03期）
陈雪元[6]（2014）在《软件体系结构描述语言-WrightADL》一文中研究指出本文主要介绍一种比较具有代表性的软件体系结构描述语言-WrightADL,通过一个简单的例子对WrightADL的语法进行说明,最后讨论了WrightADL的一致性检测方法。(本文来源于《科技风》期刊2014年09期）
钱宇清[7]（2014）在《Hybrid AADL：混成系统体系结构分析与设计语言》一文中研究指出架构分析与设计语言AADL (Architecture Analysis and Design Language)因其简单的语法,强大的功能以及良好的可扩展性在建模和分析领域被广泛地应用。然而,AADL却没有描述处理混成系统模型的能力。在本篇论文中,我们提出了一个构建AADL子语言的方法,以此来使得AADL具备建模与分析混成系统的功能。我们提出的这种全新的AADL子语言被命名为Hybrid AADL,并给出其语法和语义。为了支持混成AADL的建模,我们开发了一个OSATE (Open Source AADL Tool Environment,即开源AADL工具环境,是一个AADL建模平台)的混成系统建模插件。该工具具有编辑混成AADL模型、语法检查、生成抽象语法树、图形化仿真等主要功能。本篇论文还对Hybrid AADL中的死锁以及活锁做出了相关研究。其中,我们定义了混成AADL中死锁和活锁的形式化定义,并提出了其验证方法。总之,我们的工作体现在：●提出AADL的子语言Hybrid AADL,并给出其语法和语义的定义；●开发了一个OSATE的混成系统建模插件,以支持Hybrid AADL的建模以及仿真；●给出了Hybrid AADL中死锁以及活锁的形式化定义：●提出了Hybrid AADL中死锁以及活锁的验证方法。我们的方法以及我们开发的工具已经被某集团公司用于月球车控制系统的设计与开发。(本文来源于《华东师范大学》期刊2014-03-10）
肖佳[8]（2013）在《基于软件体系结构的构件模型和语言初探》一文中研究指出本文主要介绍了一种基于软件体系结构的构件模型和语言,其中主要包括构件模型SACM,面向构件语言SAJ,SAJ语言的语法、语义和类型系统,丰富构件接口信息等几个方面。通过研究表明,该模型和方案能解决软件开发中所面临的问题,有利于软件的开发和完善,在今后的实际工作中值得进一步推广和应用。(本文来源于《学园》期刊2013年14期）
段玉春,朱小艳[9]（2013）在《软件体系结构动态演化的Z描述语言扩展方法》一文中研究指出针对目前软件体系结构动态演化描述方法的不足且许多描述语言都是静态的,并不能对动态软件体系进行描述的问题,对经典Z描述语言进行扩展.该扩展的Z描述语言主要通过构件、连接件的添加及删除来达到动态演化的目的.具体给出Z语言扩展后的描述规则、构件的描述、连接件的描述和配置的描述,并用一个实例表明这个扩展的可行性.(本文来源于《兰州理工大学学报》期刊2013年01期）
丁湘陵,王志刚[10]（2013）在《基于B方法的体系结构描述语言的形式化研究》一文中研究指出通过分析B方法和软件体系结构描述语言ABC/ADL各自的特点,提出了一种两者结合的形式化方法。该方法利用B方法扩充的事件机制,定义软件体系结构描述语言的构件和连接子观察模型、行为规约和约束规约,并给出了规约实例,从而使得基于B方法的ABC/ADL能够形式化描述软件体系结构的结构和行为。(本文来源于《计算机工程与科学》期刊2013年01期）
体系结构描述语言论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文主要讨论语言结构体系的主要构成要素及其在进化问题研究中的重要性。文章首先对UG的主要构成部分即进入计算系统的原子成分和生成程序进行详细讨论,而后将生物语言学放置在强式最简主张(SMT)视角下进行研究,最后得出结论认为语言就其本质而言是极其简单的,语言的多样性、复杂性和柔韧性绝大部分甚或全部存在于外部系统中,是居于语言结构核心部分的内在程序和语义解释的补充。关于进化问题,文章认为人类历史上曾经发生的与语言相关的突变应该发生在个体身上而非发生在群体身上,而后这种能力便代代相传。语言当然会发生改变,但不会进化;真正进化了的不是具体语言,而是语言能力,即UG。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
体系结构描述语言论文参考文献
[1].张宝华.辟斯顿综合调式半音体系下的非叁度结构和声语言——以五部《弦乐四重奏》为例[J].黄钟(武汉音乐学院学报).2019
[2].诺姆·乔姆斯基,司富珍.语言结构体系及其对进化的重要性[J].语言科学.2018
[3]..“第22届国际计算机体系结构支持、编程语言和操作系统会议(ASPLOS’17)”顺利召开[J].信息网络安全.2017
[4].王春枝,王立柱.计算机体系结构在语言类课程中的意义[J].计算机教育.2016
[5].吴春相,许惠玲.从语法和修辞的界面看相关语言结构的创新和演化——兼谈对外汉语教学语法体系的动态调整[J].国际汉语教学研究.2016
[6].陈雪元.软件体系结构描述语言-WrightADL[J].科技风.2014
[7].钱宇清.HybridAADL：混成系统体系结构分析与设计语言[D].华东师范大学.2014
[8].肖佳.基于软件体系结构的构件模型和语言初探[J].学园.2013
[9].段玉春,朱小艳.软件体系结构动态演化的Z描述语言扩展方法[J].兰州理工大学学报.2013
[10].丁湘陵,王志刚.基于B方法的体系结构描述语言的形式化研究[J].计算机工程与科学.2013
论文知识图
