【摘 要】
:
数据库系统具有操作性强、理论知识与实践依存度高的特点,学生只有通过大量实验才能彻底掌握数据库系统中丰富的理论知识。但数据库系统具有极大的复杂性,授课教师需要消耗大
论文部分内容阅读
数据库系统具有操作性强、理论知识与实践依存度高的特点,学生只有通过大量实验才能彻底掌握数据库系统中丰富的理论知识。但数据库系统具有极大的复杂性,授课教师需要消耗大量精力进行实验授课并对实验作业进行批改,而国内高校并没有一套可以应用于数据库系统实践的自动化实验教学平台。为了促进数据库系统实践的自动化实验教学,本文设计并实现了一套新型的数据库系统实践虚拟实验室。本文主要研究内容与创新点如下:(1)本文提出并实现一种具有动态化和高交互性的自动化实验引导教学方案。该方案可以对实验中的所有步骤进行自动化引导,对学习者的代码编写与实验过程进行跟踪和正确性检测:当学习者实验步骤出现错误时予以提示,同时将推送学习资料协助学习者对实验错误进行纠正。这种动态、高交互、复杂代码教学的自动化实验辅导教学模式可以减轻授课教师的实验授课负担,同时使学习者体验到类似于教师手把手指导教学的学习过程。(2)针对传统程序在线测评系统无法精确测试程序内部结构的问题,本文提出并实现一种基于接口的在线测评方案。该方案将实验的关键部分抽象成接口,能够对学生实验程序进行更加细粒度的控制与检测。(3)本文提出并实现一种自动化插件式的数据库系统存储引擎在线测评方案。通过MySQL插件式的存储引擎架构,该方案不仅可以帮助学生屏蔽数据库系统中非核心功能,让用户专注于数据存储与数据获取功能的实现,而且可以高效准确的对用户存储引擎进行功能测试和性能测试。相比于传统的数据库实验平台,本文的数据库系统实践虚拟实验室支持全自动化的实验引导教学模式,无需教师手动授课,同时能够对学生数据库系统实验程序进行更加细粒度的测评与检测,为数据库系统实践提供了一套便捷高效的实验教学系统。
其他文献
汇率联动性是指两个及两个以上经济体货币汇率存在一致性变动的性质。近期,中美贸易摩擦的持续升级严重影响了人民币汇率的稳定,在这种时代背景下,充分把握人民币与其他货币汇率的联动性,明确维持强联动性的主要影响因素,对于应对中美贸易摩擦规避货币风险、提高人民币国际地位具有重要意义。文章在以英镑作为基准货币的基础上,利用关联规则考察中美贸易摩擦以来人民币与外币汇率的联动性,分以下两方面进行:从日维度(短周期
随着经济的飞速发展,重金属造成的环境污染日益严重。开展微生物细胞对重金属的解毒机制研究,为微生物修复技术提供理论基础和科学依据,也对提高农产品质量安全和保护人体健
近年来,国家从宏观战略层面,提出进行供给侧结构性改革,对农业领域而言,就是旨在通过调整农业劳动力、土地、涉农资本、制度创造等要素,调整农业经济结构,实现资源要素的最优
近年来,交叉学科的蓬勃兴起引起众多优秀学者的关注。仿生学(Bionics)作为其中优秀代表,立足于生物学和技术学的结合。力学仿生更是仿生学的一个积极应用,其研究内容主要包括两大方面。其一是将静力学知识应用在生物体本构模型与精细结构;其二是动力学知识应用于生物体组成部分对于个体的相对运动和生物体在自然中的运动。随着“机械工程与健康科学”作为1985年美国科学研究委员会生物工程小组提出的“当前具有特别
网络功能虚拟化(Network Function Virtualization,NFV)是一种转变以往依赖专业硬件来实现网络功能的新兴科技,它通过在虚拟化平台上运行软件模块,以降低成本和简化管理。其中虚拟网络功能(Virtualization Network Function,VNF)可以被连接起来构成服务功能链(Service Function Chain,SFC),以提供流量需要通过的网络服务
从效果来看,公司法对于资本的管制愈加宽松,促进了资金流动,提高了资本的利用效率,但是在资本制度改革的同时,股东出资的配套制度并未及时制定,公司债权人利益保护问题日益令人担忧。股东出资义务能否加速到期成为理论界与实务界争论的话题,本文拟通过对股东出资义务加速到期的研究,来平衡股东利益与公司债权人之间的利益。在股东出资义务的三种学说中,即章程约定说、经营情况说以及公司自治说,经营情况说最适合当前的公司
频控阵雷达是一种按照某种特定规则给相邻阵元的发射载频施加微小频偏的新体制雷达,因其波束指向会随着距离的变化而发生偏转,能有效提供探测目标处距离维度的信息,成为国内外研究人员近年来研究的热点问题。对于频控阵雷达的原理、机制以及基本特性,国内外研究人员的认识早已达成一致,但对于频偏的施加方式,以及频偏方案的讨论,从未休止,而有关频控阵雷达采用何种发射结构和发射波形,如何选择频偏类型并保证达到最优效果,
CrRLK1L是植物中特有的一类类受体蛋白激酶(RLKs)亚家族。目前已知拟南芥中有17个家族成员,在植物组织中广泛表达,参与调控细胞伸长,维持细胞壁完整,调控植物的极性生长,受精过
本文主要考虑在外部周期流作用下的一类点涡系统奇点的稳定性.通过对点涡系统进行Kelvin变换以及辛极坐标变换,将涡点的邻域转化到无穷远点附近进行讨论,再由Moser’s不变曲线定理得到了Poincare映射下的不变曲线的存在性,进而通过对坐标进行复化估计得到了点涡系统奇点的稳定性.
农业是国民经济和社会可持续发展的基础,农业生产在我国一直占据着举足轻重的地位,农业的发展与农户自身受教育程度和新技术的利用息息相关,因此,针对农民开展技能培训显得尤为重要。近年来,各地政府在中央的号召下积极开展农民培训工作,目的是通过农民的技能培训对广大农民群众进行人力资本投资,提高农民的农业生产技能,促进农村现代化。然而,政府对农民的培训存在着诸多局限,导致培训效果不佳。农业龙头企业作为农业产业