关于海军计算机语言标准化问题

本文不是对计算机语言进行评价或比较。因为这一工作绝非一两个单位,一两年所能办到的。这里只不过是从国外、国内程序设计者及语言设计者的评述中,找出一些恰当的评估,把它们收集起来,形成总的印象,为海军计算机语言标准化工作提供一些素材。故此,本文所述论点不一定正确,它有待时间和使用的考验。一、关于标准化问题既然要对计算机语言进行标准化的工作,首先应该了解什么是标准化,标准化工作的基本原理,以及标准化工作的深远意义。     

NSS-2000E型航海支持系统

本刊1/98期发表过有关国外电子海图显示与信息系统的文章,我们欣喜地看到,我国也有了自己的先进的电子海图显示与信息系统。在4/98期中我们对 NSS-2000E 型航海支持系统的研制成功进行了报道,本文是对此系统的详细介绍。     

计算机软件可靠性问题

本文举例说明了软件可靠性问题的重要性。简要地叙述了计算机软件可靠性技术研究中的三个中心问题:软件试验、程序正确性证明和结构程序设计。软件试验是当今世界上解决软件不可靠问题的主要手段。按试验的目的、对象和方法的不同,对软件试验进行了归纳分类。程序正确性证明是用数学方法,寻找程序逻辑错误的一个途经。文中从最基本的概念出发,用简单的例子,阐明证明程序正确性所应遵循的法则及证明的步骤和方法。但是以上两种技术均不能保证程序正确,所以解决软件可靠性间题的关键是结构程序设计。从设计方法、设计语言及设计的组织形式彻底革命,才能真正解决软件可靠性问题。但这三个方面是相辅相成,互相促进的。     

“卡什坦”(KASHTAN)舰载弹炮合一武器系统

舰艇的有效防空、反导手段是其生命力的重要保障之一。在竞相发展的各种防空反导系统中,当首推弹炮合一武器系统,而较有代表性的弹炮合一系统之一是原苏联的“卡什坦”。本文介绍了“卡什坦”的组成、功能、配备、技术性能及特点,以使读者对其有一较全面地了解。     

舰炮武器系统现状

20世纪70年代以来,鉴于反舰导弹性能的不断改善,以及飞机采用低空或超低空的攻击方式,构成对水面舰艇的严重威胁。中、小口径舰炮武器系统用途广泛、射击准备时间短、发射率高,可以弥补舰空导弹对空防御的死区,因此得到较快的发展。主要表现在以下几个方面: