主要针对AADL(architecture analysis and design language)嵌入式系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(general stochastic Petri net,简称GSPN)可靠性计算模型的转换,并基于GSPN可靠性计算模型对嵌入式...主要针对AADL(architecture analysis and design language)嵌入式系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(general stochastic Petri net,简称GSPN)可靠性计算模型的转换,并基于GSPN可靠性计算模型对嵌入式系统进行可靠性评估.为了支持可靠性分析评估过程的自动化,根据模型转换的形式化方法,设计并实现了AADL可靠性评估工具(AADL reliability assessment model tool,简称ARAM),该工具集成在AADL体系结构设计工具OSATE(the open source AADL tool environment)中,并内置Petri网计算工具PIPE2(platform independent Petri net editor2),实现基于GSPN模型的可靠性分析评估.同时,结合航空飞行控制系统的可靠性分析评估介绍了ARAM工具的应用情况.展开更多
针对以指挥信息系统为典型的复杂任务型软件试验鉴定领域中可靠性评估问题,在总结现有评价方法的基础上,提出了基于系统状态特征分析的可靠性评估方法。首先,从软件使命任务的角度解析系统的状态特征,设计充分覆盖系统典型应用样式及状...针对以指挥信息系统为典型的复杂任务型软件试验鉴定领域中可靠性评估问题,在总结现有评价方法的基础上,提出了基于系统状态特征分析的可靠性评估方法。首先,从软件使命任务的角度解析系统的状态特征,设计充分覆盖系统典型应用样式及状态特征的测试用例,通过定义“使用强度”,替代原有可靠性评价中“持续时间”指标,在此基础上收集可靠性失效数据,并给出软件可靠性增长模型(software reliability and growth model,SRGM)参数估计及可靠性评估过程。最后通过某任务型软件的可靠性评估试验,验证提出方法在工程实践中的可行性,同时给出了工程示例中收集的真实失效数据和SRGM参数估计结果,确保研究成果真实性和可复现性。展开更多
星形共直流母线多端口电力电子变压器(star common DC bus multiport power electronic transformer,SBM-PET)各端口故障相互独立,具有多运行状态特点,目前缺少能有效表征其多状态可靠性的数学解析模型。为此提出一种SBM-PET多状态可靠...星形共直流母线多端口电力电子变压器(star common DC bus multiport power electronic transformer,SBM-PET)各端口故障相互独立,具有多运行状态特点,目前缺少能有效表征其多状态可靠性的数学解析模型。为此提出一种SBM-PET多状态可靠性模型,并将其应用于交直流配电网可靠性评估。首先分析了SBM-PET结构及工作原理,根据SBM-PET各组成模块特点及故障影响范围对其进行功能模块划分,在此基础上考虑元件冗余配置建立SBM-PET各功能模块可靠性模型。然后根据SBM-PET各功能模块停运情况,基于马尔可夫过程建立SBM-PET多状态可靠性模型,求解SBM-PET不同状态下的概率、频率及平均持续时间可靠性指标,并基于此建立交直流配电网可靠性评估模型。最后算例分析计算了SBM-PET多状态可靠性及交直流配电网可靠性,结果验证了所提模型的有效性。展开更多
传统软件可靠性模型通常过于依赖假设条件,难以适应复杂的实际情况。为此,本文提出了一种基于高斯过程回归(Gaussian Process Regression, GPR)的软件可靠性非参数模型。该模型结合了机器学习和高斯过程核,从失效数据中提取样本特征之...传统软件可靠性模型通常过于依赖假设条件,难以适应复杂的实际情况。为此,本文提出了一种基于高斯过程回归(Gaussian Process Regression, GPR)的软件可靠性非参数模型。该模型结合了机器学习和高斯过程核,从失效数据中提取样本特征之间的相关关系。与传统可靠性模型相比,本文提出的模型具有更广泛的应用效果。通过对两组真实数据进行对比分析,结果显示本文提出的可靠性模型具有更好的拟合效果和预测能力。展开更多
文摘主要针对AADL(architecture analysis and design language)嵌入式系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(general stochastic Petri net,简称GSPN)可靠性计算模型的转换,并基于GSPN可靠性计算模型对嵌入式系统进行可靠性评估.为了支持可靠性分析评估过程的自动化,根据模型转换的形式化方法,设计并实现了AADL可靠性评估工具(AADL reliability assessment model tool,简称ARAM),该工具集成在AADL体系结构设计工具OSATE(the open source AADL tool environment)中,并内置Petri网计算工具PIPE2(platform independent Petri net editor2),实现基于GSPN模型的可靠性分析评估.同时,结合航空飞行控制系统的可靠性分析评估介绍了ARAM工具的应用情况.
文摘针对以指挥信息系统为典型的复杂任务型软件试验鉴定领域中可靠性评估问题,在总结现有评价方法的基础上,提出了基于系统状态特征分析的可靠性评估方法。首先,从软件使命任务的角度解析系统的状态特征,设计充分覆盖系统典型应用样式及状态特征的测试用例,通过定义“使用强度”,替代原有可靠性评价中“持续时间”指标,在此基础上收集可靠性失效数据,并给出软件可靠性增长模型(software reliability and growth model,SRGM)参数估计及可靠性评估过程。最后通过某任务型软件的可靠性评估试验,验证提出方法在工程实践中的可行性,同时给出了工程示例中收集的真实失效数据和SRGM参数估计结果,确保研究成果真实性和可复现性。
文摘星形共直流母线多端口电力电子变压器(star common DC bus multiport power electronic transformer,SBM-PET)各端口故障相互独立,具有多运行状态特点,目前缺少能有效表征其多状态可靠性的数学解析模型。为此提出一种SBM-PET多状态可靠性模型,并将其应用于交直流配电网可靠性评估。首先分析了SBM-PET结构及工作原理,根据SBM-PET各组成模块特点及故障影响范围对其进行功能模块划分,在此基础上考虑元件冗余配置建立SBM-PET各功能模块可靠性模型。然后根据SBM-PET各功能模块停运情况,基于马尔可夫过程建立SBM-PET多状态可靠性模型,求解SBM-PET不同状态下的概率、频率及平均持续时间可靠性指标,并基于此建立交直流配电网可靠性评估模型。最后算例分析计算了SBM-PET多状态可靠性及交直流配电网可靠性,结果验证了所提模型的有效性。
文摘传统软件可靠性模型通常过于依赖假设条件,难以适应复杂的实际情况。为此,本文提出了一种基于高斯过程回归(Gaussian Process Regression, GPR)的软件可靠性非参数模型。该模型结合了机器学习和高斯过程核,从失效数据中提取样本特征之间的相关关系。与传统可靠性模型相比,本文提出的模型具有更广泛的应用效果。通过对两组真实数据进行对比分析,结果显示本文提出的可靠性模型具有更好的拟合效果和预测能力。