首页 > 最新文献

IEEE Transactions on Reliability最新文献

英文 中文
Decentralized Event-Driven Reliability Control Using Reinforcement Learning: A Homomorphic Encryption Scheme 基于强化学习的分散事件驱动可靠性控制:一种同态加密方案
IF 5.7 2区 计算机科学 Q1 COMPUTER SCIENCE, HARDWARE & ARCHITECTURE Pub Date : 2025-09-04 DOI: 10.1109/TR.2025.3599868
Jian Liu;Shuailong Wang;Jinliang Liu;Engang Tian;Chen Peng
This article investigates the decentralized adaptive event-driven (AED) reliability control problem for nonlinear interconnected systems (NISs) with privacy-preserving. The decentralized optimal control strategy for the whole system is formulated by the optimal control for nominal subsystems, where an AED homomorphic cryptosystem is implemented for each subsystem to alleviate network burden while achieving security by encrypting transmitted signals. The Paillier cryptosystem with additive homomorphic properties is introduced to conceal the original data. Therefore, the transformed Hamilton–Jacobi–Bellman equations (HJBE) are constructed to facilitate cooperative optimization across subsystems within the framework of reinforcement learning. Subsequently, we leverage single critic networks to derive solutions to the HJBE, utilizing the experience replay approach for weight updates. Furthermore, by virtue of the Lyapunov function, the derived decentralized control law can force the whole NIS to be uniformly ultimately bounded stable. Eventually, numerical examples of NISs are provided to illustrate the effectiveness of the proposed optimization algorithm.
研究了具有隐私保护的非线性互联系统的分散自适应事件驱动可靠性控制问题。通过对标称子系统的最优控制,制定了整个系统的分散最优控制策略,其中每个子系统实现一个AED同态密码系统,减轻网络负担,同时通过对传输信号进行加密来实现安全性。引入了具有加性同态性质的Paillier密码系统来隐藏原始数据。因此,构建了变换后的Hamilton-Jacobi-Bellman方程(HJBE),以促进在强化学习框架下跨子系统的协同优化。随后,我们利用单个评论家网络来获得HJBE的解决方案,利用经验重播方法进行权重更新。进一步,利用Lyapunov函数,导出的分散控制律可以使整个NIS一致最终有界稳定。最后,给出了NISs的数值算例来说明所提优化算法的有效性。
{"title":"Decentralized Event-Driven Reliability Control Using Reinforcement Learning: A Homomorphic Encryption Scheme","authors":"Jian Liu;Shuailong Wang;Jinliang Liu;Engang Tian;Chen Peng","doi":"10.1109/TR.2025.3599868","DOIUrl":"https://doi.org/10.1109/TR.2025.3599868","url":null,"abstract":"This article investigates the decentralized adaptive event-driven (AED) reliability control problem for nonlinear interconnected systems (NISs) with privacy-preserving. The decentralized optimal control strategy for the whole system is formulated by the optimal control for nominal subsystems, where an AED homomorphic cryptosystem is implemented for each subsystem to alleviate network burden while achieving security by encrypting transmitted signals. The Paillier cryptosystem with additive homomorphic properties is introduced to conceal the original data. Therefore, the transformed Hamilton–Jacobi–Bellman equations (HJBE) are constructed to facilitate cooperative optimization across subsystems within the framework of reinforcement learning. Subsequently, we leverage single critic networks to derive solutions to the HJBE, utilizing the experience replay approach for weight updates. Furthermore, by virtue of the Lyapunov function, the derived decentralized control law can force the whole NIS to be uniformly ultimately bounded stable. Eventually, numerical examples of NISs are provided to illustrate the effectiveness of the proposed optimization algorithm.","PeriodicalId":56305,"journal":{"name":"IEEE Transactions on Reliability","volume":"75 ","pages":"570-580"},"PeriodicalIF":5.7,"publicationDate":"2025-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145982179","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Maintenance Optimization for Production Systems With Polytype Engineers Under Limited Maintenance Capability: A Reinforcement Learning Approach 有限维修能力下多型工程师生产系统维修优化:一种强化学习方法
IF 5.7 2区 计算机科学 Q1 COMPUTER SCIENCE, HARDWARE & ARCHITECTURE Pub Date : 2025-09-03 DOI: 10.1109/TR.2025.3600765
Xian Zhao;Ru Ning;Xiaoyue Wang;Xiong Zhang
Maintenance optimization is a perennially interesting subject within the field of reliability engineering, playing an essential role in enhancing the system reliability. In practice, maintenance engineers are heterogeneous with different ability levels, and maintenance failure may occur when tasks are handled by junior engineers. Inspired by the above engineering reality, this article investigates the maintenance optimization for a production system with multiple machines connected in parallel. A practical engineering scenario is studied that there is a limited number of maintenance engineers and they are categorized into different professional levels owing to diverse maintenance capabilities. In addition, the case that junior engineers cause maintenance failure with a certain probability is presented. The Markov decision process as well as Markov process are utilized to describe the operation and maintenance process of the system. When the system reaches a higher state after maintenance, it generates the higher revenue in next operation period, though at the cost of increased maintenance expenses. To balance the revenue and cost, the optimal maintenance engineer allocation and maintenance level are determined at each regular inspection epoch. With the objective of maximizing the total expected reward, a Q-learning-based reinforcement learning algorithm is employed to solve the optimal maintenance policies effectively. Finally, numerical examples are presented to validate the constructed model, and plentiful sensitivity analyses are conducted to provide scientific management proposals.
维修优化一直是可靠性工程领域的研究热点,对提高系统可靠性起着至关重要的作用。在实际操作中,维护工程师是异质的,能力水平也不一样,如果任务由初级工程师来处理,可能会出现维护失败的情况。受上述工程实际的启发,本文研究了多机并联生产系统的维护优化问题。研究了一个实际的工程场景,维修工程师数量有限,由于维修能力的不同,维修工程师被划分为不同的专业级别。此外,还介绍了初级工程师以一定概率造成维修失败的情况。利用马尔可夫决策过程和马尔可夫过程来描述系统的运维过程。当系统在维护后达到较高的状态时,下一个运行周期的收益就会更高,但代价是维护费用的增加。为了平衡收益和成本,在每个定期检查周期确定维修工程师的最优配置和维修水平。以期望总回报最大化为目标,采用基于q学习的强化学习算法有效求解最优维护策略。最后通过数值算例对所建立的模型进行了验证,并进行了大量的敏感性分析,为科学的管理建议提供依据。
{"title":"Maintenance Optimization for Production Systems With Polytype Engineers Under Limited Maintenance Capability: A Reinforcement Learning Approach","authors":"Xian Zhao;Ru Ning;Xiaoyue Wang;Xiong Zhang","doi":"10.1109/TR.2025.3600765","DOIUrl":"https://doi.org/10.1109/TR.2025.3600765","url":null,"abstract":"Maintenance optimization is a perennially interesting subject within the field of reliability engineering, playing an essential role in enhancing the system reliability. In practice, maintenance engineers are heterogeneous with different ability levels, and maintenance failure may occur when tasks are handled by junior engineers. Inspired by the above engineering reality, this article investigates the maintenance optimization for a production system with multiple machines connected in parallel. A practical engineering scenario is studied that there is a limited number of maintenance engineers and they are categorized into different professional levels owing to diverse maintenance capabilities. In addition, the case that junior engineers cause maintenance failure with a certain probability is presented. The Markov decision process as well as Markov process are utilized to describe the operation and maintenance process of the system. When the system reaches a higher state after maintenance, it generates the higher revenue in next operation period, though at the cost of increased maintenance expenses. To balance the revenue and cost, the optimal maintenance engineer allocation and maintenance level are determined at each regular inspection epoch. With the objective of maximizing the total expected reward, a Q-learning-based reinforcement learning algorithm is employed to solve the optimal maintenance policies effectively. Finally, numerical examples are presented to validate the constructed model, and plentiful sensitivity analyses are conducted to provide scientific management proposals.","PeriodicalId":56305,"journal":{"name":"IEEE Transactions on Reliability","volume":"74 4","pages":"5780-5791"},"PeriodicalIF":5.7,"publicationDate":"2025-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145652147","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Systemic Condition-Based Maintenance Optimization Under Inspection Uncertainties: A Customized Multiagent Reinforcement Learning Approach 检查不确定性下的系统状态维修优化:一种定制的多智能体强化学习方法
IF 5.7 2区 计算机科学 Q1 COMPUTER SCIENCE, HARDWARE & ARCHITECTURE Pub Date : 2025-07-16 DOI: 10.1109/TR.2025.3583769
Longyan Tan;Fanping Wei;Xiaobing Ma;Rui Peng;Hui Xiao;Li Yang
Condition-based maintenance (CBM) powered by inspection/monitoring technology is crucial to guarantee safety and economical operations of various industrial assets. The implementation of prevailing CBM procedures for large-scale heterogeneous systems, however, is increasingly challenged by model intractability and computational cost stemming from the synergistic effect of information completeness and structure complexity. In this article, we innovatively devises a tractable CBM model for multicomponent continuously degrading systems under nonperfect inspection information, which is applicable to heterogeneous system structure and arbitrary hierarchical maintenance actions. The maintenance optimization problem of interest constitutes a continuous-state partially observable Markov-decision process applicable to heterogeneous system structures. A series of structure properties associated with systematic conditional reliability and accessibility of optimal solution are established, following which a multiagent reinforcement learning model governed by partial-independent parameter-sharing mechanism is employed to allow for solution search under continuous state–action space. A customized proximal policy algorithm is then leveraged to facilitate efficient agent training by diminishing the cure of dimension. Comparative experiments conducted on train wheel treads verify the superior model performance over cost control and computational efficiency improvement.
基于检查/监控技术的状态维护(CBM)对于保证各种工业资产的安全和经济运行至关重要。然而,在大规模异构系统中,由于信息完整性和结构复杂性的协同效应,模型的难解性和计算成本越来越大,这对目前流行的CBM程序的实施提出了挑战。本文创新性地设计了非完美检测信息下多部件连续退化系统的易处理CBM模型,该模型适用于异构系统结构和任意分层维护行为。所关注的维护优化问题构成了一个适用于异构系统结构的连续状态部分可观察马尔可夫决策过程。建立了与系统条件可靠度和最优解可及性相关的一系列结构属性,然后采用部分独立参数共享机制控制的多智能体强化学习模型,实现连续状态-动作空间下的解搜索。然后利用自定义的近端策略算法通过减小维数的治愈来促进高效的智能体训练。通过对列车车轮踏面进行对比实验,验证了该模型在成本控制和计算效率提高方面的优越性能。
{"title":"Systemic Condition-Based Maintenance Optimization Under Inspection Uncertainties: A Customized Multiagent Reinforcement Learning Approach","authors":"Longyan Tan;Fanping Wei;Xiaobing Ma;Rui Peng;Hui Xiao;Li Yang","doi":"10.1109/TR.2025.3583769","DOIUrl":"https://doi.org/10.1109/TR.2025.3583769","url":null,"abstract":"Condition-based maintenance (CBM) powered by inspection/monitoring technology is crucial to guarantee safety and economical operations of various industrial assets. The implementation of prevailing CBM procedures for large-scale heterogeneous systems, however, is increasingly challenged by model intractability and computational cost stemming from the synergistic effect of information completeness and structure complexity. In this article, we innovatively devises a tractable CBM model for multicomponent continuously degrading systems under nonperfect inspection information, which is applicable to heterogeneous system structure and arbitrary hierarchical maintenance actions. The maintenance optimization problem of interest constitutes a continuous-state partially observable Markov-decision process applicable to heterogeneous system structures. A series of structure properties associated with systematic conditional reliability and accessibility of optimal solution are established, following which a multiagent reinforcement learning model governed by partial-independent parameter-sharing mechanism is employed to allow for solution search under continuous state–action space. A customized proximal policy algorithm is then leveraged to facilitate efficient agent training by diminishing the cure of dimension. Comparative experiments conducted on train wheel treads verify the superior model performance over cost control and computational efficiency improvement.","PeriodicalId":56305,"journal":{"name":"IEEE Transactions on Reliability","volume":"74 4","pages":"5848-5862"},"PeriodicalIF":5.7,"publicationDate":"2025-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145652139","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Analysis on Nonmonotone Control-Limit Condition-Based Maintenance Policies 基于非单调控制极限状态的维修策略分析
IF 5.7 2区 计算机科学 Q1 COMPUTER SCIENCE, HARDWARE & ARCHITECTURE Pub Date : 2025-07-08 DOI: 10.1109/TR.2025.3582813
Stephane Barde;Young Myoung Ko
This study delves into the challenge of optimizing condition-based maintenance (CBM) for $k$-out-of-$N$ systems characterized by economic dependencies, utilizing an average cost Markov decision process formalism for a detailed analysis of optimal policies. Traditionally, CBM optimization presumes a monotone control-limit policy where the degradation level of components exceeds predefined thresholds. Recent investigations have visually demonstrated that the optimal CBM policy exhibits a nonmonotone structure. Our analysis reveals that although the optimal bias functions exhibit partial monotonicity, this characteristic alone does not guarantee a monotone CBM policy. The emergence of nonmonotonicity is attributed to the dynamics of the transition matrix influenced by preventive maintenance activities. In addition, we show that the cost function is subadditive, indicating that the presence of setup costs significantly influences maintenance decisions, where this subadditivity also affects the formation of nonmonotone regions in the optimal policy. Our findings indicate that nonmonotone regions persist even in the absence of economic dependencies. Sensitivity analysis further reveals that higher cost parameters and reliability structure reduce the ratio of nonmonotone regions, enhancing system stability. This study emphasizes the complex interdependence between reliability structure and cost parameters in shaping optimal CBM policies.
本研究深入研究了以经济依赖性为特征的$k$ out-of-$N$系统优化基于状态的维护(CBM)的挑战,利用平均成本马尔可夫决策过程形式主义对最优策略进行了详细分析。传统上,CBM优化假设一个单调的控制限制策略,其中组件的退化水平超过预定义的阈值。最近的研究直观地表明,最优CBM策略具有非单调结构。我们的分析表明,虽然最优偏置函数表现出部分单调性,但仅凭这一特性并不能保证CBM策略是单调的。非单调性的产生是由于预防维修活动对过渡矩阵的动态影响。此外,我们证明了成本函数是次可加性的,表明设置成本的存在显著影响维护决策,其中这种次可加性也影响最优策略中非单调区域的形成。我们的研究结果表明,即使在没有经济依赖的情况下,非单调区域仍然存在。灵敏度分析进一步表明,较高的成本参数和可靠性结构降低了非单调区域的比例,增强了系统的稳定性。本研究强调在形成最优CBM策略时,可靠性结构和成本参数之间复杂的相互依存关系。
{"title":"Analysis on Nonmonotone Control-Limit Condition-Based Maintenance Policies","authors":"Stephane Barde;Young Myoung Ko","doi":"10.1109/TR.2025.3582813","DOIUrl":"https://doi.org/10.1109/TR.2025.3582813","url":null,"abstract":"This study delves into the challenge of optimizing condition-based maintenance (CBM) for <inline-formula><tex-math>$k$</tex-math></inline-formula>-out-of-<inline-formula><tex-math>$N$</tex-math></inline-formula> systems characterized by economic dependencies, utilizing an average cost Markov decision process formalism for a detailed analysis of optimal policies. Traditionally, CBM optimization presumes a monotone control-limit policy where the degradation level of components exceeds predefined thresholds. Recent investigations have visually demonstrated that the optimal CBM policy exhibits a nonmonotone structure. Our analysis reveals that although the optimal bias functions exhibit partial monotonicity, this characteristic alone does not guarantee a monotone CBM policy. The emergence of nonmonotonicity is attributed to the dynamics of the transition matrix influenced by preventive maintenance activities. In addition, we show that the cost function is subadditive, indicating that the presence of setup costs significantly influences maintenance decisions, where this subadditivity also affects the formation of nonmonotone regions in the optimal policy. Our findings indicate that nonmonotone regions persist even in the absence of economic dependencies. Sensitivity analysis further reveals that higher cost parameters and reliability structure reduce the ratio of nonmonotone regions, enhancing system stability. This study emphasizes the complex interdependence between reliability structure and cost parameters in shaping optimal CBM policies.","PeriodicalId":56305,"journal":{"name":"IEEE Transactions on Reliability","volume":"74 4","pages":"5765-5779"},"PeriodicalIF":5.7,"publicationDate":"2025-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145674669","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
RobFace: A Test Suite for Efficient Robustness Evaluation of Face Recognition Systems RobFace:一个有效的人脸识别系统鲁棒性评估测试套件
IF 5.7 2区 计算机科学 Q1 COMPUTER SCIENCE, HARDWARE & ARCHITECTURE Pub Date : 2025-06-23 DOI: 10.1109/TR.2025.3554575
Ruihan Zhang;Jun Sun
Face recognition is a widely used authentication technology in practice, where robustness is required. It is thus essential to have an efficient and easy-to-use method for evaluating the robustness of (possibly third-party) trained face recognition systems. Existing approaches to evaluating the robustness of face recognition systems are either based on empirical evaluation (e.g., measuring attacking success rate using state-of-the-art attacking methods) or formal analysis (e.g., measuring the Lipschitz constant). While the former demands significant user efforts and expertise, the latter is extremely time-consuming. In pursuit of a comprehensive, efficient, easy-to-use, and scalable estimation of the robustness of face recognition systems, we take an old-school alternative approach and introduce RobFace, i.e., evaluation using an optimized test suite. It contains transferable adversarial face images that are designed to comprehensively evaluate a face recognition system’s robustness along a variety of dimensions. RobFace is system-agnostic and still consistent with system-specific empirical evaluation or formal analysis. We support this claim through extensive experimental results with various perturbations on multiple face recognition systems. To our knowledge, RobFace is the first system-agnostic robustness estimation test suite.
人脸识别是一种应用广泛的认证技术,对鲁棒性要求很高。因此,必须有一种有效且易于使用的方法来评估(可能是第三方)训练的人脸识别系统的鲁棒性。现有的评估人脸识别系统鲁棒性的方法要么基于经验评估(例如,使用最先进的攻击方法测量攻击成功率),要么基于形式分析(例如,测量Lipschitz常数)。前者需要大量的用户努力和专业知识,而后者则非常耗时。为了对人脸识别系统的鲁棒性进行全面、高效、易于使用和可扩展的估计,我们采用了一种老派的替代方法,并引入了RobFace,即使用优化的测试套件进行评估。它包含可转移的对抗人脸图像,旨在全面评估人脸识别系统在各种维度上的鲁棒性。RobFace是系统不可知的,并且仍然与系统特定的经验评估或形式分析一致。我们通过对多个人脸识别系统进行各种扰动的广泛实验结果来支持这一说法。据我们所知,RobFace是第一个与系统无关的健壮性评估测试套件。
{"title":"RobFace: A Test Suite for Efficient Robustness Evaluation of Face Recognition Systems","authors":"Ruihan Zhang;Jun Sun","doi":"10.1109/TR.2025.3554575","DOIUrl":"https://doi.org/10.1109/TR.2025.3554575","url":null,"abstract":"Face recognition is a widely used authentication technology in practice, where robustness is required. It is thus essential to have an efficient and easy-to-use method for evaluating the robustness of (possibly third-party) trained face recognition systems. Existing approaches to evaluating the robustness of face recognition systems are either based on empirical evaluation (e.g., measuring attacking success rate using state-of-the-art attacking methods) or formal analysis (e.g., measuring the Lipschitz constant). While the former demands significant user efforts and expertise, the latter is extremely time-consuming. In pursuit of a comprehensive, efficient, easy-to-use, and scalable estimation of the robustness of face recognition systems, we take an old-school alternative approach and introduce <sc>RobFace</small>, i.e., evaluation using an optimized test suite. It contains transferable adversarial face images that are designed to comprehensively evaluate a face recognition system’s robustness along a variety of dimensions. <sc>RobFace</small> is system-agnostic and still consistent with system-specific empirical evaluation or formal analysis. We support this claim through extensive experimental results with various perturbations on multiple face recognition systems. To our knowledge, <sc>RobFace</small> is the first system-agnostic robustness estimation test suite.","PeriodicalId":56305,"journal":{"name":"IEEE Transactions on Reliability","volume":"74 3","pages":"3615-3628"},"PeriodicalIF":5.7,"publicationDate":"2025-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144998082","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Editorial Strengthening Resilience and Security With Zero Trust 零信任强化韧性和安全
IF 5 2区 计算机科学 Q1 COMPUTER SCIENCE, HARDWARE & ARCHITECTURE Pub Date : 2025-06-03 DOI: 10.1109/TR.2025.3570180
Winston Shieh
{"title":"Editorial Strengthening Resilience and Security With Zero Trust","authors":"Winston Shieh","doi":"10.1109/TR.2025.3570180","DOIUrl":"https://doi.org/10.1109/TR.2025.3570180","url":null,"abstract":"","PeriodicalId":56305,"journal":{"name":"IEEE Transactions on Reliability","volume":"74 2","pages":"2501-2502"},"PeriodicalIF":5.0,"publicationDate":"2025-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=11023011","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144205855","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Corrections to “Probabilistic Modeling of Variation in Pilot Performance during Flight Training” 对“飞行训练中飞行员表现变化的概率建模”的修正
IF 5 2区 计算机科学 Q1 COMPUTER SCIENCE, HARDWARE & ARCHITECTURE Pub Date : 2025-06-03 DOI: 10.1109/TR.2025.3549285
Kento Yamada;Harumi Ikeshita;Yuta Kyoya;Makoto Ueno
This addresses errors in [1]. Due to the error containing the count data of first officer applicants who had not answered the informed consent at that time, the following figures, tables, and texts are corrected. The corrected texts are highlighted in bold.
这将解决[1]中的错误。由于当时未填写知情同意书的副驾驶申请人的计数数据有误,现更正以下数字、表格和文字。修改后的文本以粗体突出显示。
{"title":"Corrections to “Probabilistic Modeling of Variation in Pilot Performance during Flight Training”","authors":"Kento Yamada;Harumi Ikeshita;Yuta Kyoya;Makoto Ueno","doi":"10.1109/TR.2025.3549285","DOIUrl":"https://doi.org/10.1109/TR.2025.3549285","url":null,"abstract":"This addresses errors in [1]. Due to the error containing the count data of first officer applicants who had not answered the informed consent at that time, the following figures, tables, and texts are corrected. The corrected texts are highlighted in bold.","PeriodicalId":56305,"journal":{"name":"IEEE Transactions on Reliability","volume":"74 2","pages":"2498-2500"},"PeriodicalIF":5.0,"publicationDate":"2025-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=11023012","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144206013","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
IEEE Reliability Society Publication Information IEEE可靠性协会出版信息
IF 5 2区 计算机科学 Q1 COMPUTER SCIENCE, HARDWARE & ARCHITECTURE Pub Date : 2025-06-03 DOI: 10.1109/TR.2025.3570890
{"title":"IEEE Reliability Society Publication Information","authors":"","doi":"10.1109/TR.2025.3570890","DOIUrl":"https://doi.org/10.1109/TR.2025.3570890","url":null,"abstract":"","PeriodicalId":56305,"journal":{"name":"IEEE Transactions on Reliability","volume":"74 2","pages":"C2-C2"},"PeriodicalIF":5.0,"publicationDate":"2025-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=11023009","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144206117","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Importance Inference of Optimal Test Planning for Degradation Analysis 退化分析中最优测试规划的重要性推断
IF 5.7 2区 计算机科学 Q1 COMPUTER SCIENCE, HARDWARE & ARCHITECTURE Pub Date : 2025-04-30 DOI: 10.1109/TR.2025.3556481
Yi-Shian Dong;Chien-Yu Peng
Determination of the decision variables such as the inspection period, number of measurements, and sample size is crucial for planning an efficient degradation test. For widely used stochastic processes, the necessary and sufficient conditions for the explicit expression of optimal decision variables can be derived by minimizing the approximate variance of an estimator of interest under a limited budget. The importance of the decision variable is proposed to study the rate at which the objective function improves with the decision variable. The necessary and sufficient conditions for determining the importance of the optimal decision variables are theoretically investigated to elucidate the effect of the experimental costs and model parameters. Furthermore, the relative rankings of the importance of the optimal decision variables are illustrated through numerical examples.
决策变量的确定,如检查周期、测量次数和样本大小,对于规划一个有效的退化测试是至关重要的。对于广泛应用的随机过程,可以通过在有限预算下最小化感兴趣估计量的近似方差得到最优决策变量显式表达的充分必要条件。提出决策变量的重要性来研究目标函数随决策变量的改进速率。从理论上研究了确定最优决策变量重要性的充分必要条件,阐明了实验成本和模型参数的影响。此外,通过数值算例说明了最优决策变量重要性的相对排序。
{"title":"Importance Inference of Optimal Test Planning for Degradation Analysis","authors":"Yi-Shian Dong;Chien-Yu Peng","doi":"10.1109/TR.2025.3556481","DOIUrl":"https://doi.org/10.1109/TR.2025.3556481","url":null,"abstract":"Determination of the decision variables such as the inspection period, number of measurements, and sample size is crucial for planning an efficient degradation test. For widely used stochastic processes, the necessary and sufficient conditions for the explicit expression of optimal decision variables can be derived by minimizing the approximate variance of an estimator of interest under a limited budget. The importance of the decision variable is proposed to study the rate at which the objective function improves with the decision variable. The necessary and sufficient conditions for determining the importance of the optimal decision variables are theoretically investigated to elucidate the effect of the experimental costs and model parameters. Furthermore, the relative rankings of the importance of the optimal decision variables are illustrated through numerical examples.","PeriodicalId":56305,"journal":{"name":"IEEE Transactions on Reliability","volume":"74 3","pages":"4426-4440"},"PeriodicalIF":5.7,"publicationDate":"2025-04-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144998201","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Enhancing Fine-Grained Smart Contract Vulnerability Detection Through Domain Features and Transparent Interpretation 通过领域特征和透明解释增强细粒度智能合约漏洞检测
IF 5.7 2区 计算机科学 Q1 COMPUTER SCIENCE, HARDWARE & ARCHITECTURE Pub Date : 2025-04-24 DOI: 10.1109/TR.2025.3551356
Qing Huang;Yu He;Zhenchang Xing;Min Yu;Xiwei Xu;Qinghua Lu
Smart contracts, which automatically execute transactions based on predefined conditions, play a crucial role in asset and money exchanges. Due to their involvement in significant financial transactions, these contracts are attractive targets for hackers, leading to substantial financial losses through exploitable vulnerabilities. While various program analysis methods such as Oyente, Mythril, and Securify have been proposed to address these security concerns, they rely on rule-based patterns that are time-consuming to develop and offer limited coverage. Deep learning methods present an alternative by automatically learning code features to detect vulnerabilities. However, existing approaches face critical challenges, including feature limitations and lack of interpretability. To address these gaps, we propose the interpretable smart contract vulnerability detector, a Graph Isomorphism Network (GIN)-based vulnerability prediction model for smart contracts, enhanced with code subgraph explanations. Our approach identifies and incorporates 43 domain-specific features, augmenting GIN with domain knowledge attention mechanisms to improve vulnerability prediction. In addition, we develop an interpreter called SubgraphV, which provides explanations for vulnerability predictions through interpreted subgraphs. Our model demonstrates superior performance over traditional tools, achieving F1 score improvements from 0.254 to 0.489 on a dataset of 103 smart contract function vulnerabilities. SubgraphV outperforms existing explainability methods like GNNexplainer, PGExplainer, and SubgraphX in pinpointing vulnerabilities, accurately reflecting vulnerability patterns, and enhancing the understanding of vulnerabilities.
智能合约根据预先设定的条件自动执行交易,在资产和货币交易中发挥着至关重要的作用。由于涉及重大的金融交易,这些合同对黑客来说是有吸引力的目标,通过可利用的漏洞导致重大的经济损失。虽然已经提出了各种程序分析方法(如Oyente、Mythril和Securify)来解决这些安全问题,但它们依赖于基于规则的模式,这些模式的开发非常耗时,而且覆盖范围有限。深度学习方法通过自动学习代码特征来检测漏洞,提供了另一种选择。然而,现有的方法面临着严峻的挑战,包括特征限制和缺乏可解释性。为了解决这些差距,我们提出了可解释的智能合约漏洞检测器,这是一种基于图同构网络(GIN)的智能合约漏洞预测模型,增强了代码子图解释。我们的方法识别并整合了43个领域特定的特征,用领域知识关注机制来增强GIN,以改进漏洞预测。此外,我们开发了一个名为SubgraphV的解释器,它通过解释的子图为漏洞预测提供解释。我们的模型表现出优于传统工具的性能,在103个智能合约功能漏洞的数据集上实现了从0.254到0.489的F1分数提升。在精确定位漏洞、准确反映漏洞模式和增强对漏洞的理解方面,SubgraphV优于现有的解释性方法,如gnexplainer、PGExplainer和SubgraphX。
{"title":"Enhancing Fine-Grained Smart Contract Vulnerability Detection Through Domain Features and Transparent Interpretation","authors":"Qing Huang;Yu He;Zhenchang Xing;Min Yu;Xiwei Xu;Qinghua Lu","doi":"10.1109/TR.2025.3551356","DOIUrl":"https://doi.org/10.1109/TR.2025.3551356","url":null,"abstract":"Smart contracts, which automatically execute transactions based on predefined conditions, play a crucial role in asset and money exchanges. Due to their involvement in significant financial transactions, these contracts are attractive targets for hackers, leading to substantial financial losses through exploitable vulnerabilities. While various program analysis methods such as Oyente, Mythril, and Securify have been proposed to address these security concerns, they rely on rule-based patterns that are time-consuming to develop and offer limited coverage. Deep learning methods present an alternative by automatically learning code features to detect vulnerabilities. However, existing approaches face critical challenges, including feature limitations and lack of interpretability. To address these gaps, we propose the interpretable smart contract vulnerability detector, a Graph Isomorphism Network (GIN)-based vulnerability prediction model for smart contracts, enhanced with code subgraph explanations. Our approach identifies and incorporates 43 domain-specific features, augmenting GIN with domain knowledge attention mechanisms to improve vulnerability prediction. In addition, we develop an interpreter called SubgraphV, which provides explanations for vulnerability predictions through interpreted subgraphs. Our model demonstrates superior performance over traditional tools, achieving F1 score improvements from 0.254 to 0.489 on a dataset of 103 smart contract function vulnerabilities. SubgraphV outperforms existing explainability methods like GNNexplainer, PGExplainer, and SubgraphX in pinpointing vulnerabilities, accurately reflecting vulnerability patterns, and enhancing the understanding of vulnerabilities.","PeriodicalId":56305,"journal":{"name":"IEEE Transactions on Reliability","volume":"74 3","pages":"4207-4221"},"PeriodicalIF":5.7,"publicationDate":"2025-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144998071","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
IEEE Transactions on Reliability
全部 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