导读:本文包含了交互式程序论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:程序设计,程序,语言,作业,数据流,教学改革,教学方法。
交互式程序论文文献综述
赵治红,陈凯,肖飞[1]（2019）在《基于VB程序设计语言的交互式课堂练习的设计与实现——以高中英语语法练习题为例》一文中研究指出交互式学习是教育信息化时代不断强调的区别于传统认知的教学模式,新时代的教师和学生都越来越倾向于在交互中教学与学习。本文在Powerpoint中,基于VB程序设计语言进行了交互式课堂练习的设计与实现,学习界面清晰,具有一定的科学性、逻辑性,可反复运行。(本文来源于《电脑知识与技术》期刊2019年25期）
俞庆英,孙丽萍,夏芸[2]（2019）在《《C程序设计》课程交互式作业管理平台设计与实现》一文中研究指出《C程序设计》是高校计算机专业及相关理工科专业的必修基础课程,《C程序设计》课程实践教学是C语言学习过程中一个重要环节。为减轻教师在C语言实践教学过程的繁重任务,提高学生的学习效率和学习效果,开发并实现了一套C语言交互式作业管理系统。该系统主要功能包括用户管理、题库管理、作业管理、练习管理、成绩统计与查询等。系统使用Web方式开发,开发环境为MyEclipse+Tomcat+JSP+MySQL。通过对《C程序设计》课程交互式作业管理平台的个性化设计,充分发挥教师的指导作用,调动学生的学习积极性,提升学生发现问题和解决问题的能力,促进师生交流以及学生之间的协同合作,从而提升《C程序设计》课程的教学质量。(本文来源于《电脑知识与技术》期刊2019年08期）
郭倩文[3]（2018）在《“交互式”微课的设计与实施——以高职《VB程序设计》为例》一文中研究指出基于高职学生的特点,详细分析了交互式微课在高职信息技术教学中的优势。梳理出交互式微课的设计流程,并构建了以交互式微课教学为线索的课堂教学模式,以实现高职学生的专业技能和职业素养的同步培养。同时,以VB程序设计课程为例,针对教学中学生自主学习、协作探究、互动交流等问题进行案例交互式微课设计,并将其融入所构建的课堂教学模式进行运用,绝大多数学生反馈的信息表示,课堂评价也远远超出传统课堂。(本文来源于《软件导刊(教育技术)》期刊2018年02期）
齐建国,王显刚,衣晏狄,蔡学文[4]（2017）在《交互式多媒体程序教学在高校田径教学中的应用研究》一文中研究指出伴随着移动互联网时代而带来的自主学习、媒体网路学习浪潮的影响,中国高校体育技术课堂教学面临诸多挑战。随着科学技术的迅猛发展,体育科学也取得了快速发展。本文将现代交互式多媒体教学方法和程序化教学相结合,引入高校田径教学,产生了良好的效果。这是多媒体信息教学与程序教学方法引入高等院校体育教学方法的探索和研究,交互式多媒体程序教学已被高等体育院校学生所接受,并在教学中得到了广泛的应用。(本文来源于《四川体育科学》期刊2017年06期）
寇晓斌,白涛,王业[5]（2017）在《“Python交互式程序设计导论”慕课的设计》一文中研究指出慕课作为一种新的在线课程形式,近几年得到了广泛的推广和应用,将一门课程采用慕课的形式放在网上,其建设和运行要经过需求分析、课程设计、文档制作、视频拍摄、课程设置和课程运行几个阶段。文章从课程的需求出发,对Python课程的定位、课程特点与慕课优势相结合、知识点划分、项目设计、课程各部分的呈现形式几方面介绍新疆农业大学"Python交互式程序设计导论"慕课的设计。(本文来源于《科教导刊(中旬刊)》期刊2017年09期）
孙皓月,祁爱华,温秀梅[6]（2017）在《基于交互式的微课技术在《Java程序设计》课程教学中的应用和研究》一文中研究指出本文针对当前多媒体教学现状,结合微课堂教育理念,探讨基于交互式的微课堂的专业主干课程体系内涵建设思路。首先分析微课的特点和优势,然后以专业课程的实践教学改革为切入点分析如何整合和优化现行实践教学内容,构建循序渐进的教学实践教学体系。(本文来源于《当代教育实践与教学研究》期刊2017年06期）
冬雨辰[7]（2016）在《用于交互式程序验证的数据流分析技术》一文中研究指出软件开发过程需要保证程序满足正确性规约。目前主要有软件测试、模型检验等技术用于程序的正确性保证。软件测试通过测试用例集来描述正确性规约,在测试用例集上执行目标程序以判断结果是否符合预期；模型检验通过自动机、Petri Net等对软件系统进行建模,判断软件系统运行过程是否会出错。但是测试方法只能保证程序在一定覆盖度下满足规约,无法证明程序正确,而模型检验方法使用分析程序状态来判断是否会有不安全的错误情况,存在状态空间爆炸的问题。它们不适合针对计算处理过程的程序验证。为了准确地验证和数据处理计算相关程序性质,相关研究者提出了使用逻辑推理系统如Hoare Logic对程序进行静态验证的方法：分析人员用包含自定义递归函数的逻辑公式描述程序程序的状态,并使用逻辑系统的推理规则分析程序状态在语句执行前后的变化。分析人员还可以使用约束求解器等工具辅助推导更多的性质。研究人员对Hoare Logic进行扩展得到Separation Logic和Scope Logic,更是使得逻辑系统具有了处理指针别名的能力。然而基于逻辑系统人工推导性质的过程十分复杂,涉及多种推理规则的结合使用。尤其是当处理循环语句和递归数据结构时,人工分析更是容易发生错漏,所以该方法对分析人员的经验和能力有较为苛刻的要求。为了使得基于逻辑系统的程序验证过程更加准确和高效,本文提出了如下的方法：·提出了一种在Scope Logic上进行交互式的程序验证的方法。多种分析技术之间通过程序点的逻辑公式进行协作。分析人员可以与分析过程进行交互,手工进行程序性质的验证,也可以自行指定多种分析技术结合进行程序性质的分析。分析技术只要满足相关约束,即可参与交互程序验证的过程。交互式的程序验证可以保证灵活性,可以提高程序验证的自动化程度。·提出了使用数据流分析结合Scope Logic对程序性质进行自动分析的方法。分析人员将递归函数公式描述的程序性质取值转化为交半格表示的数据流值,并为数据流值设置随着程序语句传播的过程。数据流算法便可自动化求解最终的程序状态。分析过程自动将结果转成公式,并且自动设置公式的来源和依赖关系。当数据流分析过程满足相关约束时,该数据流分析过程就可以作为一种自动化技术参与交互式程序验证。分析人员保证数据流值半格高度有穷和传播过程的单调,即可保证数据流迭代算法收敛。通过使用该方法进行自动化验证,程序验证的效率得到提高。我们将以上数据流分析的方法在基于Scope Logic的程序分析工具Accumu-lator上集成实现,分析人员可与工具交互,使用不同分析过程验证程序性质。我们使用该工具分析了一系列递归数据结构操作实例,主要包括单链表形状变化的代码,如单链表的插入、删除和翻转等。实验对正确和错误的代码都进行了分析,实验结果表明,分析人员使用我们的方法得到的结果满足Scope Logic的规约,可以有效地与其他技术进行交互,因而可以准确地验证程序性质。(本文来源于《南京大学》期刊2016-05-23）
陈晋音,卢瑾,张健[8]（2016）在《基于Ch交互式平台的“C/C++程序设计”课程的计算思维能力培养探究》一文中研究指出针对电子信息专业的特色和人才培养要求,本文介绍了基于Ch交互式平台的"C/C++程序设计"教学方法的设计与实现,包括教学课件的设计、课堂与实验分阶段学习模式的实现以及贯穿整个教学过程的计算思维能力培养方案,并利用Ch交互式平台代替传统的C/C++编译环境,以弥补目前传统教学中交互性差、集成开发环境单一和可移植性差等不足,最终以典型章节为教学案例,详细说明基于Ch交互式平台的"C/C++程序设计"课程计算思维能力的培养方案。(本文来源于《工业和信息化教育》期刊2016年01期）
袁运浩,葛洪伟,杨金龙,罗晓清[9]（2015）在《面向对象程序设计的交互式教学模式探讨》一文中研究指出针对面向对象程序设计教学中已存的问题,本文结合笔者自己的教学实践,探讨了课程的交互式教学模式,以期在教学过程中激发学生的学习兴趣与热情,引导学生自主思考与实践,从而提高面向对象程序设计课程的教学水平,增强教学效果,提升学生在实际应用中的程序开发与创新能力。(本文来源于《教育教学论坛》期刊2015年40期）
张英俐,刘弘,赵永升,王秀红[10]（2015）在《交互式遗传程序设计在作曲中的应用》一文中研究指出针对目前的算法作曲系统普遍存在的局限性,提出一种交互式遗传程序设计(Interactive Genetic Programming,IGP)的作曲方法。介绍了用交互式遗传程序设计进行作曲的原理、步骤。提出了一种交互式遗传程序乐曲生成系统,用人做为适应度函数,用遗传程序设计的方法来产生乐曲片段。把乐曲片段交给人进行评价后,人对乐曲是否参与下一代进化进行取舍,直至产生理想的乐曲。实验结果显示:得到的乐曲片段较之前各种乐曲生成系统得到的乐曲更连贯,能够符合人的欣赏习惯。(本文来源于《控制工程》期刊2015年03期）
交互式程序论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
《C程序设计》是高校计算机专业及相关理工科专业的必修基础课程,《C程序设计》课程实践教学是C语言学习过程中一个重要环节。为减轻教师在C语言实践教学过程的繁重任务,提高学生的学习效率和学习效果,开发并实现了一套C语言交互式作业管理系统。该系统主要功能包括用户管理、题库管理、作业管理、练习管理、成绩统计与查询等。系统使用Web方式开发,开发环境为MyEclipse+Tomcat+JSP+MySQL。通过对《C程序设计》课程交互式作业管理平台的个性化设计,充分发挥教师的指导作用,调动学生的学习积极性,提升学生发现问题和解决问题的能力,促进师生交流以及学生之间的协同合作,从而提升《C程序设计》课程的教学质量。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
交互式程序论文参考文献
[1].赵治红,陈凯,肖飞.基于VB程序设计语言的交互式课堂练习的设计与实现——以高中英语语法练习题为例[J].电脑知识与技术.2019
[2].俞庆英,孙丽萍,夏芸.《C程序设计》课程交互式作业管理平台设计与实现[J].电脑知识与技术.2019
[3].郭倩文.“交互式”微课的设计与实施——以高职《VB程序设计》为例[J].软件导刊(教育技术).2018
[4].齐建国,王显刚,衣晏狄,蔡学文.交互式多媒体程序教学在高校田径教学中的应用研究[J].四川体育科学.2017
[5].寇晓斌,白涛,王业.“Python交互式程序设计导论”慕课的设计[J].科教导刊(中旬刊).2017
[6].孙皓月,祁爱华,温秀梅.基于交互式的微课技术在《Java程序设计》课程教学中的应用和研究[J].当代教育实践与教学研究.2017
[7].冬雨辰.用于交互式程序验证的数据流分析技术[D].南京大学.2016
[8].陈晋音,卢瑾,张健.基于Ch交互式平台的“C/C++程序设计”课程的计算思维能力培养探究[J].工业和信息化教育.2016
[9].袁运浩,葛洪伟,杨金龙,罗晓清.面向对象程序设计的交互式教学模式探讨[J].教育教学论坛.2015
[10].张英俐,刘弘,赵永升,王秀红.交互式遗传程序设计在作曲中的应用[J].控制工程.2015
论文知识图
