军用嵌入式软件结构覆盖测试技术

基于军用实时嵌入式软件的测试经验,针对实时嵌入式软件特点,研究了各种平台软件尤其是嵌入式强实时软件的插装策略,分析了写文件、写内存、按位记录特征值、使用硬件的插装方式的优缺点。提出了有效的结构覆盖测试技术和测试方法。对实时嵌入式软件的测试,具有实际参考价值。     

美军武器装备联合试验综述

信息化条件下,武器装备体系的要素越来越多,要素之间的关系越来越复杂.武器装备体系的科学综合评价和合理作战运用,对于提升武器装备体系整体作战能力及一体化联合作战能力具有重要意义.介绍了美军武器装备联合试验的概念与内涵,美军武器装备联合试验的管理体系,美军武器装备联合试验的程序和规章制度,分析了美军武器装备联合试验的联合能力建设、联合试验的技术和方法等.     

谈出入境人身检查

出入境人身检查是出入境边防检查机关的一项重要任务.在新形势下,研究、掌握出入境人身检查的依据、对象、批准权限及检查的程序、方法与要求,对出入境边防检查工作具有重要意义.     

谈谈党委书记的领导方法

掌握适应新形势新任务要求的科学领导艺术、领导方式和领导方法,既是实践“三个代表”、创新党委工作机制的客观需要,也是提高党委书记自身素质、履行职责的内在要求。我认为,作为党委书记应该掌握的重要领导方法,主要是抓住大事、民主议事、秉公办事、团结共事。     

谈如何加强边防检查业务规范化建设

根据边防检查业务建设的现状及要求,分析程序在边防检查行政执法中的地位,探讨加强边防检查业务规范化建设的途径.     

军工企业破产问题探讨

随着国有企业改革步伐的加快,军工企业改革脱困、结构调整也进入攻坚阶段。由于军工企业历史沉淀的问题较多,本文仅对一些主要问题作探讨分析。 错综复杂的利益关系和社会问题,使军工企业破产工作举步维艰,目前反映强烈的有这样几个问题:     

巨型机通用数学库软件与并行算法

本文介绍了巨型机通用数学库软件的概念和意义,指出了巨型机数学软件开发的技术途径与发展趋势,讨论了并行算法在其中的关键性作用,结合实例分析了巨型机通用数学库软件研制中的并行算法设计与实现。     

炮兵营赢得反火力战斗胜利的战术,技术和作业程序

欲赢得直接支援炮兵营反火力战斗的胜利,则必须了解营长,雷达技师,情报与作战军官等重要人员的职责,以及如何考虑雷达的配置,作战博弈过程,雷达探测区管理,以雷达移动并指令它发射探测的信号等。本文虽然讨论的是对运用不同射击阶段之敌实施的反火力战斗,但其战术,技术和作业程序依然可修订为适用于对采规战术之敌作战。     

炮兵连下达命令的领导程序

本文较详细地叙述了炮兵连下达战斗命令过程中连长的工作,以及一系列有关事项。