软件质量及其度量准则

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

基于有限元法的隧道荷载模型位移反分析

介绍了一种以荷载模型为求解对象的位移反分析法。它是以通用有限元软件为实验平台，利用隧道位移实测值建立荷载灵敏系数方程，根据最小二乘法原理反求隧道模型的荷载，再将正分析结果和实际值进行对比分析井重新调整隧道荷载模型，最终获得较为符合实际的隧道荷载模型。该方法的优点是既考虑了岩土松动荷载效应又能体现支护结构与周围岩土体的共同作用，且具有较好的操作性。     

ISO9000:中国工业国际化的“引擎”

通过列举大量数据资料全面细致地阐述了当前全球开展ISO90 0 0认证工作的现状 ;用事实说明在我国开展ISO90 0 0认证 ,对我国工业国际化具有重大的推动作用和现实意义 ;以正反两方面的事例 ,阐明企业只要通过认真细致的工作 ,是能够通过ISO90 0 0认证的     

空间材料质量损失和易挥发可凝物长期预测方法

文章从基本理论及相应试验两方面详细介绍了欧洲 ESA 空间研究技术中心(ESTEC)材料部建立的空间材料质量损失和易挥发可凝物长期预测的方法,并确认此种预测方法具有极高准确度。     

电子对抗仿真及其模型的检验

阐述电子对抗仿真试验系统的主要功能 ,在仿真试验与鉴定中仿真模型的检验方法 ,并对这些方法的应用进行了比较和分析。     

某型号导弹产品出厂质量评审工作分析

对于出厂交付的产品进行质量评审是航天行业严实施质量控制的一种重要手段。航天标准QJ2623－94标准详细规定了进行评审的有关要求。但是，在实际工作中，还存在一些标准不一致的问题。本文结合某型号导弹及其技术保障产品的出厂质量评审工作，分析了存在的问题，提出改进建议，以供参考。     

机动目标跟踪的非线性IMM算法

在目标跟踪时，测量噪声通常假定为高斯状，然而这种假设不一定正确，噪声有可能是非高斯型的。在雷达系统中出现的非高斯噪声被认为是闪烁噪声，闪烁噪声呈长尾形分布，此分布将严重影响跟踪性能。现已发展一种新的算法，可以在闪烁环境下有效地跟踪机动目标。该算法将非线性Ｍａｓｒｅｌｉｅｚ滤波器引入交互式多模型方法中。我们用模拟试验来验证新算法的优越性。     

工程来源批准与实验室认可

工程来源批准与实验室认可是ＦＴ８制造工程中既有联系又有区别的两个极重要的制造质量控制制度。本文介绍它们的要求、内容和程序，并与航空产品关键件、重要件的工艺质量控制方法进行了对比。     

推力矢量控制战斗机与遥控模型自由飞

推力矢量控制将应用于先进的具有大迎角机动能力的飞机。就推力矢量控制的一些技术问题作了初步归纳和研究。并概述了用遥控自由飞模型对这一技术研究的发展前景。     

COMPUTATION OF TURBULENCE FLOW ON HYBRID GRIDS USING k-ω TURBULENCE MODEL AND OSHER SCHEME

An unstructured Reynolds-averaged NavierStokes flow solver using the finite volume method is studied. The spatial discretisation is based on the Osher approximate Riemann solvers. A two-equatlon turbulence model (k-ω model) is also developed for hybrid grids to compute the turbulence flow. The turbulence flow past NACA0012 airfoil and the double ellipsolids are computed, and the numerical results show that the above methods are very efficient.