摘要：面对程序设计OJ(Online Judge,在线判题)平台上的大量习题,学生选题时往往带有盲目性,不利于学生快速提高程序设计能力.现有的习题推荐方法往往忽视了认知心理学与学生答题行为的联系,没有充分关注导致学生信息认知过程具有差异性的因素对解题的影响.本文基于认知心理学提出一种记忆与认知融合的OJ习题推荐方法,该方法结合认知心理学中关于工作记忆、长时记忆、外部信息以及非连续性认知发展的工作,通过如下方式考虑这4种因素对学生答题行为的影响:首先,以OJ习题中4个会对学生的工作记忆造成挑战的要素作为习题特征的一部分来辅助推荐方法估计习题的难度,分别为习题描述词数、输入格式词数、输出格式词数和是否为英文题干;然后,使用4个要素(相同知识的学习时间间隔、相同知识的学习次数、学习时间间隔和总体学习次数)建模学生长时记忆的遗忘与学习行为,拟合学生因这两种行为导致的知识状态变化,帮助推荐方法更准确地估计学生的知识点和编程语言掌握程度;接着,将OJ习题加入本文所构造的程序设计领域知识图谱,并在习题与其所考查的知识点之间建立关联,利用知识图谱嵌入方法将习题编码为一个融入了外部知识点相关性信息的向量作为习题的知识点表征,令推荐方法能够处理知识点间复杂多样的关系;最后,提出了2种策略用以指导推荐方法处理非连续性认知发展(指学生的知识状态在某个时间点突然发生较大变化)的情况,提升推荐结果的准确性,第1种策略运用强化学习技术并以推荐方法生成的答题序列与未来真实答题序列的相似度作为奖励,支持推荐方法生成与未来真实答题序列更一致的答题序列,从而使推荐方法在给学生推荐下一道习题时可以考虑学生的知识状态在未来发生的突然变化,第2种策略修改了高效用项集挖掘算法,使其能够通过学生行为挖掘知识点之间的隐式后序关系,帮助推荐方法预测学生在未来突然掌握或关注的知识点.通过在业界知名OJ平台洛谷和CodeForces数据集上的实验,表明该方法相较于目前常见的习题推荐算法具有更高的性能.

摘要：通过探讨以思政教育为导向的开放教育实践教学设计与实践,明确思政教育在开放教育中的重要地位与价值。基于建构主义学习理论、成人学习理论及教育技术支持下的教学模式创新,提出了整合思政元素的教学内容设计、促进学生主动学习的教学活动设计以及多元化、过程性的评价体系构建等策略。

摘要：设计并实现了一个基于MVC设计模式的电子名片系统,并对系统实现中的一些难点及解决办法进行了介绍。这种方法经实践验证安全性和移植性都比较好。

摘要：本文设计并实现了一个集成的网站开发工具WSAG(网站自动生成器 )。它为用户提供友好的设计界面 ,把用户的交互式的描述信息分类后存入后台数据库 ,在需要时通过对数据库中的数据进行选取 ,使用预先定义的网页模板 。

摘要：隧道照明控制系统能够科学地检测和调节隧道照明环境,以提供良好的行车环境。在此控制系统中,传感器是非常重要的组成部分,对于隧道照明控制系统具有重要意义。鉴于此,文章分析了4种传感器的原理、硬件设计和软件设计,提供了隧道照明控制系统中传感器关键器件的选型与设计方案。

摘要：提出一种基于FPGA的OSD菜单系统的设计及实现方法。系统软件部分以嵌入式图形支持软件μc/GUI为底层,设计了菜单项结构体及OSD菜单分层结构,灵活地建立菜单系统,生成图形界面。系统硬件部分实现OSD菜单图形与视频图像的叠加,在指定位置以指定透明度显示菜单图形。设计的菜单系统在实际显示器上运行效果出色。采用C语言的软件设计提高程序的可移植性,FPGA平台的使用为系统集成、功能扩展提供便利。

摘要：煤矿主通风机作为矿井通风的核心环节,其运行效果的好坏,不仅影响到井下采煤工作的正常进行,更关系到井下工作人员的生命安全。因此,采用模糊智能控制技术,设计煤矿局扇风机智能控制系统,以改善矿井内部通风环境,提高通风效率,增强通风可靠性。

摘要：软件的可靠性和可信性越来越受到人们的关注,而编译器作为软件开发的基础,其正确性的验证一直都是个重要且迫切的问题.设计和实现一个小型命令式语言IMP的编译器,该编译器将IMP源代码转换成定理证明器Coq接受的函数式语言表示形式的代码,通过语义分析得到IMP目标代码,在堆栈中执行得到结果.本文的重点是使用交互式定理证明器Coq机械验证函数式语言表示形式的源代码编译执行前后的属性和行为均保持一致.本文的工作为使用堆栈的编译器和其他软件系统的机械化形式验证提供了一种新的思路和方法.

摘要：进入到新的历史发展阶段,我国各个层面的改革发展持续深化,不同类型的建筑工程相继落地,极大活跃了建筑工程环境氛围,对满足国计民生不同层面建筑需求都带来深刻影响,尤其是现代技术的发展,推动各种高层超高成建筑工程明显增多,建筑工程设计功能也有了明显增加,一旦出现火灾问题,往往会带来非常大的危害影响,也增加了实际火灾救援的难度,从而推动社会对消防工程更加的关注。在现代技术创新突破支持下,不同类型新型化学防火材料在消防工程中实现了更加宽泛应用,显著提高了消防工程发展建设成效,对维护人民群众生命财产安全都有着重要作用。本篇文章主要是对新型化学防火材料在消防工程中的应用进行了分析,对指导新时期消防工程发展建设都有重要指导。

摘要：针对定制液晶面板,设计了一款专用TCON时序控制电路板。基于FPGA平台实现双路LVDS视频输入,14路mini-LVDS视频输出,外加多组显示控制时序转换等功能。经实物测试和高低温试验验证,在-55℃至75℃温度范围内工作稳定,性能优异。