罗保山
- 作品数：29 被引量：35H指数：3
- 供职机构：武汉软件工程职业学院更多>>
- 发文基金：武汉市科技计划项目全国教育科学“十二五”规划教育部青年专项课题更多>>
- 相关领域：自动化与计算机技术文化科学电子电信语言文字更多>>
- 基于形式化方法的软件开发技术被引量：2
- 2007年
- 形式化方法作为一种以数学为基础的方法，能够清晰、精确、抽象、简明地规范和验证软件系统及其性质，能够极大地提高软件的安全性和可靠性。本文从形式化方法的研究内容、分类以及发展等方面出发，对基于形式化方法的软件开发的基本思想作了介绍，分析了使用形式化开发软件系统的优势和可靠性.
- 罗保山
- 关键词：形式化方法软件开发
- 基于Web的网络考试系统的应用与研究
- 2007年
- 现阶段，学校与社会上的各种考试大都采用传统的考试方式，在此方式下，组织一次考试至少要经过五个步骤，即人工出卷、考生考试、人工阅卷、成绩评估和试卷分析。显然，考试工作将是一件十分烦琐和非常容易出错的事情，可以说传统的考试方式已经不能适应现代考试的需要。
- 鲁立罗保山
- 关键词：总体结构
- 高职《计算机应用基础》教材建设探索被引量：2
- 2015年
- 本文对高职院校计算机类专业的《计算机应用基础》课程的教材建设工作进行讨论,对每一章节的作用进行分析,并指出它与非计算机类专业的计算机应用基础课程的区别所在。
- 肖奎罗保山
- 关键词：计算机应用基础教材建设高职院校
- 基于句酷批改网的英语作文题目对作文总体评分的影响被引量：1
- 2016年
- 以国内比较成熟的句酷批改网为例,以学生大学英语作文样本为研究语料,以实验和对比为研究方法,重点研究英语作文题目与作文的相关性对作文总体得分的影响,并对教师、学生的作用进行了论述,旨在对教师英语写作教学与研究以及句酷批改网工作人员完善句酷批改网的不足提供参考。
- 罗保山
- 关键词：自动评分系统英语作文
- 一种基于业务活动驱动的软件开发方法、系统及终端
- 本发明属于软件需求开发领域，公开了一种基于业务活动驱动的软件开发方法、系统及终端，软件开发方法包括，利用半结构化语言三元结构描述并保存业务活动，生成业务流程绘制场景，供用户绘制业务流程图，生成软件需求说明文档、接口文档、...
- 田雨川 薛承斌罗保山 干飞
- 混合存储数据迁移策略研究被引量：2
- 2016年
- 大数据环境下海量增长的数据对存储介质的实时响应和超高容量带来了极大的挑战。传统机械硬盘的性能瓶颈日益突出,以固态盘为代表的拥有高性能的新型存储器不断涌现,但其价格远高于机械硬盘。为了降低总体成本同时利用HDD的超大容量,又充分利用SSD的高速性能,以固态盘与机械硬盘构建的混合存储阵列成为一种不错的选择。文中设计实现了一种基于文件级数据迁移的混合存储方案。通过数据分析器统计每个文件的随机访问度和热度,并通过数学模型量化出文件价值来衡量文件的重要性,基于0/1背包模型提出了一种迁移算法,完成文件集合的迁入迁出并实现了对已迁移文件的访问重定向。测试表明,该方案较另外两种存储方案平均提升了10%左右,而且减少了对SSD的写操作,延长了SSD的使用寿命。
- 罗保山张鑫王栩谭支鹏
- 关键词：固态盘数据迁移
- 浅谈操作系统中的死锁问题
- 2008年
- 如何进行合理的资源分配，使操作系统的主要任务之一。本文将着重讨论操作系统在处理资源分配过程中的死锁问题，并给出适当的解决方法。
- 罗保山鲁立
- 关键词：操作系统死锁银行家算法
- 一种限定领域的网络文档资源质量评价方法——以维基百科为例被引量：6
- 2016年
- 文章提出一种限定领域的维基百科词条质量评价方法,以实现精确计算维基百科词条质量值的目标。实验表明,该方法计算的词条质量值与人工评定的质量等级基本相符。
- 肖奎罗保山吴天吉
- 关键词：维基百科词条
- 试分析物联网嵌入式智能卡远程管理技术
- 本文主要从嵌入式智能卡远程管理架构作为出发点,并分析了智能卡远程管理体系中的资产管理,以期为提高智能远卡安全等级提供一些参考和意见。
- 罗保山
- 关键词：物联网智能卡资产安全
- 文献传递
- 基于面部结构保持蒸馏网络的人脸图像超分辨率方法及系统
- 本发明提供一种基于面部结构保持蒸馏网络的人脸图像超分辨率方法及系统，属于人脸图像超分辨率领域，包括：采集低分辨率人脸图像并进行上采样，得到伪高分辨率图像；构建浅层下采样残差模块，得到浅层特征；构建高效面部保持蒸馏模块，将...
- 陈希彤罗保山吴梦婷马艳春刘小燕刘立坤孙远
