李景霞
- 作品数：22 被引量：45H指数：4
- 供职机构：安徽农业大学信息与计算机学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划教育部重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术文化科学理学更多>>
- 鱼渔双授的离散数学教学改革探索与实践
- 2023年
- 离散数学研究离散结构及其性质,课程内容多、抽象不易理解、难度大,学生学习积极性不高。在教学过程中实施“实例开道,图文支撑,实践跟上”多种举措,来提升教学效果,让学生有兴趣、有方法、有实践地学习课程知识,为后续专业课程学习奠定良好的基础。
- 李景霞吴国栋涂立静
- 关键词：高等教育离散数学教学方法
- 利用属性文法对程序中的副作用进行检测被引量：1
- 2012年
- 表达式是程序的基本组成单位。在C、C++语言程序中,变量的自增/自减运算造成表达式或函数调用中存在副作用。表达式或函数调用中的副作用会造成程序运行结果的异常,甚至导致系统崩溃。首先对副作用的产生原因进行了分析,进而提出了利用属性文法对具有副作用的表达式或函数调用进行检测的方法,该方法可以有效地完成表达式或函数调用中的副作用的检测。
- 张广梅李景霞
- 关键词：属性文法
- 基于“图+APP”的《离散数学》教学模式探索
- 2020年
- 离散数学研究离散结构及其性质,为计算机专业学生的培养奠定重要的理论基础。思维导图是表达发散性思维的有效图形工具。离散数学课程难度大、内容多、课时少,通过引入思维导图、创建课程学习手机APP,助力提升教学效果。教学实践中实施了该方案取得了较好的反馈,为学生学好课程内容提供了有力帮助。
- 李景霞吴国栋涂立静
- 关键词：离散数学思维导图
- 利用变量状态转换模型进行部分软件错误的检测
- 2015年
- 应用程序中的功能通常是通过对变量的操作来实现。应用程序中变量的操作包括赋值、引用等不同的方式。针对普通变量和指针变量在程序中的使用方式,对变量的状态进行了分析,并根据变量使用的特点,定义了普通变量和指针变量的状态转换模型。在此基础上,给出了与变量有关的软件错误的定义,并讨论了基于变量切片的软件错误的检测方法。
- 张广梅李景霞
- 关键词：程序切片
- 利用双向推导检测Java程序中的内存泄漏
- 2014年
- Java应用程序中大量使用动态内存。Java程序运行过程中会自动对不可达的动态内存进行回收,但不能及时地对应用程序中可达但不活跃的动态内存进行回收,从而造成内存泄漏。为有效地检测内存泄漏,提出了采用双向推导进行内存泄漏检测的方法,在推导的过程中利用分离逻辑理论对应用程序中的动态内存进行分析,确定到达程序中每条语句的可达的动态内存和活跃的动态内存,辅助完成动态内存泄漏的检测。
- 张广梅李景霞
- 关键词：内存泄漏
- 基于注意力机制的深度学习推荐研究进展被引量：19
- 2021年
- 近年来,注意力机制AM被广泛应用到基于深度学习的自然语言处理任务中,基于注意力机制的深度学习推荐也成为推荐系统研究的一个新方向。探讨了注意力机制的结构和分类标准,从基于注意力机制的DNN推荐、CNN推荐、RNN推荐、GNN推荐4个方面分析了现有融合注意力机制的深度学习推荐研究的主要进展和不足,阐明了其中的主要难点,最后指出了多特征交互的注意力机制推荐、多模态注意力机制深度学习推荐、融入注意力机制的多种深度神经网络混合推荐和注意力机制的群组推荐等基于注意力机制的深度学习推荐未来的主要研究方向。
- 陈海涵吴国栋李景霞王静雅陶鸿
- 关键词：推荐系统
- 一种基于扩展颜色Petri网的Web服务组合验证机制被引量：4
- 2009年
- Web服务技术日趋成熟,它提供了一种平台独立、自描述、位置透明的软件模块。利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。随着Web服务组合流程日趋复杂,组合流程设计越来越容易出错。给出了一个描述Web服务组合流程的扩展层次颜色Petri网模型,它独立于具体的流程描述语言,支持流程的层次表达且能较全面地刻画Web服务组合流程。还给出了模型的控制流网正确性、数据流网正确性、流程实例正确性的验证方法,从3个层面确保了Web服务组合流程的正确性。
- 李景霞闫春钢
- 关键词：层次颜色PETRI网模型驱动架构WEB服务组合
- 基于邻接矩阵的Web服务组合
- 2015年
- 针对当前Web服务组合方法在动态性和算法时间复杂度方面存在的不足,提出一种基于邻接矩阵的服务组合方法,使用邻接矩阵表示服务间的顺序及并发关系,在构建抽象服务基础上由领域专家初步建立抽象服务的组合关系,利用Warshall算法计算传递闭包来判定服务请求是否可满足,同时构建动态服务组合流程。方法操作简单,Warshall算法时间复杂度为O(n3),在服务组合中有较好的实用性。
- 李景霞吴国栋钱俊彦
- 关键词：WEB服务邻接矩阵传递闭包WARSHALL算法
- 知识图谱补全技术研究综述被引量：1
- 2023年
- 作为一种新兴的数据结构,知识图谱被广泛用于搜索引擎、推荐系统、对话系统等诸多领域中.知识图谱补全(knowledge graph completion)是通过不同的方法,对图谱中的三元组残缺项进行补充.本文以模型构造方法为视角,从Trans结构、神经网络和张量分解三类方法对已有知识图谱补全的相关技术研究进行深入探讨,分析了不同补全技术的优缺点.指出了Trans结构模型和张量分解模型适用于大规模的知识图谱补全,而神经网络模型适用于关系结构复杂的知识图谱补全;现有知识图谱补全技术存在关系复杂性高、语义信息难以获取、训练代价大、模型扩展性差等不足.从知识图谱中复杂关系处理、上下文语义获取、节点间长期依赖关系捕获、模型融合与可扩展性等方面来展望了知识图谱补全技术未来主要研究方向.
- 吴国栋刘涵伟何章伟李景霞王雪妮
- 关键词：神经网络张量分解
- 面向软件错误检测的数据流分析被引量：1
- 2016年
- 程序中某一点的数据流状态与软件的执行路径有关。程序中的部分错误与变量所处的状态相关。提出的MUST数据流和MAY数据流反映了数据流的执行路径具有相关性的特点。根据不同变量的管理特点,从程序的控制结构出发,详细讨论了影响变量状态的各种因素及其之间的关系,提出了基于程序控制结构的、以基本块为最小程序单位的静态数据流分析方法,为精确地进行数据流分析提供了依据。
- 张广梅李景霞
- 关键词：数据流分析
- 全文增补中
