几种特定判定形式的MC／DC评估分析

介绍了对几种特殊形式的判定进行修正的条件／判定覆盖评估分析的方法。这些形式包括比较运算判定、带短路逻辑的判定、顺序if结构、位运算判定、带反馈判定和带屏蔽判定。     

型号工程计量保证项目效益评估

针对号计量保证评估问题，用模糊数学的方法建立模糊综合评价模型，使定性评价变为定量分析，达到直观评价计量保证项目效益的目的。     

面向机务维护模拟机知识表达方法的研究

通过分析模拟机知识的特点和训练等级要求,根据模拟机系统功能原理操作和排故过程,提出面向对象的框架规则知识表达法。介绍该表达法的设计思路,建立框架结构、规则树和堆栈转换模式。最后进行实例分析,结果表明该方法具有可行性,为模拟机开发人员提供有效的仿真依据。     

软件设计评判的研究

以软件工程学为基础，从软件设计的三个方面──软件概要设计、软件详细设计手段及软件详细设计出发，通过考察它们在软件设计中的地位和作用以及完成的主要工作，本文研究了对这三个方面的评判，分析了影响评判的主要因素，定义了各因素的影响程度，给出了有关量的取值依据，最后提出了软件设计综合评判的定量模型。     

航空与航天大气环境医学工程及其进展

[目的]阐明突破空间大气环境障碍的人机工程内容之一航空航天大气环境医学工程的作用,地位与相互关系及主要进展。 [方法]在运用苏俄和美国等有关资料以及我国预研资料的基础上,对航空航天大气环境医学工程进行较系统的阐述。 [内容]航空航天大气环境因素的危害、航空大气环境医学工程的作用、航天大气环境医学工程的作用、航空航天大气环境医学工程的相互关系。[结论]航空航天大气环境医学工程的基本作用是防护低压、缺氧、高低温和舱内污染等4大有害因素,它保证了飞行员和航天员的安全性并兼顾了航天员的适居性和工效学要求。航空航天大气环境医学工程的相互关系是 3个结合:航空医学与航天医学 (医医结合),航空工程与航天工程 (工工结合),航空航天医学与航空航天工程 (医工结合),而且尚待进一步加强。资料表明,航空航天大气环境医学工程展示了高新的发展前景。     

探索符合国情的卫星工程管理结构与方法

卫星工程管理结构和方法将一定程度上影响国家的卫星工程发展速度 ,它不仅应符合自身发展的客观规律 ,还应符合变化的国情。该文对承担大部分中国卫星研制的中国空间技术研究院 (CAST)管理现状作了说明 ;从卫星工程管理的组织结构、卫星型号的管理模式、质量体系建设、经费管理、测试发射的组织和批生产管理等方面分析了与国情及自身发展客观规律的不适应性 ,并通过国内外相关情况的对比 ,进行了可择对策的分析研究 ,提出了明确具体的建议     

基于量化分析的软件测试过程的控制技术

论述了软件测试的基本过程以及涉及的文档、角色和活动.在此基础上重点讨论了如何通过在测试过程中提取的有效数据来对整个测试过程进行监督、控制和管理的技术,如对测试进度变化、软件问题分布、人力资源情况、软件问题处理时间以及软件问题重现等情况进行分析的技术.为保证被测系统的质量、提高效率、降低成本和改善测试过程提供支持和帮助.      

空间碎片环境工程模式参数分析

为了评估空间碎片对航天器造成的危害 ,必须建立空间碎片环境工程模式。文章介绍了空间碎片环境的特点及其工程模式表征方法 ,并比较、分析了几种主要空间碎片环境工程模式的参数 ;从数学建模及风险评估应用的需求出发 ,提出了空间碎片环境工程模式参数的建议方案     

我国航天器环境工程未来发展的展望

文章回顾了我国航天器环境工程30年来的发展,面临新世纪,展望我国航天器环境工程的未来,提出了具体的建议和措施.     

软件评测技术研究与实践

从软件评测工作实际出发,对软件评测方案进行了介绍,包括评价模型的建立,评价环境、测试用例的设计,测试过程的管理,对软件评测工作具有一定的指导意义。