刘玥波
- 作品数:12 被引量:23H指数:3
- 供职机构:吉林建筑大学更多>>
- 发文基金:吉林省教育厅“十一五”科学技术研究项目吉林省教育科学“十二五”规划课题更多>>
- 相关领域:自动化与计算机技术文化科学经济管理矿业工程更多>>
- 工作流技术及建模方法研究被引量:4
- 2005年
- 本文介绍了工作流参考模型及基本概念,在此基础上分析了工作流建模工具,阐述了基于不同Petri网的工作流建模方法。
- 刘玥波索东梅
- 关键词:工作流工作流参考模型PETRI网
- 基于指称语义的UML序列图的形式化分析被引量:2
- 2011年
- 统一建模语言UML是当前软件工程领域的研究热点,提供了多种图元从不同角度和应用层次刻画系统的特性以及复杂的运行环境,其中包括大量具有模糊、稀疏语义的标准元素.本文针对UML半形式化的特点主要研究如何采用指称语义学方法对UML序列图进行形式化描述,以提高UML序列图语义的准确性.本文采用指称语义学方法定义了UML序列图的语法域和抽象语法,为进一步定义UML序列图的语义域及语义函数奠定了基础.
- 刘玥波
- 关键词:形式化UML序列图指称语义
- 独立学院数据库原理课程改革研究被引量:3
- 2015年
- 数据库原理课程是理论与实践并重的课程,通过收集学生对数据库原理课程的教学反馈以及分析学生的学习效果,针对以往存在问题,从教学的各个方面探索改革方法,更好地激发学生的学习兴趣,提高教学质量,以达到适合独立学院的培养"应用型"人才的目标.
- 刘玥波于海涛
- 关键词:数据库原理教学方法考试改革
- 互联网+教育下MOOC+SPOC混合模式的操作系统课程改革探索被引量:10
- 2019年
- 本文对MOOC和SPOC进行分析的基础上,通过优化、重组MOOC课程,确定SPOC方法,构建了针对操作系统课程的MOOC+SPOC混合教学模式,实现对特定学生群体采用具有差异化、个性化的混合教学模式,通过加强线上与线下教学有耦合度,提高了学生学习主动性,培养了学生自主学习的能力。
- 刘玥波
- 关键词:操作系统
- UML序列图的形式规范与语义处理
- 形式化方法借助数学方法为系统的说明、开发和验证提供了一个框架,有利于发现目标软件系统需求中的不一致性、不完整性等问题。
统一建模语言UML是当前软件工程领域的研究热点,它提供了多种图元从不同角度和应用层次刻画系...
- 刘玥波
- 关键词:形式化规范指称语义统一建模语言序列图
- 文献传递
- 基于MCGS组态软件与PLC的输送机保护系统被引量:1
- 2013年
- 介绍了一种基于MCGS与PLC技术实现的煤矿带式输送机保护系统,系统主要对带式输送机的运行与生产情况进行的实时监控,对带式输送机出现各种故障进行报警,并对不同故障采取不同措施,避免故障发生,提高煤炭产量,该系统可广泛应用于各个大中型煤矿企业。
- 刘玥波
- 关键词:MCGSPLC保护系统煤矿
- 《数据库原理》微课资源建设与应用研究
- 2017年
- 《数据库原理》是计算机相关专业的核心课程,传统的"教师主导课堂"的教学模式无法充分调动学生学习的积极主动性.近几年来流行的"微课"颠覆了传统的教学模式,为教师和学生提供了更为灵活的授课和学习的方法.本文对《数据库原理》课程微课教学资源的建设和应用模式展开了研究,经过教学实践,取得了良好的教学效果和反馈.
- 刘玥波
- 关键词:数据库原理
- 基于AHP方法的企业员工绩效评价体系研究被引量:1
- 2017年
- 针对传统员工绩效评价体系中平均分配权重的一概而论的做法,重新构建了被赋予不同权重的更为科学的绩效评价体系。首先,根据层次分析法的原理构造出递阶层次模型,给出评价体系的层次结构;然后,为了完成各个评价指标的权重分配,依次为层次结构中的相关指标构造两两比较判断矩阵、分配权重,并要通过一致性验证,最终得到具有不同权重分配的更为有效的员工绩效评价体系模型。
- 于玲玲刘玥波
- 关键词:层次分析法绩效管理
- 独立学院数据库系列课程改革探讨被引量:2
- 2012年
- 数据库类课程是理论和实践都很强的课程,通过对"数据库原理""、大型数据库"和"数据库课程设计"等课程的教学现状及存在问题的分析,探索数据库类课程整合的教学模式和教学方法,从而更好地调动学生的学习兴趣,提高教学质量,以达到适合独立学院的培养"应用型"人才的目标.
- 刘玥波于海涛
- 关键词:数据库系统系列课程教学方法
- 基于指称语义的UML序列图的语义分析
- 2012年
- 统一建模语言UML是近年来软件工程领域的重要成果之一.在UML规范中,静态语义是用OCL语言和自然语言描述的,而动态语义基本上是用自然语言来描述的,因此UML缺乏一个严格的动态语义定义.本文针对UML半形式化的特点,在采用指称语义学方法对序列图进行形式规范的基础上,采用了可扩展的标记语言XML文档格式对UML序列图进行存储,并给出了UML序列图语义处理的算法,实现了对序列图的语义分析.
- 刘玥波
- 关键词:UML序列图指称语义语义分析