罗保山
- 作品数：26 被引量：35H指数：3
- 供职机构：武汉软件工程职业学院更多>>
- 发文基金：武汉市科技计划项目全国教育科学“十二五”规划教育部青年专项课题更多>>
- 相关领域：自动化与计算机技术文化科学电子电信语言文字更多>>
- 基于形式化方法的软件开发技术被引量：2
- 2007年
- 形式化方法作为一种以数学为基础的方法，能够清晰、精确、抽象、简明地规范和验证软件系统及其性质，能够极大地提高软件的安全性和可靠性。本文从形式化方法的研究内容、分类以及发展等方面出发，对基于形式化方法的软件开发的基本思想作了介绍，分析了使用形式化开发软件系统的优势和可靠性.
- 罗保山
- 关键词：形式化方法软件开发
- 基于Web的网络考试系统的应用与研究
- 2007年
- 现阶段，学校与社会上的各种考试大都采用传统的考试方式，在此方式下，组织一次考试至少要经过五个步骤，即人工出卷、考生考试、人工阅卷、成绩评估和试卷分析。显然，考试工作将是一件十分烦琐和非常容易出错的事情，可以说传统的考试方式已经不能适应现代考试的需要。
- 鲁立罗保山
- 关键词：总体结构
- 高职《计算机应用基础》教材建设探索被引量：2
- 2015年
- 本文对高职院校计算机类专业的《计算机应用基础》课程的教材建设工作进行讨论,对每一章节的作用进行分析,并指出它与非计算机类专业的计算机应用基础课程的区别所在。
- 肖奎罗保山
- 关键词：计算机应用基础教材建设高职院校
- 基于句酷批改网的英语作文题目对作文总体评分的影响被引量：1
- 2016年
- 以国内比较成熟的句酷批改网为例,以学生大学英语作文样本为研究语料,以实验和对比为研究方法,重点研究英语作文题目与作文的相关性对作文总体得分的影响,并对教师、学生的作用进行了论述,旨在对教师英语写作教学与研究以及句酷批改网工作人员完善句酷批改网的不足提供参考。
- 罗保山
- 关键词：自动评分系统英语作文
- 浅谈操作系统中的死锁问题
- 2008年
- 如何进行合理的资源分配，使操作系统的主要任务之一。本文将着重讨论操作系统在处理资源分配过程中的死锁问题，并给出适当的解决方法。
- 罗保山鲁立
- 关键词：操作系统死锁银行家算法
- 基于职业能力培养的高职物联网应用技术专业设置探讨被引量：1
- 2016年
- 从分析物联网的产业发展现状入手,对物联网的重点应用领域人才需求进行了调研。基于职业能力培养,提出了在高职院校物联网应用技术专业如何合理地定位人才培养目标,科学地设计课程体系,为同类院校物联网专业进行专业设置提供参考依据。
- 罗保山肖奎
- 关键词：高职院校物联网
- 一种限定领域的网络文档资源质量评价方法——以维基百科为例被引量：6
- 2016年
- 文章提出一种限定领域的维基百科词条质量评价方法,以实现精确计算维基百科词条质量值的目标。实验表明,该方法计算的词条质量值与人工评定的质量等级基本相符。
- 肖奎罗保山吴天吉
- 关键词：维基百科词条
- 试分析物联网嵌入式智能卡远程管理技术
- 本文主要从嵌入式智能卡远程管理架构作为出发点,并分析了智能卡远程管理体系中的资产管理,以期为提高智能远卡安全等级提供一些参考和意见。
- 罗保山
- 关键词：物联网智能卡资产安全
- 文献传递
- 高职计算机专业人才培养模式建设探讨被引量：2
- 2008年
- 高职计算机的人才培养与传统高校计算机专业教育模式应有所区别,我们的培养应以市场为导向,从实用的角度出发。要切实地达到培养目标,应从人才培养模式、教学体系、学生职业能力、学生创新能力以及综合素质培养等方面进行探索,从而培养出社会真正需要的计算机人才。
- 罗保山
- 关键词：高等职业教育计算机专业
- 新一代信息技术专业人才培养创新与实践
- 为解决专业布局与光谷产业链对接不紧密、人才培养供给侧与产业需求侧不融合等教学问题，以软件技术专业群为主的新一代信息技术专业群进行“实施六项融合，赋能光谷产业”的人才培养创新与实践，为光谷、武汉乃至湖北信息技术产业发展赋能...
- 鲁娟罗保山
