路红

作品数：19被引量：72H指数：5
导出分析报告
供职机构：南京理工大学紫金学院更多>>
发文主题：循环不变式课程循环语句自动生成方法物联网更多>>
发文领域：文化科学自动化与计算机技术经济管理更多>>
发文期刊：《电脑与电信》《中国远程教育》《通化师范学院学报》《中国西部》更多>>
所获基金：教育部留学回国人员科研启动基金江苏省“青蓝工程”基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于项目驱动的Web程序设计基础课程改革研究
《中国教育技术装备》2024年第10期78-80,90,共4页孙勇 韦伟 路红 徐逸卿 陈小云 
南京理工大学紫金学院产教融合型一流课程建设课题“Web程序设计基础”(课程号:03032031);南京理工大学紫金学院精品课程建设课题“Web程序设计基础”(课程号:03032031)。
针对传统Web程序设计基础教学中存在的理论知识讲授和实践能力培养脱节、教学内容陈旧、缺乏项目工程思维等问题,分析课程改革的必要性,探讨基于项目驱动的Web程序设计基础课程改革思路。通过分析实践项目的案例,详细阐述基于项目驱动的...
关键词：项目驱动 Web程序设计基础 教学改革 
基于数据分类的循环不变式自动生成
《计算机应用与软件》2023年第1期30-37,共8页路红 王承毅 黄皓 
江苏省高等学校自然科学研究面上项目(18KJB520022);江苏高校“青蓝工程”项目;南京理工大学紫金学院2021年度科研项目(2021ZRKX0401002);南京理工大学紫金学院2020年度科研项目(2020ZRKX0401001)。
生成循环不变式是实现程序验证的关键步骤,但人工撰写循环不变式不仅步骤繁琐且容易出错。为此,提出一种基于数据分类的循环不变式生成方法,可直接为C程序的循环语句自动生成循环不变式。该方法生成循环程序的后置条件,并构造其Hoare三...
关键词：循环不变式 数据分类 软件验证 静态分析 
基于OBE理念的数据结构课程教学改革研究被引量：5
《电脑与电信》2022年第4期29-32,共4页路红 刘红英 
南京理工大学紫金2021年度教育教学改革与研究课题“基于OBE的数据结构课程教学改革与实践研究”,项目编号:20210103006。
以教学实践为出发点,针对应用型本科院校数据结构课程目前所存在的问题,提出了一种基于OBE理念的数据结构课程改革思路。首先,依据工程认证标准、专业培养目标等确定毕业要求,并依据OBE理念制定了数据结构“学习产出”的课程目标,其次...
关键词：OBE 数据结构 教学改革 学习产出 课程回放 
面向深度学习的个人知识图谱构建被引量：1
《中国教育技术装备》2020年第12期1-3,7,共4页路红 史玉石 
江苏省教育科学“十三五”规划课题“深度学习视角下基于多模态知识图谱的MOOC课程重构研究”阶段性成果(课题批准文号:C-b/2018/01/19)。
从深度学习理论出发,结合“以学生为中心、教师为主导”的教学理念,研究在课程学习过程中构建服务于学生深度学习过程的个人知识图谱的方法,从而实现学生对知识的意义建构。同时,以Web程序设计课程为例,分析个人知识图谱的构建方法。试...
关键词：深度学习 知识图谱 MOOC课程 WEB程序设计 具身学习 WEB程序设计 
基于深度学习的MOOC课程重构系统研究
《中国教育技术装备》2020年第4期53-54,57,共3页路红 
江苏省教育科学“十三五”规划课题“深度学习视角下基于多模态知识图谱的MOOC课程重构研究”阶段性成果(课题批准文号:C-b/2018/01/19)。
为解决MOOC课程利用成效低、资源重复建设等问题,基于深度学习理论,依据各MOOC平台课程和知识的关系设计一款MOOC课程重构系统,并使用Jsoup技术对大量数据进行收集和存储,使用自然语言处理技术对数据进行关键字分析,继而生成知识图谱,...
关键词：深度学习 课程重构 MOOC课程 SPOC 知识地图 Jsoup技术 
基于高斯过程的安全攸关系统缺陷定位方法
《软件导刊》2019年第6期200-203,共4页颜培皓 路红 
江苏省高等学校自然科学研究面上项目(18KJB520022)
软件缺陷定位的有效性和及时性是提升软件质量的关键因素,现有自动缺陷定位方法和手工调试方法具有一定局限性。为解决这一问题,基于高斯过程的缺陷定位方法和软件自动修复对缺陷定位的有效性评估机制,设计了一种新的面向安全攸关系统...
关键词：缺陷定位 反调试 反动态跟踪 抗静态分析 高斯过程 
跨境电子商务动态信用评估模型构建方法研究被引量：1
《信息技术与信息化》2018年第11期181-183,共3页路红 刘红英 
江苏高校哲学社会科学研究基金项目"众包模式下的多模态跨境电子商务信用监管体系研究"(2017SJB2077)
本文结合当下跨境电商信用评估问题,通过分析影响跨境电子商务信用评估的主要因素,以及商家信用效益与信用的博弈分析,提出了一种跨境电子商务动态信用评估评估模型,并给出了实现该模型的相关技术,以期能为我国跨境电子商务的发展提供...
关键词：信用评估模型 跨境电子商务 博弈论 信用模型 
众包视角下的跨境电商信用监管数据采集方法研究被引量：3
《信息技术与信息化》2018年第9期135-138,共4页路红 
江苏高校哲学社会科学研究基金项目"众包模式下的多模态跨境电子商务信用监管体系研究"(2017SJB2077)
跨境电子商务已成为我国电子商务发展的新动力,然而信用问题成为阻碍其健康发展的主要制约因素之一,采集科学合理的跨境电子商务信用监管数据是解决信用问题的重要基石。众包思想能够通过跨境电商交易过程中各模块之间的协作,快速收集...
关键词：信用监管 数据采集 众包视角 跨境电子商务 
中国商业银行金融服务创新体系研究被引量：3
《中国西部》2018年第2期51-59,共9页路红 刘红英 
江苏高校哲学社会科学研究基金项目“众包模式下的多模态跨境电子商务信用监管体系研究”(2017SJB2077)
由于商业银行之间的竞争日益激烈,创新金融服务成为当前商业银行的共识。如何根据商业银行的自身优势及其客户需求,创新金融服务与产品,提升商业银行的市场竞争力,促进其利润的增加成为亟待解决的重要问题。本文在分析中国商业银行金融...
关键词：金融服务 商业银行 服务营销 服务创新 正循环反馈机制 
面向混合教学的SPOC平台研究及应用被引量：3
《中国现代教育装备》2017年第1期11-14,共4页路红 胡征兵 
南京理工大学紫金学院教育教学改革与建设项目"面向SPOC的微课资源开发研究--以为例"(编号:20150103004)
针对现有SPOC平台在混合教学应用过程中出现的问题,结合混合教学模式的特点,设计了一个面向混合教学的SPOC平台。它包括平台主页、课程空间、教师空间以及学生空间,支持基于人脸特征的身份验证、基于版本控制的课程空间更新以及基于情...
关键词：混合教学 SPOC平台 版本控制 情绪计算 在线学习监督 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部