摘要：统计学专业学生数据分析能力的培养不仅是统计学一个专业或一个学科就能实现的,它需要统计学与数学、计算机等专业联合起来。在计算机类课程中,相关的课程实验占有相当一部分的课时,实验类课程或课程实验是有效提高学生数据分析能力的一个抓手,针对统计学专业学生对计算机类课程的实验课部分进行现状调查和效果分析,以期可以为提高统计学专业学生数据分析能力提供参考依据。

摘要：当代航空系统是复杂的安全关键信息物理融合系统(cyber-physical system,简称CPS).失效概率分配是民用航空系统及设备初步系统安全性评估过程的重要工作,AADL(architecture analysis and design language)适用于航电系统的设计开发,对AADL模型实施失效概率分配和安全性评估是不可或缺的.提出了基于AADL的失效概率分配方法,可将系统失效概率分配给子构件,作为其安全性需求.该方法综合考虑系统架构设计、模型复杂度和严酷度(severity)等级.通过结合失效概率分配方法和确定性随机Petri网(deterministic stochastic Petri-net,简称DSPN),进一步提出了基于AADL的安全性评估方法,将系统的AADL模型转换为DSPN模型,以计算子构件的失效概率,并评估子构件是否满足安全性需求,直到设计出满足安全性目标的架构模型.最后给出了失效概率分配方法与安全性评估方法的实现算法和工具结构,并通过将所提出的方法应用到飞行控制系统,表明所提方法能够有效地完成失效概率分配和安全性评估.