曹玲
- 作品数：7 被引量：28H指数：3
- 供职机构：青岛科技大学信息科学技术学院更多>>
- 发文基金：山东省自然科学基金国家自然科学基金山东省高等学校科技计划项目更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 《操作系统》课程的教学体会被引量：3
- 2009年
- 操作系统中，进程同步和互斥问题以及与之相关的信号量机制是教学过程中的重点和难点问题。本文介绍了教学实践中总结的有关如何用信号量机制解决进程同步与互斥问题的求解规律及教学经验，旨在提高教学效果，促进学生对操作系统基本原理的理解和掌握。最后针对本课程的特点，提出了操作系统今后的教学研究方向。
- 葛艳刘国柱杜军威曹玲
- 关键词：操作系统教学研究互斥信号量
- 基于FODA的领域分析方法被引量：2
- 2007年
- 面向特征的领域分析(FODA)方法为领域分析定义了具体的过程和阶段,具有较强的操作性。本文结合面向对象领域建模和面向特征的领域分析方法,以设施预定管理软件产品家族为例,讨论了面向特征的领域分析的过程。通过领域用例模型和特征模型来描述领域共性和变化性,建立领域分析模型,实现需求的复用。
- 曹玲
- “操作系统原理”层次化实验教学环境的构建被引量：10
- 2012年
- Linux/Unix操作系统是"操作系统原理"课程中最常用的实验教学平台。介绍在以Windows计算机网络实验平台基础上,搭建Linux/Unix操作系统实验教学平台的几种方法,通过虚拟平台、局域网服务器以及校园网服务器,提供支持网络教学的远程实验平台,方便学生上机实验。同时,安排层次化实验教学内容和实验教学环节,从而构建操作系统层次化实验教学环境,旨在强化学生的动手能力、培养学生的创新意识,提高教学效果。
- 葛艳杜军威江守寰曹玲
- 关键词：操作系统LINUXUNIXVMWAREWORKSTATION
- 基于图形转换的组合状态安全性验证技术
- 2014年
- 受制于系统状态组合爆炸,并发系统的组合状态验证一直是困扰模型检验的难题。基于图形转换的组合框架,研究了该框架的组合状态安全性验证技术。采用Petri网模型构造系统组合框架,分析出组合系统可达状态空间与部件可达状态空间的包含关联关系,提出了组合状态危害等级分类模型,设计出组合状态可达性分析方法和层次化多级安全性验证算法,并实例应用于轨道交通列车控制系统的功能安全性验证。
- 杜军威江峰张会萍曹玲殷文文
- 关键词：PETRI网安全苛求系统
- 《操作系统原理》课程的多元化教学模式研究被引量：6
- 2010年
- 操作系统原理课程作为计算机及相关专业的一门专业基础理论课,其内容庞杂、概念抽象、实践性强。该文分析该课程教学的难点及存在的不足之处,探讨如何以学生为中心安排合理的教学内容,更新教学方法,建立多元化的教学模式。旨在提高学生的学习兴趣、分析问题和解决问题的能力,促进学生对操作系统基本原理的理解和掌握,从而提高教学效果。
- 葛艳刘国柱杜军威曹玲
- 关键词：操作系统教学研究
- 操作系统课程教学模式的思考与实践被引量：9
- 2010年
- 根据实际教学需求,针对操作系统原理教学中存在的问题,提出通过优化教学内容、改进教学方法以及加强实践环节等,对操作系统课程教学模式进行改革,论述了类比教学法和问题驱动教学法的实施过程。
- 曹玲葛艳
- 关键词：操作系统类比教学教学模式改革
- 面向特征的软件产品家族建模方法被引量：1
- 2009年
- 结合面向对象领域建模和面向特征的领域分析方法,提出了一种面向特征的软件产品家族建模方案,通过特征模型和用例模型来描述家族内产品的共性和变化性,建立产品家族的领域分析模型,以实现需求的复用。结合高校设备预定管理,讨论了软件产品家族的领域建模过程。
- 曹玲
