文艳军
- 作品数：44 被引量：109H指数：6
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学自然科学总论更多>>
- 一种具有故障预测能力的时序属性监控方法
- 本发明公开了一种具有故障预测能力的时序属性监控方法，其步骤为：(1)插装；在编译目标程序时实现，根据修改的编译规则向受控程序中插入代码，并生成相应的信息处理单元；插装的任务是基于相应的编译机制，通过编写的监控脚本自动产生...
- 董威王戟赵常智文艳军陈振邦陈立前刘万伟
- 文献传递
- 面向批量未解释程序的联合验证方法
- 本发明公开一种面向批量未解释程序的联合验证方法，步骤包括：S01.进行程序抽象得到程序自动机，使用保存的抽象模型对程序自动机进行精化；S02.判断精化后的程序自动机是否为空，如果为空则判定程序正确，转入步骤S05，否则转...
- 陈振邦王戟杜一德洪伟疆毛晓光董威李姗姗文艳军陈立前刘万伟尹良泽
- 一种基于使用概率的嵌入式软件可靠性测试数据生成方法
- 本发明公开了一种基于使用概率的嵌入式软件可靠性测试数据生成方法，其步骤为：(1)获取可靠性测试的外部参数；(2)确定各外部参数属性；将外部参数分为两类：一类是具有发生概率的参数，称为关键参数；另一类则是根据关键参数的取值...
- 董威王戟文艳军刘万伟陈振邦陈立前徐蛟
- 文献传递
- “操作系统”实验教学之U盘驱动程序开发
- 2009年
- 本文介绍了一个U盘驱动程序开发实验的设计与实施情况,包括实验内容、实验基本过程和思路、实验组织和效果等。本实验有助于学生更真实地了解设备管理的实际情况,加深对设备管理原理的理解。
- 文艳军罗宇邓胜兰尹俊文
- 关键词：设备驱动程序U盘设备管理
- 操作系统教学中与硬件相关的几个疑难问题探讨被引量：2
- 2014年
- 重点探讨了与计算机原理相关的几个重要知识点:中断与异常、原语的实现技术、页式虚存管理。特别澄清了中断与异常的不同,P.V.操作的忙等待实现方式,给出了访存指令执行过程中硬软件之间的交互。
- 罗宇唐玉华文艳军李姗姗
- 关键词：操作系统计算机原理教学
- 国产操作系统研发对系统能力培养的需求与实践被引量：10
- 2018年
- 操作系统作为IT领域的核心技术之一,是国家和军队信息安全的战略制高点。操作系统的发展必须具备自主可控能力,这样才能杜绝安全隐患,避免自主保障和升级受制于人。从人才培养的角度来看,国产操作系统对研发人员系统能力的培养提出了更高的要求。从系统研发的需求、毕业生存在的各种问题和高校课程教学的现状入手,分析了国产操作系统研发与人才能力的不匹配问题,有针对性地面向国产操作系统研发人才的培养需求完善了培养方案,从代码质量、软件维护等角度规范化学生的程序设计养成同时,将国际前沿的教学理念BOPPPS模型运用到课程设计中,实现对知识、能力与教学方式的全方位的拓展。同时,依托麒麟操作系统和天河高性能计算平台,开展了多项实践教学改革。希望进一步达到提高教学效果,培养创新性人才的目的。
- 李姗姗董威罗宇文艳军廖湘科
- 关键词：国产操作系统
- 高级操作系统课程思政探索与实践被引量：13
- 2021年
- 以操作系统课程为主线,分析理工类课程思政存在的困境,通过典型案例深入探讨思政教育与高级操作系统课程融合的可能性和入手点,最后说明课程思政教学效果并提出课程在实践和迭代过程中的教学反思。
- 李姗姗沈立文艳军刘万伟熊赟郦旺
- 关键词：操作系统
- 一种基于故障注入的软件反应缺陷分析方法
- 本发明公布一种基于故障注入的软件反应缺陷分析方法，包括以下步骤：一、预先读入软件配置信息；二、遍历集合中的每个元素，对元素执行配置故障生成；三、对于配置项遍历配置故障集合的每个配置故障，将配置故障注入到配置文件中；四、使...
- 李姗姗廖湘科王戟董威郦旺陈立前陈振邦尹良泽文艳军贾周阳
- 基于内核调试与抽象精化的操作系统实验设计被引量：2
- 2019年
- 针对如何分解操作系统内核实验难度的问题,提出一种基于内核调试和抽象精化思想的实验设计方法,该方法聚焦几条内核执行路径,通过调试观察该路径在不同抽象程度的表现,从高层抽象开始,逐步加入更多的观察细节,直至完整的复杂底层状态,最后在分析和理解的基础上对内核进行改写。
- 文艳军罗宇李姗姗刘江潮
- 关键词：操作系统内核调试
- '软件设计与体系结构'课程与教材建设的思考
- 在教育部近期制定的《高等学校计算机科学与技术本科专业规范》中,'软件设计与体系结构'课程是软件工程专业方向的重要核心课程。本文首先总结了专业规范对该课程的具体要求,包括课程内容、教学目标、实践教学、覆盖的教育知识领域和知...
- 董威文艳军齐治昌
- 关键词：课程设置软件设计体系结构实践教学
- 文献传递
