17 papers · ranked by Valyu relevance
Pedro Orvalho, Marta Kwiatkowska, Mikoláš Janota, Vasco Manquinho
Debugging is one of the most time-consuming and expensive tasks in software development and circuit design. Several formula-based fault localisation (FBFL) methods have been proposed, but they fail to guarantee a set of diagnoses across all failing tests or may produce redundant diagnoses that are not subset-minimal…
Nathan Shaw, Sanjeetha Pennada, Robert M Hierons, Donghwan Shin
As Autonomous Driving Systems (ADS) progress towards commercial deployment, there is an increasing focus on ensuring their safety and reliability. While considerable research has been conducted on testing methods for detecting faults in ADS, very little attention has been paid to debugging in ADS. Debugging is an…
Hengyuan Liu, Zheng Li, Donghua Wang, Yankai Wu + 2 more
—Mutation-based Fault Localization (MBFL) has been widely explored for automated software debugging, leveraging artificial mutants to identify faulty code entities. However, MBFL faces significant challenges due to interference mutants generated from non-faulty code entities but can be killed by failing tests. These…
Giles Winchester, George Parisis, Luc Berthouze
Microservices have transformed software architecture through the creation of modular and independent services. However, they introduce operational complexities in service integration and system management that makes swift and accurate anomaly detection and localisation challenging. Despite the complex, dynamic, and…
Binghui Lei, Shuai Xu, Yang Liu, Weiguo Zu + 5 more
Ensuring the safe operation of large hydro-generators is essential for energy supply and economic development. Stator-winding single-phase grounding faults are among the most common failures in such generators. Conventional protection methods-such as fundamental voltage protection, third-harmonic voltage saturation…
Oorja Majgaonkar, Zhiwei Fei, Xiang Li, Federica Sarro + 1 more
The increasing deployment of Large Language Model (LLM) agents for complex software engineering tasks has created a need to understand their problem-solving behaviours beyond simple success metrics. While these agents demonstrate impressive capabilities in automated issue resolution, their decision-making processes…
A. M. Hamada, M.I. Abdel-fattah, Ali M. El-Rifaie, Fahmi Elsayed + 5 more
Accuracy and speed of fault detection are crucial to the performance of DC transmission systems. In this paper, a novel approach is proposed for fault detection, classification, and localization in high-voltage DC transmission lines (HVDC-TLs). The proposed approach for protecting HVDC-TLs by designing and operating a…
Mahmoud A. Elsadd, Amina I. Elezzawy, Tamer A. Kawady, Nagy I. Elkalashy + 1 more
Conventional protective devices cannot reliably detect series faults at the far end of the distribution feeder, such as open-conductor faults, downed conductor faults from the load side, and downed conductor faults from the source side when associated with high-impedance conditions. This limitation is especially…
Shifu Gu, Xiaotian Chen, Tao Wang, Quanlin Leng + 2 more
In order to solve the miscalculation problem caused by the distortion and loss of fault information caused by the traditional transmission grid fault diagnosis method due to the severe meteorological environment, a transmission grid fault diagnosis method based on multi-source information fusion is proposed. Firstly…
Authors not listed
Accurate electronic structure simulations of strongly correlated metal oxides are crucial for the atomic level understanding of heterogeneous catalysts, batteries and photovoltaics; but remain challenging to perform in a computationally tractable manner. Hubbard corrected density functional theory (DFT+U) in a…
Dinesh Sahu, Nidhi, Shiv Prakash, Tiansheng Yang + 4 more
The increasing adoption of Digital Twins (DTs) in distributed edge computing systems necessitates robust fault tolerance mechanisms to ensure high availability and reliability. This paper presents an adaptive fault tolerance framework designed to maintain the continuous operation of DTs in dynamic and…
Lei Li, Weili Wu, Bo Zhang, Pei Liu + 2 more
The integration of distributed generation (DG) changes the fault current path, magnitude, direction, and transient characteristics of distribution networks, which increases the difficulty of fault type identification. In particular, weak fault features and high-frequency transient components may reduce the reliability…
Pok Him Siu, Philippa J. Karoly, Sina Mansour L., Artemio Soto-Breceda + 3 more
Electroencephalography and magnetoencephalography (EEG/MEG) provide non-invasive measurements of large-scale neural activity but do not directly reveal the underlying cortical sources, motivating the use of source localisation algorithms. However, objective evaluation of these methods remains challenging due to the…
Oliver M. Crook, Anna Andrejeva, Rayner M.L. Queiroz, Tom S. Smith + 2 more
Subcellular omics technologies now allow us to obtain insights into steady-state localisation and re-localisation of biomolecules in high-throughput. However, robust analysis of these experiments can be slow and challenging. Here, we show that existing approaches to differential localisation fall into two classes…
Tapan Chowdhury, Anindya Maitra, Anjali Agarwal, Arundhuti Sur + 3 more
Cell growth is an intricate biological phenomenon that is closely regulated by the interplay between various growth factors and transcription factors. Signaling pathways are the main mediators in this event, which provide the driving force for mitosis or sometimes meiosis. However, when malfunctions occur within the…
Authors not listed
Hydrogen embrittlement severely degrades mechanical properties of austenitic stainless steels (γ-SS), yet the bulk deformation microstructures responsible for this phenomenon have not been directly observed. While the internal microstructure is essential to define metal plasticity, deformation, and fracture, no…
Authors not listed
Ni40Co20Fe10Cr10Al18W2 additively manufactured using laser powder bed fusion (LPBF) is among the toughest as-built alloys reported and is a promising candidate for use in extreme environments. However, its behavior under multi-megabar pressure regimes remains unexplored. We used femtosecond in situ X-ray diffraction to…