基于领域本体的需求获取与表示方法

提出了一种需求获取与表示方法——基于领域本体知识的需求获取与表示方法。方法的主要特点是用框架作为形式化需求的主要工具,即通过抽象需求资源的语义信息来建立表征其语义的本体模型,以增强面向对象方法的表达能力和弥补面向对象方法的知识推理能力。

ODL与E/R图的比较

近年来面向对象的数据库建模方法是数据库方向的热点问题。本文将通过实例,主要对面向对象定义语言ODL作个讨论,将其与E/R图进行比较,最后从数据库建模方向,说明各自的特点和走向。

程序设计类一流课程“专业+思政”教育协同效应探索与实践

根据一流课程特点及前期建设成果,提出程序设计类课程“专业+思政”教育协同效应模型,探讨如何深挖程序设计课程“六大思政元素”并重构“专业+思政”教育学习成果,最后以程序设计基础课程的教学设计和实施为例,介绍“专业+思政”教育协同效应方案有效实施路径并给出未来建设方向。

基于信任半格的次协调逻辑领域本体公理表示方法的研究

非规范知识处理的最典型应用领域是因特网上知识的处理,因特网上知识以各种媒体形式存在,以自然语言为载体,它充满了各种矛盾的事实、数据和观点,体现了非规范知识的不确定性、不精确性和不协调性等特征.本文利用次协调逻辑的理论和方法,具体采用了注解谓词逻辑的信任半格来表示领域本体公理,为非规范知识的表示与逻辑推理问题的研究提供理论依据.

基于Moodle平台的教师CMS的研究

通过对Moodle的功能、特点及CMS系统要素的全面分析,探讨了Moodle环境下设计开发CMS的系统结构及实现过程,为教师使用Moodle快速搭建个性化的CMS提供理论和实践参考。

基于二叉树及不定长子树的集合子集求解回溯算法

回溯算法按深度优先在搜索树中进行搜索,搜索过程中不满足问题的约束条件则进行剪枝,适用于求解组合数较大的问题。提出基于二叉树及不定长子树的集合子集求解回溯算法,算法设计采用相容性技术,在搜索过程中不需要剪枝,可求解出所有的集合子集,算法时间复杂度较理想,算法运行效率高。基于不定长子树的集合子集求解回溯算法复杂度为O(2^(n)),问题求解规模增大时,算法效率更高。

Visual FoxPro 6.0中类及其应用实例

介绍VisualFoxPro6.0中类的概念、特性及具体应用。并给出了用VisualFoxPro6.0类设计器设计一具体可视化类的方法和步骤。

基于“MOOC+SPOC+任务驱动”程序设计教学模式研究

为实现"教师引导,学生主导"的教学变革,提出构建基于"MOOC+SPOC+任务驱动"的程序设计教学模式,介绍该模式的4个阶段和以C语言为实例的教学模式的实践过程,分析实践结果并提出改进。

程序设计与数据结构“双向重构”教学衔接法探讨

为实现程序设计与数据结构课程的良好衔接,对两门课程的知识点进行对比和分析,提出基于"双向重构"思想的数据结构、算法和程序的递进模型,介绍该模型的概念模型、逻辑模型和实现模型的设计,最后通过实例分析和总结实践结果。

线上线下混合式程序设计类一流课程探索实践

分析线上线下混合式一流课程教学特征,从课程目标、学习成果、教学过程、教学资源、课程评价和思政创新6个方面阐述线上线下混合式程序设计类一流课程的建设方案,介绍课程建设实践过程,说明课程建设效果,总结改革中获得的经验和不足,最后从构建程序设计语言生态圈、课程应用、新形态教材和教育大数据分析方面提出未来一流课程建设的方向.

泛在移动教学:TPACK模型下的教学重构与实践

在“互联网+教育”背景下,对整合技术的学科教学知识(technological pedagogical content knowledge,TPACK)模型进行研究,将模型中的三大要素重构为TCK(pedagogical content knowledge)、TPK(technology pedagogical knowledge)和PCK(pedagogical content knowledge)三大能力,即教师的信息化教学能力。从教学模式、教学资源和教学策略三方面进行教学重构,设计了基于TPACK模型的泛在移动教学模式。以“程序设计基础”为实践课程,利用雨课堂智慧教学工具采集和展示数据。经过教学数据的分析,对泛在移动教学模式的效果进行验证,并对智慧教学的实现关键进行了展望。

基于能力训练的程序设计形成性评价研究

形成性评价是一种注重学生学习过程和评价反馈的教学评价方式;在“MOOC+SPOC+任务驱动”教学模式下,结合程序设计课程的特点,设计了形成性评价方案。以C程序设计为实践课程,强调以学生为中心,以能力训练为目标,将形成性评价方案融入学生编程技能评价中。经过实践,方案得到了学生的认可,并为教师提高教学质量提供了依据。

程序设计语言“多维”双语教学模式设计与实现

介绍了程序设计语言双语教学模式现状,分析了双语教学优势和存在的问题,提出"多维"双语教学模式。以C程序设计语言为例,对双语教学的形式、比例和内容进行了设计;经过教学实践,分析实施效果,总结了"多维"双语教学在提高教学质量,提升学生C语言程序设计兴趣和能力方面的积极作用。

边缘计算环境下基于区块链的跨域认证与密钥协商协议

身份认证与密钥协商是接入物联网首先要考虑的安全问题。传统的物联网身份认证是基于“云中心-终端设备”的认证架构。而随着边缘计算技术的引入,认证架构转变为“边缘设备-终端设备”的架构,传统的认证方式不再适用。此外,物联网中存在多个通信域,不同域中的设备之间需要进行跨域间认证与密钥协商。针对以上问题,本文设计了边缘计算环境下基于区块链的跨域认证与密钥协商协议。将终端设备的证书Hash值存储在区块链上,避免了复杂的证书验证过程。基于联盟链的跨域属性使得不同域间的设备可以顺利完成认证和密钥协商。与已有的跨域认证与密钥协商协议相比,本文所提出的协议具有较高的效率,更适用于低性能的物联网设备。

基于机器学习的在线评论情感分析与实现

采集京东商城热销笔记本电脑的评论数据,使用Python语言对评论数据进行数据清洗、文本分词和停用词过滤等数据预处理。采用机器学习方法中的朴素贝叶斯、支持向量机方法以及SnowNLP方法对数据进行情感分类。通过比较3种方法分类结果,选出在线评论情感分类的最优分类方法。采用LDA主题模型,分不同主题,提取评论集中的正面情感词集与负面情感词集,并将结论数据可视化,进一步挖掘商品的闪光点和问题点,最终构建并实现基于机器学习的"SnowNLP+LDA"在线情感分析方案。

普通高校通识教育选修课满意度调查与分析——以大理大学为例

高校开设通识教育选修课是培养全面发展、高素质复合型人才的重要手段。通过对大理大学通识教育选修课的学生满意度展开调查,基于学生的评价结果,分析、探讨高校通识教育选修课实施过程中存在的问题,提出科学合理的改进建议和对策,为普通高校通识教育选修课的课程设置、教学改革、运行管理及人才培养提供参考。

理工科“C程序设计”CDIO教育模式探索

"C程序设计"是培养理工科学生计算机应用能力的重要基础课程。通过分析该课程结合CDIO工程教育理念,从教学大纲、教学计划、教学模式和考核机制等方面进行改革的现状,提出CDIO教育模式能有效提高应用型本科院校理工科学生培养效果。

基于Web的高校教学工程项目管理平台的研究与实现

为提高高校教学工程项目的管理水平和工作效率,依据大理大学的探索与实践,通过对教学工程项目管理的用户需求和业务流程进行详细分析的基础上,设计实现了基于Web的教学工程项目管理平台,实现了项目的信息化管理。有效地促进了项目管理工作规范化、系统化,提高了工作效率,推动了高校教学管理的信息化建设。

高校校内本科专业评估信息系统的研究与实现

通过对高校内部本科专业评估的功能需求、业务流程等进行探究,运用PHP程序设计语言,结合MySQL数据库管理系统和面向对象的设计方法构建一个校内本科专业评估信息系统,使得评估工作可以规范、高效地完成,且有效地推动了高校内部教学基本状态数据库的建设。

求解快递车辆配装问题分支限界算法

快递车辆配装问题是指车辆在各快递站点进行货物配送时将价值尽可能大的揽收货物带回配送中心。提出一种求解该问题的带限界函数分支限界算法,搜索树中待处理结点用堆结构存储,结点中存储搜索路径,用设定的搜索下界进行搜索树剪枝,实验结果验证了该算法的有效性。