首页 > 最新文献

2017 Annual Reliability and Maintainability Symposium (RAMS)最新文献

英文 中文
Multiple priors integration for reliability estimation using the Bayesian melding method 基于贝叶斯融合方法的多先验积分可靠性估计
Pub Date : 1900-01-01 DOI: 10.1109/RAM.2017.7889799
Z. Li, Jian Guo, N. Xiao, Wei Huang
Prior information and elicitation are the prerequisite in Bayesian reliability inference. Multiple sources for priors such as probability fitting based on historical data and expert judgment are often available when estimating the reliability of complex systems. This paper investigates the integration of multiple priors in Bayesian reliability analysis. Specifically, methods for multiple priors' integration based on Bayesian Melding are investigated. The performance of the studied methods with different prior information integration algorithms such as the arithmetic and geometric averaging is investigated. The impacts of the prior misspecification and the pooling parameter selection for prior integration algorithms are also studied. In numerical examples, simulation methods are applied for posterior reliability inference under the proposed prior integration methods and the performance of the two methods are compared.
先验信息和启发是贝叶斯可靠性推理的前提。在对复杂系统的可靠性进行估计时,通常可以使用基于历史数据的概率拟合和专家判断等多种先验来源。本文研究了贝叶斯可靠性分析中多先验的集成问题。具体来说,研究了基于贝叶斯融合的多先验融合方法。研究了不同先验信息集成算法(算术和几何平均)下所研究方法的性能。研究了先验错规范和池化参数选择对先验积分算法的影响。在数值算例中,应用仿真方法对所提出的先验积分方法进行后验可靠性推断,并比较了两种方法的性能。
{"title":"Multiple priors integration for reliability estimation using the Bayesian melding method","authors":"Z. Li, Jian Guo, N. Xiao, Wei Huang","doi":"10.1109/RAM.2017.7889799","DOIUrl":"https://doi.org/10.1109/RAM.2017.7889799","url":null,"abstract":"Prior information and elicitation are the prerequisite in Bayesian reliability inference. Multiple sources for priors such as probability fitting based on historical data and expert judgment are often available when estimating the reliability of complex systems. This paper investigates the integration of multiple priors in Bayesian reliability analysis. Specifically, methods for multiple priors' integration based on Bayesian Melding are investigated. The performance of the studied methods with different prior information integration algorithms such as the arithmetic and geometric averaging is investigated. The impacts of the prior misspecification and the pooling parameter selection for prior integration algorithms are also studied. In numerical examples, simulation methods are applied for posterior reliability inference under the proposed prior integration methods and the performance of the two methods are compared.","PeriodicalId":138871,"journal":{"name":"2017 Annual Reliability and Maintainability Symposium (RAMS)","volume":"1973 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132542150","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Test tailoring approach for reliability assessment of automotive heat exchangers 汽车热交换器可靠性评定的试验裁剪方法
Pub Date : 1900-01-01 DOI: 10.1109/RAM.2017.7889731
M. Bonato, Philippe Goge
The drastic reduction in pollutants emission that has followed recent international regulations imposes that engine fuel consumption be optimized as ever. Efficient engine cooling components together with an improved thermal management strategy play an important role in increasing engine performance, resulting in reduced fuel consumption and decreased pollution emissions. At the same time, new market trends are imposing longer warranty commitments, therefore challenging the capability of automotive suppliers to design products capable of high performance and extended reliability. In this framework, the reliability of engine cooling modules is a real economical and technical topic which has to be validated according to a rigorous methodology. By avoiding the over-use of standard and generic specifications (which cause over or under testing of the component during development phase), this paper proposes the so-called “test tailoring approach.” The goal is to validate the mechanical endurance of our products according to accelerated durability tests that are the most representative as possible to the environmental stresses that the components expect to see during their in-service life. This method permits the generation of customized accelerated bench tests, based on real measurements taken on the vehicle during field tests. The use of safety coefficients and Weibull analysis of destructive tests allows ensuring that the reliability targets are reached. These tailored specifications are employed to validate the mechanical endurance of the engine cooling module undergoing vibration, pressure pulsation and thermal shock stress loadings. This paper presents how this holistic philosophy has been used to validate the design of a new generation of heat exchangers (CO2 gas cooler and evaporator).
随着最近国际法规的实施,污染物排放的急剧减少,要求发动机的燃料消耗一如既往地优化。高效的发动机冷却部件和改进的热管理策略在提高发动机性能方面发挥着重要作用,从而降低了燃油消耗和污染排放。与此同时,新的市场趋势正在施加更长的保修承诺,因此挑战了汽车供应商设计高性能和扩展可靠性产品的能力。在此框架下,发动机冷却模块的可靠性是一个真正的经济和技术课题,必须根据严格的方法进行验证。通过避免过度使用标准和通用规范(这会导致在开发阶段对组件进行过多或不足的测试),本文提出了所谓的“测试裁剪方法”。我们的目标是根据加速耐久性测试来验证我们产品的机械耐久性,这些测试尽可能代表组件在其使用寿命期间期望看到的环境应力。该方法允许生成定制的加速台架试验,基于现场试验期间对车辆进行的实际测量。使用安全系数和威布尔分析破坏性试验可以确保达到可靠性目标。这些定制规格用于验证发动机冷却模块在振动、压力脉动和热冲击应力载荷下的机械耐久性。本文介绍了如何使用这种整体哲学来验证新一代热交换器(CO2气体冷却器和蒸发器)的设计。
{"title":"Test tailoring approach for reliability assessment of automotive heat exchangers","authors":"M. Bonato, Philippe Goge","doi":"10.1109/RAM.2017.7889731","DOIUrl":"https://doi.org/10.1109/RAM.2017.7889731","url":null,"abstract":"The drastic reduction in pollutants emission that has followed recent international regulations imposes that engine fuel consumption be optimized as ever. Efficient engine cooling components together with an improved thermal management strategy play an important role in increasing engine performance, resulting in reduced fuel consumption and decreased pollution emissions. At the same time, new market trends are imposing longer warranty commitments, therefore challenging the capability of automotive suppliers to design products capable of high performance and extended reliability. In this framework, the reliability of engine cooling modules is a real economical and technical topic which has to be validated according to a rigorous methodology. By avoiding the over-use of standard and generic specifications (which cause over or under testing of the component during development phase), this paper proposes the so-called “test tailoring approach.” The goal is to validate the mechanical endurance of our products according to accelerated durability tests that are the most representative as possible to the environmental stresses that the components expect to see during their in-service life. This method permits the generation of customized accelerated bench tests, based on real measurements taken on the vehicle during field tests. The use of safety coefficients and Weibull analysis of destructive tests allows ensuring that the reliability targets are reached. These tailored specifications are employed to validate the mechanical endurance of the engine cooling module undergoing vibration, pressure pulsation and thermal shock stress loadings. This paper presents how this holistic philosophy has been used to validate the design of a new generation of heat exchangers (CO2 gas cooler and evaporator).","PeriodicalId":138871,"journal":{"name":"2017 Annual Reliability and Maintainability Symposium (RAMS)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133637672","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Condition-based reliability prediction based on logical analysis of survival data 基于生存数据逻辑分析的状态可靠性预测
Pub Date : 1900-01-01 DOI: 10.1109/RAM.2017.7889739
Y. Shaban, S. Yacout, M. Aly
This paper presents a novel approach for incorporating condition information based on historical data into the development of reliability curves. The approach uses a variation of Kaplan-Meier (KM) estimator and degradation-based estimators of survival patterns. From a statistical perspective, the use of KM estimator to create a reliability curve of a specific type of equipment, results in a general curve that does not take into consideration the instantaneous condition of each individual equipment. The proposed degradation-based estimator updates the KM estimator in order to capture the actual condition of equipment based on the detected patterns. These patterns identify interactions between condition indicators. The degradation-based reliability curves are obtained by a new methodology called ‘Logical Analysis of Survival Data (LASD). LASD identifies interactions between condition indicators without any prior hypotheses. It generates patterns based on machine learning and pattern recognition technique. Using these set of patterns, survival curves, which can predict the reliability of any device at any time based on its actual condition, are developed. To evaluate the LASD approach, it was applied to experimental results that represent cutting tool degradation during turning TiMMCs with condition monitoring. The performance of the LASD when compared to the traditional Kaplan-Meier based reliability curve improves the reliability prediction.
本文提出了一种将基于历史数据的工况信息纳入可靠性曲线编制的新方法。该方法使用Kaplan-Meier (KM)估计器的变体和基于退化的生存模式估计器。从统计的角度来看,使用KM估计器来创建特定类型设备的可靠性曲线,结果是一个没有考虑到每个单独设备的瞬时状态的一般曲线。提出的基于退化的估计器更新KM估计器,以便根据检测到的模式捕获设备的实际状态。这些模式确定了条件指示符之间的相互作用。基于退化的可靠性曲线是通过一种称为“生存数据逻辑分析”(LASD)的新方法获得的。LASD在没有任何预先假设的情况下识别条件指标之间的相互作用。它基于机器学习和模式识别技术生成模式。利用这些模式,建立了生存曲线,可以根据任何设备的实际情况在任何时间预测其可靠性。为了评估LASD方法,将其应用于具有状态监测的timmc车削过程中刀具退化的实验结果。与传统的基于Kaplan-Meier的可靠性曲线相比,LASD的性能提高了可靠性预测。
{"title":"Condition-based reliability prediction based on logical analysis of survival data","authors":"Y. Shaban, S. Yacout, M. Aly","doi":"10.1109/RAM.2017.7889739","DOIUrl":"https://doi.org/10.1109/RAM.2017.7889739","url":null,"abstract":"This paper presents a novel approach for incorporating condition information based on historical data into the development of reliability curves. The approach uses a variation of Kaplan-Meier (KM) estimator and degradation-based estimators of survival patterns. From a statistical perspective, the use of KM estimator to create a reliability curve of a specific type of equipment, results in a general curve that does not take into consideration the instantaneous condition of each individual equipment. The proposed degradation-based estimator updates the KM estimator in order to capture the actual condition of equipment based on the detected patterns. These patterns identify interactions between condition indicators. The degradation-based reliability curves are obtained by a new methodology called ‘Logical Analysis of Survival Data (LASD). LASD identifies interactions between condition indicators without any prior hypotheses. It generates patterns based on machine learning and pattern recognition technique. Using these set of patterns, survival curves, which can predict the reliability of any device at any time based on its actual condition, are developed. To evaluate the LASD approach, it was applied to experimental results that represent cutting tool degradation during turning TiMMCs with condition monitoring. The performance of the LASD when compared to the traditional Kaplan-Meier based reliability curve improves the reliability prediction.","PeriodicalId":138871,"journal":{"name":"2017 Annual Reliability and Maintainability Symposium (RAMS)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132376413","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Selecting a cloud service provider to minimize privacy risks 选择云服务提供商以最小化隐私风险
Pub Date : 1900-01-01 DOI: 10.1109/RAM.2017.7889714
George Yee
The growth of the Internet has been accompanied by the growth of cloud services, leading to the need to protect the privacy of cloud service users. Cloud service providers differ in their capability to protect privacy. It is important to consider this capability as a major factor in the selection of a provider, thus minimizing the privacy risks associated with the selection. This work derives estimates of this capability, based on the number of vulnerabilities to attack, in comparison with the number of vulnerabilities that have been secured. It is proposed that cloud service providers calculate and publish these estimates, so that users can incorporate them as part of the process of selecting a provider (this would in turn encourage cloud service providers to pay more attention to privacy). Cloud service providers could also benefit from such estimates by using them to adjust their security measures for protecting privacy, until certain target capability levels of privacy protection are reached. An example of calculating and applying the estimates is included.
互联网的发展伴随着云服务的发展,导致了对云服务用户隐私保护的需求。云服务提供商保护隐私的能力各不相同。重要的是要将此功能视为选择提供商的主要因素,从而最大限度地减少与选择相关的隐私风险。这项工作根据要攻击的漏洞的数量,与已保护的漏洞的数量进行比较,得出该能力的估计。建议云服务提供商计算并公布这些估算值,以便用户可以将其作为选择提供商过程的一部分(这反过来会鼓励云服务提供商更加关注隐私)。云服务提供商也可以从这种估计中受益,利用这些估计来调整其保护隐私的安全措施,直到达到某些隐私保护的目标能力水平。还包括一个计算和应用估计的示例。
{"title":"Selecting a cloud service provider to minimize privacy risks","authors":"George Yee","doi":"10.1109/RAM.2017.7889714","DOIUrl":"https://doi.org/10.1109/RAM.2017.7889714","url":null,"abstract":"The growth of the Internet has been accompanied by the growth of cloud services, leading to the need to protect the privacy of cloud service users. Cloud service providers differ in their capability to protect privacy. It is important to consider this capability as a major factor in the selection of a provider, thus minimizing the privacy risks associated with the selection. This work derives estimates of this capability, based on the number of vulnerabilities to attack, in comparison with the number of vulnerabilities that have been secured. It is proposed that cloud service providers calculate and publish these estimates, so that users can incorporate them as part of the process of selecting a provider (this would in turn encourage cloud service providers to pay more attention to privacy). Cloud service providers could also benefit from such estimates by using them to adjust their security measures for protecting privacy, until certain target capability levels of privacy protection are reached. An example of calculating and applying the estimates is included.","PeriodicalId":138871,"journal":{"name":"2017 Annual Reliability and Maintainability Symposium (RAMS)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116019222","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Improving accident causality analysis based on STAMP through integrating model checking 通过集成模型检验,改进基于STAMP的事故因果分析
Pub Date : 1900-01-01 DOI: 10.1109/RAM.2017.7889783
Lei Chen, D. Zhong, J. Jiao, T. Zhao
Modern safety-critical systems are becoming increasingly more complex than ever before. Continuous complexity increase renders ensuring the safety of such systems increasingly difficult. So, the ability to perform an effective and robust safety analysis on modern safety-critical system plays a more and more crucial role. Traditional safety analysis models based on event chains which consider that accidents are caused by chains of directly related failure events oversimplify causality and the accident process. Also, they exclude many of the systemic factors in accidents and indirect or nonlinear interactions among events. System-Theoretic Accident Modeling and Process(STAMP) accident model is an accident causality model based on system theory used for complex system, especially complex socio-technical system. Safety in STAMP is regarded as an emergent property of system caused by components interactions and a problem of control which means enforcing safety constrains on components behaviors and interactions. In the STAMP based analysis, three basic constructs underlying the analysis process are highlighted: safety constraints, hierarchical safety control structures and process model. With a rise of system complexity, STAMP is playing an increasingly significant role in the development of systemic accident theory. However, STAMP-based safety analysis is usually completed manually, which seems to be with high cost and low efficiency. To raise analysis efficiency, reduce its cost, this paper proposes a formal approach which integrated a model checking with STAMP to automatically search the potential paths that could lead to hazards. By use of model checking, behaviors of the system are simulated and counter example(s) violating the safety constraints and requirements could be raised, to improve the system design. The application of the proposed approach is illustrated through a case study of a typical air accident analysis to verify the validity of the approach. The process and result gained by the improvement have shown us that the safety engineering workload has been reduced and the analysis efficiency has been raised.
现代安全关键系统正变得比以往任何时候都更加复杂。复杂性的不断增加使得确保此类系统的安全性变得越来越困难。因此,对现代安全关键系统进行有效、稳健的安全分析的能力就显得越来越重要。传统的基于事件链的安全分析模型认为事故是由直接相关的失效事件链引起的,过于简化了因果关系和事故过程。此外,它们排除了事故中的许多系统因素以及事件之间的间接或非线性相互作用。系统理论事故建模与过程(system - theory Accident Modeling and Process, STAMP)事故模型是一种基于系统理论的事故因果关系模型,适用于复杂系统,特别是复杂社会技术系统。在STAMP中,安全性被认为是由组件交互引起的系统的紧急属性,是一个控制问题,即对组件的行为和交互实施安全约束。在基于STAMP的分析中,强调了分析过程的三个基本结构:安全约束、分层安全控制结构和过程模型。随着系统复杂性的提高,STAMP在系统事故理论的发展中发挥着越来越重要的作用。然而,基于stamp的安全性分析通常是手工完成的,成本高,效率低。为了提高分析效率,降低分析成本,本文提出了一种将模型检查与STAMP相结合的形式化方法来自动搜索可能导致危险的潜在路径。通过模型校核,对系统行为进行仿真,提出违反安全约束和要求的反例,改进系统设计。通过一个典型的航空事故分析实例,验证了该方法的有效性。改进的过程和结果表明,减少了安全工程工作量,提高了分析效率。
{"title":"Improving accident causality analysis based on STAMP through integrating model checking","authors":"Lei Chen, D. Zhong, J. Jiao, T. Zhao","doi":"10.1109/RAM.2017.7889783","DOIUrl":"https://doi.org/10.1109/RAM.2017.7889783","url":null,"abstract":"Modern safety-critical systems are becoming increasingly more complex than ever before. Continuous complexity increase renders ensuring the safety of such systems increasingly difficult. So, the ability to perform an effective and robust safety analysis on modern safety-critical system plays a more and more crucial role. Traditional safety analysis models based on event chains which consider that accidents are caused by chains of directly related failure events oversimplify causality and the accident process. Also, they exclude many of the systemic factors in accidents and indirect or nonlinear interactions among events. System-Theoretic Accident Modeling and Process(STAMP) accident model is an accident causality model based on system theory used for complex system, especially complex socio-technical system. Safety in STAMP is regarded as an emergent property of system caused by components interactions and a problem of control which means enforcing safety constrains on components behaviors and interactions. In the STAMP based analysis, three basic constructs underlying the analysis process are highlighted: safety constraints, hierarchical safety control structures and process model. With a rise of system complexity, STAMP is playing an increasingly significant role in the development of systemic accident theory. However, STAMP-based safety analysis is usually completed manually, which seems to be with high cost and low efficiency. To raise analysis efficiency, reduce its cost, this paper proposes a formal approach which integrated a model checking with STAMP to automatically search the potential paths that could lead to hazards. By use of model checking, behaviors of the system are simulated and counter example(s) violating the safety constraints and requirements could be raised, to improve the system design. The application of the proposed approach is illustrated through a case study of a typical air accident analysis to verify the validity of the approach. The process and result gained by the improvement have shown us that the safety engineering workload has been reduced and the analysis efficiency has been raised.","PeriodicalId":138871,"journal":{"name":"2017 Annual Reliability and Maintainability Symposium (RAMS)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121073168","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Impact of correlated component failure on age replacement maintenance policies 相关部件失效对换龄维修政策的影响
Pub Date : 1900-01-01 DOI: 10.1109/RAM.2017.7889687
Bentolhoda Jafary, V. Nagaraju, L. Fiondella
A primary goal of maintenance is to minimize the consequences of component and system failures. Two subcategories of maintenance actions include: Preventive Maintenance (PM) at predetermined time intervals prior to failure and Emergency Repair (ER) upon failure, where the cost and downtime of emergency repair is significantly greater than preventive maintenance. Most maintenance models developed over the past several decades assume component failures are statistically independent. This assumption simplifies calculations, but is dangerous for safety critical systems that must be maintained because correlated failures can lower the mean time to failure, increasing the probability that emergency repair will be required. This paper presents a simple method with an explicit correlation parameter to characterize the impact of correlated component failures on the optimal preventive maintenance interval of a system with arbitrary structure. This method is applied to two maintenance policies, including: age replacement to minimize cost and age replacement to maximize availability. Examples illustrate that our approach identifies optimal maintenance strategies for these policies such as cost per unit time and stationary availability despite correlated failures.
维护的主要目标是尽量减少组件和系统故障的后果。维护行动的两个子类别包括:在故障之前预定时间间隔的预防性维护(PM)和故障后的紧急维修(ER),其中紧急维修的成本和停机时间明显大于预防性维护。过去几十年开发的大多数维护模型都假设组件故障在统计上是独立的。这种假设简化了计算,但对于必须维护的安全关键系统来说是危险的,因为相关故障可以缩短平均故障时间,增加需要紧急维修的可能性。本文提出了一种带有显式相关参数的简单方法来表征相关部件故障对任意结构系统的最佳预防维修间隔的影响。该方法适用于两种维护策略,即:以年龄替换为代价最小化的维护策略和以年龄替换为可用性最大化的维护策略。示例表明,我们的方法确定了这些策略的最佳维护策略,例如单位时间成本和相关故障的固定可用性。
{"title":"Impact of correlated component failure on age replacement maintenance policies","authors":"Bentolhoda Jafary, V. Nagaraju, L. Fiondella","doi":"10.1109/RAM.2017.7889687","DOIUrl":"https://doi.org/10.1109/RAM.2017.7889687","url":null,"abstract":"A primary goal of maintenance is to minimize the consequences of component and system failures. Two subcategories of maintenance actions include: Preventive Maintenance (PM) at predetermined time intervals prior to failure and Emergency Repair (ER) upon failure, where the cost and downtime of emergency repair is significantly greater than preventive maintenance. Most maintenance models developed over the past several decades assume component failures are statistically independent. This assumption simplifies calculations, but is dangerous for safety critical systems that must be maintained because correlated failures can lower the mean time to failure, increasing the probability that emergency repair will be required. This paper presents a simple method with an explicit correlation parameter to characterize the impact of correlated component failures on the optimal preventive maintenance interval of a system with arbitrary structure. This method is applied to two maintenance policies, including: age replacement to minimize cost and age replacement to maximize availability. Examples illustrate that our approach identifies optimal maintenance strategies for these policies such as cost per unit time and stationary availability despite correlated failures.","PeriodicalId":138871,"journal":{"name":"2017 Annual Reliability and Maintainability Symposium (RAMS)","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116726203","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A compositional symbolic calculus approach to producing reduced Markov chains 生成约简马尔可夫链的组合符号演算方法
Pub Date : 1900-01-01 DOI: 10.1109/RAM.2017.7889660
Nidhal Mahmud
Markov Chains (MCs) are very powerful in capturing the dynamic aspects of systems and in the evaluation of safety measures. However, such models suffer from the state space explosion problem, which often makes their solutions intractable if not impossible. In this paper, a new approach to computing an optimal description of a system MC is presented. The approach is based on an algebraic representation of a Markov chain in a standard sum-of-product canonical form which can then be reduced by symbolic calculus — the sequences are captured by using only the Boolean logic operator AND (symbol ‘.’) and the Priority-OR temporal logic operator (POR, symbol ‘|’). POR is used to represent a priority situation where one event must occur first and other events may or may not occur subsequently. This approach preserves the advantage of using the powerful Boolean methods in the reduction process which is rather extended with temporal logic calculus. By solving the reduced MC, exact measures of interest for the larger MC can be computed. However, since the complete MC needs to be constructed beforehand in order to be reduced afterwards, the approach is practical only via composition. That is, for large systems, a smaller system MC can be produced directly from compositional reduced MCs that are local to the system constituents.
马尔可夫链(MCs)在捕捉系统的动态方面和评估安全措施方面非常强大。然而,这类模型存在状态空间爆炸问题,往往使其求解变得难以解决。本文提出了一种计算系统MC最优描述的新方法。该方法基于标准积和规范形式的马尔可夫链的代数表示,然后可以通过符号演算进行简化-序列仅通过使用布尔逻辑运算符AND(符号' . ')和优先级或时间逻辑运算符(POR,符号' | ')来捕获。POR用于表示优先级情况,其中一个事件必须先发生,其他事件可能随后发生,也可能随后不发生。这种方法保留了在约简过程中使用强大的布尔方法的优点,而这种方法可以通过时间逻辑演算进行扩展。通过求解缩减后的MC,可以计算出更大MC的精确度量。然而,由于完整的MC需要事先构造,以便事后缩减,因此该方法只有通过组合才能实现。也就是说,对于大型系统,较小的系统MC可以直接从系统组成部分局部的组合减少的MC中产生。
{"title":"A compositional symbolic calculus approach to producing reduced Markov chains","authors":"Nidhal Mahmud","doi":"10.1109/RAM.2017.7889660","DOIUrl":"https://doi.org/10.1109/RAM.2017.7889660","url":null,"abstract":"Markov Chains (MCs) are very powerful in capturing the dynamic aspects of systems and in the evaluation of safety measures. However, such models suffer from the state space explosion problem, which often makes their solutions intractable if not impossible. In this paper, a new approach to computing an optimal description of a system MC is presented. The approach is based on an algebraic representation of a Markov chain in a standard sum-of-product canonical form which can then be reduced by symbolic calculus — the sequences are captured by using only the Boolean logic operator AND (symbol ‘.’) and the Priority-OR temporal logic operator (POR, symbol ‘|’). POR is used to represent a priority situation where one event must occur first and other events may or may not occur subsequently. This approach preserves the advantage of using the powerful Boolean methods in the reduction process which is rather extended with temporal logic calculus. By solving the reduced MC, exact measures of interest for the larger MC can be computed. However, since the complete MC needs to be constructed beforehand in order to be reduced afterwards, the approach is practical only via composition. That is, for large systems, a smaller system MC can be produced directly from compositional reduced MCs that are local to the system constituents.","PeriodicalId":138871,"journal":{"name":"2017 Annual Reliability and Maintainability Symposium (RAMS)","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116836815","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
A sequential inspection and replacement policy for degradation-based systems 基于退化的系统的顺序检查和更换策略
Pub Date : 1900-01-01 DOI: 10.1109/RAM.2017.7889701
Zhicheng Zhu, Yisha Xiang, Suzan Alaswad, C. R. Cassady
Condition-based maintenance (CBM) has been extensively studied. However, the majority of existing CBM research either consider a periodic inspection schedule or a fixed preventive maintenance threshold. While policies with periodic inspections and/or fixed maintenance threshold are easy to implement in practice, they may incur more-than-necessary inspections and induce more failures. In this paper, we develop a sequential CBM policy for systems subject to stochastic degradation. The aim of the proposed policy is to prevent or delay failures and perform maintenance activities just in time. Unlike conventional preventive maintenance that often fixes the inspection interval and the preventive maintenance threshold, both the next inspection time and the corresponding maintenance threshold in this paper are dynamically determined based on the current state of the system. The proposed sequential predictive maintenance policy is particularly important and applicable for general non-homogeneous degradation processes. The proposed model enables optimal scheduling of inspection and preventive maintenance decisions, in order to minimize the long-run maintenance cost rate including inspection, preventive and corrective maintenance costs. The performance of the proposed predictive maintenance policy is evaluated using a simulation-based optimization approach. Frequency of system failures and total maintenance cost rates are computed and compared with a bench mark maintenance policy, a periodic inspection/replacement policy. Our results show that there can be potential savings from the proposed predictive maintenance policy.
基于状态的维修(CBM)得到了广泛的研究。然而,现有的大多数CBM研究要么考虑定期检查计划,要么考虑固定的预防性维护阈值。虽然具有定期检查和/或固定维护阈值的策略在实践中很容易实现,但它们可能导致不必要的检查并导致更多的故障。在本文中,我们开发了一个随机退化系统的顺序CBM策略。建议策略的目的是防止或延迟故障,并及时执行维护活动。与常规预防性维护通常固定检查间隔和预防性维护阈值不同,本文的下一次检查时间和相应的维护阈值都是根据系统的当前状态动态确定的。提出的顺序预测性维护策略对于一般的非均质退化过程尤为重要和适用。该模型实现了检查和预防性维护决策的最优调度,以最小化包括检查,预防性和纠正性维护成本在内的长期维护成本率。使用基于仿真的优化方法对所提出的预测性维护策略的性能进行了评估。计算系统故障频率和总维护成本率,并与基准维护策略、定期检查/更换策略进行比较。我们的研究结果表明,提出的预测性维护策略可以节省潜在的成本。
{"title":"A sequential inspection and replacement policy for degradation-based systems","authors":"Zhicheng Zhu, Yisha Xiang, Suzan Alaswad, C. R. Cassady","doi":"10.1109/RAM.2017.7889701","DOIUrl":"https://doi.org/10.1109/RAM.2017.7889701","url":null,"abstract":"Condition-based maintenance (CBM) has been extensively studied. However, the majority of existing CBM research either consider a periodic inspection schedule or a fixed preventive maintenance threshold. While policies with periodic inspections and/or fixed maintenance threshold are easy to implement in practice, they may incur more-than-necessary inspections and induce more failures. In this paper, we develop a sequential CBM policy for systems subject to stochastic degradation. The aim of the proposed policy is to prevent or delay failures and perform maintenance activities just in time. Unlike conventional preventive maintenance that often fixes the inspection interval and the preventive maintenance threshold, both the next inspection time and the corresponding maintenance threshold in this paper are dynamically determined based on the current state of the system. The proposed sequential predictive maintenance policy is particularly important and applicable for general non-homogeneous degradation processes. The proposed model enables optimal scheduling of inspection and preventive maintenance decisions, in order to minimize the long-run maintenance cost rate including inspection, preventive and corrective maintenance costs. The performance of the proposed predictive maintenance policy is evaluated using a simulation-based optimization approach. Frequency of system failures and total maintenance cost rates are computed and compared with a bench mark maintenance policy, a periodic inspection/replacement policy. Our results show that there can be potential savings from the proposed predictive maintenance policy.","PeriodicalId":138871,"journal":{"name":"2017 Annual Reliability and Maintainability Symposium (RAMS)","volume":"102 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126759067","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Quantifying the effect of a potential corrective action on product life 量化潜在纠正措施对产品寿命的影响
Pub Date : 1900-01-01 DOI: 10.1109/RAM.2017.7889666
S. Honecker, Umur Yenal
When a product fails more often than desired, it is necessary to weigh the potential benefits of a corrective action with the costs associated with performing the corrective action in order to determine an appropriate course of action. One thing that should be considered is the effect of a proposed corrective action on product life; however, the business decision about whether to proceed with a connective action often must be made before a new prototype can be produced and tested. Therefore, it is important to understand the approaches available to account for the effect of a potential corrective action on product life. The approach most commonly used by life data analysts is to multiply the scale parameter of the life distribution by a predefined factor while leaving the shape parameter unchanged. The underlying assumption of such an approach is that the same failure rate behavior (i.e., failure mode) will occur after the corrective action, but the failures will happen at longer lives than previously observed. An alternative approach is to consider each failure in the data set as a fractional failure. In this case, the failure is given a non-integer coefficient that represents the amount of failure left after corrective action, while the remainder of the failure is considered to be a suspension. This approach is analogous to using an effectiveness factor in reliability growth analysis. The effectiveness factor represents the failure intensity removed from the system due to a corrective action on a particular failure mode. This paper investigates these two approaches for accounting for the effect of a potential corrective action on parameter estimates. Using both complete and right censored data described by a Weibull life distribution and analyzed using maximum likelihood parameter estimation, a relationship between the two methods is presented.
当产品的不合格率高于预期时,有必要权衡纠正措施的潜在收益和执行纠正措施的相关成本,以确定适当的措施。应该考虑的一件事是所建议的纠正措施对产品寿命的影响;然而,关于是否继续进行连接操作的业务决策通常必须在新原型可以生产和测试之前做出。因此,了解可用于解释潜在纠正措施对产品寿命影响的方法是很重要的。生命数据分析人员最常用的方法是在保持形状参数不变的情况下,将生命分布的尺度参数乘以一个预定义的因子。这种方法的基本假设是,在纠正措施之后会出现相同的故障率行为(即故障模式),但故障发生的寿命将比以前观察到的更长。另一种方法是将数据集中的每个故障视为部分故障。在这种情况下,故障被赋予一个非整数系数,表示纠正措施后剩余的故障数量,而故障的剩余部分被认为是暂停。这种方法类似于在可靠性增长分析中使用有效性因子。有效系数表示由于对特定失效模式采取纠正措施而从系统中消除的失效强度。本文研究了这两种方法,以考虑潜在纠正措施对参数估计的影响。利用威布尔寿命分布描述的完全截尾数据和正确截尾数据,并利用极大似然参数估计进行分析,给出了两种方法之间的关系。
{"title":"Quantifying the effect of a potential corrective action on product life","authors":"S. Honecker, Umur Yenal","doi":"10.1109/RAM.2017.7889666","DOIUrl":"https://doi.org/10.1109/RAM.2017.7889666","url":null,"abstract":"When a product fails more often than desired, it is necessary to weigh the potential benefits of a corrective action with the costs associated with performing the corrective action in order to determine an appropriate course of action. One thing that should be considered is the effect of a proposed corrective action on product life; however, the business decision about whether to proceed with a connective action often must be made before a new prototype can be produced and tested. Therefore, it is important to understand the approaches available to account for the effect of a potential corrective action on product life. The approach most commonly used by life data analysts is to multiply the scale parameter of the life distribution by a predefined factor while leaving the shape parameter unchanged. The underlying assumption of such an approach is that the same failure rate behavior (i.e., failure mode) will occur after the corrective action, but the failures will happen at longer lives than previously observed. An alternative approach is to consider each failure in the data set as a fractional failure. In this case, the failure is given a non-integer coefficient that represents the amount of failure left after corrective action, while the remainder of the failure is considered to be a suspension. This approach is analogous to using an effectiveness factor in reliability growth analysis. The effectiveness factor represents the failure intensity removed from the system due to a corrective action on a particular failure mode. This paper investigates these two approaches for accounting for the effect of a potential corrective action on parameter estimates. Using both complete and right censored data described by a Weibull life distribution and analyzed using maximum likelihood parameter estimation, a relationship between the two methods is presented.","PeriodicalId":138871,"journal":{"name":"2017 Annual Reliability and Maintainability Symposium (RAMS)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134296472","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
System reliability estimation of high power diode laser with hypo-exponential distribution 低指数分布高功率二极管激光器系统可靠性估计
Pub Date : 1900-01-01 DOI: 10.1109/RAM.2017.7889697
Xi Liu, Lisa Daykin, Yufeng Li, K. Boucke
This paper presents the model to estimate the reliability of high power diode laser system based on failure rate of each diode. The diodes' reliability is estimated from multi-cell life test with accelerated optical power and junction temperature. The system is then considered as a k-out-of-n:G load sharing system. The hypo-exponential distribution is applied to model the system level reliability. Two solutions to hypo-exponential model are introduced to compute the reliability at expected time and two examples are presented to illustrate the model. The numerical examples verify that the scaling and squaring method is more stable than exact algorithm considering numerical instability. Estimating with the hypo-exponential model, the single emitter diode laser system shows reliability higher than 0.999 at the lifetime required by customer.
提出了基于各二极管故障率的高功率二极管激光系统可靠性评估模型。通过加速光功率和结温下的多电池寿命测试,估计了二极管的可靠性。然后将该系统视为k / n:G负荷共享系统。采用准指数分布对系统级可靠性进行建模。介绍了计算期望时间可靠度的两种准指数模型的解,并给出了两个算例。数值算例表明,在考虑数值不稳定性的情况下,标度平方法比精确算法更稳定。用次指数模型估计,在用户要求的寿命范围内,单发射极二极管激光系统的可靠性高于0.999。
{"title":"System reliability estimation of high power diode laser with hypo-exponential distribution","authors":"Xi Liu, Lisa Daykin, Yufeng Li, K. Boucke","doi":"10.1109/RAM.2017.7889697","DOIUrl":"https://doi.org/10.1109/RAM.2017.7889697","url":null,"abstract":"This paper presents the model to estimate the reliability of high power diode laser system based on failure rate of each diode. The diodes' reliability is estimated from multi-cell life test with accelerated optical power and junction temperature. The system is then considered as a k-out-of-n:G load sharing system. The hypo-exponential distribution is applied to model the system level reliability. Two solutions to hypo-exponential model are introduced to compute the reliability at expected time and two examples are presented to illustrate the model. The numerical examples verify that the scaling and squaring method is more stable than exact algorithm considering numerical instability. Estimating with the hypo-exponential model, the single emitter diode laser system shows reliability higher than 0.999 at the lifetime required by customer.","PeriodicalId":138871,"journal":{"name":"2017 Annual Reliability and Maintainability Symposium (RAMS)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133355342","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
期刊
2017 Annual Reliability and Maintainability Symposium (RAMS)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1