路红
- 作品数：20 被引量：68H指数：4
- 供职机构：南京理工大学紫金学院更多>>
- 发文基金：教育部留学回国人员科研启动基金江苏省“青蓝工程”基金更多>>
- 相关领域：文化科学自动化与计算机技术经济管理更多>>
- 基于深度学习的MOOC课程重构系统研究
- 2020年
- 为解决MOOC课程利用成效低、资源重复建设等问题,基于深度学习理论,依据各MOOC平台课程和知识的关系设计一款MOOC课程重构系统,并使用Jsoup技术对大量数据进行收集和存储,使用自然语言处理技术对数据进行关键字分析,继而生成知识图谱,同时系统记录学习者学习状态,以便用户持续性学习,以期能为优化MOOC课程资源提供一定的指导。
- 路红
- 关键词：课程重构知识地图
- 《移动应用开发》课程建设研究被引量：11
- 2011年
- 培养企业和各类研究机构急需的移动应用开发技术人才,为大学本科生提供掌握移动应用开发技术的机会是当前高校相关专业教学改革的重要内容。文章通过对移动应用开发前景以及社会对移动应用开发技术人才迫切需求的分析,从课程教学目标、课程教学内容、课程实施策略、教材建设策略等方面研究了《移动应用开发》这门新兴课程的建设,以便为我国移动应用开发人才队伍的发展奠定基础。
- 廖龙龙路红
- 关键词：移动应用开发课程建设课程实施策略教材建设
- 基于数据分类的循环不变式自动生成
- 2023年
- 生成循环不变式是实现程序验证的关键步骤,但人工撰写循环不变式不仅步骤繁琐且容易出错。为此,提出一种基于数据分类的循环不变式生成方法,可直接为C程序的循环语句自动生成循环不变式。该方法生成循环程序的后置条件,并构造其Hoare三元组,通过收集循环程序执行过程中产生的测试数据,并根据其是否满足循环不变式的三个条件进行分类,从而生成循环不变式。所提出的方法在31个基准测试程序上,与目前比较先进的循环不变式生成方法进行比较分析。实验结果表明,所提出的方法不仅能够为C程序自动生成可验证的循环不变式,而且能够为最多的基准测试程序生成有效的循环不变式。
- 路红王承毅黄皓
- 关键词：循环不变式数据分类
- 基于高斯过程的安全攸关系统缺陷定位方法
- 2019年
- 软件缺陷定位的有效性和及时性是提升软件质量的关键因素,现有自动缺陷定位方法和手工调试方法具有一定局限性。为解决这一问题,基于高斯过程的缺陷定位方法和软件自动修复对缺陷定位的有效性评估机制,设计了一种新的面向安全攸关系统的缺陷定位框架。基于ManyBugs和IntroClass设计了软件缺陷定位测试数据集构造方法和实验方案。实验结果表明,该设计方案有效可行。
- 颜培皓路红
- 关键词：反动态跟踪高斯过程
- 面向深度学习的个人知识图谱构建被引量：1
- 2020年
- 从深度学习理论出发,结合“以学生为中心、教师为主导”的教学理念,研究在课程学习过程中构建服务于学生深度学习过程的个人知识图谱的方法,从而实现学生对知识的意义建构。同时,以Web程序设计课程为例,分析个人知识图谱的构建方法。试验结果表明,通过个人知识图谱的构建可促进学生的深度学习,激发学生的学习兴趣,提高学生的课程学习效率。
- 路红史玉石
- 关键词：知识图谱WEB程序设计WEB程序设计
- 物联网空间内LBS隐私安全保护模型研究被引量：5
- 2014年
- 为解决物联网空间内LBS服务的隐私安全问题,在分析物联网环境中的LBS服务框架的基础上,针对其面临的各种隐私安全威胁及安全需求,基于匿名通信原理和可计算加密思想设计了一种支持真实身份、实体位置和服务内容等LBS隐私保护的安全模型,提出采用Onion Routing算法和全同态加密算法实现该模型。模型实现算法的分析表明,该模型可实现身份匿名、位置保护、服务加密等,对物联网空间内LBS隐私具有很好的安全保护。
- 路红廖龙龙
- 关键词：物联网隐私保护匿名通信
- 中国商业银行金融服务创新体系研究被引量：3
- 2018年
- 由于商业银行之间的竞争日益激烈,创新金融服务成为当前商业银行的共识。如何根据商业银行的自身优势及其客户需求,创新金融服务与产品,提升商业银行的市场竞争力,促进其利润的增加成为亟待解决的重要问题。本文在分析中国商业银行金融服务存在的问题基础上,探究商业银行金融服务创新的必要性和基本路径,设计了一种具有正循环反馈机制的商业银行金融服务创新模型。
- 路红刘红英
- 关键词：金融服务商业银行服务营销
- 云计算支持下的协作式数字取证技术被引量：3
- 2015年
- 为解决网络环境下电子证据分散、取证分析效率低、协作难度大等问题,在分析计算机犯罪特点以及当前数字取证所面临的相关问题基础上,针对数字取证与分析的协同需求,设计了一种具有正循环反馈机制的云计算支持下的协作式数字取证模型,并详细论述了其设计思想和体系架构.最后,研究了模型的系统实现方法、电子证据云存储调度策略、基于封锁机制的并发分析任务调度.实验表明,协作式数字取证技术可有效提高数字取证工作效率和分析结果的准确性.
- 路红廖龙龙
- 关键词：数字取证云计算电子证据计算机犯罪
- 跨境电子商务动态信用评估模型构建方法研究被引量：1
- 2018年
- 本文结合当下跨境电商信用评估问题,通过分析影响跨境电子商务信用评估的主要因素,以及商家信用效益与信用的博弈分析,提出了一种跨境电子商务动态信用评估评估模型,并给出了实现该模型的相关技术,以期能为我国跨境电子商务的发展提供一定的指导。
- 路红刘红英
- 关键词：信用评估模型博弈论信用模型
- 面向应用的个性化3D人脸模型快速生成技术
- 2014年
- 真实感3D人脸模型生成技术是计算机图形领域研究的热点问题之一,但已有的相关方法存在真实感差、算法复杂度高、局限性多、实用性弱等问题.在分析3D人脸模型姿态矫正和模型变换方法基础上,研究基于一张人脸正面图像和普通3D人脸模型、采用关键特征点匹配和真实感纹理映射方法构建个性化3D人脸模型的方法,最后利用基于C++和OpenGL实现的原型系统进行实验分析.实验结果表明该方法计算简单、建模效率高,且适用于影视特效制作、3D网络游戏、医学美容等领域.
- 路红廖龙龙
- 关键词：关键特征点纹理映射
