刘梅
- 作品数:5 被引量:12H指数:2
- 供职机构:上海应用技术学院计算机科学与信息工程学院更多>>
- 相关领域:自动化与计算机技术文化科学建筑科学更多>>
- 应用型本科院校离散数学课程建设被引量:9
- 2011年
- 介绍应用型本科院校离散数学课程建设的过程。从课程建设的目标、教学内容、教学方式方法、考试机制和网络教学环境等方面阐述离散数学课程的建设情况,重点介绍多种行之有效的教学方法。
- 刘梅
- 关键词:离散数学课程建设教学方法考试机制
- B方法在PVS中的应用
- 2015年
- 针对B方法和原型验证系统(PVS)的特点,提出了将B方法引入到PVS中,即将一个用B方法描述的系统转换为由PVS描述,以此来实现形式化的检验证明.B方法中的抽象机在PVS中转换为一个方法,而B方法中的不变量不变式要转换为PVS中的一个类型,由B方法描述的性质则转换为PVS中的推测、猜想,并借助于PVS自带的证明器有效地完成相应证明工作.最后,通过1个电梯控制系统来阐述上述转换方法.
- 刘梅
- 关键词:B方法形式化方法
- C语言程序设计课程实验项目的设计和教师角色的定位被引量:1
- 2015年
- C语言程序设计课程的实践教学对于培养学生正确的编程思想和研究创新能力非常重要,精心设计每一个实验项目是这个问题的关键所在。本文就采用任务驱动法设计实验项目的思想和具体实施做了探讨,对实验教学中教师角色的定位也提出了一些有益的建议。
- 刘梅
- 关键词:实践教学教师角色
- 电子商务教学实验系统的研制被引量:2
- 2002年
- 结合实际教学需要设计与实现了目前教学领域中缺乏的电子商务教学模拟系统,从开发背景、系统结构、系统构成、系统设计以及系统实现五方面加以分析。探讨了利用ASP、VB、COM+有及SPL Server2000来开发该系统的关键技术。
- 张成姝毛黎莉刘梅
- 关键词:ASPVBCOM+SPLSERVER2000INTERNET
- 基于自适应排列的快速图像加密算法
- 2009年
- 现有自适应图像加密算法可以抵抗已知明文攻击,其单轮加密速度很快,但安全性和整体加密速度较低。基于自适应排列提出一种新的快速图像加密算法,在确保加密操作简单高效的前提下,改变加密前后图像的像素分布。实验结果表明,该算法性能优于其他同类算法。
- 刘梅
- 关键词:图像加密自适应密码学