面向软件源程序的模型检验技术

模型检验技术作为一种有效的形式化方法,能够提供严格的软件质量保证.介绍了面向软件源程序的模型检验技术的工作流程,并在此基础上针对规约性质描述问题,提出一种与源代码独立的、语法简单易用的、符合程序员开发习惯的规约描述语言,并给出一种轻量级的程序模型检验方法,它基于程序控制流图的路径遍历,支持函数过程内验证、函数过程间验证、规约检查.     

大数据量采集系统设计的几个细节

本文主要介绍大数据量数据采集系统的设计细节。硬件选择方案,软件设计细节及大量数据的处理方法。     

用Excel97编制教育管理软件

本重点介绍了在用Excel97编制“教育管理系统”软件过程中，控件、宏及VBA等功能的使用。     

用容错技术使SDI软件更可靠

目前正在继续探讨 SDI 全动战略防御软件是否能够在任何时候都不会出错.如果给定有效资源和时间的有限特性.一千万条代码完全不出错是不太可能的.但是,容错软件的应用可在合适的时间内使软件可靠性满足调度要求.SDI 软件的目标就是要在敌方的弹道导弹的助推阶段.进入空间的中途阶段或者进入大气层的最后阶段摧毁它。为此需要在美     

软件终端及其技术实现

简要讲述了目前无线电通信终端软件化的情况,提出了把不同通信终端设备通过软件集成的方法改造为软件终端的技术方案.     

RDP仿真系统的设计

RDP是火控脉冲多普勒雷达(PD)的核心,它作为航空电子综合化系统的重要组成部分,它能从1553B总线接收雷达控制信息,并且通过雷达内总线将控制信息送往雷达其它分机。本文将概要介绍RDP仿真系统设计,从软件、硬件、环境试验和可靠性考核方面验证RDP能否满足航空电子综合化对雷达数据处理机的要求。     

新一代高性能64位微处理器—Intel i860TM

Intel i860 ~(TM)是目前世界上最先进的64位微处理器-Intel i860 ~(TM)之一。Intel i860 ~(TM)采用 RISC 设计技术,将过去在大中型机和超级小型机中实现的功能集成到该处理器中,具有非常强的功能和非常广泛的应用领域。本文作者在大量消化资料的基础上,简要论述了 Intel i860 ~(TM)微处理器的主要功能与结构。     

关于专科计算机软件教育的思考

通过介绍我国软件业的发展情况，分析中印在软件业人力资源配置结构的差异，以及专科教育面临的问题，指出软件蓝领可以作为专科计算机软件教育培养人才的新方向，并提出了与之相关的改革意见。