于屏岗
- 作品数：15 被引量：10H指数：2
- 供职机构：国防大学更多>>
- 发文基金：国家自然科学基金武器装备军内科研项目更多>>
- 相关领域：自动化与计算机技术军事兵器科学与技术一般工业技术更多>>
- 软件静态测试中C/C++抽象语法树的生成
- 2004年
- 本文中C/C++抽象语法树是利用GNU提供的标准编译器生成工具Lex和Yacc,由parser程序通过调用lexical(词法分析程序)进行语法分析生成的. 为了进行基于系统崩溃的故障模型的软件静态测试,需要从抽象语法树上获取相关的数据依赖关系和定义使用链.这就要求在原有抽象语法树的基础上进行语义分析,产生最终的抽象语法树.论文描述了C/C++抽象语法树及其语法和语义分析过程的具体方法.
- 于屏岗张威肖庆
- 关键词：抽象语法树符号表
- 基于语法测试的软件缺陷分析
- 本文提出了一种基于语法测试的软件测试的软件缺陷分析方法,能够有效查找软件实现过程中产生的缺陷.和完全测试相比,该方法可以不必进行软件的正确性测试即可发现某些缺陷,因而代价较低.
- 张威卢庆龄王洪艳于屏岗
- 关键词：软件测试数组越界
- 文献传递
- 分形理论在分队作战系统建模中的应用
- 分形理论最初来源于几何学，并在物理学中得到了迅速发展。分形从物理学上来看就是一种远离平衡态的有序。分形理论的提出大大拓宽了人们的思路，侠人们不仅认识到物理学上存在有稳定的非平衡现象，而且也开始认识到非平衡有序现象在社会其...
- 于屏岗薛青薛颖史志国
- 关键词：作战系统维数
- 文献传递
- 基于复合约束的作战行动序列生成与执行控制方法被引量：1
- 2021年
- 作战行动序列是作战计划的核心,也是指挥控制的关键。传统的作战行动序列制定主要通过手工方式,效率低下且耗时费力,难以满足现代战争筹划需要,作战行动序列执行控制也缺乏现代信息手段支撑。提出了一种基于时间、空间和因果复合约束条件的作战行动序列生成与执行控制方法,提高了作战计划方案中作战行动序列生成效率,通过对时间、空间、作战效果状态监测对作战行动序列执行进行辅助控制,为指挥员基于网络信息体系进行指挥决策提供了条件支撑。
- 曹占广于屏岗尹宗润王阔
- 关键词：作战计划
- 分形理论在分队作战系统建模中的应用
- 分形理论最初来源于几何学,并在物理学中得到了迅速发展。分形从物理学上来看就是一种远离平衡态的有序。分形理论的提出大大拓宽了人们的思路,使人们不仅认识到物理学上存在有稳定的非平衡现象,而且也开始认识到非平衡有序现象在社会其...
- 于屏岗薛青薛颖史志国
- 关键词：分形分形维数
- 文献传递
- 基于分形理论的多兵种合成分队相似度模型
- 2011年
- 分形理论是复杂性研究的一种重要的数学工具。分形理论大大拓宽了人们的思路,使人们不仅认识到物理学上存在有稳定的非平衡现象,而且也开始意识到非平衡有序现象在社会其他领域的存在。因此基于分形理论,提出分形合成分队的概念,并以某合成分队的分维数计算为基础,建立了一个多兵种合成分队的相似度模型实例。最后对此实例进行了分析和研究。
- 于屏岗薛青郑长伟曹波伟
- 关键词：分形相似度模型
- 基于语法测试的软件缺陷分析
- 2004年
- 本文提出了一种基于语法测试的软件缺陷分析方法,能够有效查找软件实现过程中产生的缺陷.和完全测试相比,该方法可以不必进行软件的正确性测试即可发现某些缺陷,因而代价较低.
- 张威卢庆龄王洪艳于屏岗
- 关键词：语法测试软件测试
- 点在四边形内判定算法研究及其在仿真中的应用
- 点是否在某一四边形内是作战仿真经常遇到的问题,这个问题解决不好将直接影响仿真的精度。本文详细论述了射线法、点和直线位置关系法和向量投影法平行三种点在四边形内的判定方法（其中一些方法还可以扩充到不规则四边形或者多边形的情况...
- 郑长伟薛青于屏岗任晓明
- 关键词：射线法碰撞检测
- 文献传递
- 基于分布式虚拟现实技术的坦克模拟训练系统研究
- 阐述仿真与虚拟现实技术的内涵,介绍了分布式虚拟现实的相关理论.而后在系统实现过程中采用多智能体技术实现了分布式虚拟现实体系,采用基于地图数据的虚拟现实技术实现了虚拟现实场景与GIS系统的结合,为我军坦克模拟训练由单车训练...
- 于屏岗薛青尚其刚贾建强
- 关键词：仿真虚拟现实多智能体
- 文献传递
- 作战系统网络化建模方法研究被引量：3
- 2014年
- 研究信息化条件下作战系统的建模方法是作战系统效能评估研究、作战系统结构设计与优化研究、作战系统的抗毁性与同步性研究的基础。指控系统在作战过程中起着加成战斗力的作用,对作战系统建模时,突出指控系统特别是信息的作用具有重要的实际意义。从FINC方法出发,以OODA作战循环理论为依据,提出并实现了一种基于目标、侦察、指控和打击的作战系统复杂网络建模方法(TOCF)。提取了作战系统复杂网络节点单元,形成了节点之间的关系矩阵,初步构建了一个具有节点属性特征的有向作战系统网络模型。最后通过与已有模型进行比较分析,证明TOCF方法更能体现出信息化条件下整体作战的特点。
- 徐文超薛青于屏岗郑长伟
- 关键词：邻接矩阵
