一个四余度容错计算机系统(QFTCS)的硬件/软件结构设计

随着计算机应用领域的日益扩大及实时控制系统的发展,对计算机系统的可靠性要求越来越高。例如在电话交换系统、航空航天控制系统、铁路交通控制系统中,哪怕是一个细微的故障,也可能带来灾难性的后果。本文设计了一个满足高可靠性要求的容错计算机系统,介绍了该系统的设计原则及硬件和软件的结构.

缩短汇总时间的一种策略——实时汇总技术

本文针对目前MIS系统普遍存在的一个共性问题:汇总时间过长,提出了一种新的解决方法,经实践检验效果良好。

CIEM系统数据库模式设计方法

在CIEM系统(航空航天部组织的大型CAD/CAM系统工程"Computer Integrated Engineering and Manufacturing System"的缩写)建立数据库过程中,引入了一种关系型数据库模式设计的实用方法,利用这种方法成功地建立了有限元库、气动库、载荷库、总体库等.现概要地介绍一下这种设计方法,其中的一些例子大多取自有限元数据库模式设计.

非线性随机振动中的广义胞映射法

1 胞映射法非线性随机振动中的胞映射法是计算马尔柯夫型响应过程概率密度的一种数值方法.该法由Hsu 与Chiu 从确定性广义胞映射推广而来,后Sun 与Hsu 作了进一步发展.该法可看作是20多年前Crandall 等提出的概率扩散法与稍后Toland

软件开发环境综述

1 序言“环境”(Environment)这个术语,国内目前尚无统一定义。甚至连“IEEE软件工程术语标准词汇”(IEEE Std 729-1983)中也未列出明确条目。可是,这个词在软件界已使用得相当广泛。通常,把“环境”看成是软件开发者建立软件系统所使用的硬件工具和软件工具的集合。随着技术的发展和用户期望的提高,环境的功能也随之“水涨船高”。现在经常出设于文章中的术语有“编程环境“(Programming Environment)和“软件开发环境”(Software Development Environment)。这两个术语常常被混杂使用,其实,它们的词义不尽相同,其内涵区别很大。编程环境系指仅支持软件开发期中编码阶段的环境;软件开发环境则指支持软件开发期中各阶段全部活动的环境。

窗口及选单工具箱VWMT的设计原理与实现

本文介绍一种基本的软件支持工具——窗口和选单工具箱的设计原理、功能组成及其在 VAX/VMS 操作系统下的实现方法。着重讨论多窗口管理系统设计中所必须解决的关键问题。该窗口及选单工具箱支持窗口间的任意嵌套与重迭,并支持上托、下拉和弹出型选单。其实现作为可共享映象驻留在磁盘上。

多微机系统AP85

本文详细介绍了多微机系统AP85的系统结构、工作原理与软硬件组成,结合AP85系统的实现技术对多机系统中普遍存在的一些问题进行了探讨.最后,本文对AP85系统的应用情况及系统特点进行了归纳与总结,并为系统做进一步改进提出了几点建议.

一个多机多任务实时操作系统

本文介绍应用微型计算机软件系统处理机载雷达数字信号,雷达将观察到的目标及其所处的环境和环境的变化不断地送给计算机,计算机软件系统则据此综合出使雷达功能最佳化的方案并控制雷达实现此方案。

软件测试与软件测试工具FORTE

1 引言软件测试是软件开发过程中一个非常重要的阶段,在开发复杂的软件系统的过程中,面对着极其错综复杂的问题模式,人的分析、处理能力毕竟还达不到绝对周密的程度。在开发过程中,各类人员之间的通信和配合也不可能完美无缺,因此,在软件生存周期的每个阶段都不可避免地会产生差错。虽然在每个阶段都要求有严格的技术审查,以图尽可能早地发现并纠正错误;但是经验表明审查并不能发现所有差错,此外在编码过程中还不可避免地会引入新的错误,统计表明即使是优秀的程序设计也会在百分之一语句中发现有问题。测试的目的就是要尽可能地发现软件中的错误。目前软件测试仍然是保证软件质量的关键步骤,它是对软件需求、设计和编码的最后复审。本文介绍作为当前发现软件错误主要手段的测试技术的基本原理,并详细叙述了我们研制的 FORTRAN 程序测试工具的原理、构成和用法。

软件质量度量与FORQUAS的实现

软件质量问题是当前软件工程化生产中的一个核心问题。本文对软件质量度量体系作了简要介绍并介绍了 FORTRAN 软件质量度量工具的实现。

多路传输数据总线消息处理功能块的设计

本文介绍了用 Z-80CPU 和中小规模集成电路设计的多路传输数据总线智能终端的消息处理功能块的结构,提出了采用微码技术识别非法指令以及远程终端快速响应的软、硬件实施办法,步骤和组成系统后的应用情况。多路传输数据总线是美国七十年代发展起来的一项重要技术,它已在航空电子系统中起到关键的作用。1976年在 F-16上首次试飞获得成功之后,在 F-18、F-16以及军舰上广泛使用。为了促进总线技术的发展,改善我国飞机的电子装备,增强其作战能力、减轻飞机自身重量、提高可靠性和机载电子设备的可更换性以及便于系统的伸缩,多路传输数据总线技术已成为航空电子系统综合必不可少的环节。

FORTRAN理解工具FORPF

本文介绍了 FORPF 的设计思想和实现步骤,并着重叙述了对 FORTRAN 三种基本语句(IF、DO、GOTO)的处理方法及图形数据的存贮结构。最后,对该软件作了一些实际的评价并简述了进一步的设想。