GSEIB 软件工程信息库图形规范子系统的设计与实现

软件信息库是集成化软件工程环境的核心。本文给出了一种图形化的软件过程与产品（ｓｏｆｔｗａｒｅｐｒｏｃｅｓｓａｎｄｐｒｏｄｕｃｔ）规范语言及其支撑环境的设计与实现。采用这种规范语言可对给定的软件开发项目进行规划,据此自动产生定做的软件信息库,从而真正反映和支持该软件工程项目的开发。     

C~3I系统中软件的程序设计方法问题

软件的可靠性是Ｃ￣３Ｉ系统成败的关键之一,用规范和程序分离的办法设计软件,其可靠性无法得到保证。该文阐述了应研究形式化程序设计方法的意见,以及目前在这一领域尚存在的困难和解决的途径。     

MC68HC05L9与TMS320C25并行处理在智能化仪器仪表中的应用

本文简要介绍了一种能用于智能化仪器仪表工业,由MC68HC05L9和TMS320C25两片微处理器组成的并行处理系统.该系统采用乒乓式RAM结构进行数据通讯,处理速度可达1100万次/秒.软硬件采用了抗干扰技术,具有成本低、性能高、结构简单等特点.稍加改进,也可应用于自动控制系统中.     

直接藕合多种语言编程模块的MTS的设计与实现

以通用菜单工具作为应用软件系统的用户界面、多种语言编程模块的藕合接口已成为一种趋势。本文提出一种可在操作系统和foxBASE环境下组合(或嵌入)运行的、支持DBMS授权扩充机制、实现多种语言混合编程模块直接藕合的通用菜单工具(MTS)。同时,又对MTS中的菜单对象、授权,菜单文件的数据结构、菜单驱动(维护)模块设计和基于批处理文件的模块藕合方法进行了讨论。     

坦克电台可靠性现状及其指标论证程序探讨

从XX坦克电台使用可靠性的现状出发,在理论与实际的结合上,论述了装备可靠性指标论证工作中某些亟待解决的问题.结合军工企业的现有条件和可靠性工作开展的实际情况,提出了装甲车载通信——电子装备可靠性指标论证工作的基本程序及其要点.     

按Weibull分布计算滚动轴承的寿命和强度的可靠性

运用weibull分布推导出任意可靠性指标下滚动轴承的寿命和强度计算公式,给出了多列轴承和轴承系统的可靠性计算方法和公式,并按照工程的方法加以简化处理。     

织女三号探空火箭研制的几个技术问题分析

织女三号控空火箭是用于空间科学探测的重要工具。由于其用量少,携带昂贵的科学仪器设备,因此既要可靠性高,又要性能先进,经济性好。在技术设计中如何正确处理好可靠性、先进性和经济性的关系是至关重要的。本文分析研究了总体设计中应当如何处理诸如级数选择、最优推力程序,结构可靠性设计和试验评估等技术问题,使火箭总体可靠性、先进性和经济性达到较好的统一。     

威布尔过程模型在机械系统可靠性中的应用

为了研究复杂可修系统的规律,应用威布尔过程模型,得出这样结果,即提出一种定量描述预防性维修质量的方法,并对MTBF进行了分析。可以这样认为,模型参数在实际工作中有很广泛的应用。     

基于模糊集和证据推理方法的武器系统可靠性评估

提出了一种评估武器系统可靠性的新方法。在这种方法中,武器系统中各组成部分及零部件的可靠性用模糊语言变量来表示,利用证据推理方法合成各子系统零部件的可靠性评估结果,提高了各子系统的可靠性水平。文中以某高炮系统的可靠性评估阐述了该方法的应用情况     

软件开发自动化

软件开发到底是一个什么过程?这个过程中的哪些工作能自动化?这是软件开发自动化的两个核心问题。本文以这两个问题为中心来展开讨论,试图提出一些见解以改进过去的研究工作。值得指出的是;基于这里的思想,我们已经实现了一个用于开发Ada 软件的支持系统。实验表明:在该系统的支持下,开发者能以最少的干预半自动地实现从问题的自然语言描述到程序包规范的转换。