李景霞
- 作品数:22 被引量:69H指数:4
- 供职机构:安徽农业大学信息与计算机学院更多>>
- 发文基金:国家自然科学基金教育部重点实验室开放基金国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术文化科学理学更多>>
- 鱼渔双授的离散数学教学改革探索与实践
- 2023年
- 离散数学研究离散结构及其性质,课程内容多、抽象不易理解、难度大,学生学习积极性不高。在教学过程中实施“实例开道,图文支撑,实践跟上”多种举措,来提升教学效果,让学生有兴趣、有方法、有实践地学习课程知识,为后续专业课程学习奠定良好的基础。
- 李景霞吴国栋涂立静
- 关键词:高等教育离散数学教学方法
- 利用属性文法对程序中的副作用进行检测被引量:1
- 2012年
- 表达式是程序的基本组成单位。在C、C++语言程序中,变量的自增/自减运算造成表达式或函数调用中存在副作用。表达式或函数调用中的副作用会造成程序运行结果的异常,甚至导致系统崩溃。首先对副作用的产生原因进行了分析,进而提出了利用属性文法对具有副作用的表达式或函数调用进行检测的方法,该方法可以有效地完成表达式或函数调用中的副作用的检测。
- 张广梅李景霞
- 关键词:属性文法
- 基于“图+APP”的《离散数学》教学模式探索
- 2020年
- 离散数学研究离散结构及其性质,为计算机专业学生的培养奠定重要的理论基础。思维导图是表达发散性思维的有效图形工具。离散数学课程难度大、内容多、课时少,通过引入思维导图、创建课程学习手机APP,助力提升教学效果。教学实践中实施了该方案取得了较好的反馈,为学生学好课程内容提供了有力帮助。
- 李景霞吴国栋涂立静
- 关键词:离散数学思维导图
- 基于颜色Petri网的交通信息网格系统建模与分析被引量:2
- 2011年
- 交通信息网格系统以高性能计算网格环境为支撑平台,综合运用网格及Web服务技术提供交通信息服务。系统请求响应过程复杂且有功能复用,为了确保系统各响应流程设计的正确性,建立了基于颜色Petri网的分层描述模型,在模型基础上利用形式化方法验证了系统设计的正确性。
- 李景霞赵慧娟
- 关键词:颜色PETRI网形式化描述模型
- 基于模糊聚类的Web服务管理被引量:1
- 2014年
- 随着Web服务的推广应用,网络上出现越来越多共享的服务资源.为提高服务的查全率、查准率,给出了一种基于模糊聚类的Web服务管理方法,利用模糊聚类将服务注册库中的服务资源按功能聚类,形成功能相关的服务簇.服务查找时,先定位到服务簇,再在服务簇中查找满足要求的Web服务,有效地提高了查找效率和精度.
- 李景霞吴国栋
- 关键词:WEB服务模糊聚类
- 利用变量状态转换模型进行部分软件错误的检测
- 2015年
- 应用程序中的功能通常是通过对变量的操作来实现。应用程序中变量的操作包括赋值、引用等不同的方式。针对普通变量和指针变量在程序中的使用方式,对变量的状态进行了分析,并根据变量使用的特点,定义了普通变量和指针变量的状态转换模型。在此基础上,给出了与变量有关的软件错误的定义,并讨论了基于变量切片的软件错误的检测方法。
- 张广梅李景霞
- 关键词:程序切片
- 利用双向推导检测Java程序中的内存泄漏
- 2014年
- Java应用程序中大量使用动态内存。Java程序运行过程中会自动对不可达的动态内存进行回收,但不能及时地对应用程序中可达但不活跃的动态内存进行回收,从而造成内存泄漏。为有效地检测内存泄漏,提出了采用双向推导进行内存泄漏检测的方法,在推导的过程中利用分离逻辑理论对应用程序中的动态内存进行分析,确定到达程序中每条语句的可达的动态内存和活跃的动态内存,辅助完成动态内存泄漏的检测。
- 张广梅李景霞
- 关键词:内存泄漏
- 基于注意力机制的深度学习推荐研究进展被引量:31
- 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算法