AADL软件容错系统建模与评估_杨志义
基于外遮阳性能实测实验的LADYBUGSERIESTOOLS模拟平台可靠性验证研究
基于外遮阳性能实测实验的LADYBUG SERIES TOOLS模拟平台可靠性验证研究发布时间：2022-07-21T05:11:10.644Z 来源：《建筑实践》2022年第41卷5期作者：乌媛媛[导读]乌媛媛上海同济城市规划设计研究院有限公司摘要相比发展应用较为成熟的节能模拟软件，Ladybug Series作为新兴崛起的模拟平台，基于参数化建模软件，具备多维性能统一分析、大量数据批量计算的特性、更符合建筑方案优化工作流。
本论文以上海住宅外遮阳的节能性能为研究对象，通过实测实验的方式对该模拟平台与实际情景的拟合程度进行研究，为后续该平台广泛推广作可行性分析，也为建筑方案的模拟优化提供新思路和新工具。
关键词：节能，室内热舒适度，外遮阳一、基础研究1.研究对象及评价模型外遮阳系统作为建筑设计最常用的被动式节能手段之一[1]，对提高室内热舒适度和降低建筑能耗，效果显著。
本次实验选取最常见的水平外遮阳构件[2]作为实验对象。
本文采用兼顾人本关怀和节能目标双导向的综合评价标准——适应性模型（Adaptive Model）[3]作为评价模型。
相较PMV-PPD模型，该模型综合考虑了不同地域人群对于室内热舒适度的不同反映，更符合实际场景。
2.研究工具及方法目前国内外主流模拟平台大多聚焦外遮阳系统的节能性能，如建筑环境分析平台DeST-h[4]、全能耗综合分析平台EnergyPlus[5]等，缺乏多功能耦合和综合评价模型支持，缺少与建筑方案推导过程中多参数反复调整优化的工作流相契合的验算工具。
Ladybug Series Tools基于三维参数化建模软件Rhino，集合传统模拟平台Energyplus核心算法与建筑方案模型推演工具集，将更符合未来设计工作趋势。
在模拟平台验证层面，实测实验与模拟数据的拟合度测试仍是主流方法：选取与典型房间尺寸接近的空间作为测试空间，调试边界条件，对比实测与模拟数据变化趋势得到拟合结果，以验证模拟平台对设计优化与比选作指导的可信度[6]。
全数字电源设计
幻灯片 22
此二阶电压模式控 制执行器的最终频 率特性应如右图所 示（绿线）
请注意，低频范围 与执行器开环特性 的差异尤为明显 （蓝线）
C15L12 APS
幻灯片 19
补偿滤波器特性建模
使用小信号模型对系统响应进行建模
必须微调系统以对输入电压和负载瞬变以及注入 和辐射干扰进行补偿
REF
Σ
负载和输入瞬变
G(s)
执行器
Gcl
(s)
=
1
+
G(s) G(s)H
(
s)
输出
© 2014 Microchip Technology Incorporated.版权所有。
幻灯片 18
PWMx
ADC触发信号优化
生成的信号边沿与实际开关边沿之间的“不可见”传播延时会对控制器的PWM 信号发生器产生负面影响。当在较大的反馈斜坡内采样数值时，此相位滞后会
更加严重。
传播延时
测量误差
时间t 时间t
时间t
电感电流
PWM边沿 周期开始 ADC触发信号 50%斜坡高度
© 2014 Microchip Technology Incorporated.版权所有。
-40
增益-120特性相同 -40
-120
-50
-150
-50
-150
-60 100
1000
10000
频率[Hz]
-180 100000
-60 100
1000
10000
频率[Hz]
-180 100000
© 2014 Microchip Technology Incorporated.版权所有。
计算机在材料科学与工程中的应用
一、单选(共计100分,每题2.5分)1、对于多元线性方程拟合,下列哪个评价指标能反应回归方程的精度:()A. 复相关系数B. 决定系数C. 校正决定系数D. 残差标准差错误:【D】2、下列选项中不是渗碳过程中涉及到的应力场有: ()A. 电磁场B. 流体场C. 浓度场D. 应力场错误:【A】3、对于多元线性方程拟合,下列哪个评价指标能反应所有自变量个数的影响:()A. 复相关系数B. 决定系数C. 校正决定系数D. 残差标准差错误:【C】4、在Matlab中下列哪个函数名称是S型的正切函数: ( )A. LogsigB. TansigC. PurelinD. Mse错误:【B】5、材料科学中研究有四个要素,下列选项中不不属于四个要素的是:()A.性质与现象B.合成与加工C.资源储备D.错误:【C】6、下列选项中不属于材料基因组计划中提出的三大要素的是:()A. 计算工具B. 实验工具C. 数据库D. 创新基础结构错误:【D】7、下列选项不属于有限差分法对温度场进行模拟计算的是:()A. 对区域进行离散化,确定计算节点B. 根据模型选择合适的单元进行设定C. 建立离散方程D. 求解线性方程组错误:【B】8、在计算机控制系统中“直接数字控制系统”的缩写是?()A. DDCB. SSCC. SCCD. DCS错误:【A】9、下列选项中不属于数据库的主要特征:()A. 数据独立性B. 数据结构化C. 数据冗余D. 数据一致性错误:【C】10、PDF卡片中的质量指标“O”是指()A. 该卡片的数据质量较低B. 该卡片的数据质量较为可靠C. 该卡片的数据质量是计算出来的D. 该卡片的数据是通过全谱拟合出来的错误:【A】11、同时具备增材､等材､减材三种制备方式的材料成型工艺是:()A. SLMB. LENSC. 铸锻铣三合一错误:【C】12、以热电偶为例,其常用的采样方式有:()A. 延时采样和查询采样B. 上采样C. 下采样D. 反卷积采样错误:【A】13、PDF卡片中的质量指标“R”是指()A. 该卡片的数据质量较低B. 该卡片的数据质量较为可靠C. 该卡片的数据质量是计算出来的D. 该卡片的数据是通过全谱拟合出来的错误:【D】14、当系统的结构性质不清楚,但有若干能表征系统规律,描述系统状态的数据可利用时,常用的数学建模方法是:()A. 猜想法B. 数据分析法C. 类比法D. 理论分析法错误:【B】15、能带的概念中,下列哪个选项是错误的?()A. 能带是指接近能级的组合B. 能带是一种近似处理C. 非周期性体系可以使用能带理论进行分析D. 电子共有化使得本来处于相同状态下的电子有了细微差异形成能带错误:【C】16、材料学中PDF卡片是用来进行()分析的()A. XPSB. 拉曼光谱C. 红外光谱D. XRD错误:【D】17、PDF卡片中的Star quality是指()A. 该卡片的数据质量较低B. 该卡片的数据质量较为可靠C. 该卡片的数据质量是计算出来的D. 该卡片的数据是通过全谱拟合出来的18、与传统材料成型工艺相比,下列哪项不属于增材制造的优点:()A. 高度的定制性B. 独特的内部构型能力C. 快速工业开发能力D. 全面完备的零件检测标准和技术错误:【D】19、下面描述中不符合对于基于实例推理机制的专家系统的是:()A. 无需完整的知识结构模型B. 开发快C. 最优解可能具有局限性D. 精度高效果好错误:【D】20、在正交试验设计中,对于次要因素,我们应该:()A. 直接忽略B. 对比,任意选择C. 以节约方便选择并继续验证D. 取所有水平再做一次错误:【C】21、一元非线性方程可以通过以下哪种方式进行数据分析?()A. 傅里叶变换B. 转化成一元线性C. 因素替代法D. 拉格朗日方程处理错误:【B】22、下列哪个不是材料学中常用的物理场:()A. 温度场B. 流体场C. 大气场D. 浓度场错误:【C】23、下列选项不符合数学模型特点的是:()A. 数学模型要始于现实世界并终于现实世界B. 数学模型是从根据特定目的建立的数学结构C. 数学模型使用的数学工具越复杂越好D. 建模过程中要尊重现实对象的内在规律错误:【C】24、下列哪个软件采用了Kirkaldy模型对组织进行模拟:()A. Thermal-CalcB. Jmat-ProC. WORDD. SPSS错误:【B】25、对于一元线性方程的拟合,下列哪个选项可以作为拟合标准:()A. 残差和最小B. 残差绝对值和最小C. 残差平方和最小D. 残差平均值最小错误:【C】26、在正交试验设计中,对试验结果进行极差分析主要是:()A. 找到主次因素获得优水平组合B. 获得各列偏差平方和C. 获得数据自由度D. 进行F检验错误:【A】27、人工神经网络的优点不包括:()A. 自学习功能B. 高度线性相关性C. 具有联想存储功能D. 具有高速寻优化解功能错误:【B】28、下列选项中不是计算机技术特点的是:()A. 超强的计算能力B. 近乎无限的存储和分享能力C. 强大的组织与管理能力D. 对机器设备的感知和控制能力错误:【C】29、一个CAD系统通常包括DBMS,应用程序､图形系统,以及:()A. 方法库B. 思维库C. 智库D. 图库错误:【A】30、以BP神经网络为例,其神经网络结构主要有:()A. 前馈型､反馈型B. 优化型､集中型C. 拓扑型､德禄型D. 优赛德型､德斯型､麦斯路型错误:【A】31、通过一次DOE获得的试验参数是:()A. 最佳参数B. 可能是局部最优解C. 无需调整D. 可直接应用与生产错误:【B】32、在计算机控制系统中“集散数字控制系统”的缩写是?()A. DDCB. SSCC. SCCD. DCS错误:【D】33、下列选项中属于第二类边界条件的是: ()A. T0时温度分布B. 边界温度值的函数C. 边界的热流密度函数D. 边界的换热系数和介质温度函数错误:【C】34、在进行三维温度场分析过程中,当待分析模型为圆柱体时,可以采取的方式为:()A. 直接简化为二维模型B. 采用柱坐标进行分析C. 采用直角坐标分析D. 采用球坐标进行分析错误:【B】35、某陶瓷烧结过程中需加热至1600℃并保温15小时,那么建议采用的热电偶型号是:()A. Type JB. Type BC. Type TD. Type K错误:【B】36、对于一个数学模型的分析,下列哪个选项是不需要的:()A. 应用范围分析B. 误差分析C. 统计分析D. 数据稳定性分析错误:【A】37、对于多元线性方程拟合,下列哪个评价指标是说明所有自变量能解释Y变化的百分比:()A. 复相关系数B. 决定系数C. 校正决定系数D. 残差标准差错误:【B】38、Matlab中下列哪个工具箱可以用来对二维非稳态热传导进行求解:()A. PDE工具箱B. CST工具箱C. FLT工具箱D. NNT工具箱错误:【A】39、以BP神经网络为例,通常人工神经网络结构包括:()A. 输入层､输出层B. 神经层､隐层､输出层C. 隐层､输出层D. 输入层､隐层､输出层错误:【D】40、在热机器启动至保温过程可以近似认为:()A. 非稳态传热过程B. 稳态传热过程C. 先稳态后非稳态传热过程D. 先非稳态后稳态传热过程错误:【D】一、单选(共计100分,每题2.5分)1、对于一元线性方程的拟合,下列哪个选项可以作为拟合标准:()A. 残差和最小B. 残差绝对值和最小C. 残差平方和最小D. 残差平均值最小错误:【C】2、在正交试验设计中,对于次要因素,我们应该:()A. 直接忽略B. 对比,任意选择C. 以节约方便选择并继续验证D. 取所有水平再做一次错误:【C】3、Matlab中下列哪个工具箱可以用来对二维非稳态热传导进行求解:()A. PDE工具箱B. CST工具箱C. FLT工具箱D. NNT工具箱错误:【A】4、下列选项不符合数学模型特点的是:()A. 数学模型要始于现实世界并终于现实世界B. 数学模型是从根据特定目的建立的数学结构C. 数学模型使用的数学工具越复杂越好D. 建模过程中要尊重现实对象的内在规律错误:【C】5、能带的概念中,下列哪个选项是错误的?()A. 能带是指接近能级的组合B. 能带是一种近似处理C. 非周期性体系可以使用能带理论进行分析D. 电子共有化使得本来处于相同状态下的电子有了细微差异形成能带错误:【C】6、当系统的结构性质不清楚,但有若干能表征系统规律,描述系统状态的数据可利用时,常用的数学建模方法是:()A. 猜想法B. 数据分析法C. 类比法D. 理论分析法错误:【B】7、以BP神经网络为例,其神经网络结构主要有:()A. 前馈型､反馈型B. 优化型､集中型C. 拓扑型､德禄型D. 优赛德型､德斯型､麦斯路型错误:【A】8、下面描述中,不符合专家系统特点的是: ()A. 专家系统是一个智能计算机系统B. 内部含有大量某领域的专家知识和经验C. 一个系统能处理所有行业的问题D. 核心是推理机的算法和数据获得错误:【C】9、人工神经网络的优点不包括:()A. 自学习功能B. 高度线性相关性C. 具有联想存储功能D. 具有高速寻优化解功能错误:【B】10、下列软件中可以用于红外光谱和拉曼光谱分析的是:()A. SPSSB. ANSYSC. OriginD. WORD错误:【C】11、下列哪个选项不是正交表的特点:()A. 正交性B. 代表性C. 综合可比性D. 离散性错误:【D】12、对于一个数学模型的分析,下列哪个选项是不需要的:()A. 应用范围分析B. 误差分析C. 统计分析D. 数据稳定性分析错误:【A】13、物体各部分之间不发生相对位移,依靠分子､原子及自由电子等微观粒子的热运动进行的热量传递称为:()A. 导热B. 导电C. 扩散D. 膨胀错误:【A】14、PDF卡片中的质量指标“O”是指()A. 该卡片的数据质量较低B. 该卡片的数据质量较为可靠C. 该卡片的数据质量是计算出来的D. 该卡片的数据是通过全谱拟合出来的错误:【A】15、49. 下列选项中符合CCT图的特点的是:()A. 描述材料在等温停留过程中的组织转变B. 描述材料在不同冷却速度下的连续冷却过程中的组织转变C. 描述材料在不同冷却速度下等非连续冷却过程中的组织转变D. 描述材料受电磁场影响的升温过程错误:【B】16、PDF卡片中的质量指标“R”是指()A. 该卡片的数据质量较低B. 该卡片的数据质量较为可靠C. 该卡片的数据质量是计算出来的D. 该卡片的数据是通过全谱拟合出来的错误:【D】17、同时具备增材､等材､减材三种制备方式的材料成型工艺是:()A. SLMB. LENSC. 铸锻铣三合一D. 多维缠绕错误:【C】18、在Matlab中下列哪个函数名称是S型的正切函数: ( )A. LogsigB. TansigC. PurelinD. Mse错误:【B】19、下列选项中不属于材料基因组计划中提出的三大要素的是:()A. 计算工具B. 实验工具C. 数据库D. 创新基础结构错误:【D】20、下列选项中不属于CALPHAD方法的主要特点的是:()A. 体系热力学性质与相图热力学自洽性B. 对于磁性转变具有完整成熟的理论依据C. 可以外推和预测相图亚稳部分D. 能提供相变动力学的重要信息错误:【B】21、对于多元线性方程拟合,下列哪个评价指标是说明所有自变量能解释Y变化的百分比:()A. 复相关系数B. 决定系数C. 校正决定系数D. 残差标准差错误:【B】22、下列哪个软件采用了Kirkaldy模型对组织进行模拟:()A. Thermal-CalcB. Jmat-ProC. WORDD. SPSS错误:【B】23、材料学中PDF卡片是用来进行()分析的()A. XPSB. 拉曼光谱C. 红外光谱D. XRD错误:【D】24、CALPHAD方法主要由计算机技术､数据和()3个相互关联要素组成()A. 浓度B. 温度C. 模型D. 应力错误:【C】25、材料科学中研究有四个要素,下列选项中不不属于四个要素的是:()A.性质与现象B.合成与加工C.资源储备D.结构与成分错误:【C】26、在进行三维温度场分析过程中,当待分析模型为圆柱体时,可以采取的方式为:()A. 直接简化为二维模型B. 采用柱坐标进行分析C. 采用直角坐标分析D. 采用球坐标进行分析错误:【B】27、Hall-Petch公式主要是建立了下列关系中哪一个关系?A. 气体温度与压力的关系B. 玻璃生产中晶体和非晶体转变关系C. 晶粒直径与低碳钢屈服点的关系D. 水泥成分与凝固放热关系错误:【C】28、一元非线性方程可以通过以下哪种方式进行数据分析?()A. 傅里叶变换B. 转化成一元线性C. 因素替代法D. 拉格朗日方程处理错误:【B】29、对于多元线性方程拟合,下列哪个评价指标能反应所有自变量与Y之间的线性相关程度:()A. 复相关系数B. 决定系数C. 校正决定系数D. 残差标准差错误:【A】30、下列选项中符合TTT图的特点的是:()A. 描述材料在等温停留过程中的组织转变B. 描述材料在不同冷却速度下的连续冷却过程中的组织转变C. 描述材料在不同冷却速度下等非连续冷却过程中的组织转变D. 描述材料受电磁场影响的升温过程错误:【A】31、一个CAD系统通常包括DBMS,应用程序､图形系统,以及:()A. 方法库B. 思维库C. 智库D. 图库错误:【A】32、下列选项中属于第二类边界条件的是: ()A. T0时温度分布B. 边界温度值的函数C. 边界的热流密度函数D. 边界的换热系数和介质温度函数错误:【C】33、下列选项中不属于材料学中应力场的有:()A. 位错应力场B. 相变应力场C. 构造应力场D. 焊接应力场错误:【C】34、对于多元线性方程拟合,下列哪个评价指标能反应回归方程的精度:()A. 复相关系数B. 决定系数C. 校正决定系数D. 残差标准差错误:【D】35、与传统材料成型工艺相比,下列哪项不属于增材制造的优点:()A. 高度的定制性B. 独特的内部构型能力C. 快速工业开发能力D. 全面完备的零件检测标准和技术错误:【D】36、在计算机控制系统中“监督数字控制系统”的缩写是?()A. DDCB. SSCC. SCCD. DCS错误:【C】37、在正交试验设计中,对试验结果进行极差分析主要是:()A. 找到主次因素获得优水平组合B. 获得各列偏差平方和C. 获得数据自由度D. 进行F检验错误:【A】38、下列选项中不是计算机技术特点的是:()A. 超强的计算能力B. 近乎无限的存储和分享能力C. 强大的组织与管理能力D. 对机器设备的感知和控制能力错误:【C】39、下列哪个不是材料学中常用的物理场:()A. 温度场B. 流体场C. 大气场D. 浓度场错误:【C】40、下列选项中不属于数据库3级结构的是:()A. 外部级B. 内部级C. 概念级D. 空白级错误:【D】一、单选(共计100分,每题2.5分)1、材料科学中研究有四个要素,下列选项中不不属于四个要素的是:()A.性质与现象B.合成与加工C.资源储备D.结构与成分错误:【C】2、下列哪个软件采用了Kirkaldy模型对组织进行模拟:()A. Thermal-CalcB. Jmat-ProC. WORDD. SPSS错误:【B】3、在进行三维温度场分析过程中,当待分析模型为圆柱体时,可以采取的方式为:()A. 直接简化为二维模型B. 采用柱坐标进行分析C. 采用直角坐标分析D. 采用球坐标进行分析错误:【B】4、对于一元线性方程的拟合,下列哪个选项可以作为拟合标准:()A. 残差和最小B. 残差绝对值和最小C. 残差平方和最小D. 残差平均值最小错误:【C】5、对于多元线性方程拟合,下列哪个评价指标能反应回归方程的精度:()A. 复相关系数B. 决定系数C. 校正决定系数D. 残差标准差错误:【D】6、PDF卡片中的质量指标“O”是指()A. 该卡片的数据质量较低B. 该卡片的数据质量较为可靠C. 该卡片的数据质量是计算出来的D. 该卡片的数据是通过全谱拟合出来的错误:【A】7、以BP神经网络为例,其神经网络结构主要有:()A. 前馈型､反馈型B. 优化型､集中型C. 拓扑型､德禄型D. 优赛德型､德斯型､麦斯路型错误:【A】8、PDF卡片中的Star quality是指()A. 该卡片的数据质量较低B. 该卡片的数据质量较为可靠C. 该卡片的数据质量是计算出来的D. 该卡片的数据是通过全谱拟合出来的错误:【B】9、在计算机控制系统中“直接数字控制系统”的缩写是?()A. DDCB. SSCC. SCCD. DCS错误:【A】10、一元非线性方程可以通过以下哪种方式进行数据分析?()A. 傅里叶变换B. 转化成一元线性C. 因素替代法D. 拉格朗日方程处理错误:【B】11、同时具备增材､等材､减材三种制备方式的材料成型工艺是:()A. SLMB. LENSC. 铸锻铣三合一D. 多维缠绕错误:【C】12、当系统的结构性质不清楚,但有若干能表征系统规律,描述系统状态的数据可利用时,常用的数学建模方法是:()A. 猜想法B. 数据分析法C. 类比法D. 理论分析法错误:【B】13、下列选项中不是计算机技术特点的是:()A. 超强的计算能力B. 近乎无限的存储和分享能力C. 强大的组织与管理能力D. 对机器设备的感知和控制能力错误:【C】14、与传统材料成型工艺相比,下列哪项不属于增材制造的优点:()A. 高度的定制性B. 独特的内部构型能力C. 快速工业开发能力D. 全面完备的零件检测标准和技术错误:【D】15、对于一个数学模型的分析,下列哪个选项是不需要的:()A. 应用范围分析C. 统计分析D. 数据稳定性分析错误:【A】16、下列选项中不属于数据库的主要特征:()A. 数据独立性B. 数据结构化C. 数据冗余D. 数据一致性错误:【C】17、下列哪个不是材料学中常用的物理场:()A. 温度场B. 流体场C. 大气场D. 浓度场错误:【C】18、下列选项不属于有限差分法对温度场进行模拟计算的是:()A. 对区域进行离散化,确定计算节点B. 根据模型选择合适的单元进行设定C. 建立离散方程D. 求解线性方程组错误:【B】19、下列选项中不属于材料学中应力场的有:()A. 位错应力场B. 相变应力场C. 构造应力场D. 焊接应力场错误:【C】20、以BP神经网络为例,通常人工神经网络结构包括:()A. 输入层､输出层B. 神经层､隐层､输出层C. 隐层､输出层D. 输入层､隐层､输出层错误:【D】21、下列不属于材料科学与工程研究内容的是:()A. 市场价格B. 组成结构C. 性能错误:【A】22、对于多元线性方程拟合,下列哪个评价指标能反应所有自变量与Y之间的线性相关程度:()A. 复相关系数B. 决定系数C. 校正决定系数D. 残差标准差错误:【A】23、下列选项不符合数学模型特点的是:()A. 数学模型要始于现实世界并终于现实世界B. 数学模型是从根据特定目的建立的数学结构C. 数学模型使用的数学工具越复杂越好D. 建模过程中要尊重现实对象的内在规律错误:【C】24、下列选项中不属于材料基因组计划中提出的三大要素的是:()A. 计算工具B. 实验工具C. 数据库D. 创新基础结构错误:【D】25、PDF卡片中的质量指标“R”是指()A. 该卡片的数据质量较低B. 该卡片的数据质量较为可靠C. 该卡片的数据质量是计算出来的D. 该卡片的数据是通过全谱拟合出来的错误:【D】26、Hall-Petch公式主要是建立了下列关系中哪一个关系?A. 气体温度与压力的关系B. 玻璃生产中晶体和非晶体转变关系C. 晶粒直径与低碳钢屈服点的关系D. 水泥成分与凝固放热关系错误:【C】27、下列选项中符合TTT图的特点的是:()A. 描述材料在等温停留过程中的组织转变B. 描述材料在不同冷却速度下的连续冷却过程中的组织转变C. 描述材料在不同冷却速度下等非连续冷却过程中的组织转变D. 描述材料受电磁场影响的升温过程错误:【A】28、在Matlab中下列哪个函数名称是基于梯度下降法的学习函数: ()A. NewcfB. PurelinC. MseregD. Learngd错误:【D】29、下列选项中不属于数据库3级结构的是:()A. 外部级B. 内部级C. 概念级D. 空白级错误:【D】30、某陶瓷烧结过程中需加热至1600℃并保温15小时,那么建议采用的热电偶型号是:()A. Type JB. Type BC. Type TD. Type K错误:【B】31、在计算机控制系统中“集散数字控制系统”的缩写是?()A. DDCB. SSCC. SCCD. DCS错误:【D】32、材料学中PDF卡片是用来进行()分析的()A. XPSB. 拉曼光谱C. 红外光谱D. XRD错误:【D】33、在正交试验设计中,对于次要因素,我们应该:()A. 直接忽略B. 对比,任意选择C. 以节约方便选择并继续验证D. 取所有水平再做一次错误:【C】34、在Matlab中下列哪个函数名称是S型的正切函数: ( )A. LogsigB. TansigC. PurelinD. Mse错误:【B】35、在正交试验设计中,对试验结果进行极差分析主要是:()A. 找到主次因素获得优水平组合B. 获得各列偏差平方和C. 获得数据自由度D. 进行F检验错误:【A】36、能带的概念中,下列哪个选项是错误的?()A. 能带是指接近能级的组合B. 能带是一种近似处理C. 非周期性体系可以使用能带理论进行分析D. 电子共有化使得本来处于相同状态下的电子有了细微差异形成能带错误:【C】37、人工神经网络的优点不包括:()A. 自学习功能B. 高度线性相关性C. 具有联想存储功能D. 具有高速寻优化解功能错误:【B】38、CALPHAD方法主要由计算机技术､数据和()3个相互关联要素组成()A. 浓度B. 温度C. 模型D. 应力错误:【C】39、下列哪个选项不是正交表的特点:()A. 正交性B. 代表性C. 综合可比性D. 离散性错误:【D】40、49. 下列选项中符合CCT图的特点的是:()A. 描述材料在等温停留过程中的组织转变B. 描述材料在不同冷却速度下的连续冷却过程中的组织转变C. 描述材料在不同冷却速度下等非连续冷却过程中的组织转变D. 描述材料受电磁场影响的升温过程错误:【B】一、单选(共计100分,每题2.5分)1、CALPHAD方法主要由计算机技术､数据和()3个相互关联要素组成()A. 浓度B. 温度C. 模型D. 应力错误:【C】2、对于多元线性方程拟合,下列哪个评价指标能反应所有自变量个数的影响:()A. 复相关系数B. 决定系数C. 校正决定系数D. 残差标准差错误:【C】3、Johnson-Mehl-Avrami公式主要是用于描述:()A. 材料机械性能与温度的关系B. 材料晶体结构C. 非晶材料转变过程D. 再结晶动力学错误:【D】4、下列选项不符合数学模型特点的是:()A. 数学模型要始于现实世界并终于现实世界B. 数学模型是从根据特定目的建立的数学结构C. 数学模型使用的数学工具越复杂越好D. 建模过程中要尊重现实对象的内在规律错误:【C】5、某陶瓷烧结过程中需加热至1600℃并保温15小时,那么建议采用的热电偶型号是:()A. Type JB. Type BC. Type TD. Type K错误:【B】6、在计算机控制系统中“直接数字控制系统”的缩写是?()A. DDCB. SSCC. SCCD. DCS错误:【A】7、下列不属于材料科学与工程研究内容的是:()A. 市场价格B. 组成结构C. 性能D. 制备工艺错误:【A】8、Matlab中下列哪个工具箱可以用来对二维非稳态热传导进行求解:()A. PDE工具箱B. CST工具箱C. FLT工具箱D. NNT工具箱错误:【A】9、一个CAD系统通常包括DBMS,应用程序､图形系统,以及:()A. 方法库B. 思维库C. 智库D. 图库错误:【A】10、下列选项中属于第二类边界条件的是: ()A. T0时温度分布B. 边界温度值的函数C. 边界的热流密度函数D. 边界的换热系数和介质温度函数错误:【C】11、下列哪个选项不是正交表的特点:()A. 正交性B. 代表性C. 综合可比性D. 离散性错误:【D】12、PDF卡片中的质量指标“R”是指()A. 该卡片的数据质量较低B. 该卡片的数据质量较为可靠C. 该卡片的数据质量是计算出来的D. 该卡片的数据是通过全谱拟合出来的错误:【D】13、49. 下列选项中符合CCT图的特点的是:()A. 描述材料在等温停留过程中的组织转变B. 描述材料在不同冷却速度下的连续冷却过程中的组织转变C. 描述材料在不同冷却速度下等非连续冷却过程中的组织转变D. 描述材料受电磁场影响的升温过程错误:【B】14、能带的概念中,下列哪个选项是错误的?()A. 能带是指接近能级的组合B. 能带是一种近似处理C. 非周期性体系可以使用能带理论进行分析D. 电子共有化使得本来处于相同状态下的电子有了细微差异形成能带错误:【C】15、下列选项中不属于材料学中应力场的有:()A. 位错应力场B. 相变应力场C. 构造应力场D. 焊接应力场错误:【C】16、下列软件中可以用于红外光谱和拉曼光谱分析的是:()A. SPSSB. ANSYSC. OriginD. WORD错误:【C】17、以热电偶为例,其常用的采样方式有:()A. 延时采样和查询采样B. 上采样C. 下采样D. 反卷积采样错误:【A】18、在Matlab中下列哪个函数名称是S型的正切函数: ( )A. LogsigB. TansigC. PurelinD. Mse错误:【B】19、以BP神经网络为例,其神经网络结构主要有:()A. 前馈型､反馈型B. 优化型､集中型C. 拓扑型､德禄型D. 优赛德型､德斯型､麦斯路型错误:【A】20、下面描述中不符合对于基于实例推理机制的专家系统的是:()A. 无需完整的知识结构模型B. 开发快C. 最优解可能具有局限性D. 精度高效果好错误:【D】21、通过一次DOE获得的试验参数是:()A. 最佳参数B. 可能是局部最优解C. 无需调整D. 可直接应用与生产错误:【B】22、在热机器启动至保温过程可以近似认为:()A. 非稳态传热过程B. 稳态传热过程C. 先稳态后非稳态传热过程D. 先非稳态后稳态传热过程错误:【D】23、与传统材料成型工艺相比,下列哪项不属于增材制造的优点:()A. 高度的定制性B. 独特的内部构型能力C. 快速工业开发能力D. 全面完备的零件检测标准和技术错误:【D】24、在正交试验设计中,对于次要因素,我们应该:()A. 直接忽略B. 对比,任意选择C. 以节约方便选择并继续验证D. 取所有水平再做一次错误:【C】25、下列哪个软件采用了Kirkaldy模型对组织进行模拟:()A. Thermal-CalcB. Jmat-Pro。
Ad_Hoc网络问题的研究(原文)
全国第三届研究生数学建模竞赛题目：Ad Hoc网络中的区域划分和资源分配问题的研究摘要：针对Ad Hoc网络中的区域划分和资源分配问题，本文根据优化设计的思想充分权衡各方面的因素，利用图论、排队论等方面的知识对问题作出了深入的研究和具体建模。
关于区域划分问题，在充分保证不出现通信盲区前提下，分别就有湖泊和无湖泊两种情况建立最优化模型。
借助Matlab数学软件利用计算机搜索求解的方法，分别以圆的半径和圆心坐标为搜索因子对整个正方形通信区域进行遍历，求解出最优区域划分。
进一步建立了着色模型对于信道安排问题作出具体求解。
问题一中相交面积占整圆面积的5％和18％这两种情况时的最少圆的个数分别为：45、64，最少需要3条信道，并得到具体的区域划分图及信道安排着色图（见picture 6）。
问题二在有湖泊和圆半径变动的情况下得到最小的圆半径之和为4314.8，同时给出了区域划分方案和信道安排的着色图（见picture 7 ）。
问题三基于附表一的调研数据，分别针对有湖和无湖两种情况进行建模求解，得到最小的半径之和分别为：4034.4、4213.5，并分别给出最优的区域划分方式和信道的具体着色图形（分别见picture12~15 ）。
对于网络的抗毁性本文主要从图论的连通性方面入手，利用最大流量最小割集定理，分别对各划分方式的抗毁性作出具体的讨论，得到Ad Hoc网络的抗毁性较强。
问题四在问题三无湖泊的情况下，利用计算机仿真用户的移动，具体讨论了前十位用户移动时对整体网络连通性的影响。
问题五在问题三网络划分的基础上，从节点的能源消耗方面入手，建立最小最大模型，最小：工作时间最短的节点（第一个退出网络的节点）；最大：第一个退出网络的节点的工作时间最长，根据模型求解得到较为节能的区域划分方式及信道安排（见picture 17 ）。
并通过对该网络的运行状况进行分析，对组网方式提出的合理的改进意见。
问题六在问题五区域划分方式的基础上通过排队论模型，对信息通信中的丢包概率进行分析，进而对此时网络的通信质量作出了定量评价。
最新奥鹏东北大学21春学期《软件工程与UML建模》在线平时作业1-参考答案
东北大学
东大奥鹏远程教育
21春学期《软件工程与UML建模》在线平时作业1
参考答案
试读一页
东北大学-21春学期《软件工程与UML建模》在线平时作业1
1. 在实际的开发过程中，纠正了程序中的错误之后，还应该选择部分或全部原先已测试过的用例，对修改后的程序重新测试，这种测试称为（）。
【选项】：
A 验收测试
B 强度测试
C 系统测试
D 回归测试
【答案】：D
2. 对于软件的特征量描述错误的是（）
【选项】：
A 软件特征量是指一个系统、不见或者过程的一个给定属性的程度的定量度量。
B 软件开发程序的行数或功能点数可以作为软件规模的特征量
C 软件周期中所涉及到的钱数可以作为开发成本的特征量
D 从需求分析到软件交付使用所需要的时间可以作为开发期限。
清华大学学报(自然科学版)
（ ） ： 3 4 3 5 6 5 基于支持向量机的分级调制识别方法 …………………………………………… 李俊俊，陆明泉，冯振明 " ) % " " （ ） ： 3 4 3 5 6 B 无线传感器网络中的能量有效空时分集算法 …………………………………… 李安新，王有政，许帏宇，等 " ) % " ) 3 4 3 5 6 4 支持高速城域无线F G接入的双脉冲预约协议 …………………………………… 姜红旗，林孝康 3 4 3 5 6 8 延时反馈多天线信道的线性预编码方案 ………………………………………… 程锦霞，周世东，姚 彦 （ ） ： " ) % " & （ ） ： " ) % $ !
炫，王生进，丁晓青 晔，崔慧娟，唐
3 4 6 3 6 2 基于谱减的语音增强算法的改进 ………………………………………………… 李 晔，崔慧娟，唐 昆 ／ 3 4 6 3 6 A ! 2相移非正方形 ; > ! <; 调制方式 …………………………………………… 刘昌清，杨知行，郭兴波 3 4 6 3 6 5 专用网 D 7 G E 协议性能优化研究 ………………………………………………… 杨 洋，陆 洋，林孝康 基于 的大型网络仿真场景生成技术………………………………………… 李惠杰，徐晓慧，林孝康 3 4 6 3 6 B R ; <
健，王作英
・ 计算机科学与技术 ・
（ ） ： ! " ! # # * 面向集群的消息传递并行程序容错系统 ………………………………………… 薛瑞尼，张悠慧，陈文光，等 " ! # % （ ） ： ! " ! # # + 基于用户反馈和增量学习的垃圾邮件识别方法 ………………………………… 王 鑫，陈光英，段海新，等 " ! % " 基于幅度差平方和函数的基音周期提取算法 …………………………………… 刘 建，郑 方，吴文虎 （ ） ： ! " ! # . ! " ! % ) （ ） ： ! " ! # . # 基于概率频度的普通话韵律结构预测统计模型 ………………………………… 郑 敏，蔡莲红 " ! % * （ ） ： 0 9 @ 2 ………………………………………… 朱子玉，李三立，都志辉，等 " ! * ( ! " ! # . . 基于网格的先进分布式仿真系统 & ! " ! # . 1 基于语音声学特征的情感信息识别 ……………………………………………… 蒋丹宁，蔡莲红 ! " ! # . : 高性能可重构指令集架构模拟技术 ……………………………………………… 王 琦，顾 瑜，汪东升 ! " ! # . < 基于上下文相关置信度打分的语音确认方法 …………………………………… 孙 辉，郑 ! " ! # . " 改进的扫描森林测试结构 ………………………………………………………… 李开伟，向 方，吴文虎 东 （ ） ： " ! * # （ ） ： " ! $ " （ ） ： " ! $ ) （6 B 基于镜像学习和复合二次距离的手写汉字识别 ………………………………… 刘海龙，丁晓青 " * $ ! ’ ( 基于 判决树的视频多路传输 ……………………………………………… 路 羊，汪志兵，崔慧娟，等 （ ） ： 3 4 3 8 6 4 ; ’ / M O " * $ ! ) ’ 3 4 3 8 6 8 基于 D : N 信息的H 1 F P 2编码算法 ………………………………………………… 尚俊卿，刘长松，丁晓青 正交频分多址接入系统的上行载波同步跟踪方法 ……………………………… 倪祖耀，匡麟玲，陆建华 3 4 3 8 6 9 3 4 3 8 6 = 利用语音残留冗余的 Q ( G : 译码算法 …………………………………………… 田秋玲，王 3 4 3 8 2 3 N > ( 域对比度最小化解 7 < N( @ * /模糊………………………………………… 于明成，许 ? ? 3 4 3 8 2 6 基于概率图模型技术的柱面全景图生成算法 …………………………………… 赵 3 4 3 8 2 2 基于 G J; 扫描算法的启动子区域统计分析 …………………………………… 荀 基于能量和鉴别信息的语音端点检测算法 ……………………………………… 李 3 4 3 8 2 A 靓，张 稼，彭应宁 （ ） ： " * $ ! ) * （ ） ： " * $ ! % "
存储HCIP复习题及答案
存储HCIP复习题及答案一、单选题（共38题，每题1分，共38分）1.以下哪个协议不属于NAS协议A、CIFSB、NFSC、FTPD、FC正确答案：D2.华为18000v3系列产品引擎间的控制信息流和业务数据流通过以下哪个部件来传输的A、kvmB、pcie交换机C、svpD、10ge交换机正确答案：B3.在oceanstorv3存储中，NFS不支持如下哪一种验证方式？A、NISB、LADPC、本地认证D、AD域正确答案：D4.关于华为Oceanstor9000系统的组网,以下哪个选项描述是正确的?A、无论是前端业务网络、还是后端存储网络,都推荐使用两台交换机连接所有的节点,实现冗余B、仅需要将存储节点连接到管理网络,其他设备不需要连接到管理网络C、前端业务网络的交换机可进行堆叠,后端存储网络交换机不推荐进行堆叠D、为满足管理需求,仅需要集群的前三个节点连接到管理网络正确答案：A5.下面属于华为存储danger类型的高危命令的时哪个命令？A、rebootsystemB、importconfiguration_dataC、changalarmclearsequencelist=3424D、showalarm正确答案：A6.某客户单位购买了9台OceanStor9000存储节点,规划部署时要求任意三块硬盘一个存储节点故障,不影响数据的完整性,且整体存储空间利用率不低于80%,以下选项中元余配比合适的是:A、6+3B、6+3:1C、8+1D、16+3:1正确答案：D7.同事为客户定制华为双活容灾方案，客户已经有一套OceanStorS5500TV2和一套第三方存储系统，把这两套设备分别放置到两个数据中心实施双活容灾，该方案：A、不可行，主备容灾方案需要至少套OceanStorV3存储。
B、不可行，主备容灾方案需要至少套OceanStor5300V3及以上型号的存储系统才能实现。
C、可行，存储设备满足双活容灾方案要求。
系统辨识讲义
一个极简单的参数方法例子
我们测得0—N采样时刻的输入输出数据，即
u (0), u (1)," , u ( N − 1), u ( N ) y (0), y (1)," , y ( N − 1), y ( N )
假定系统的模型属于如下的模型类：
y ( k ) + ay ( k − 1) = bu (k − 1) + v(k )
k =1
N
∂V (θ ) N = ∑ 2ay 2 (k − 1) + 2 y (k ) y (k − 1) − 2by (k − 1)u (k − 1) ∂a k =1 ∂V (θ ) N = ∑ 2bu 2 (k − 1) − 2 y (k )u (k − 1) − 2ay (k − 1)u (k − 1) ∂b k 等：子空间辨识
1990年代，为了克服PEM针对多变量系统辨识
时需要进行非线性优化，以及IV不能同时辨识 出噪声模型的缺点。Bart De Moor, Verhaegen 等提出了针对多变量系统的subspace identification methods。该类方法不是基于优化 某个criterion，主要用到矩阵的奇异值分解， 无需非线性优化，因而计算量较小。
1.2 模型
数学模型是用来描述系统行为的数学语
言。 非线性系统的数学模型是非线性状态方 程和输出方程。线性系统的数学模型可 以有多种相互等价的形式：状态空间方 程、传递函数、阶跃响应、差分方程等。
扰 动 输入
系统
输出
1.3 建模的两大类方法
机理分析法(first principles modeling）或称为白
何求取参数估计值。least-squares, prediction error, instrumental variable 参数估计算法的统计性质：无偏性、一致性。 如何验证所得模型的有效性？如何选择模型阶数？
产品可靠性设计与分析
性
性
靠
预
预
性
测
测
预 测
可靠性分配
按
按
相
单
等
对
元 复
分
失
杂
配
效
度
法
率
和 重
分
要
配
度
14
系统可靠性设计（System reliability design）
定义：通过预测、分配、分析、改进等一系列可靠性
计算和可靠性工程活动，把定量的可靠性目标值设计到 技术文件和图纸中去，形成系统的固有可靠性。
可靠性预测
可靠性指标体系
Characteristic quantity of reliability
4
可靠性指标体系（Characteristic quantity of reliability）
可 靠 度
失 效 率
平 均 寿 命
可靠性定义
可靠性评价指标
规
规
规
定
定
定
条
时
功
件
间
能
维 修 度
有 效 度
可 靠 寿 命
R(100) =
84 100
=
0.84
工作400h后尚有72个轴承可以继续工作，故
R(400) =
72 100
=
0.72
产品出厂时，其时间 t = 0，失效数量 n(0) = 0，故 R(0) = 1
，随着使用时间(包括运输、贮存及使用等)的增加，失效数不断增加，因
而可靠度相应逐渐减小。所有的产品，不论其寿命有多长，在使用过程
32
∑ Rs = Rsi = 0.95376 i =1
井间ERT电极阵列优化及监测实验系统设计与开发
关键词井间电阻层析成像$监测实验系统$电极阵列优化$有限元$二氧化碳$地质封存
R$&0#0S*&0","5E.'1&("3'/((*85"(!("++NG".'EJM*,36'D'."$#',& "5)",0&"(0,7EO$'(0#',&*.28+&'#
_F CID2UB6L2G%&gF [L2GIB4%&g/;< :J21IJ2G%&(/9 ;42GIL2G"&$&:l _D4SD2G"&$
:'8;"(3+)CKLOOMILADDAD16K41JAKDO4O6J21D6LQLGKJ7IU$QL246LK42GDV7DK4QD26JAOUO6DQ$L764Q4ZJ64L2LSDAD16KLPDJKKJU$S246DDAM
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
态认证的规约，可用于软件任务和通讯结构的描述以及分布式 多处理器硬件结构的描述。它包含了所有 ADL[2] 的标准概念 : 构件、描述构件间接口的连接器和构件间的连接。AADL 构件 类型分为三类 ：软件构件（进程、线程、线程组、子程序和数 据）、硬件构件（处理器、总线、内存和设备）和一个系统构件。 构件间通过端口，子程序调用和共享数据进行通讯。
摘要 ：提出了一种解决软件容错系统的可靠性评估方法，该方法基于 AADL，对嵌入式软件系统进行建模，详细分析了软件系统内部各种构 件的各种错误状态和其之间的错误传播，构建了 AADL 软件系统错误模型，并根据基本的转换规则将其转化为广义随机 Petri 网模型，使用现有 工具对其进行了计算，从而实现了软件容错系统的可靠性评估 ；以航空交通控制 (ATC) 为应用场景进行实验，根据经验数据适当的假设了部分构 件的失效率，收到了较好效果。
关键词 ：AADL ；可靠性 ；广义随机 Petri 网 ；ATC
Modeling and Assessment of Reliability of a Software Fault Tolerant System Using AADL
Yang Zhiyi, Zhang Chenyu, Dong Yunwei
2 容错系统模型设计
2.1 应用需求背景
在控制系统中，当发生软硬件错误时，为了能立即从错误 状态中恢复过来，加强系统的可靠性，常采用冗余的方法。文 献 [4] 中提出的 ATC 子系统，本文对 ATC 模型进行了简化，
中华测控网
· 780 ·
计算机测量与控制
第 17 卷
将系统分为两部分 ：飞机子系统和雷达子系统。 飞机子系统通过中间件发送数据给雷达子系统，雷达子系
中华测控网
第4期
杨志义，等：AADL软件容错系统建模与评估
· 781 ·
S1 ～ S7 对应其对应软件的 7 种错误状态，P1 ～ P11 对应 11
种迁移，转换关系归纳如表 2 所示，A->B 表示第一列中的状
态向第一行状态的转移。
表 2 软件错误状态转换关系
A->B S1 S2 S3 S4 S5 S6 S7
3 基于AADL的系统可靠性模型
飞机程序、中间件和雷达程序在实际系统中分别为一组 进程，对应使用 AADL 中的进程表示，定义为 flight_process、 radar_process 和 middle_process。 飞 机 程 序 和 雷 达 程 序 中 的 具 体执行单元 ：主控构件、备用部分和监测部分使用 AADL 中 的线程表示 , 定义为 ：Comp1、Comp2 和 Observer。飞机程序 和雷达程序的主控构件和备用部分虽然可同时并行运行，但 不可同时发挥控制作用，故规定两个进程分别有两个状态 ： Comp1_mode、Comp2_mode，Comp1_mode 状 态 下 Comp1 发 挥 控制作用，Comp2_mode 状态下 Comp2 发挥控制作用，控制作 用主要体现在当前状态下线程构件与上级进程的连接上，即虽 然 Comp1 和 Comp2 同时进行运算，但只有起控制作用的构件可 将数据送出。Observer 根据系统设计，周期性的监测 Comp1 和 Comp2 是否发生了错误，如果发生了错误，则根据 2.2 节进行错 误处理。如果错误需要软件重启，Observer 会通知 flight_process 和 radar_process 进行状态的转换。AADL 模型结构如图 3 所示。
发生错误P1 错误状态
检测到错误P2
10ms
Comp1
10ms
Comp2
flight_process
Comp1_mode
Comp2_mode
10ms
Observer
10ms
Comp1
Comp1_mode Comp2_mode
10ms
Comp2
10ms
Observer
P3
检测错误
P4
其它 构件
P5 没有发现错误
Key words: AADL; reliability; GSPN; ATC
0 引言
系统的冗余设计是提高系统可靠性的主要手段，在嵌入 式系统设计时，对系统冗余失效及其错误进行建模是件困难 的事。为了描述软件错误以及其传播方式，本文基于 AADL （Architecure Analysis and Design Language）对系统模型中的错 误进行建模，将 AADL 模型转换成 GSPN 模型，对系统的软 件故障进行评估 [1]。
软件错误状态转换和 AADL 错误模型的对应关系如表 1
所示。
表 1 状态转换和 AADL ate
发生事件
error event
错误传播
out error propagation
4 软件AADL错误模型
由图 2 可看出，软件错误状态共有 7 种和 11 种迁移，以
当前错误 是明显的
发现错误 P6
错误处理
AADL软件容错系统
middle_thread middle_process
图3 AADL软件容错系统
P10
重启
P11
P7 永久性错 误处理P9
故障状态
暂时性错 误处理P8
图2 软件错误状态模型
当主控构件发生错误时，可在启动备用构件的同时对其进 行修复。但如果修复失败，即构件发生故障，则会降低系统的 冗余度，使系统处于不可靠状态，因为如果备用构件再发生错 误，系统就会立即崩溃。当系统出现这种情况时，认为系统发
S1
S2
S3
S4
S5
S6
S7
P1
P2
P3
P4
P5
P7
P6
P8
P9
P10
P11
将错误归纳为四种 ：暂时性错误、永久性错误、没有发现错误 且错误是明显的、没有发现错误且错误是隐藏的。
1 AADL及相关研究
AADL 是 2004 年 11 月由自动化工程师协会发布的航空标 准 AS5506，又叫结构分析设计语言。AADL 基于模型技术对 系统进行建模，主要是对实时、嵌入式、容错、安全分区和动
收稿日期 ：2008-09-03 ； 修回日期 ：2008-10-10。 基金项目 ：国家 863 计划重大专项项目（2007AA010304）；国家自然 科学基金项目（60736017）。 作者简介 ：杨志义（1952-），男，教授，主要从事计算机应用方向的研究。 董云卫（1968-），男 , 教授，主要从事嵌入式软件设计与验证和嵌入 式软件可靠性测试方向的研究。
AADL 可以使用三种模式进行描述 ：文本、图形和 XML， 且这三种模式之间可以相互转化。由 AADL 生成的模型可 生 成 C 和 Ada 代 码。AADL 可 与 UML 结 合， 现 已 有 针 对 UML1.4 和 UML2.0 的 AADL 开发草案，但真正标准还要再晚 一些时候才能出来。在扩展方面，AADL 有 Error Model Annex 和 Arinc 653 Annex 两种模式，只要符合 Annex 规范，用户也 可以创建自己的扩展库。
( College of Computer, Northwestern Polytechnical University, Xi an 710072，China)
Abstract: This paper presents a method to solve the problem of reliability of the fault tolerant of the software system based on AADL. After modeling the software system, we anatomy the error states and the error propagations, and build the AADL software error model, then which is converted to GSPN (General Stochastic Petri Net) according to the basic rules. By calculating the GSPN model, we can assess the reliability of the software fault tolerant system. This paper use ATC (Air Traffic Control System) as the experiment background, according to the experience data assuming some components’ failure rate, and receiving a good result.
与此同时，为了提高嵌入式系统的开发效率、降低开发成 本，系统设计需要综合的设计方法和验证、评测工具描述系 统的规约和系统的架构，并在设计过程中进行系统可靠性分 析。国际自动化工程师学会制定一套针对系统结构的建模的标 准 AADL，该标准已被证明是高效的。为了评估模型的可靠 性，国际自动化工程师学会又补充开发了 AADL Error Model Annex，本文利用 AADL 的模型机制和 Error Model 对容错系 统进行了建模分析。
飞机程序 连接
监测部分
连接
主控构件
备用构件
雷达程序 连接
监测部分
连接
主控部件
备用构件
软件子系统
中间件
图1 软件系统结构
2.2 软件的错误状态分析 在系统运行过程中，针对软件错误 [1]，建立相应的软件错
误模型，如图 2 所示。
正常
生一次故障。 软件错误模型中，软件最初时处于正常状态，其会以 P1
的概率发生错误而转到错误状态 ；错误状态下，监测部件以 P2 的概率监测到错误的发生，转到检测错误状态，开始检测错误 所在，分别以 P4 和 P3 的概率发现错误所在和没有发现错误所 在 ；发现错误后，有 P6 的概率当前的错误是可以处理的，可 以处理的错误又分为暂时性错误和永久性错误 [2] ；如果没有发 现错误，程序还将继续运行，当前的错误会通过对外端口传播 给其它程序，定义对外错误传播概率为 P5，但如果错误是明 显的，即当前错误已经导致了程序明显不正常，则直接转移到 重启状态 ；在重启状态，如果重启失败，则发生软件故障，系 统崩溃，但概率非常低，定义为 P11。由于软件的重启较耗时， 在主控构件重启过程中，监测部件使用备用构件替换。