基于程序变异的Simulink模型测试方法

为解决当前Simulink模型变异测试中测试执行开销大、测试用例生成效率低等问题,首先根据当前的Simulink模型变异算子集,基于程序变异技术提出了Simulink模型的变异测试过程和一组改进变异算子集.实验表明,在不影响测试用例集变异评分的情况下,该组变异算子集能够有效减少变异模型的生成数量,从而降低测试开销.其次,设计了一种基于搜索的Simulink模型变异测试用例生成方法,该方法将变异模型的测试用例生成问题转换为目标函数极小化问题,通过模拟退火算法对目标函数寻优,最终搜索出能够杀死该变异模型的测试用例.最后,将该方法应用于典型案例,验证了方法的正确性和有效性.      

ATLAS测试程序结构分析

阐述了ATLAS测试程序和测试规范的区别;简要分析了ATLAS测试程序的基本结构;具体介绍了SMART测试程序的组成和结构。     

基于粗糙集的案例推理在民机结构MSG-3分析中的应用

确定飞机结构偶然损伤检查任务和间隔是制定飞机结构维修大纲的关键问题之一。在国内缺乏相关使用数据的前提下,本文将基于粗糙集的案例推理应用于民用飞机MSG-3(Maintenance steering group)分析过程。本文从民用飞机MSG-3分析的需求出发,分析了基于案例推理的MSG-3分析基本过程,讨论了民用飞机MSG-3分析案例库的构建、案例表达、案例检索、匹配、案例修改、维修任务和间隔的确定等关键技术。同时,本文应用粗糙集理论,对MSG-3分析的特征属性进行权重分配,从而避免了人的主观性对案例检索准确性的不良影响。最后通过对某重要结构项目进行偶然损伤实例分析,效果良好。     

工作过程导向的高职专业人才培养方案开发方法研究与实践

构建人才培养模式的关键问题,实际上是为受教育者构建什么样的知识、能力和素质结构,以及怎样实现这种结构的方式问题。人才培养模式的核心是人才培养方案。本文剖析了人才培养模式与人才培养方案制定的内在关系,提出了工作过程导向的高职专业人才培养方案的开发方法,为科学合理地制定高职专业人才培养方案提供了可遵循的思路与方法。     

NMD中导弹预警卫星系统的发展

介绍了美国国家导弹防御系统(NMD)的核心——导弹预警卫星系统自1959年以来的发展和未来趋势，详细阐述了国防支援计划(DSP)与天基红外预警卫星系统(SBIRS)的进展，并探讨了未来美国国家弹道导弹防御计划中导弹预警系统的组成和功能。     

大型运输机飞机信息规划问题探讨

论述了飞机信息规划工作在大型运输机论证和设计中的重要性,分析了大型运输机在飞行作业质量保证、飞机维修保障及飞行事故调查等方面对飞机信息的使用需求,并简要论述了大型运输机飞机信息规划的主要内容。最后特别强调了在大型运输机的飞机信息规划工作中,应组成由使用方为主导、各方联合参加的飞机信息工作组。     

用于研究列车空气动力学的数据可视化系统

列车气动试验数据可视化对列车空气动力学研究很重要。由于列车气动试验数据场是基于曲面域的散乱数据场,采用数据场网格划分和基于等参变换的区域映射插值相结合的插值方法。在此基础上改进了扫描线算法,克服了传统扫描线算法求解收敛性得不到保证的不足。为了适应试验数据可视化系统对系统扩展性的要求,采用面向对象的软件工程思想编制了试验数据可视化系统,并在实践中改善系统。     

面向对象有限元程序的设计及工程应用

在综述面向对象有限元软件研究现状的基础上，主要介绍了作者用ROSE软件工具、采用UML建模语言和C^＋＋语言所编制的面向对象有限元程序（Object-oriented finite element program，OOFEP），对产生的类作了必要的说明，对OOFEP软件框架的建立、程序C^＋＋代码的产生过程作了阐述，最后OOFEP程序进行某型号发动机某级压气机盘的应力应变分析。尽管目前的OOFEP程序的功能有限，但包含在OOFEP之中的面向对象的机制使得它比较容易扩充所需功能而日趋完善。研究工作表明：面向对象方法很适合于进行有限元程序的框架设计和代码编制，所编制的OOFEP程序可以对工程问题进行初步的应力分析计算。     

浅谈空客适航限制项目(ALS)的管理

从空客适航限制项目(ALS)的定义和分类出发,介绍了适航限制项目各个部分项目的来源、内涵意义及控制要求,分享了ALS的管理方法,提出从文件接收到文件评估以及将文件纳入客户化维修方案进行管理控制的完整管理方案,最后结合案例分享了ALS管理的成功经验,为航空公司管理空客适航限制项目提供参考。     

基于证据理论的TPS诊断性能综合评定

测试程序集TPS(Test Program Set)诊断性能的评定是保证TPS质量的重要手段.针对TPS诊断性能的评定问题,研究了基于D-S(Dempster-Shafer)证据理论的综合评定方法,介绍了D-S证据理论的基本原理,提出了TPS评价验证的数学模型以及基于证据理论的TPS诊断性能综合评定的基本框架,定义了TPS诊断性能的基本概率分配函数(BPAF,Basic Probability Assignment Functions),并在此基础上提出了基于Kolmogorov-Smimov(K-S)检验的BPAF确定方法,给出了TPS诊断性能综合评定的步骤,最后对基于D-S证据理论的TPS诊断性能综合评定的有效性进行了实例分析,结果证明了该方法的有效性.