导读:本文包含了模块抽象论文开题报告文献综述及选题提纲参考文献，主要关键词:地球与宇宙,具象教学,抽象概念
模块抽象论文文献综述
邬久杰[1]（2019）在《架起具象、抽象之间的桥梁——小学科学“地球与宇宙”模块教学策略例谈》一文中研究指出小学科学教材中"地球与宇宙"模块的内容,大多是不易见到的抽象事物,教学时,教师指导不规范就容易使学生产生不正确的宇宙空间概念,而小学生正处于具象到抽象的过渡期,空间观念不足。因此,教学时应通过"借助模拟实验、借助现象观察、借助画图示意、借助媒体技术"等路径,架起具象、抽象之间的桥梁,有效促进学生科学概念的理解、空间概念的形成和求真探索精神的培养。(本文来源于《教学月刊小学版(综合)》期刊2019年03期）
喻垚慎,黄志球,沈国华,王飞,崔少轩[2]（2019）在《基于抽象解释的嵌入式软件模块化Cache行为分析框架》一文中研究指出程序最坏执行时间(Worst Case Execution Time,WCET)是嵌入式实时系统时间属性验证的基础,在采用静态分析技术的WCET估算中需要分阶段对不同的执行环境约束条件进行分析,并整合所有约束信息、结合程序控制流结构估算全局最坏路径,因此各阶段分析的中间结果对最终的WCET估算性能具有较大影响.在现代嵌入式系统中,硬件平台中的Cache机制成为对执行时间影响较大的硬件体系结构,对其进行精确的行为分析在WCET估算中具有重要的现实意义.采用抽象解释理论对Cache行为进行分析已有较为成熟的技术成果和相关工具,但由于静态分析技术具有较难理解和使用的特点,对于技术没有覆盖、工具没有支持的硬件架构,针对这类硬件架构进行相关研究和验证工具开发都具有较大难度和挑战.该文以抽象解释为理论基础,以复用Cache分析过程为目标,提出了基于抽象解释的模块化Cache行为分析框架,对Cache行为分析过程进行了层次划分,提出了易于复用的Cache行为分析方法设计,能够针对不同架构的Cache机制分析方法进行建模,并以统一的分析框架对分析过程进行复用.案例实验表明,该框架可支持采用抽象解释对使用LRU策略的Cache行为进行建模分析,并能够得到Cache命中情况标记信息以支持后续WCET的估算过程.(本文来源于《计算机学报》期刊2019年10期）
蒋超,余隋怀,姚澜[3]（2018）在《功能模块-抽象形态模型的构建方法与关键技术研究》一文中研究指出概述了功能模块-抽象形态模型及其特点,分析了基于几何相似度的形态关联性计算和基于效率矩阵的节点重要度计算。在此基础上论述了功能模块-抽象形态模型的构建方法,并通过实例进行验证。(本文来源于《机械制造》期刊2018年02期）
文卫星[4]（2006）在《在双基模块的基础上构建双基平台——高叁复习课“抽象函数”教学实录》一文中研究指出本期,我们给出一个"大家评"的课例:抽象函数(高叁复习课),欢迎广大读者尤其是高叁年级的数学老师结合本课例和自己的教学实践参与点评.点评文稿的基本要求是内容实在,篇幅短小(一般不超过2000字).截稿日期为2006年8月20日.(本文来源于《中学数学教学参考》期刊2006年11期）
朱家义[5]（1996）在《基于数据抽象的模块设计技术》一文中研究指出本文系统地阐述了利用数据抽象技术形成模块的方法，给出了利用该技术设计模块的整个步骤，最后利用例子做了进一步的说明。(本文来源于《河南职技师院学报》期刊1996年01期）
梅宏,孙永强[6]（1992）在《模块、抽象数据类型和类》一文中研究指出本文分析了面向对象程序设计(OOP)中类(class)和传统程序设计模块(module)及抽象数据类型(ADT)间的差异,以便加深对 OOP 中类及对象的理解,进而讨论了类间继承关系。(本文来源于《计算机科学》期刊1992年06期）
谈乾康[7]（1989）在《可重用模块—抽象数据类型的Ada实现》一文中研究指出可重用软件有着一系列的收益——降低软件系统的开销,增强软件的可靠性,增强易于维护性以及提高软件系统的质量。本文讨论可重用模块,即抽象数据类型的Ada实现。本文首先论述了该研究领域的重要性;尔后叙述了Ada语言对支撑可重用模块所具备的种种机制;最后给出Ada语言编制的一个可重用模块的模式。(本文来源于《计算机工程》期刊1989年02期）
何炎祥[8]（1988）在《踪迹法——写软件模块抽象规格说明的一种途径》一文中研究指出本文提出了利用有关踪迹的断言写软件模块抽象规格说明的一种方法(简称踪迹法).用这种方法写出的规格说明由两部份组成:语法部份和语义部份.其中语义部份由叁类断言组成:踪迹合法性的断言,踪迹等价性的断言以及在踪迹结束处V-函数回送之值的断言.这种方法允许模块的规格说明具有延迟或隐蔽效果,但不涉及到模块的内部数据结构.所写的规格说明十分简明而且也不难检测这些规格说明的完全性和一致性.(本文来源于《计算机学报》期刊1988年10期）
丁占鳌[9]（1986）在《人脑的一个抽象模型——模块网络》一文中研究指出本文的目的是给出大脑的一个模型,并说明此模型,并说明此模型都是一个有限自动机,进而要说明有限自动机与电脑之间的关系。从而可以回答人工智能中长期争论的问题。电脑能代替人脑吗?我们的结论是电脑不能代替人脑。(本文来源于《黑龙江大学自然科学学报》期刊1986年03期）
模块抽象论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
程序最坏执行时间(Worst Case Execution Time,WCET)是嵌入式实时系统时间属性验证的基础,在采用静态分析技术的WCET估算中需要分阶段对不同的执行环境约束条件进行分析,并整合所有约束信息、结合程序控制流结构估算全局最坏路径,因此各阶段分析的中间结果对最终的WCET估算性能具有较大影响.在现代嵌入式系统中,硬件平台中的Cache机制成为对执行时间影响较大的硬件体系结构,对其进行精确的行为分析在WCET估算中具有重要的现实意义.采用抽象解释理论对Cache行为进行分析已有较为成熟的技术成果和相关工具,但由于静态分析技术具有较难理解和使用的特点,对于技术没有覆盖、工具没有支持的硬件架构,针对这类硬件架构进行相关研究和验证工具开发都具有较大难度和挑战.该文以抽象解释为理论基础,以复用Cache分析过程为目标,提出了基于抽象解释的模块化Cache行为分析框架,对Cache行为分析过程进行了层次划分,提出了易于复用的Cache行为分析方法设计,能够针对不同架构的Cache机制分析方法进行建模,并以统一的分析框架对分析过程进行复用.案例实验表明,该框架可支持采用抽象解释对使用LRU策略的Cache行为进行建模分析,并能够得到Cache命中情况标记信息以支持后续WCET的估算过程.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
模块抽象论文参考文献
[1].邬久杰.架起具象、抽象之间的桥梁——小学科学“地球与宇宙”模块教学策略例谈[J].教学月刊小学版(综合).2019
[2].喻垚慎,黄志球,沈国华,王飞,崔少轩.基于抽象解释的嵌入式软件模块化Cache行为分析框架[J].计算机学报.2019
[3].蒋超,余隋怀,姚澜.功能模块-抽象形态模型的构建方法与关键技术研究[J].机械制造.2018
[4].文卫星.在双基模块的基础上构建双基平台——高叁复习课“抽象函数”教学实录[J].中学数学教学参考.2006
[5].朱家义.基于数据抽象的模块设计技术[J].河南职技师院学报.1996
[6].梅宏,孙永强.模块、抽象数据类型和类[J].计算机科学.1992
[7].谈乾康.可重用模块—抽象数据类型的Ada实现[J].计算机工程.1989
[8].何炎祥.踪迹法——写软件模块抽象规格说明的一种途径[J].计算机学报.1988
[9].丁占鳌.人脑的一个抽象模型——模块网络[J].黑龙江大学自然科学学报.1986