基于MapInfo软件平台的C~3I指挥控制系统设计

以Ｃ３Ｉ指控系统为实际背景,通过分析其完成作战任务时对数据和战场情报的要求,确定以地理信息系统为指控平台的支撑软件。同时还深入分析了桌面地理信息系统软件ＭａｐＩｎｆｏ 的主要特性与技术支持,并结合上述战术要求,提出了一个基于ＭａｐＩｎｆｏ 软件平台的Ｃ３Ｉ指控系统设计方案。     

面向信号的ATS软件平台体系结构分析

完成了面向信号的ATS软件平台体系结构分析,给出了面向信号的ATS软件平台的定义,详细分析了该软件平台所具有的特征,并在此基础上,借鉴Kruchten的多视图方法,分析了面向信号的ATS软件平台涉及的行为主体,从组织视图、功能视图和信息视图多个视角研究平台的构成与运行方式,最后给出平台的总体模型,并详细介绍了模型中各层的具体定义与功能：     

嵌入式Linux系统的实现与编程

为满足工业控制系统对控制精度及组网的要求,在一个实际的控制系统方案中,提出底层网络的软硬件开发平台一种设计方法－－硬件平台采用PC104,软件平台采用嵌入式Linux系统。分析了以常用的Linux系统作为原型,根据控制系统的特殊性,实现对Linux系统内核可定制裁减并将精简的内核移植到PC104上的方法。最后,介绍了在嵌入式Linux系统平台上软件的编程方法。实验结果,证明该软硬件平台设计具有可行性。     

基于MapInfo软件平台的海战场无线电频率管理系统设计

以海战场无线电频率管系统为实际背景,通过分析其完成战场频谱管理任务时对数据和地理信息的要求,确定以地理信息系统为管理平台的支撑软件,同时还深入分析了桌面地理信息系统软件MapInfo的主要特性与技术支持,并结合上述应用背景,提出了一个基于MapInfo软件平台的海战场无线电频率管理系统设计方案。     

面向国产异构环境的陆域指挥信息系统软件平台设计

本文分析了陆域指挥信息系统国产化软件平台的建设需求,面向服务器、指控端、机载终端、火控终端、手持终端等异构环境,开展了可支撑跨平台软件开发/运行/集成、多种场景作战运用的国产化指挥信息系统软件平台设计,提出多模态自适应人机交互、跨平台服务开发集成、异构硬件平台适配优化、软件运行库和跨平台中间件集成优化等关键技术解决方案,为陆域指挥信息系统的异构软件集成部署、跨平台协同运行、多场景适配运用等基础设施的设计提供支撑。     

通用装备机械液压系统综合检测试验平台的设计与研制

针对目前通用装备保障建设过程中存在的保障设备通用性差、综合功能弱、机动性能差及信息化程度低等问题,提出了"划类分组、综合集成、一体通用"的设计思想,研制了可完成军械、装甲、工程、防化、车辆、陆军船艇等装备机械液压系统技术状况检测与评估、故障诊断、部(元)件修后试验与质量评估、信息管理等功能的综合机动平台。重点阐述了平台各系统的设计思想、硬件组成及软件框架。实际应用表明,该平台具有"广谱"、"广域"和"全时"的能力,其推广使用将为通用装备保障由"基于型号"向"基于能力"的建设转型提供成功示范。     

卫星导航系统中平台运动对天线阵列性能的影响分析

常规的天线阵自适应算法侧重于研究稳态条件下的最优性能.当卫星导航接收机应用于运动载体(如炸弹、飞机、机动车辆、舰艇)时,阵列平台的运动(或振动)将会导致权值"零陷"指向与干扰来向失配.建立了运动条件下的阵列信号模型,将平台运动分为第一类平台运动(高频振动)和第二类平台运动(平稳转动),给出了两类运动模型下阵列输出信干噪...     

面向普适计算应用的构件定义语言UCDL

普适计算的适应性特征对于软件重用的要求决定了构件模型是目前普适计算软件体系结构的理想选择.在面向普适计算的自适应软件平台UbiStar的研究过程中,为了准确地对普适应用中构件的外部特征进行抽象描述,参考了CORBA构件模型使用IDL3和CIDL对构件进行特征抽象的方法,结合UbiStar普适计算平台的特点与需求,提出了一种适用于普适计算环境的构件定义语言UCDL,并且给出了一个应用示例.     

公民与国防有奖答题竞赛试卷

答题须知一、为便于评卷,参赛者请使用本刊统一制发的试卷答题,自备试卷无效。二、答题前请填写上表,以便统计和评奖。三、试题及试卷原准备分上、下两部分分别刊登于本刊第三、第四期,为方便读者,现改为全部50道试题连同试卷在本期刊出,竞赛截止时间不变。四、答卷请寄:北京阜外大街34号《中国民兵》杂志社。寄前请将印在试卷尾页左下方的竞赛徽记剪下,贴于信封正面。有组织的单位最好能集中统一邮寄。     

面向对象的软件测试

本文结合面向对象软件的具体特点和工程实践,给出了面向对象软件测试的内容:类测试、类簇测试和系统测试。最后,给出了面向对象软件的测试策略。     

变量度量估计软件的复杂度

提出软件的变量度量方法分别度量软件的变量个数、变量距离及变量聚合缺乏度来估计软件的复杂度.该方法与已有的软件复杂度度量方法,如Halstead科学度量法、McCabe圈复杂度度量法以及Chidamber的6个度量OO代码的指标等不同,它通过度量构成软件的基本元素-变量,更能从底层抓住软件的本质,而且该方法运用于实际的软件复杂度估计十分准确有效.     

一种面向故障的软件测试新方法

面向故障的软件测试方法是今后软件测试技术研究的主要内容.和传统的面向整个软件的测试方法相比,面向故障的测试方法对故障的检测针对性更强,特别是对传统测试方法难以检测的故障如存储器泄露故障、数组越界故障、空指针引用故障等的检测是非常有效的.从方法学上讲,面向故障的测试方法标志着一个测试理论的成熟,在测试方法学中具有里程碑的意义.面向故障测试方法有2个问题需要解决:①软件的故障模型,②面向该模型的自动测试方法,此文重点论述软件的故障模型问题.     

软件测试自动化实践

介绍了软件自动化测试技术及其特点,提出了一种具有一定自动化程度的软件测试综合方案,对其原理、方法进行了阐述,讨论并展望了该技术的特点和应用.     

单片机软件测试方法研究

单片机(Single Chip Microcomputer:SCM)软件的可靠性是影响系统和设备可靠性的关键因素.以80C51单片机系统一个C51应用为例,针对单片机软件测试的特点,提出了单片机软件测试方法.     

软件的测试性分析与设计

软件测试是提高软件可靠性的重要手段,但软件测试的代价是巨大的。软件的测试性分析与设计是分析软件测试的复杂性,提高软件测试性的基本方法。本文提出了软件测试性的基本概念、分析与计算方法、以及软件测试性设计的基本思路。这对于高可靠性软件,特别是武器装备软件的设计是有指导意义的。     

军用装备软件需求层次分解及其规格描述

不规范的软件需求是造成无法顺利开展装备软件定型测评的重要原因。介绍了软件需求的基本概念,指出了军用装备软件需求的层次划分和各层需求的产生与描述方法,定义了需求文档的若干质量属性,从形式化、半形式化到自然语言的顺序介绍了软件需求的描述方法,并对用自然语言描述软件需求时应注意的问题列举了实例进行说明。利用该方法开展软件需求分析和规格说明定义,可以缓解当前定型测评所面临的困难,使装备软件定型测评在技术实施上得到保证。     

火控计算机的软件支持

针对机载、舰用以及地面火控计算机,阐述软件和软件支持的概念,强调软件支持应该遵守的前提原则,讨论软件支持的发展替续,并例举软件支持的实现过程。给出的结论和模式,对于火控软件的低成本获取具有参考价值,对于火控任务的高效率完成具有重要意义。     

软件开发自动化

软件开发到底是一个什么过程?这个过程中的哪些工作能自动化?这是软件开发自动化的两个核心问题。本文以这两个问题为中心来展开讨论,试图提出一些见解以改进过去的研究工作。值得指出的是;基于这里的思想,我们已经实现了一个用于开发Ada 软件的支持系统。实验表明:在该系统的支持下,开发者能以最少的干预半自动地实现从问题的自然语言描述到程序包规范的转换。     

软件可维护性的一种定量计算方法

软件可维护性是软件维护难易程度评价的标准,为实现软件可维护性的定量计算,在介绍波动效应的基础上,根据软件可维护性计算的基本思路和基本原理,建立了基于波动效应分析的软件可维护性计算模型,并对模型进行了分析和校验。     

软件保障费用估算模型研究

分析了软件保障费用的基本构成和一般表达式,构建了软件错误更改费用估算模型、新功能保障费用估算模型和有时间限制的保障费用估算模型,并结合实例进行了分析。软件保障模型估算的研究对提高软件保障费用估算的精度和效率有重要意义。