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

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

一个领航员的飞行日记(二)

第三节　抗美援朝夜袭大和岛1951年 7月侵朝美军开始执行“绞杀战”,企图摧毁中国人民志愿军的战略目标 ,卡断中朝后勤供应线。这时 ,在朝美空军已增至 19个联队 ,作战飞机 140 0余架 ,空中活动十分猖狂 ,为了粉碎美空军的“绞杀战”计划 ,志愿军空军从1951年 9月起 ,采取轮番进入 ,以师为单位陆续参战。老大哥部队空 4师率先参战 ,从 9月 12日至 10月 19日 ,共战斗出动 2 9批 50 8架次 ,取得了击落美机 2 0架 ,击伤 10架的战绩。老大哥部队空 3师 ,相继参战 ,自 1951年10月 2 1日参战以来 ,共出动飞机两千多架次 ,击落美机 50多架 ,击伤 8…     

编织结构复合材料力学性能分析

以分析编织结构复合材料的力学性能和修正的经典层合板理论为基础,首先对三维编织织物结构进行分析,考虑厚度方向的效应,采用三维应力-应变分析,预报编织结构复合材料的有效弹性模量;同时,进行了编织结构复合材料的力学性能实验,理论预报和试验结果符合得较好。     

热处理对BT25 Y钛合金组织和性能的影响

本文研究了不同的固溶温度、固溶后冷却速度以及热暴露对BT25Y钛合金组织和性能的影响。结果表明,BT25Y钛合金于950℃固溶属于α β两相区固溶,其组织由初生等轴α相和片状α β相组成,硬度随冷速的增大而增大,但随着热暴露时间的延长,在40小时时硬度达到最大值,而后降低;而990℃固溶属于β区固溶,由β相降温分解的α β两相组成,硬度较950℃固溶高,也随冷速的增大而增大,但随着热暴露时间的的延长,硬度在30小时时达到最低值,而后持续增大。     

洛扎——喜马拉雅山区的白色秘境

西藏洛扎——藏语意为"南部大峡谷",俗称"南方悬崖",是一个以农牧业生产为主的边境县。洛扎地处西藏南部、喜马拉雅山南麓,外与不丹王国接壤,最高海拔7538米,最低海拔2310米,平均海拔3820米,属高山峡谷温暖湿润半湿润气候区和高山谷地温凉干旱气候区。境内山脉连绵、雪山高耸、峡谷深切、湖泊星罗棋布,形成了独具魅力的自然旅游资源;大量的宗教人文景观和历史遗迹遍布全境,展现了悠久的历史和灿烂的民族文化。     

基于Web的民机维修信息管理系统的设计与实现

针对传统民机维修信息管理中存在的问题，提出用计算机技术、Ｉｎｔｅｒｎｅｔ／Ｉｎｔｒａｎｅｔ技术开发基于Ｗｅｂ的维修信息管理系统，着重讨论系统的构建思路和实现方法，对Ｗｅｂ等先进技术在民机维修信息管理中的进一步应用有着很大的借鉴意义。     

复合材料翼面结构气动弹性剪裁

 <正> 1.引言 本文采用了混合设计变量。对复材蒙皮,由于其连续性,我们用双三次多项式来描述各定向铺层的厚度,将多项式系数做为设计变量,对于其他部件如肋、腹板等,我们仍用其有限单元的截面积或厚度做为设计变量。整个结构采用有限元法做结构分析。固有振型采用高效率的谱变换Lanczos法计算,非定常气动力用亚音速偶极子格网法计算,用可行方向法求解优化问题。     

一种基于自动分区的海量科学数据计算框架

在科学研究领域, 存储容量、处理效率和分析精度并不能适应科学数据的指数级增长速度。通过对科学数据结构与标准的研究, 提出了一个海量科学数据计算框架BSDF。提出了一种基于模型驱动的统一数据接口, 实现对异构科学数据的无差别访问；提出了一种基于元数据的自动分区算法, 通过参数预取与超平面维度计算确定任务颗粒度。实验结果表明:与H5Spark科学数据计算框架的基于9项基准测试的性能相比, BSDF计算框架提升了39%~68%；在特定领域PKTM的算法优化上, BSDF达到了41.62倍的加速比。      

基于数值计算的抛鸟轨迹影响因素研究

在采用气炮装置作为抛鸟设备进行航空发动机吞鸟试验时，通过鸟炮准确地将鸟体发射至发动机叶片上的选定位置是至关重要的一个环节，该过程受到多种因素的影响。采用嵌套网格方法对发动机吞鸟过程中的鸟轨迹变化及其影响因素进行了仿真研究，对比分析了不同鸟体模型、发射位置、发射速度及发动机工作状态对鸟体运动轨迹、速度及流场特性的影响。仿真结果为航空发动机吞鸟试验提供了数据支撑，可有效缩短试验周期，降低试验成本。