武器系统软件开发规范简介及实例分析

本文介绍了我国军标《武器系统软件开发》的发布过程，以及开发规范的概念所针对的范型，并对该规范的主要内容作了简介。最后用一个实例说明贯彻该规范的重要性。     

循环优化的向量化目标程序结构

一.引言近年来出现的像CRAY—1这样的单指令流多数据流计算机,硬件提供了向量流水及交差存贮的工作方式。编译程序如何适应这种高度并行特点,是当前系统软件研究的一个重要课题。本文仅就FORTRAN的循环优化,提出一种减少目标指令条数、节省目标指令执行时间、防止存贮“碰头”的向量化目标程序结构。这样,不论是向量FoRTRAN、标准FoRTRAN,或者经向量识别的标准FoRTRAN,都可以在CRAY—1这类计算机上高     

FORTRAN静态树形存贮分配算法的一点改进

一、引言 文[1]、[2]提出的对FORTRAN进行静态树形存贮分配的两种算法,都具有编译简单,目标程序占用内存贮量少的特点。本文提出一个改进算法,也具有以上特点,但比原算法更节省存贮空间及编译时间,且概念简单易懂,适合于在中小型计算机上实现。 二、算法描述 按文[1],FORTRAN源程序的各程     

关于FORTRAN静态树形存贮分配的一点注记

引言国产441—BⅢ,DJS—6计算机的FORTRAN 编译程序对局部量采用静态存贮分配,编译程序较简单,目标程序运行速度较快,但目标程序运行时存贮空间不够节省。DJS—8计算机FORTRAN 编译程序采用静态树形存贮分配,目标程序运行速度较快,运行时存贮空间较节省,但编译程序较复杂。DJS—130计算机采用动态存贮分配,编译程序较简单,目标程序运行时存贮空间较节省,但目标程序运行速度不快。文中,刘治山同志提出的方法,克服了以上缺点,保存了优点。文仍称其方法为静态树形存贮分配。本文用布尔矩阵的非数值计算方法,对文的方法加以改进,使得概念更为简明易懂,并使编译程序可进一步简化。     

Ada语言及面向对象的程序设计方法在CAMAC中的应用

本文首先叙述了运载火箭的地面 CA-MAC 测控系统的硬件构成及软件需求,然后用面向对象的方法,论述了地面 CAMAC测控中模拟量测试及时间串测试系统的设计;并论述了 Ada 语言在本软件系统中的应用与软件实现。     

井下压风管路自动放水装置

新汶矿业集团协庄煤矿井下分为四个生产水平 ,其中 ,- 5 0、- 30 0水平为报废水平 ,- 5 5 0水平为生产水平 ,- 85 0水平为延深水平。随着矿井生产水平的不断延深和开拓力度的不断加大 ,压风管投入量增大。目前 ,矿井使用压风管总长 2 1km。由于压风机排气温度约 5 0℃ ,井下温度一般在2 1～ 2 5℃ ,压风进入井下 ,气体温度随压风管的不断延长而逐渐降低 ,导致气体在压风管壁上凝结成水滴 ,并在压风管路的拐弯处形成积水区 ,从而增大了管内的压风阻力 ,造成风动工具不能正常使用 ,严重影响了矿井正常生产和开拓进度。为解决上述问题 ,协庄矿…     

自力更生 奋发图强 水口山十年改造成绩显著

最近,本刊记者带着“老矿山企业的出路何在”这一问题,走访了水口山矿务局副局长兼总工程师陈汉荣同志,收获非浅,下面是采访记实。问:贵局是怎样通过技术改造走出困境的?主要的技术成就是什么? 答:我局是近百年的老企业,十年前已步入自己发展的晚期,面临多种困难和危机:一是矿产资源枯竭,品位下降,储量危机。出矿量由30万t/a锐减到20余万t/a,在     

煤炭企业运用名牌理论及战略方法探讨

阐述了名牌理论 ;针对煤炭企业的特点 ,认为煤炭企业创名牌 ,对提高企业经济效益和管理水平 ,实现产销两旺 ,具有非常重要的现实意义 ;探讨了煤炭企业实施名牌战略的方法。     

数据流方程组的公式解法

数据流方程有许多解法,如J.Cocke和 F.E.Allen 等提出的区间法以及J.D.Ullman等提出的迭代法,这些方法的“对角线项”是求解中的主要困难。张鸣华证明了方程的最小解与“对角线项”无关,因此提出了一种直接解法。为了求解,要把数据流方程显式化,本文给出了求显式方程的算法,并且提出了一个公式,应用这个公式,可以直接把显式方程写出来。     

协庄矿井热害治理的实践

协庄煤矿通过采取综合降温措施治理-850m西大巷高温热害,改善了工作环境,取得了较好效果。