TURBO PROLOG 2.0开发环境的汉化

本文讨论了目前广泛使用的编译型逻辑程序设计语言TURBO PROLOG2.0开发环境的汉化问题。文中分析了TURBO PROLOG 2.0显示程序的一些特点以及目前使用的汉化版本存在的几个主要问题和汉化时应注意的几个问题,最后给出了2个典型程序段汉化的例子。     

军用软件采办风险管理

从军用软件采办实际出发,给出了军用软件采办风险管理的定义、结构以及过程模型,在此基础上探讨了军用软件采办风险管理的流程模型和军用软件采办的寿命周期划分,并将军用软件采办风险管理流程与采办寿命周期过程相结合,描述了采办主体各方的风险管理活动.最后,构建了军用软件采办风险管理指标体系,并提出了分层负责的风险管理机制,对提高军用软件采办风险管理水平具有一定的推动作用.     

军用软件需求分析研究

需求分析是军用软件开发中重要的环节,也是项目成功的基础。在深入探讨军用软件需求分析现状和存在问题的基础上,详细阐述了做好军用软件需求分析的一些基本思路和方法。     

军工资讯

江西省船舶工业行业协会成立11月6日,江西省船舶工业行业协会成立大会暨第一次会员代表大会在南昌召开。会议讨论通过了《江西省船舶工业行业协会章程》及《会员管理办法》,选举产生了协会理事会及协会会长、副会长、秘书长、常务理事,为8个副会长以上单位授了牌。     

新型武器装备软件保障性研究

软件是现代战争的灵魂,软件保障问题已经成为装备保障发展过程中的重点与难点。而软件保障性是软件的重要质量特性,也是武器装备系统的重要质量特性。本文介绍了美军软件保障的原则和保障模式,分析了软件保障的特点和软件保障过程,针对国内军用传统软件维护模型的局限性,提出了基于过程的软件保障模型,为提高软件维护保障提出了有效途径。     

优越的CCRP算法研究

CCRP是重要的空对地攻击方式,该文以向量三角形描述空对地瞄准,结合弹道回归多项式的三元Honer 处理,提出了一种高精度的CCRP 实时算法。     

基于GQM的装备软件可靠性参数选取方法

针对装备软件无可靠性定量要求以及开发过程缺少监管的问题,提出基于GQM(Goal-Question-Metric)的装备软件可靠性参数选取方法。首先构建了软件可靠性通用参数集和装备软件可靠性特有参数集,然后按照GQM方法的框架,从不同角度出发,制定装备软件可靠性度量目标,列出为实现目标需要回答的一系列问题,进而以回答问题的方式,确定不同情况下适用的软件可靠性参数,最终建立装备软件可靠性参数体系。     

新乡北方车辆仪表有限公司

新乡北方车辆仪表有限公司成立于2000年4月21日,是以从事特种车辆综合电子显控及管理系统的开发、设计、生产和服务为主的河南省高新技术企业,新乡市红旗区区长质量奖获奖企业。公司秉持"科技求发展,质量为保证,人和是基础,信誉赢市场"的经营理念,先后为我国数代特种车辆提供产品和服务。现产品涉及特种车辆、船舶、工程