主要针对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工具的应用情况.展开更多
随着互联网的高度发展,信息物理系统的可靠性对于电子商务至关重要,因为这些系统支撑着在线交易、数据管理和用户体验。在电子商务视角下,本文提出了一种基于局部多项式回归的信息物理系统可靠性模型,并将其与两种传统的信息物理系统可...随着互联网的高度发展,信息物理系统的可靠性对于电子商务至关重要,因为这些系统支撑着在线交易、数据管理和用户体验。在电子商务视角下,本文提出了一种基于局部多项式回归的信息物理系统可靠性模型,并将其与两种传统的信息物理系统可靠性模型进行比较。此外,对模型中的参数估计采用了最小二乘估计法。最后,基于超级计算机BlueGene/L的系统的真实失效数据,利用jupyter notebook对这3类信息物理系统可靠性模型的性能进行对比分析。通过实验验证表明,局部多项式回归模型的拟合效果与预测能力更好。本文结果为电子商务的可持续发展提供了有力保障。With the high development of the Internet, the reliability of the cyber physical system is critical for e-commerce, as these systems underpin online transactions, data management and user experience. Under the perspective of e-commerce, this paper presents a reliability model of cyber physical system based on local polynomial regression, and compares it with two traditional cyber physical system reliability models. In addition, the least squares estimation method is used to estimate the parameters in the model. Finally, based on the real system failure data of supercomputer BlueGene/L, jupyter notebook is used to compare and analyze the performance of these three types of reliability models of cyber physical system. The experimental results show that the local polynomial regression model has better fitting effect and prediction ability. The results of this paper provide a strong guarantee for the sustainable development of e-commerce.展开更多
文摘主要针对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工具的应用情况.
文摘随着互联网的高度发展,信息物理系统的可靠性对于电子商务至关重要,因为这些系统支撑着在线交易、数据管理和用户体验。在电子商务视角下,本文提出了一种基于局部多项式回归的信息物理系统可靠性模型,并将其与两种传统的信息物理系统可靠性模型进行比较。此外,对模型中的参数估计采用了最小二乘估计法。最后,基于超级计算机BlueGene/L的系统的真实失效数据,利用jupyter notebook对这3类信息物理系统可靠性模型的性能进行对比分析。通过实验验证表明,局部多项式回归模型的拟合效果与预测能力更好。本文结果为电子商务的可持续发展提供了有力保障。With the high development of the Internet, the reliability of the cyber physical system is critical for e-commerce, as these systems underpin online transactions, data management and user experience. Under the perspective of e-commerce, this paper presents a reliability model of cyber physical system based on local polynomial regression, and compares it with two traditional cyber physical system reliability models. In addition, the least squares estimation method is used to estimate the parameters in the model. Finally, based on the real system failure data of supercomputer BlueGene/L, jupyter notebook is used to compare and analyze the performance of these three types of reliability models of cyber physical system. The experimental results show that the local polynomial regression model has better fitting effect and prediction ability. The results of this paper provide a strong guarantee for the sustainable development of e-commerce.
