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