从波音777的研制成功看CSCW及其在航空工业中的应用

介绍了CSCW的概念及其分类,波音公司利用CSCW研制波音777所取得的效果;CSCW对发展航空工业的重要作用,提出了发展CSCW的建议。     

地空导弹测试系统软件设计

介绍为某型地空导弹而研制的测试软件的设计(包括软件结构设计、流程设计、部分模块分析和数据结构设计)、原理和主要功用.给出了软件结构图测试流程图等.为避免“软件陷阱”,提出了直接驱动、适时响应、启动响应等5种方法.经多次单元测试、系统联试,证明该测试软件具有功能全、测试项目完整、程序合理等特点.最后指出,该测试软件的设计只是一次尝试,还有待于进一步完善.     

软件质量及其度量准则

几乎所有的软件开发者都同意软件的质量是至关重要的,但并不都知道如何使软件具有高质量。在软件工程中,对这个问题的研究已形成了一个分支——软件质量保证。软件质量保证是为使软件产品符合规定需求所进行的一系列有计划的工作,它贯穿于软件的全部开发过程。许多研究表明,开展软件质量保证对于开发者和最终用户都是有益和合算的。下面数据可以说明这一点: a.开发部门在软件维护方面的工作量逐步上升,已占全部开发工作量的50%到80%。 b.在软件生命期中用于发现和纠正软件错误的成本以几何级数的速度上升。对于纠正同一个错误,在维护阶段所花的成本要比在分析阶段所花的成本高10倍以上。     

EMC分析预测技术发展综述

随着电磁兼容（ＥＭＣ）技术的不断发展，ＥＭＣ的分析预测作为一种防止电磁干扰（ＥＭＩ）问题的有效手段，已渐渐被推广使用，文中简要地介绍了ＥＭＣ分析预测技术发展过程及其在研制工程中的重要性。     

Y9可编程遥测系统地面站遥测软件

简介Y9可编程遥测系统地面站计算机分系统遥测软件的设计。内容包括Y9可编程遥测系统地面站对遥测软件的要求、遥测软件开发的硬件及软件环境、遥测软件系统的结构及主要模块功能介绍。     

CFD软件可信度评价知识库系统构建研究

针对气动数值模拟及可信度评价对知识库建设的迫切需求,综合调研并对比分析了国内外不同CFD知识库发展现状、知识库构建等相关技术,同时结合构建的气动力/热CFD软件可信度评价知识体系,重点开展了基于Wiki的知识库构建技术研究和基于Neo4j图数据库的知识图谱构建研究,形成基于开源Wiki框架的气动力/热CFD软件可信度评价知识库原型系统的建设方案。在此基础上,从制定知识入库流程、确定权威知识来源、制定标准档案模版、组织知识评审机构等四个方面明确了知识库建设的基本原则,确保知识库系统建设工作顺利展开,并为CFD知识库的后续发展提供应用示范和技术储备。     

嵌入式多核操作系统的形式化建模与验证

在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。     

软件复用技术及其应用的研究

对软件复用技术在军队指挥自动化系统的设计开发中的应用作了探讨 ,并给出了一个基于软件复用技术升级系统的例子。